珠钢CSP生产制造执行系统

珠钢电炉CSP的MES具有生产计划管理、质量管理、物料和生产跟踪、生产协调、原料库管理、钢卷库管理、通信和生产统计报表八大功能。本文重点阐述了MES的生产计划排产、质量评估的实现方法。目前,该系统在珠钢得到了广泛应用并取得了较好的效果。     

专家系统在生产制造系统（MES）中的应用

介绍了生产制造系统(MES)。对MES工程最核心的生产计划模块选用了专家系统来实现其功能。引进了STEELPIA平台的专家系统模型。通过搜索知识库的专家知识最终出钢,轧钢的作业指示。对补充到专家系统的知识库中的部分浇铸的调度策略的优化过程作了详细地描述。     

制造执行系统的生产管理控制研究

车间调度是制造执行系统生产管理控制的核心功能,因此制造执行系统必须实现车间的优化调度。文章分析了制造执行系统的生产管理控制方法,提出了制造执行系统的车间调度方法。一个已在某航天制造企业使用的制造执行系统软件证实了制造执行系统的生产管理控制方法的正确性。     

一种改进的并发程序静态切片算法

分析了Krinke切片算法对循环体内嵌套有线程的程序结构会产生切片不精确的现象,认为其原因是该算法对线程间数据依赖的定义过于粗糙,且对程序行为约束不够。该文提出一种新算法,在并发程序内部表示中,增加跨线程边界循环-承载数据依赖,并引入区域化执行证据约束程序行为。实例研究表明,该算法克服了Krinke算法的不精确现象。     

Vega仿真循环与HLA联邦执行过程集成研究

研究了Vega仿真循环控制机制，根据建立Vega应用程序的步骤，给出了基于Vega的虚拟现实应用系统仿真流程。对联邦成员执行过程进行了分析，给出了联邦成员仿真流程。通过对Vega仿真循环与联邦成员执行过程程序结构分析与比较，结合二者的特点，给出了以Vega的仿真循环为主，把联邦成员的时间推进循环嵌入Vega的仿真循环中的集成方法，成功地将两种仿真循环机制融合到一起，得到了集成后的仿真流程，取得了良好的仿真效果。     

A new decode algorithm for binary bar codes

Distortion is the major obstacle to more aggressive decoding in current bar code decoders. The new decoder introduced in this paper is one of the solutions to this problem for binary bar codes (e.g. CODE 39). The new decoder is basically a minimum distance decoder that also utilizes distortion information from the start/stop characters. Security and execution time issues are also addressed in the paper.     

Airlift mission monitoring and dynamic rescheduling

We describe the Flight Manager Assistant (FMA), a prototype system, designed to support real-time management of airlift operations at the USAF Air Mobility Command (AMC). In current practice, AMC flight managers are assigned to manage individual air missions. They tend to be overburdened with associated data monitoring and constraint checking, and generally react to detected problems in a local, myopic fashion. Consequently, decisions taken for one mission can often have deleterious effects on others. FMA combines two key capabilities for overcoming these problems: (1) intelligent monitoring of incoming information (for example, weather, airport operations, aircraft status) and recognition of those situations that require corrective action and (2) dynamic rescheduling of missions in response to detected problems, both to understand the global implications of changed circumstances and to determine appropriate rescheduling actions. FMA builds on two existing technologies: an execution-monitoring framework previously applied to small-unit operations and control of robots, and a dynamic scheduling tool that is transitioning into operational use in AMC's Tanker/Airlift Control Center. FMA's dynamic-mediation module provides for collaborative mission management by different planning and execution offices by structuring communication for decision making.     

主动网络的应用及具体实现:Bowman和CANEs

主动网络是可编程网络。主动网络中的网络结点具有计算能力，它能对流经本地的数据进行计算和修改。介绍了主动网络（active network)的应用，实现方案并通过具体实例Bowman和CANEs来阐述。     

Execution traces and programming-language semantics

The trace of a program-a string representing the sequence of statements executed for a particular input- and a program's trace language-all such strings-are considered as an expression of the control-flow possibilities inherent in the program. It is shown that, for a language like Turing's, programs always have trace languages that are context-sensitive but not always context-free. Such low-level languages lose most of their computing power if restricted to context-free traces. For languages in which individual statements are more powerful than those of a Turing machine, the trace languages may fail to be recursive, but the context-sensitive behavior may be regained by slightly altering the idea of a trace. In any case, it is also shown that it is impossible to effectively identify programs that have trace languages more restrictive than the widest class available in the programming language.     

基于FactoryTalk平台的MES软件全面解决方案

通过分析MES的功能,并结合制造企业的特点,论述了实现制造企业信息化的基础过程平台及生产执行系统MES信息化解决方案。以罗克韦尔自动化的FactoryTalk为基础,介绍了罗克韦尔自动化的硬件系统集成构架和MES系列软件BizWare平台,可针对制造企业的特点．选择不同的软件来组态成特定的MES系统,提出了现实可行的电子化制造方案。