安全性和正确性折中的软件系统开发方法

主要分析和研究如何在软件当前的现实下寻求功能正确性和安全性的折中策略，来解决商业软件长期以来带有“bug”和安全性问题．对功能正确性和安全性的折中方案，亦有详细的分析，最后还提出将软件开发的折中技术融入软件工程以取得实际的效果．     

Applying Petri-Net-Based Reduction Approach for Verifying the Correctness of Workflow Models

0 IntroductionTobadaseyd’s o nintfhoer mflaotiwonof s ywsotrekmss t hhraovueg hbe tehne doervgealnoipzead-tion rather than based ontasks .Duetothistrend,work-flowand business process technology has been applied tovarious applications such as ERP, groupwares , E-mar-ketplaces , E-business etc . When business processes areapplied to these applications ,business processes are de-fined by process designers and business process instancesare executed by workflowengines or workflow manage-ment sys…     

TRP激光陀螺温度控制系统的参数辨识

针对全反射棱镜式激光陀螺腔长控制系统的特殊性及其模型参数辨识的必要性，给出TRP激光陀螺温度控制系统的数学模型，并基于最小二乘法从理论上分析推导出3种新型参数辨识法：直接辨识算法、辅助变量法和递推算法。指出3种参数辨识法各自的优缺点及适用场合，并用具体实例证明了该辨识算法的正确性和实用性。     

基于EDA技术的继电控制回路设计

指出了机电设备常见电气继电控制在使用中的不足，阐述了在继电控制回路的开发设计中运用EDA技术的可行性，介绍了用VHDL语言设计单片控制系统的方法，给出了电机周期性正反转运行的VHDL设计程序和仿真波形图．仿真结果证明了这种设计方法的正确性．这种设计理念对传统电气继电控制的设计是一种挑战．     

论事故处理时的正确性与迅速性

发生事故特别是特重大事故后,处理方法正确与否决定着事故造成的后果,在处理方法正确的前提下,处理事故迅速与否又关系到损失的大小.故处理事故的正确性与迅速性对减少人员伤亡、财产损失及社会影响等有重要意义.     

《飘》的两个汉译本片段对比赏析

美国作家玛格丽特.米切尔的长篇小说《飘》自问世以来一直畅销不衰,至今已译成40多种文字在全世界出版发行。目前中国也存在《飘》的多种译本,本文就原作的片段,对戴侃等人的译本与陈良廷的译本进行对比赏析,主要分析两个译本的译者对译文的不同处理方式以及所达到的效果。     

对校办企业资产负债损益审计的探讨

资产负债损益审计 ,它与传统的财务审计一脉相承 ,但侧重点有所不同。资产负债损益审计把重点放在对资产负债损益真实性的审查与评价上 ,对形成资产、负债、损益失实的原因进行分析。本文着重探讨了资产负债损益审计的重点内容和方法。     

一个描述内存工作区操作的公理语义方法

本文定义了一个内存工作区处理语言ＭＰＬ，并提出了用于描述语言的形式化方法，作为示例，文中最后给出一个程序部分正确性的验证提纲。     

产品MBD数据集三维标注的自动校验与实现

针对目前商用CAD软件中MBD功能三维标注缺乏正确性校验问题,基于OpenCASCADE几何造型内核研究了三维尺寸标注与标注有效性检查的问题.通过提取被标注对象的几何特征,结合信息标注规则,判断用户标注内容与标注对象间的匹配性,进而判断标注的正确性,增加了系统三维尺寸标注的智能性.设计了分层数据结构存储标注信息,并将标注信息与形体要素相关联,避免了三维标注中重复标注的现象,也为后续的产品虚拟装配、加工制造以及产品服役中产品语义信息的自动化提取提供可能.将标注信息以XML格式储存,便于信息的传输和访问,为进一步研究产品的数字孪生技术打下良好的基础.