Исследуется одни из возможных компиляторов для qGCL – высокоуровневого императивного языка программирования для квантовых вычислений. При построении такого компилятора используется традиционный метод нормальной формы, который ранее ввели Хоар и др. В этом методе исходная программа посредством алгебраических манипуляций преобразуется в некоторую форму спец. вида, которая допускает прямое исполнение на целевой машине. Это влечет за собой определение простой аппаратной квантовой архитектуры, выводимой из вычислительной модели Хоара и др. Проведенное исследование формирует общую концепцию построения компилятора для qGCL с акцентом на корректность разработки.
Моделирование сложных встроенных систем, состоящих из программных и аппаратных модулей, отображаемых на разнородные компоненты типа программируемых процессоров, настраиваемых прикладных специализированных ИС и Internet протоколов, требует моделирования всех составных модулей на одной модельной платформе. Такая задача связана с методами моделирования на системном уровне с учетом коммуникации и синхронизации между моделяторами компонентов (часто территориально распределенными) для осуществления распределенного комоделирования (cosimulation). Управляемое событиями и управляемое временем моделирование компонентов позволяет представлять события процессов моделятора в хронологическом порядке...
System C, как язык системного моделирования, обеспечивает поддержку различных абстрактных уровней аппаратного описания, программно/аппаратного совместного проектирования и верификации. Существует особый вид процесса, называемый синхронизируемый, или тактируемый, поточный процесс, задаваемый в System C. Язык System C, представленный на уровне поведенческого описания, оптимизирован для синтеза и наиболее пригоден для описания неявных конечных автоматов. В данной работе представлены главные особенности тактируемого поточного процесса и проведено сравнение достоинств неявных конечных автоматов и явных конечных автоматов на примере структуры шинного контроллера.
Задача верификации проектной сложности обычно требует использования аппаратных и программных платформ. С повышением сложности “систем-на-кристалле” (SoC) традиционные методы верификации с применением HDL программных модуляторов становятся неэффективными. Сегодня проектная верификация постепенно переходит от интерфейсов, синхронизированных с событиями, к интерфейсам, которые синхронизированы с тактовым циклом для получения решений на базе комоделирования “транзакций”, где интерфейсные коммуникации возрастают до высокого уровня абстракции. В связи с этим возникает потребность к гибкой, высокоскоростной среде моделирования, которая позволила бы моделировать всю систему и реальные ситуации для верификации функциональности системы...
Технология цифровых сигналов очень популярна и используется, напр., для сжатия и восстановления изображений или голоса для MPEG2. Однако часто применение такой технологии связано с некоторыми трудностями, в частности, с необходимостью увеличения размера ИС при увеличении битов данных с целью повышения точности. С другой стороны, технология аналоговых сигналов полезна для упрощенной СБИС-реализации. Но и здесь разработчики сталкиваются с определенными трудностями, такими как возникновение непредвиденных колебаний в крупномасштабных ИС, зависимость точности аналоговых схем от технол. параметров и т. д. Поэтому наиболее подходящей для решения таких проблем является технология смешанных сигналов...
Система соединителя для карт памяти обеспечивает взаимозаменяемость карт памяти типов 150P и 144P путем простого фиксирования их в одном соединителе без влияния на имеющиеся карты памяти. В частности, такая система позволяет легко вставлять короткую карту памяти в соединитель, предназначенный для длинных карт памяти путем подключения адаптера к короткой карте памяти, создавая т. обр. эффективную длину карты, соответствующую длине станд. длинной карты памяти. Внешняя конфигурация адаптера такая же, как конфигурация фиксируемой части длинной карты памяти. Поэтому механизм фиксирования соединителя для длинных карт памяти может работать обычным способом. Для установки короткой карты памяти в соединитель, предназначенных для коротких карт памяти, необходимо только снять адаптер с карты памяти...
Представлен эффективный метод модификации битов состояния в зависимости от сигналов совпадения (MATCH) в многонаправленной ассоциативной памяти. В отличие от обычных структур, где биты состояния LRU “замещения страниц” в массиве с наиболее давним использованием модифицируются во время циклов кэшевого чтения и циклов кэшевой записи, в новой архитектуре такая модификация осуществляется только во время цикла чтения. В течение любого цикла чтения кэшевая память имеет по меньшей мере одно направление совпадения. При отсутствии совпадения в каком-либо направлении кэша с помощью 1-й схемы, включающей передающий логический элемент, выполняется установление бита начального состояния на предыдущее значение...
Рассмотрена концепция упорядоченной схемы двоичного выбора (OBDD), широко используемой для представления булевых функций. Предложен эффективный алгоритм, преобразующий OBDD некоторой булевой функции f в другую OBDD той же функции, но с другим порядком следования переменных. Если Р-число вершин исходной OBDD, а Q-число вершин результирующей OBDD, то время работы предложенного алгоритма составит 0(PQ), а требуемая память – 0(P+Q). Рассмотрены два примера, иллюстрирующие практическое применение алгоритма при однократной и динамической (многократной) перестройке OBDD. Библ. 19.
Современные общедоступные сети сообщений включают множество услуг для распространения различного рода информации (напр., Usenet Newsgroups, Internet Relay Chat, Fidonet, RIME, ILINK). Большинство таких сетей обычно настраивается согласно отдельным категориям интереса (напр., конференции, формулы, newgroups). Наблюдаемое сегодня увеличение информационных приложений на международных общественных компьютерных сетях с пакетной коммутацией, таких как Internet, открывает возможности для установления нового типа рынка товаров и услуг. Такое рекламирование должно осуществляться только с ограниченным доступом посредством использования изображений и текстов, передаваемых через Internet. Новая рекламная система, представленная в пат., позволяет вставлять коммуникационное сообщение конечного пользователя в фоновую ссылку на рекламу...
Системный анализ и имитационное моделирование относятся к современным методам решения проблемных творческих задач, лежащих на грани науки и искусства. Они составляют основу методологии решения системных задач теории решений и исследований операции. Основное внимание в пособии уделено составлению имитационных моделей на примерах конкретных задач для СМО, а также основам системного анализа объекта на стадии формирования его системологического описания.
Строго и точного определения программной радиоконцепции (SW) пока еще не существует, хотя в литературе некоторые ее определения можно встретить, такие как: гибкая TX/RX архитектура, управляемая и программируемая с помощью SW; обработка сигнала с максимальной возможностью замены радиофункциональности; приемопередатчик с расширенными возможностями, обеспечиваемыми SW и др. Эти параметры могут быть адаптированы и изменены сетевым оператором, поставщиком услуг или конечным пользователем. Обобщая все эти понятия, можно сформулировать следующее определение: “Программное радио – это новая технология, ориентированная на построение гибких радиосистем, мультисервисов, мультистандартов, мультиполосной передачи, реконфигурируемых и перепрограммируемых с помощью ПО”...
Обсуждаются проблемы, связанные с удвоением информации, публикуемой в научных журналах, каждые 10 лет. Описаны усилия Американского химического общества по совершенствованию подготовки статей к выпуску и сокращению времени от получения материала до выхода номера из редакции. Рассмотрены альтернативы в виде электронных журналов и БД. Современная компьютерная техника позволяет фиксировать в файлах рентгенографическую информацию о кристаллах в виде CIF – формата, (CIF – Crystalographic Information Format). Эти данные могут быть использованы для генерирования моделей молекул отображения сведений о силе и геометрии связей. Общество имеет сервер по адресу http://pubs.acs.org.
Нью-Йоркская публичная библиотека обеспечивает обучение пользователей работе в Web. В частности, подразделение науки, промышленности и бизнеса дает доступ через Web к своим каталогам, Web-меню для выбора электронных баз данных, Web-руководства для проведения информационного поиска. Дается описание данных и планируемых особенностей работы библиотеки через сеть с пользователями. И Библ.. 24.
Расхожим предрассудком в компьютерной промышленности шестидесятых годов было то, что невозможно делать бизнес, продавая ПО. Оно должно распространяться бесплатно в качестве приложения к компьютерам, либо разрабатываться по специальному заказу для конкретных приложений. Однако не все придерживались такой точки зрения. Некоторые из предпринимателей считали, что рынок для готовых программных продуктов уже имеется и включает в себя сотни потребителей. Рассказывается история двух компаний-пионеров разработки коммерческого ПО, Applied Data Research и Informatics, и их вклад в создание современной многомиллиардной индустрии ПО. Библ. 18.
Обсуждены вопросы, связанные с дальнейшим развитием электромеханических систем, которое опирается на максимально эффективное преобразование информации и энергии. В качестве методологии проектирования электромеханических систем используется системный подход, учитывающий как внутренние связи системы, так и внешние связи с окружающей средой. Основной метод проектирования – мат. моделирование с использованием развитого мат. аппарата (мат. анализ, теория вероятностей и мат. статистика, теория множеств и др.). Главным инструментом исследования этих систем является компьютер.
Для параллельных компьютеров с распределенной памятью разработан эффективный метод передачи данных между выполняемыми процессами. Такой метод обеспечивает значительное повышение скорости передачи данных между процессами при подстановке данных в дважды присваиваемую переменную. Ускорение передачи данных достигается путем использование правильного планирования процессов, а также благодаря возможности конфигурирования коммуникационного контроллера для передачи подставляемых данных в сам процесс через сеть от имени оператора подстановки с помощью процесса. Коммуникационный контроллер м. б. сконфигурирован, напр., для выполнения пакетной передачи данных...