基于Pi-演算的工作流模式描述

工作流模式包含了业务流程的基本特征和共性,其实现依赖于具体的流程建模语言或方法.Pi-演算是一种进程代数,可以应用于业务流程的形式化建模.本文使用Pi-演算作为业务流程形式化的工具,对存在多种BPMN表示的工作流模式进行形式化建模,以探究工作流模式Pi-演算的描述,检验Pi-演算对业务流程行为特征的表现能力.     

序列折半划分问题的形式化推导

形式化推导是在程序正确性证明理论下所进行的程序开发,最终得到完全正确的算法程序。针对序列折半划分问题,现有的形式化推导方法将推导与证明交替进行,推导过程繁琐且大多无法直接获得可执行程序。为解决上述问题,提出了一种新的序列折半划分问题的形式化推导方法。该方法基于分划递推的核心思想,应用规约变换技术对问题规约进行变换并严格保证一致性,使得在推导过程中无需交替证明,进而导出递推关系式并得到高可靠性抽象算法程序Apla,最终通过转换工具自动生成可执行程序。实现了从程序规约到具体可执行程序的完整程序求精过程。以2个序列算法为例,验证了该方法的有效性和可行性,对相关问题的形式化推导具有指导意义。     

采用形式化技术的软件再工程

形式化技术为软件再工程提供了完备的理论基础,该文对基于软件再工程的形式化方法进行了探讨,提出了一个统一的面向软件再工程的形式化方法。     

基于AOP 的运行时验证中的冲突检测

现有的形式化验证方法除了在模型层面对系统进行验证以外,越来越倾向于直接针对系统的实际代码和具体运行.运行时验证技术验证的对象是具体程序,它试图把形式化验证技术部署到程序的实际运行过程中.然而在把形式化技术部署到实际运行过程中会出现一系列在模型层面验证通常不会出现的问题,对这些问题中的冲突现象进行了研究,定义了运行时验证技术中存在的两种冲突,并给出了相应的检测算法.最后,对这些算法进行了实现和实例研究,结果表明了该方法的有用性.     

PPP协议一致性测试集生成方法研究

测试集的生成方法是一致性测试技术的核心.介绍了形式化描述技术在测试集生成过程中的应用,针对PPP协议介绍其协议实现时的状态迁移.使用形式化描述语言SDL对PPP协议进行形式化描述,并以此为基础生成测试集,这些测试集能有效地应用于PPP功能实现模块.     

基于实时语言和面向方面的形式化开发方法

面向方面方法和实时语言特性应用于实时软件开发工程，将降低实时软件开发的复杂性，而形式化方法将提升系统的可信度。该文提出的一种面向方面的实时软件开发方法AOSDBRTL，它基于经面向方面扩展的形式化方法AO RT Z，在编码阶段应用实时语言PEARL，实现了软件开发各个阶段对面向方面的无缝支持。     

基于B方法的组件开发

现有的组件开发技术的规格说明是非形式化的,这导致了逻辑的非严密性和理解的歧义性,将会严重影响组件复用的效率。B方法是形式化方法之一,已经有功能强大的工具支持软件的形式化开发过程,它通过严格的数学推导和证明来保证软件设计和代码的正确性。为此,将B方法应用于学生信息管理系统的开发,提供了学生组件从需求规格说明、精化到最终实现的开发过程。通过对这一实例的研究可以看出,B方法增强了组件的规范性,对于提高组件复用的可靠性有重大的意义。     

阅卷信息的形式化描述及其应用

本文介绍了阅卷信息的形式化描述应用于阅卷系统的优势,并简单介绍了其实现方法和实现过程。这种形式化描述方法可以提高阅卷系统的独立性、适应性,延长其生命周期,并可广泛应用于其他领域。     

基于B方法的组件开发

现有的组件开发技术的规格说明是非形式化的，这导致了逻辑的非严密性和理解的歧义性，将会严重影响组件复用的效率。B方法是形式化方法之一，已经有功能强大的工具支持软件的形式化开发过程，它通过严格的数学推导和证明来保证软件设计和代码的正确性。为此，将B方法应用于学生信息管理系统的开发，提供了学生组件从需求规格说明、精化到最终实现的开发过程。通过对这一实例的研究可以看出，B方法增强了组件的规范性，对于提高组件复用的可靠性有重大的意义。     

工作流集成中基于代数表达式的语义匹配机制

针对现阶段工作流集成研究中功能匹配查准率和查全率低的问题,给出了基于软件功能形式化语义的匹配机制的实现。在前、后条件pre/post的完全匹配模式下,以高级程序设计语言中的代数表达式为基础,提出了匹配原则,并给出了具体的算法,并且用实例进行分析说明。该算法适用于工作流集成中的功能匹配,同时基于严格的形式化方法,便于分析和验证。该算法局限于初等代数性的前提。     

基于逆向反求的《机器 3D 测绘》 实践训练方法研究

开展《机器 3D 测绘》实践训练有助于巩固零部件测量和绘制技能,提高学生分析 与设计表达能力,增强学生工程应用能力。引入逆向工程测量技术,提出测绘实践训练目标、实 施流程和具体要求。明确测绘对象选取原则,选定测量工具,制定零件三维特征建模和逆向重构 方法。提出组长负责制的训练计划,组间互评、小组自评与教师评定结合的综合评价方法,制定 详细评分标准和策略。应用实践表明,该训练方法提升了学生综合运用现代设计技术方法的能力, 增强了工程素质,提高了就业能力。     

Web系统维护中的逆向工程研究

分析了软件维护当中的问题,提出了一种针对Web系统的逆向工程方法.该方法以Web站点为输入分析页面的源码,从页面链接和交互进行逆向,构建出站点的部署和任务模型,从而直观地表示出对维护人员有帮助的系统信息,同时介绍了笔者自行开发的逆向工程辅助工具.通过该方法,维护人员能够直接得到系统信息, 而不必去分析源代码,克服了缺乏设计文档的困难.通过一个Web站点的逆向实例,演示了这种方法.     

Web系统维护中的逆向工程研究

分析丁软件维护当中的问题,提出了一种针对Web系统的逆向工程方法。该方法以Web站点为输入分析页面的源码,从页面链接和交互进行逆向,构建出站点的部署和任务模型,从而直观地表示出对维护人员有帮助的系统信息,同时介绍了笔者自行开发的逆向工程辅助工具。通过该方法．维护人员能够直接得到系统信息,而不必去分析源代码,克服了缺乏设计文档的困难。通过一个web站点的逆向实例,演示了这种方法。     

基于面向对象模型的关系数据库逆向工程研究

1 引言逆向工程在软件再工程,在支持向客户/服务器体系结构的迁移,在了解分布式系统的状态和演化等许多方面正日益被认为是一种有效而经济的实现方式,逆向工程在处理软件和遗传系统方面的能力,也正得到软件组织越来越多的认可和赞许。逆向工程的核心是抽取抽象的活动,其中对数据的抽取处理是逆向工程的主要内容。由于在许多面向数据的应用系统中,其基础部件是数据库且数据库是系统中相对较为稳定的     

基于强制约束的非均匀网格简化算法

在工程中通常采用三角形网格描述几何物体,但是网格模型的大数据量成为后续处理的瓶颈,因此三角形网格模型的简化成为了多个领域中的研究热点。文章针对逆向工程中的特殊简化要求,提出了一种强制约束下的非均匀网格简化算法。对于工程应用实例的简化计算,可以得到与原始网格拓扑一致的非均匀简化网格,表明了所提出简化算法的有效性。     

基于实体的特征反求技术研究

反求工程是当今CAD建模技术的一种重要途径,它极大地提高了设计人员的设计效率.然而仅包含曲面信息的三维重构限制了反求工程与CAD/CAPP/CAM系统的集成.针对这一问题,本文提出了基于多色图表示子特征之间空间约束关系的集合运算思路,可以较好地得到反求实体的特征信息以及特征树的结构利于其后的CAD模型的再设计、设计分析和加工.     

Analysis of digitized 3D mesh curvature histograms for reverse engineering

Today, it has become more frequent and reasonably easy to digitize the surface of 3D objects. However, the obtained results are often inaccurate and noisy. In this paper, we present an efficient method to analyze a curvature histogram from a digitized 3D surface using a real object. Moreover, we propose to use the curvature histogram analysis for many steps of a reverse engineering process, which can be used to retrieve a CAD model from a digitized one for example. Our objective is to design a fast and fully automated method, which is seldom seen in reverse engineering. Experimental results applied on digitized 3D meshes show the efficiency and the robustness of our proposed method.     

Constrained fitting for 2D profile-based reverse modeling

Profile curve reconstruction is crucial to surface reconstruction in reverse engineering. In this paper, we present a new constrained fitting method involving lines, circular arcs and B-spline curves for profile curve reconstruction. By using similarity transformation, we reduce the condition number of the Hessian matrix involved in the optimization process and, therefore, the numerical stability is significantly improved. Several industrial examples are presented to demonstrate the efficiency of our method. This paper describes a 2D constrained fitting method for profile curve reconstruction in reverse engineering. The method is an extension to the published methods for 2D constrained fitting. Further more, the numerical problem associated with constrained fitting is tackled in our paper. The described method has been implemented in RE-SOFT, which is a feature-based reverse engineering software developed by the CAD/CAE/CAM Lab of Zhejiang University.     

初探基于逆向工程的新产品开发流程

逆向工程技术是工业设计的加速器,利用这项技术可以缩短新产品的开发周期,提高工作效率,降低产品的开发成本。文章从视觉心理学的角度分析了逆向工程给工业设计带来的"限制设计师思维"的问题,分析了逆向工程的滥用给中国工业设计带来的影响,提出了一种新的产品创新设计流程,即将逆向工程融合到产品开发的不同阶段,既能充分运用逆向工程为产品设计服务,又将逆向工程带来的负面影响降到最低。     

基于非均匀B样条的未知曲面自适应测量

曲面测量是自由曲面逆向工程中的关键步骤。从测量和重构的角度,综合考虑具有自由曲面特征的几何体测量效率及精度,提出基于非均匀B样条的平面曲线自适应测量算法,通过跨距的自适应调整去除测量过程中的噪点及误点,指导接触式三坐标测量机（Coordinate Measuring Machine,CMM）自动连续测量整张自由曲面,提高了测量效率和测量精度。最后实例验证了该方法,曲线拟合精度达到100 nm级,测量精度达到μm级,具有较强的工程应用价值。