用户界面模型与形式规格说明研究

在讨论人机交互方式和界面控制与通信的基础上，描述用户界面抽象模型及形式规格说明方法和技术方面的研究和进展。主要强调图形用户界面的模型和描述问题。     

型钢混凝土(SRC)梁受弯承载力计算方法比较

<钢骨混凝土结构设计规程>和<型钢混凝土组合结构设计规程>是现有的两部型钢混凝土设计规程,为了便于工程设计人员正确选用,对这两部规程的分析思路、并将相应的计算值与实验数据进行比较,得出两部规程不同的设计特点,并提出了现阶段存在的主要问题,最后提出一些适合工程应用的建议.     

Some Problems of Rails For High-speed Railway of China

Acciording to running experience of high-speed railway abroad,a full attention must be paid to some requirements of specifica-tion of rails for high-speed railway,such as materil mechanical properties,rimension tolernces,straightness,surface flatness and so on.It is suggested that the long-length rails should be laid in high-speed railway,and the feasibility of producing,welding and transporting of long-length rails should be researched.On the basis of technical innovation of domestic manufacturers,it is practicable to lay 50-100mlong-length rails should be researched.On the basis of producing,welding and transporting of long-length homemade rails in high-speed railway of China.The following welding programme of rails for hiah-speed railway can be adiop-ted:50-100m long-lenath rails can be welded as 500m long rail string through flash butt welding in plant,then in field the reid string can be welded through a mobile flash butt welding or thermit welding.As the specification of rails or high-seed railway is rigorous.some related techniques to long-length rails should be researched and practised as soon as possible,including mobile flash butt welding tech-nique,transporting and reinforcing techniques of lon-length rails,etc…     

“氨水”还是“氢氧化铵”?

本文总结了氨水与氢氧化铵的表述在国内外现行化学教材、专业词典、国家标准、化学化工相关文献中体例不统一的现状,认为最新修订的化学试剂氨水国家标准对氨水性状的描述过于简单,中文名称与化学式不一致,而且国内外对氨水和氢氧化铵的英文用词有多种,通过检索英文用词很难统一两者的中文表述。文章对如何规范“氨水”和“氢氧化铵”的表述提出了建议。     

基于Petri网的车间控制器平台研究

着重于车间控制器的开放性提出了车间控制器平台的体系结构.车间控制器平台的核心是运控Petri网.该文给出了运控Petri网的定义.和一般的Petri网相比,运控Petri网主要增加了控制规则以及和外部信息进行交互的接口.实现外部接口的技术方案是车间控制器平台的关键技术,这些接口包括控制设备的虚拟制造设备(VMD)接口、数据库访问接口以及文件访问接口,通过这些外部接口为车间调度提供了全面的车间信息.     

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

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

主流区风口模型在CFD模拟中的应用

提出主流区风口模型计算气流温度和速度的特性公式,并研究其在工程中的实际应用情况．利用主流区风口模型、基本模型、盒子模型、N点动量模型分别模拟了送风口气流分布情况．结果表明,基本模型与盒子模型对于结构复杂的送风口模拟失效;基于N点动量模型和主流区模型的流体速度在工作区的模拟值与实测值的相对误差小于20％;在主流区模型中,送风口附近的气体速度模拟值与实测值的最大相对误差小于15％．     

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

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

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.     

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

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