Сортировать по:
| Выпуск | Название | |
| № 4(36) (2012) | ИТЕРАТИВНЫЙ МЕТОД ЭНЕРГОСБЕРЕГАЮЩЕГО КОДИРОВАНИЯ СОСТОЯНИЙ ДИСКРЕТНОГО АВТОМАТА | Аннотация PDF (Rus) похожие документы |
| Ю. В. Поттосин | ||
| "... переключений элементов памяти в реализующей схеме. Определение значений внутренних переменных сводится к задаче ..." | ||
| № 2(30) (2011) | ЭНЕРГОСБЕРЕГАЮЩЕЕ ПОКРЫТИЕ БИБЛИОТЕЧНЫМИ ЭЛЕМЕНТАМИ СХЕМЫ, РЕАЛИЗУЮЩЕЙ ДИАГРАММУ ДВОИЧНОГО ВЫБОРА | Аннотация PDF (Rus) похожие документы |
| Ю. В. Поттосин | ||
| "... булевых функций и представленной в виде диаграммы двоичного выбора. При этом для уменьшения ..." | ||
| № 2(14) (2007) | ОЦЕНКА ВЕРОЯТНОСТИ ОТКАЗА НЕВОССТАНАВЛИВАЕМОЙ СИСТЕМЫ С ИСПОЛЬЗОВАНИЕМ МЕТОДОВ АЛГЕБРЫ ЛОГИКИ | Аннотация PDF (Rus) похожие документы |
| Е. Н. Зайцева, Ю. В. Поттосин | ||
| "... , работоспособность которой задана в виде бинарной структурной функции работоспособности. Данный алгоритм включает два ..." | ||
| Том 15, № 4 (2018) | Эвристический метод многоблочной параллельной декомпозиции системы частичных булевых функций | Аннотация PDF (Rus) похожие документы |
| Ю. В. Поттосин | ||
| "... ограничение на число аргументов получаемых функций. Метод предполагает задание функций в интервальной форме, т ..." | ||
| № 2(18) (2008) | МЕТОД МИНИМИЗАЦИИ СИСТЕМЫ ПОЛНОСТЬЮ ОПРЕДЕЛЕННЫХ БУЛЕВЫХ ФУНКЦИЙ | Аннотация PDF (Rus) похожие документы |
| Ю. В. Поттосин, Н. Р. Торопов, Е. А. Шестаков | ||
| "... , заданной в матричной форме. Критерием минимизации является общее число различных элементарных конъюнкций в ..." | ||
| № 3(23) (2009) | МЕТОД МИНИМИЗАЦИИ СИСТЕМЫ НЕ ПОЛНОСТЬЮ ОПРЕДЕЛЕННЫХ БУЛЕВЫХ ФУНКЦИЙ | Аннотация PDF (Rus) похожие документы |
| Ю. В. Поттосин, Н. Р. Торопов, Е. А. Шестаков | ||
| "... Рассматривается задача минимизации системы не полностью определенных булевых функций в классе ..." | ||
| Том 16, № 2 (2019) | Верификация систем с параллелизмом поведения на основе графа достижимых состояний | Аннотация PDF (Rus) похожие документы |
| Ю. В. Поттосин, В. И. Романов, Л. Д. Черемисинова | ||
| "... состоит в проверке соответствия поведения системы требованиям, предъявляемым спецификацией на ее ..." | ||
| 1 - 7 из 7 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
