Cтраница 1
Описание управления приложениями, включая подсистему операционной среды для приложений, поддержки приложений для различных архитектур оборудования, а также изучение того, как распределенная версия модели COM ( Component Object Model) позволяет приложениям осуществлять взаимодействие через сеть. [1]
Мэннинга [49], где имеется описание управления и управляющих точек. [2]
Данные высказывания играют определенную роль при описании управления как процесса взаимодействия людей при решении различных вопросов деятельности организации. [3]
При наличии логического интерпретатора программист фактически имеет заранее выполненное описание управления, и поэтому его задача главным образом касается составления оставшегося описания логики. Описание управления не зависит от решаемой задачи, тогда как описание логики определяется именно ею. [4]
В схеме управления лифтом, кроме рассмотренных при описании управления, предусмотрены следующие блокировки. [5]
При наличии логического интерпретатора программист фактически имеет заранее выполненное описание управления, и поэтому его задача главным образом касается составления оставшегося описания логики. Описание управления не зависит от решаемой задачи, тогда как описание логики определяется именно ею. [6]
Приблизительно в то же самое время, когда разрабатывался IC-Пролог, Перейра и Монтейро ( 1981) предложили другой интересный подход к построению логических интерпретаторов для сопрограммного и параллельного исполнения программ путем определения этих видов поведения в самой логике хорновских дизъюнктов. Они, таким образом, пришли к описаниям управления на метауровне, которые при исполнении функционируют как промежуточные интерпретаторы, сами способные извлекать эти виды поведения из стандартных логических программ объектного уровня. [7]
Еще одно постановление от 435 - 420 гг. до н.э. содержит описание управления храмовыми сокровищами на Акрополе и порядка регламентации учета: оговаривались использование таблиц, способ вычеркивания, ведение персонифицированных счетов ( на каждого бога отдельно), ответственность должностных лиц, обнародование их отчетов. [8]
Даже короткое описание управления как сферы деятельности администрации и аппарата показывает, что у комиссий первичных парторганизаций есть широкое поле деятельности, свой объект и предмет контроля. [9]
Теперь в контексте логического программирования сами логические процедуры могут быть использованы как структуры данных и, стало быть, всякое предполагаемое различие между этими объектами пропадает. Термы, разумеется, также служат в качестве структур данных. Таким образом, какие бы виды структур данных ни использовались, их все следует отнести к логической компоненте программы. Более того, в логических программах практически не делается никакого описания управления, поскольку оно находится в компетенции интерпретатора. [10]
Вклад, который может сделать логическое программирование в общую теорию вычислений, не исчерпывается только еще одним языком программирования. Разумеется, логика применялась в теории вычислений и до появления логического программирования, но ее трудно было приспособить для использования на основном направлении развития этой теории, главным образом потому, что мы не имели тогда простой и реализуемой вычислительной интерпретации логики. Логику можно использовать для представления данных, программ, спецификаций и связей между ними; ее можно применять для описаний как на объектном уровне, так и на метауровне; она может использоваться для описания управления программным обеспечением, а также и для описания самого программного обеспечения. Значение логического программирования состоит в том, что оно позволяет автоматизировать все эти применения логики, сделать их основанными на общей вычислительной теории и, таким образом, внести единство в прежде разрозненные действия и инструментальные средства. В этой главе дается обзор некоторых приложений логического программирования к теории, практике и технологии вычислений. [11]