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

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

6种曲线元上的道路中桩坐标解算

当前线路平、纵、横设计要素面向的对象仍为为传统的施工测量手段，鉴于测量仪器及计算机的进步，设计要索的选择必须有利于快速、精确的获取施工放样数据。为建立统一数学模型，实现道路放样的数字化，避开了线路平面线形设计中常规组合方式，提出了曲线元的概念，统一概括为6种曲线元，通过坐标换算把曲线元上点位坐标统一到测量坐标系中。     

船舶二冲程柴油机缸内过程建模和MATLAB模块探讨

本文针对船舶二冲程柴油机换气阶段的特殊性,探讨了船舶二冲程柴油机缸内过程中热力循环的特点和规律,建立了缸内过程的仿真模型,设计了相应的MATLAB/SIMULINK模块。     

转移排队车辆控制尾气排放的应用实例

为了缓解苏格兰法夫（Fife）地区库珀（Cupar）镇的交通拥堵，减少关键区域的尾气排放，用S-Paramics模型进行测试。采取的措施是把排队车辆转移到道路宽阔且建筑物较矮的路段，使车辆尾气易于扩散。测试结果显示，该方法能显著减少关键区域的尾气排放量，而车辆行程时间基本保持不变。项目的评价标准不是基于传统的行程时间和车辆运营成本的节约，而是考虑了行人和当地商业的利益。     

基于结果链的建模方法在CIMS中的应用

针对企业建模研究中存在的问题，对CIMS建模理论和实施方法学进行了研究，将基于结果链的建模方法(Result-Chain Based Modeling，RCM)应用于CIMS实施，建立企业CIMS系统的结果链模型图．研究结果表明，结果链建模技术由于强调系统中各部分之间的相互影响以及对企业最终目标和结果的影响，可以帮助企业CIMS实施过程中的沟通和决策，是对传统建模方法的有效补充．     

采用永磁悬挂体的磁悬浮系统建模与系统设计方法

为降低悬浮系统的功耗，提高悬浮品质，建议在吸力型破悬浮系统中采用永磁材料做悬挂体。文中给出了这种系统的建模方法，阐述了系统设计的原理。     

企业文化的塑造与思索

该文首先阐述了企业文化的概念和主要作用,分析了企业文化发展现状和存在的缺陷,并从四个方面对企业文化的塑造进行了探讨。     

计算机联锁软件的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…     

集装箱码头仿真和优化研究进展

当今90%的国际货物要经过海港,并且80%的海上运输货物要用集装箱运输。集装箱码头的设计者和管理者为了节省费用和快速有效地满足集装箱运输的需求,使用了缩短船舶在港停泊时间,高效利用人力、泊位、堆场和装卸设备资源等措施。为了进一步研究集装箱码头系统,通过查阅相关研究文献,总结了集装箱码头仿真和优化研究的主要问题和某些研究的局限性,展望了未来的研究趋势。