一种基于场景的CTCS-3列车控制系统建模方法研究

对CTCS-3列车控制系统进行有效的测试、分析和验证是保证列车运行安全和旅客生命财产安全的重要手段,而形式化模型是系统测试、分析和验证的基础。本文以CTCS-3列车运行控制系统的UML非形式化模型为基础,以自动机模型作为系统形式化模型描述的数学工具,研究UML顺序图(场景)自动转化为自动机网模型的方法。首先将场景的UML顺序图自动转化为子系统的子自动机模型,然后通过合并不同场景的子自动机模型,得到子系统的组元自动机模型,最后通过对通信通道的建模得到系统的自动机网模型。使用本方法,基于系统的UML顺序图模型可以自动生成系统的自动机网模型。

制造过程质量控制中误差流理论的研究

基于平稳随机过程正态分布假定和手工计算的传统统计过程控制法与控制图已经不满足现代制造过程质量控制与保障的要求。为提高产品质量必须研究与质量形成过程相关的几个误差流理论问题：误差流的跟踪与监视控制，误差流控制图，三维误差模型及其失稳自组织恢复原理。介绍了上述问题的研究结果与模型，并报道单／多工序车削加工误差流跟踪和误差流控制图的试验研究结果。

基于ISAS88标准的批量控制策略的研究与实现

简要介绍了批量过程控制标准ISAS88,该标准定义了适用于批量过程控制的专业术语和模型 ;详细说明了应用顺序功能图(SFC)来描述和实现批量过程控制策略的方法。应用SFC实现批量控制具有诸多优点。

PLCopen多轴圆弧运动控制功能块的实现

针对目前市场上运动控制器编程语言不兼容、编程方法繁琐等问题,深入研究了基于PLCopen规范的功能块模型设计及圆弧插补算法的工作原理。首先,在试验室现有的"多轴运动控制器+μC/OS-Ⅲ"平台上,选用目前工控界广泛推广的德国3S公司的Codesys软件作为开发平台,以多轴圆弧运动控制功能块作为编程对象,采用结构化文本语言和顺序功能图,设计运动控制功能块。其次,通过在嵌入式系统中移植Codesys SP内核,使硬件平台成为符合IEC编程标准的可编程逻辑控制器,实现底层功能块的接口设计。最后,将设计好的功能块下载到控制器中,在Matlab中进行速度与位移曲线的仿真。仿真结果表明,功能块可达到设计要求,能够完成多轴运动,并可被移植到其他硬件平台上,具有很好的兼容性与复用性。

基于MSC的网络游戏软件测试方法研究

针对网络游戏软件测试方法研究方面的不足,结合基于模型测试方法和TTCN测试技术,对网络游戏软件可玩性的测试方法进行研究。采用MSC图作为网络游戏玩法建模工具,建立玩法测试模型;用TTCN-3核心语言对玩法测试模型加以实现;结合一个具体的网络游戏软件测试案例,给出上述测试方法和技术的解释。从理论角度验证了基于模型测试方法在网络游戏软件测试上的可行性;从技术角度表明了TTCN对网络游戏软件测试的有效性。

MB系列智能可编程控制器的标准化编程

介绍了自行研制的MB系列智能可编程控制器的编程软件MBPro。该软件遵循IEC61131-3标准,主要完成硬件配置、测点组态、软件编程以及相关的调试下载工作,提供了梯形图、流程图、指令表、结构文本等标准化编程语言,充分显示了其控制功能丰富、系统组成灵活、结构扩展容易、用户界面友好、联机调试方便的特点。

浅谈日本建筑业施工质量管理

介绍了日本建筑业施工质量控制方法，特别是将静态控制与动态控制相结合，有效地保证了工程施工质量，为计算机参与施工过程管理创造了条件。期望本文介绍的相关思想和方法能对我国建筑施工企业有所借鉴。