面向敏捷制造的MMS集成通信系统

敏捷制造的发展需要网络支撑,借助Ｉｎｔｅｒｎｅｔ和Ｗｅｂ可以将分立的局域网造成的“信息孤岛”加以集成,从而真正解决“自动化孤岛”问题。本文简要介绍了ＭＭＳ协议和Ｗｅｂ应用技术,提出了传统ＭＭＳ局域网应用系统连入Ｉｎｔｅｒｅｎｔ／Ｉｎｔｒａｎｅｔ并实现基于Ｗｅｂ控制的策略,在此基础上,结合单元式空调机远程监控系统的应用实例,实现了基于Ｗｅｂ的ＭＭＳ集成监控系统。     

基于元模型架构的UML类图到PVS规范的转化方法

UML是一种非形式化的面向对象建模语言,它缺少精确的语义定义;PVS规范则是一种具有精确语义定义的形式化规范语言,通过PVS规范给UML图形赋予精确的语义可以结合两者的优势.为此,提出了一个将UML类图转换成PVS规范的框架.按照UML的4层架构,依次对元元模型、元模型以及UML图形进行转换,并且前一次转换所得到的规范可以为后面的转换提供上下文背景.与其他方法相比,这种分层转化的方法降低了转换难度,保证了转换的正确性,保持了UML模型更完整的语义成分.     

数字化语音室的功能和技术规范

随着教育信息化发展,数字化语音室正逐渐代替模拟语音室并在教学工作中被广泛使用,然而一些学校的教师对数字化语音室的认识并不十分清楚。此文为解决这一问题试从概念和功能上比较说明数字化语音室与模拟语音室的区别,分别说明其各自的技术规范,并对数字语音实验室建设提出建议,以促进各个学校的语音室建设。     

Microsoft组件对象模型的形式化描述

基于组件的软件开发(CBD)是一种较为理想的软件开发方法,它根据组件标准,将独立开发的软件组件组合成应用.组件对象模型(COM)是目前最为流行的实现级组件软件协议,它是Microsoft关于如何建立组件和如何根据组件构造应用的一个规范,1995年公布的COM规格说明详细地定义了建立和使用COM组件应遵循的规则.然而该规格说明是非形式化的,这使得它缺乏逻辑的严密性,容易引起歧义.本文根据COM规格说明定义的规则,为其建立一个形式化的组件模型,模型反映了COM组件的本质,但省略了一些具体细节. 模型采用规格说明语言Z进行描述.     

某工程基础选型设计

本文讨论的是某工程基础选型设计.通过对地质勘察资料的详细分析,初步设想采用予应力管桩基础、水泥搅拌桩复合地基、换填砂石地基处理三种方案.按照建筑地基处理技术规范JGJ79-2002,J220-2002和建筑地基基础设计规范B50007-2002的要求,结合各方案的施工工艺以及工程造价的比较,最后决定采用换填砂石地基处理.本工程现已施工,基本达到较为满意的预期效果.通过对基础选型进行的优化分析,既保证基础的强度、刚度与可靠性要求,又经济合理,希望和同行共同分享这份经验.     

A PSL Ontology-based Shop Floor Dynamical Scheduler Design

Due to the complex, uncertainty and dynamics in the modern manufacturing environment, a flexible and robust shop floor scheduler is essential to achieve the production goals. A design framework of a shop floor dynamical scheduler is presented in this paper. The workflow and function modules of the scheduler are discussed in detail. A multi-step adaptive scheduling strategy and a process specification language, which is an ontology-based representation of process plan, are utilized in the proposed scheduler. The scheduler acquires the dispatching rule from the knowledge base and uses the buildin on-line simulator to evaluate the obtained rule. These technologies enable the scheduler to improve its fine-tune ability and effectively transfer process information into other heterogeneous information systems in a shop floor. The effectiveness of the suggested structure will be demonstrated via its application in the scheduling system of a manufacturing enterprise.     

混合遗传算法在砂土液化势评价中的应用

基于历史地震液化实例资料和现场实测 SPT值 ,建立了应用混合遗传算法的砂土液化势智能评价模型 ,并实际评判了特大型润扬长江公路大桥工程区的砂土液化 ,且进一步分析和研究了桥址区潜在液化层的空间分布规律和概率统计特征 ,并与规范判定法结果作了对比 ,取得了较好的成果。实例应用表明了该法是可行和可靠的 ,为大桥的设计和施工提供了科学依据 ,对基础工程的可靠性分析和最优设计具有重要实际意义     

基于时态逻辑的抽象对象规约方法

提出了一种基于时态逻辑的抽象对象语义描述方法,采用这种方法,可以在说明对象的同时对其行为加以时态限制,从而在语义层次上规约了并行对象系统的行为。在此方法上,还可以进一步对系统进行形式化的验证。     

用形式化和非形式化技术对VB程序逆向工程

研究了采用形式化和非形式化相结合的方法，为VB程序生成形式化规格说明的逆向工程技术。给出了VB语言基本结构的最强后件语义表示、模式匹配规则、抽象匹配规则以及产生规格说明的基于结构化分析的3阶段过程。在此基础上使用VB语言实现了原型工具BasicSpec。此工具首先为VB程序建立非形式化的抽象模型：窗体结构图和过程调用图；然后为关键模块生成形式化规格说明。生成的结果清晰明确，有助于软件工程师理解VB源程序。     

基于试验数据库的灌浆连接规范公式安全性评估

通过收集整理大量国内外灌浆连接轴向力学性能试验数据,得到包含115个有效试验数据的数据库.依据各国规范公式中的参数对数据进行分类,分析灌浆连接轴向力学性能试验研究现状.在此基础上,对DNV-GL(2018)、 NORSOK(2013)、 API(2007)、 ISO(2007)、 HSE(2001)等规范设计公式进行安全性分析.结果表明:现有试验研究中超过50%的试件套管直径低于400 mm,且对于试件套管直径超过800 mm的研究仅有一项;灌浆厚度的选择大部分不符合主要规范使用范围,且主要集中于低灌浆厚度;灌浆材料抗压强度的选择大部分为低抗压强度,虽满足大部分规范公式适用范围,但不利于实际工程实践运用;通过对比分析各国规范设计公式试验平均安全系数及其标准差,表明DNV-GL(2018)设计规范公式安全性高、适用性广与经济性好,推荐海上风电结构灌浆设计优先考虑采用DNV-GL(2018)规范.