Рассматриваются инструментальные средства для проектирования и анализа схем на клеточных автоматах квантовых точек (QCA) на многих уровнях абстракции. Известно, что для характеризации качества схем QCA недостаточно просто определить дискретные двоичные состояния отдельных ячеек, а требуются также и вероятности наблюдения этих состояний. Предлагается эффективный метод, базирующийся на графических вероятностных моделях – байесовых сетях, для моделирования вероятностей состояний ячеек в стационарном режиме при заданных входных состояниях. Узлы байесовой сети являются между узлами описывают зависимости между ячейками.
Технология программных агентов является одной из перспективных технологий построения динамических распределенных вычислительных сред. Хотя в настоящее время существует большое число систем на базе агентов, все они разрабатывались и строились в индивидуальном порядке из-за отсутствия систематизированного инженерного подхода. Рассматривается практическое развитие концепции слоистой архитектуры для поддержки разработки систем на базе агентов, предложенных ранее Sarjoughianом et al. Предлагаются реализация слоев этой архитектуры и инженерные принципы, позволяющие на единой методологической базе проектировать эффективные системы.
Предлагается формальное рассмотрение большого класса методов записи чисел, которые обеспечивают минимизацию количества ненулевых цифр в представлении числа, иными словами, минимизируют веса представления. Обсуждаются алгоритмы преобразования системы счисления, минимизирующие число ненулевых цифр, с позиции получения теор. результатов, которые независимы от практической задачи или технологии реализации. Описывается обобщенная схема скользящего окна, которая расширяет известное преобразование скользящим окном двоичных чисел к произвольной системе счисления. Доказывается, что обобщенная схема обеспечивает достижение минимума числа ненулевых чисел.
Метод проверки механизма упреждающей выборки в компьютерной системе, содержащей главную память, кэш-память и контроллер кэш-памяти, включает этапы: идентификации исполнительного устройства, подключенного к компьютерной системе; определения глубины упреждения и границы запрошенного блока данных для исполнительного устройства; моделирования исполнительного устройства, чтобы сформировать поток запросов доступа к главной памяти; определения глубины и границы блока данных до реакции на поток запросов; и вычисления глубины и границы блока запрошенных с упреждением данных, чтобы определить глубину и границу данных для исполнительного устройства...
Среди электронных компонентов память занимает особое место: без пост. памяти не загрузится компьютер, без ОЗУ не напишешь письмо, не поиграешь, не попадешь в Интернет. Отсутствие элементов памяти в средствах связи приведет к тому, что позвонить можно будет только по телефону с дисковым номеронабирателем (кто забыл, когда таким пользовался, попробуйте – удовольствие ниже среднего). И это только наиболее яркие примеры. Поэтому уделено внимание элементам памяти – они того заслуживают. Останавливаются на ПЗУ компании Holtek, применяемых в МП – системах.
Работа посвящена исследованию и разработке метода логического моделирования МОП СБИС на уровне функционально-переключательного представления. Приводятся результаты исследования известных подходов к переключательному моделированию, основанных на многозначной алгебре Хейеса и теории СКА-моделирования. На ряде примеров показывается область применения различных методов с точки зрения получения требуемой адекватности моделей. Акцентируется внимание на общности подходов Хейеса и Адлера, делается заключение, что метод Адлера является развитием метода Хейеса...
Мера и категория (или скорее их рекурсивные – аналоги) были использованы в теоретических компьютерных исследованиях для уточнения понятия “наибольшего из рекурсивных множеств”. Понятия эффективной меры и категории использованы при обсуждении относительных размеров возможных множеств и их дополнений. Найдено, что множества резко увеличиваются при стандартной иерархии обучаемости. С другой стороны дополнения обучаемых множеств все довольно большие. Библ. 34.
Изобретение относится к ВТ и может найти применение в электротехнике как имитатор реализаций резкопеременных случайных изменений перем. напряжения. Решаемая изобретением техн. задача – расширение функциональных возможностей устройства за счет имитации реализаций случайных изменений напряжения. Преимуществами предлагаемого имитатора по сравнению с известными являются более широкие функциональные возможности за счет имитации различных реализаций случайных процессов резкопеременного изменения перем. напряжения с повторением в процессе-модели макс. числа параметров процесса-оригинала.
Рассматриваются теор. и методологические аспекты создания спецпроцессорных систем, предназначенных для сбора и предварительной обработки частотно-импульсной информации в АСУТП. Обоснованы необходимость и целесообразность применения цифро-частотных спецпроцессорных модулей в МП-системах управления. На базе полученных результатов теор. исследований цифро-частотных устройств разработаны основные структурные модели спецпроцессорных систем. Книга предназначена для инженеров-разработчиков автоматизированных систем управления, научных работников, студентов и преподавателей высших учебных заведений соответствующих специальностей.
Практикум содержит большое количество примеров и упражнений по работе с программой Macromedia Flash MX. Представлен необходимый теор. материал. Предложены проектные задания по различным общеобразовательным дисциплинам. Книга расширяет представления учащихся о сферах применения ИКТ. М. б. использована во внеурочной и проектной деятельности учащихся. К практикуму прилагается компакт-диск, содержащий выполненные упражнения и проекты.
Computex Taipei – одна из тех выставок, которые HardnSott никогда не обходит своим вниманием. Наряду с Ганновером весной, посещение Тайбэя в начале лета можно считать обязательным для тех, кто хочет своими глазами увидеть весь блеск достижений в сфере IT. Как и CeBIT, Computex – своеобразный срез, по которому определяется текущее состояние компьютерной индустрии. Какой она предстала перед нами в этом году и что за сюрпризы приготовили пользователям ведущие производители компьютерной техники? Автор делится впечатлениями.
В основу данной книги положен курс лекций по технологии программирования, читавшихся автором в течение ряда лет студентам факультета Вычислительной математики и кибернетики МГУ. В ней обсуждается совокупность процессов, приводящая к созданию требуемого программного продукта (программного средства, ПС). Рассматриваются наиболее распространенные приемы и методы, используемые в таких процессах, а также возникающие в них проблемы. Даются рекомендации по организации этих процессов и по решению конкретных возникающих в них задач. Отдельная глава посвящена инструментальным средствам, поддерживающим разработку программных продуктов. Значительное внимание уделено понятию качества программного средства и обеспечению требуемого его качества, в частности, его надежности (включая защиту информации)...
Два наиболее высокоуровневых типа стандартов предприятия в области информационных систем – стандарты, относящиеся к архитектуре и инфраструктуре информационной системы и стандарты, относящиеся к процессам ее создания. Их выбор и обоснование особенно сложны ввиду следующих объективных причин: 1) при выборе архитектуры и инфраструктуры системы часто довольно трудно выбрать между двумя близкими решениями; 2) при выборе процессов создания системы приходится постоянно сталкиваться с непониманием ключевыми лицами (stakeholders) необходимости траться на тот или иной процесс; с другой стороны, для проектов меньшего масштаба использование слишком “тяжелых” процессов не окупается. Данный доклад представляет единую схему совершения и обоснования подобных выборов, основанную на анализе и оценке соотв...
Приведен обзор экспонатов, представленных на первой выставке-ярмарке go automation days, организованной совместно фирмами IH/best и S.A.W. и состоявшейся в Базеле (Швейцария) в течение четырех дней. Основное внимание уделено роботам, зажимным приспособлениям, захватам и устройствам обслуживания и управления роботизированных систем. Приведены результаты опроса целого ряда участников выставки-ярмарки, которые положительно оценили ее концепцию, организацию и проведение.
Предложенный новый закон США устанавливает новые стандарты по лицензированию программного обеспечения. По поводу этого закона у некоторых групп пользователей и производителей возникло множество вопросов о том, насколько он необходим, уместен и справедлив. UCITA (универсальный акт по компьютерным взаимодействиям) сейчас находится на рассмотрении в отдельных штатах. Он предусматривает права продавцов матобеспечения и покупателей, определяет лицензирование и гарантии, устанавливает пределы ответственности продавцов за дефекты.
В недавно изданной книге Дэвида Анстея “Высокоэффективный оракул & Объектно-ориентированное проектирование” были предложены новые объектно-ориентированные элементы в последней версии популярного коммерческого продукта БД. Написанная опытным консультантом по БД эта книга особенно полезна программистам, занимающимся проблемами моделирования данных, трудно управляемых реляционными БД. В своей книге автор указывает главные недостатки, связанные с использованием реляционных БД, в частности, неспособность описывать семантику действий заказчика с помощью ориентированных на множества правил, задаваемых реляционными системами...