Manufacturing Communication： DCOM-MMS-based Approach for Flexible Manufacturing System

A design approach of manufacturing communication is presented for flexible manufacturing system in this paper. The primary objective aims at making the flexible manufacturing ,control system provided with interoperability and reconfigurability. Based on describing manufacturing message specification （MMS） and distributed component object model （DCOM）, a client/server manufacturing communication model is built with MMS standard and DCOM middleware, and the communication interfaces between MMS client and MMS server are designed with Microsoft interface definition language （MIDL） and abstract syntax notation one （ASN. 1） of MMS services. As a result, DCOM and MMS integration leads to such client/ server communication capabilities independent of different operating systems and manufacturing devices in flexible manufacturing automation environment. Finally, to verify the new design approach, a prototype system of robot control system has been implemented in MS 2000 Server/Professional Operating System and VC ＋ ＋ 6.0 Developer Environments.     

图形LOTOS和Petri同模型在PC机上的实现

在ＰＣ机上建立了一个由ＤＯＳ系统支持的图形ＬＯＴＯＳ（ＧＬＯＴＯＳ）软件工具．用这个工具，用户可以设计，显示一个ＧＬＯＴＯＳ说明，也可以把它转换成Ｐｅｔｒｉ网．该系统分为三个模块：ＤＲＡＷ，ＲＥＣＯＶＥＲ和ＴＲＡＮＳＦＥＲ．根据ＧＬＯＴＯＳ模型，模块ＤＲＡＷ给出了一个交互式的菜单系统，用这个系统，用户可以在图形窗口的任何位置画出ＧＬＯＴＯＳ的任一成分；模块ＲＥＣＯＶＥＲ可以自动恢复以前画好的ＧＬＯＴＯＳ模型；根据Ｐｅｔｒｉ网的表示，模块ＲＥＣＯＶＥＲ提供了从ＧＬＯＴＯＳ自动转换到Ｐｅｔｒｉ网的功能．     

扩展Tempura语言统一模型检测算法

针对扩展区间时序逻辑目前没有可用的统一模型检测算法的问题,找到了该逻辑可执行子集即扩展Tempura语言的可判定子集——首先限定该逻辑一阶部分的常量与变量均为有穷可枚举类型,然后加上该逻辑的命题部分.在此基础上,提出了扩展区间时序逻辑统一模型检测算法,以判定由上述定义的语言子集所书写的规范程序是否满足命题版扩展区间时序...     

基于角色的C/S程序用户授权系统的设计与实现

比较现有C/S程序中用户授权系统常见的权限管理解决方法,介绍了采用基于角色的访问控制设计原理和访问控制技术来完成菜单授权和后台数据库授权的方法,并以采用Delphi开发江苏电力管理软件为例提供了一套用户授权系统解决方案.     

浅谈软件界面的改进

对软件界面的菜单、窗口、图符作了介绍并指出不足之处，提出了具体改进建议     

一个CE—MIS模式注记

本注记主要是介绍已开发、推广使用着的县级经济计划用的管理信息系统CE—MIS(Management Information System for Economic planning in County)软件工具包的几个特点,包括菜单树的拓扑结构、自生成方法以及数据字典技术等。     

微机仿真系统中形式化方法的应用

Z语言是一种广泛应用的形式化语言，适合于仿真实时软件系统的需求规格说明．通过微机系统仿真软件的Z规格说明，讨论了Z语言在实时系统开发中使用的一些方法、对典型问题的处理原则以及操作同时序关系的描述．     

FOXBASE＋上弹菜单的使用与功能扩展

为扩展ＦＯＸＢＡＳＥ＋系统上弹式菜单的使用范围,提出１种“多数组”连续使用的方法,并对该方法进行了详细的分析。     

基于隐藏菜单的数据库安全机制研究与实现

介绍了一种较为灵活有效的基于隐藏菜单的数据库安全机制，它是根据不同的用户级别显示出不同的用户菜单，从而有效地控制非授权用户对应用程序的操作，保证数据库中数据的安全，重点介绍了此安全机制的重要函数，过程和主要代码，并给出了完整的步骤。     

积极构建和谐的语文生活

"和谐"是中国传统文化的核心理念和根本精神,和谐文化是和谐社会的思想精髓和精神灵魂.和谐的语文生活是构筑和谐文化,构建和谐社会的基础.我们要抓住机遇和挑战.积极规范语言文字,以科学发展观为指导,以营造和谐社会相适应的和谐语言文字生活为目标,全面推行国家语言文字法规政策,积极引导人民群众树立科学的语言文字观,全社会合力构筑和谐的语文生活.