YAWL中OR-join任务使能判断的改进及形式化说明

为避免YAWL建模过程中嵌套使用或汇合任务可能出现的提前使能问题,提出了使用异或汇合和与汇合任务将嵌套的或汇合任务进行替换的方法,通过替换有效解决了这一问题,而且结合Reset网,对改进作形式化说明。     

计算机联锁软件的Z规格说明

计算机联锁软件是一种典型的安全关键软件,具有非常复杂的联锁控制逻辑和以失效安全为核心的安全需求。形式化其安全需求是一件十分必要,也是一件十分艰巨的任务。本文使用形式化规格说明语言———Z语言来描述其安全需求,生成形式化规格说明。形式化规格说明不仅有助于提高计算机联锁软件的质量,而且也有利于将来对它进行更严格的测试。     

ENERGY CALCULUSIN CHINESE LANGUAGE SEGMENTATION

IntroductionIn the past twenty years,many Chinese lan-guage processing systems have been developed.Excellent researchers[1～ 3] have led Chinese lan-guage processing into a new era.However,seg-mentation ambiguity problem has not beensolved satisfyingly.The current techniques to eliminate segmenta-tion ambiguity can be classified into two cate-gories:rule- based techniques( strong technique)and statistic- based techniques( soft technique) .Hybrid techniques belong to both.In rule- based techn…     

电力机车数据库与特性分析系统

阐述了在微机上建立的“电力机车数据库与特性分析系统”的研制目的、系统构成、功能和运行特点以及软件编程中的主要技术，对该系统包括的国产电力机车概要数据系统、图象系统、特性计算系统和国外电力机车系统四个子系统逐一进行了介绍。     

基于参数化子模型的SWATH船典型节点抗疲劳设计

复杂的交变载荷、特殊的结构形式和高强度钢的大量使用使小水线面双体船连接桥结构的疲劳强度问题尤为突出。针对此问题,研究在整船有限元分析的基础上,采用子模型法对SWATH船支柱体高应力集中区域的典型节点进行基于Miner线性累积损伤理论和Weibull分布连续模型的疲劳强度分析。并通过有限元分析软件Ansys及其参数化编译语言APDL建立该典型节点的参数化子模型,结合以表征结构疲劳寿命的累积损伤度和影响疲劳强度的形状和尺寸参数建立的优化模型进行优化设计研究。算例结果表明,该方法能够在提高结构疲劳强度的情况下,提出结构重量较轻的节点形状和尺寸方案,为此类结构的抗疲劳设计提供参考。     

加油站计算机计量管理系统

分析了加油站计算机计量管理系统的功能及其组成结构,提出用Delph i语言设计系统的应用软件,实现可用于加油站计算机计量管理系统的通用软件平台,包括各种功能模块.对油罐液位、油温进行实时检测、记录及报警,对加油机自动加油进行实时控制和监视,系统支持加油站相关营销数据的查询,能够形成和打印有关营销数据的生产报表.     

浅谈网络资源在科技英语阅读教学中的应用

从教学实践出发,阐述如何开辟新的渠道高效地提高学生的阅读能力。使我们把网络技术应用于外语教学成为可能在多媒体网络环境下我们可以创造最真实,最直接,最主动,最优越的英语互动学习环境,能很好地培养学生英语阅读的兴趣和获取信息的能力。     

The Evil of ‘Reciting’

First of all it is necessary to point out that ‘reciting‘ is the wrong term for what Chinese students are often asked to do when they are learning English. The correct terms are, ‘learning by heart‘ or ‘rote learning‘. In this article the term ‘rote learning‘ will be used.……     

SEAS2000系统的研究和开发

在了解、研究沈阳东大阿尔派软件股份公司SEAS2000系统的基础上，根据部课题“内河船舶设计资料查询系统”需要和我院实际需求，进行部分二次开发，完成课题要求的功能。     

一种基于M语言的MBD软件开发自动化脚本工具

为有效解决MBD开发流程中模型搭建、验证及代码生成工作中存在大量重复性操作工作效率低问题,本文开发了一种基于MBD软件开发自动化脚本工具。首先对基于MBD软件开发流程中需要进行自动化操作进行分析,然后基于自动化操作需求利用MALTAB/M语言进行脚本工具开发,最后利用发动机后处理控制算法模型进行脚本工具应用验证。本软件开发自动化脚本工具提高了MBD软件开发的效率和品质,可读性和维护性好。