Другие журналы
|
Исмаилова Лариса Юсифовна
Модель вычислений, чувствительная к семантической нестабильности
Инженерное образование # 12, декабрь 2010 Разработка специальной математики, способной выполнять непосредственный учет динамики предметной области, как оказывается является нетривиальной задачей. Сама ее постановка в уточненном виде и фиксация важнейших особенностей вызывают заметные осложнения в целевом формализме, значительно осложняя разработку программного обеспечения. Приводится конструктивное решение этой задачи, полученное с применением оригинальной конструкции ‘функтор-как-объект’. Вводится представление о семантическом вирусовании. Ожидается, что построенная вычислительная модель обладает высоким инновационным потенциалом для разработки информационных систем, предназначенных для интенсивного обмена данными
Структура компьютинга и конструирование вычисления
Инженерное образование # 08, август 2010 Компьютинг и его развитие ставит целый ряд вопросов, на большую часть из которых ответы либо неполны, либо неизвестны. Некоторые из них: что такое ‘вычисление’? что такое ‘информация’? что можно узнать, пользуясь компьютингом? чего нельзя узнать, пользуясь компьютингом? – имеют фундаментальное значение. В настоящей работе основное внимание уделено выяснению технологических особенностей вычислений с объектами. Их взаимодействие рассматривается в аппликативной среде, что позволяет выяснять внутреннюю структуру обычных операций, знание которой позволяет понять их свойства. Обсуждается выбор исходных константных сущностей, считающихся исходными и называемыми комбинаторами. Эти исходные сущности используются как основные “строительные блоки”, вступающие в аппликативной среде во взаимодействие друг с другом. В результате взаимодействия возникают конструкции, дающие представительные наборы обычных операторов и погруженным вычислительным системам
|
|
||||||||||||||||||||||||||||||||
|