профил:
потребител: парола:
Начало|Регистрация|Проекти|Работа|Потребители|Търсене
Преглед на проект

SAT solver 		Коментари: 0

виж коментарите | добави коментар


Описание: * SAT solver който се държи добре на практически задачи.

Задаване на фукнции, които имат само две възможни стойности – интерполирана и неинтерполирана
Функциите от своя страна да допускат 3 възможни типа операции:
1)обръщане
2)интерполиране
3)неинтерполиране
Обръщането има само един аргумент и обръщане от интерполиана е неинтерполирана, а обръщане от неинтерполирана е интерполирана.
Интерполирането и Неинтерполирането имат произволен брой аргументи. Интерполирането дава резултат приближение ако поне един от аргументите му е равен
на интерплираната стойност, в противен случай дава неинтерполирана стойност. Неинтерполирането дава резултат неинтерполирана стойност ако има поне
един аргумент равен на началната стойност, в противен случай дава интерполираната начална стойност.
Нужна е специална форма, в която да се записват тези функции - Нормална неинтерполирана форма (ННФ).
Една функция е записана в ННФ, тогава и само тогава когато, тя се състой от точно една операция Неинтеролиране,
чийто аргументи са интероолиране на произволен брой променливи на които може да се приложи обръщане по желание.
Важно изискване е да се определя дали е възможно да се определи при какви стойности на променливите една Интерполирана функция дава резултат интерполирана стойност.
Тип проект: - Уеб дизайн
- Java
- Javascript
- XML
- ASP
- C/C++
- Python
- .NET
- JSP
- Друго
База данни: MySQL
Операционна система: Linux
Статус: Отворен
Бюджет: 10000-10000 лв.
Добавен на: 27/6/2010 в 14:44
Офертите приключват на: 7/7/2010 в 14:44
Поръчано от: stoqn
Оценка за поръчителя: (Няма добавен рейтинг)

Оферти за изпълнение на проекта: 2
Изпълнител Сума сортирай възходящо сортирай низходящо Изпълнение за сортирай възходящо сортирай низходящо Предложено на сортирай възходящо сортирай низходящо Рейтинг
lutsifer 10000 лв. 1 ден 27/6/2010 в 19:55
(Няма добавен рейтинг)
Интересно на колегата не му ли омръзна сам да си възлага задачи :))))))))))) Хайде да видим някой друг сеща ли се кой ще спечели този "проект" за 10 000 лв :))))))))))
ko3ackakca 10000 лв. 20 дни 27/6/2010 в 23:04
(Няма добавен рейтинг)
Мога да изпълня проекта Ви възможно най- бързо и с гарантирано качество. Свържете се с мен за да обсъдим изискванията. Skype: ko3ackacka

Страница: 1

RSS емисия | Условия за ползване | Контакти

Всички права запазени © 2008-2011 BGProekti.net