一种使用静态分析的汇编代码缺陷检测方法

针对当前缺乏汇编代码自动化审查工具的情况,对汇编代码人工审查方法进行研究,提出了一种基于静态分析的汇编代码缺陷检测方法.该方法中,在控制流线性化后,运用特征识别处理间接寻址跳转,采用结点克隆处理延迟条件分支,使用调用序列处理存在递归函数的过程间控制流图的构造.在此基础上,实现了ADSP SHARC汇编代码检测工具,并进行了静态分析测试和缺陷检测测试.测试结果表明,该方法可以有效地检测汇编代码中的不可退出点、循环、寄存器、以及内存访问缺陷.     

基于有限状态机的指针解引用静态检测方法

为了产生高质量和高可靠性代码,提出一种指针解引用静态检测方法,该方法给出了指针状态转换的有限状态机定义。通过对源代码进行语义分析,得到指针指向信息,建立指针与内存单元之间的映射关系,并根据有限状态机中的指针状态判断指针解引用是否合法。本方法不仅记录了变量的作用域和指针集,还分析了指针的确定指向和可能指向,并对部分控制块采取延迟写入指向的方法,提高了指针解引用分析的精度,同时还可以检测内存释放异常的问题。实验结果表明该方法能有效检测非法指针解引用和内存释放异常。     

微制造数控系统的实时有限状态机建模研究

为提高传统有限状态机（FSM）分析微制造数控系统（NCS）实时性特征的能力，提出了一种实时有限状态机（RTFSM）模型.该模型对传统FSM概念进行扩展，通过增加时间属性来描述状态行为的执行时间以及状态间切换所需的时间耗费.考虑到对复杂NCS控制流程进行设计、分析计算量较大，引入图论中的时间约束网络理论，采用经过修正的Floyd算法对模型中各个状态行为开始和结束时间的取值范围进行分析计算，从而实现控制流程的可调度性判定.实例研究表明，实时有限状态机可有效地建立微制造NCS控制流程模型，并降低对控制流程进行可调度性分析的复杂度，适用于NCS实时性研究.     

基于双CCFL的玻璃缺陷检测技术研究

针对浮法玻璃生产过程中产生的玻璃缺陷,提出了基于双CCFL的玻璃缺陷检测方法,在待检测玻璃上形成两个周期的光强呈正弦分布的光栅,采用透射式光路,线阵CCD采集匀速移动的玻璃缺陷图像.通过双阈值的图像分割方法,将缺陷图像进行二值化处理,利用对缺陷坐标的连通性判断和二值化数据的分布实现了缺陷大小的计算和缺陷类型的识别,测试结果表明,该方法的检测精度为0.1mm.     

基于属性依赖度分析的粗糙集数据挖掘方法应用

目的采用粗糙集中的属性依赖度分析方法对胶合板缺陷检测数据进行分析,获得各属性对决策的不同作用,并得出各属性间的依赖关系．方法采用粗糙集属性依赖度分析方法对实验数据进行有效分析,挖掘出对决策分析影响大的属性,去掉对决策分析影响小的冗余属性,构造数据挖掘模型．结果从胶合板缺陷检测数据中挖掘出各属性对决策分析的影响程度以及各有关属性间依赖关系的知识,在胶合板缺陷检测数据集的17个属性中,得到了3个重要属性,5个对决策影响较小的属性．结论基于粗糙集属性依赖度的数据挖掘方法提高获取规则的快速性,降低计算的复杂度,增强规则的可解释性,取得良好的研究结果．     

反射波法在桩基无损检测中的应用

结合工程实例,简述了用反射波法进行桩基无损检测的基本原理和方法,总结了工程中常见的桩身缺陷类型及判断原则。     

函数后置信息在软件静态测试中的应用

为了提高基于模式的代码缺陷检测精度,提出一种应用函数后置信息(PFI)软件静态测试方法. 采用PFI描述函数中本地修改集、全局修改集以及参数和返回对数据流的影响,应用控制流迭代技术生成PFI. 该方法以较低的计算复杂性得到所有函数的后置信息,并可应用于静态分析过程中的区间计算和缺陷模式识别阶段. 在缺陷检测系统中的应用结果表明,该方法具备一定的可行性.     

BPEL流程数据竞争和死锁检测算法研究

针对BPEL(Business Process Execution Language)流程中出现的数据竞争和死锁问题,提出了一种基于图理论的检测方法．首先把BPEL流程转化为BPEL片段图,然后通过求BPEL片段图中强连通分量的方式判定流程是否存在死锁; 通过求BPEL片段图中节点间的可达性以判定节点间的可并发性来检测流程中的数据竞争．该方法采用约束求解技术对BPEL中的变迁条件和联合表达式进行分析,提高了检测的准确性．实际应用结果表明,该方法可以检测出流程中的数据竞争和死锁,提高流程的可靠性．     

基于BPEL 和SOA 的事务处理的研究与实现

针对当前软件系统开发中存在的系统和组建差异等问题,引入了面向服务的体系结构（SOA）框架和商业过程执行语言（BPEL）,并分析了BPEL的特性。结合一个具体应用实例来说明如何使用BPEL设计业务流程,实验结果表明,基于BPEL进行事务处理是可行、有效的。     

基于模糊-粗糙集理论的神经网络模式识别方法

目的 通过对数据进行约简提高模式识别中数据的有效性,以提高胶合板缺陷检测的准确率和在线的实时性.方法 利用粗糙集理论在数据约简上的优势,提取出对模式识别决策结果影响最大的属性,约简掉对决策结果影响较小的属性.利用模糊逻辑在不确定性问题的能力,提高边缘属性在模式识别中的权重值.利用神经网络在模式识别中的有效性,将粗糙集算法、模糊逻辑、神经网络的人工智能算法有效相结合,提出一种基于模糊粗糙集神经网络的模式识别分类方法.结果 结合胶合板缺陷检测,针对胶合板的13类缺陷的17个属性,提取出最有效的数据,约简了对决策影响最小的4个属性.结论 基于模糊-粗糙集理论的神经网络模式识别算法提高了数据的有效性,增强了缺陷检测的准确度,提升了在线检测的实时性,取得了良好的研究结果.     

基于Petri Net的BPEL流程建模与分析验证

设计了一个基于Petri Net的Web服务组合流程建模引擎.把BPEL流程的语法元素按其语义转换为Petri Net模板,通过模板组合来得到整个流程的Petri Net模型,并以Petri Net标记语言(Petri Net Mark-up Language,PNML)文件格式来描述Petri Net模型,从而能够利用现有的支持PNML文件的Petri Net分析工具对流程进行分析,通过对Petri Net的性质验证来达到对服务流程的验证目的,以在流程定义阶段发现其存在的问题.实际结果表明,采用该工具可以确保服务组合流程设计的正确性,增加服务组合的可靠性.     

基于策略部署的Web服务事务管理机制的研究

为了解决BPEL语言对横切关注点建模的缺乏和动态演化方面的不足,提出一种基于策略方法实现Web服务事务管理机制的设计方案,把协调策略附加到BPEL伙伴链接和作用域上,在部署时对参与业务过程事务的伙伴服务支持的协调类型进行验证,保证业务过程需要的协调类型被参与者支持.同时,引入了面向方面编程(Aspect Oriented Programming,AOP)的思想,分离事务需求横切关注点,通过利用现有的支持动态织入的BPEL引擎等相关技术,使得事务管理需求能够在运行时动态地织入,并且能够在伙伴服务或者是业务过程改变时实现动态的修改.     

业务流程执行语言中流程模板的生成

在Web服务组合中,将复用从Web服务这个粒度扩展到BPEL(Business Process Execution Language)流程级别这个更大的粒度,从流程中抽取出流程模板,开发人员可以直接在流程模板的基础上构建新的业务流程,从而大大地提高流程开发的效率和准确度。为实现这个目标,提出了方法：将流程模板的抽取问题转换为树的频繁模式查找问题。首先将BPEL流程建模为有根无序树,然后基于TMG(Tree Model Guided)思想对树进行频繁导出子树的挖掘,最后将频繁子树映射为BPEL流程模板。用Java语言实现了针对BPEL流程的模板生成器ROY-BPELTool,在其之上运行了一个真实的多媒体会议系统的BPEL流程,验证了方法的可行性和有效性。     

ActiveBPEL中组合服务自动部署的研究和实现

为了把选定的单个原子服务组合成一个完整的组合服务,需要应用BPEL(Business Process Execution Language)描述整个组合服务的流程。本文通过应用原型系统中已提出的SCML(Service Composition Management Language)服务组合管理语言,对在此语言基础上自动产生BPEL的实现方法进行研究,提出一种由SCML出发自动转化BPEL并在引擎中自动部署、发布、执行的方法,并用此方法把旅游服务的模型发布在ActiveBPEL引擎上。该方法对于流程自动发布具有一定的可用性。     

集成电路制造中真实缺陷位置的提取方法

提出一种ＩＣ缺陷特征的提取算法,该算法能自动检测出ＩＣ缺陷的位置．在预处理阶段,利用形态开运算消除小缺陷和背景噪音,对开后的结果图像进行形态腐蚀,获得冗余物型缺陷的位置特征．实验证明了该算法的正确性．该结果为计算机自动检测ＩＣ真实缺陷提供了有效的途径．     

基于B＋树的BPEL流程异常处理机制研究

Web服务组合具有松耦合、自治性的特点,BPEL规范中的异常处理机制也不完善,于是BPEL流程中的异常处理方法是研究的一个主要问题。针对该问题,在流程运行阶段处理异常的一些通用的策略的基础上,提出了基于B＋树的等价服务替换算法,分别阐述了BPEL中同步和异步调用Web服务产生异常的情况,最后构架了一个异常处理的系统框架原型。     

A molecular dynamics-based comparison of defect production in collision cascades during the bombardment of iron with different ions

We present a computer simulation study on the influence of incident ions on the energy transferred to primary knock-on atoms(PKAs)and defects produced in the cascade collision of irons.Three types of ions(H,Fe,and Xe,which are frequently used in irradiation experiments)with an energy of 3 MeV were simulated.According to the calculation results of SRIM,the average energy transferred to PKAs by Fe ions was the highest among the three types.Then,cascade collisions induced by PKAs with different energies were simulated by the molecular dynamics method.The maximum number of defects produced during irra-diation increased,and the time taken by defect number peak formation was extended with the increased energy of PKAs.The difference in radial distribution function between pre-and post-irradiation irons showed that a higher energy of PKA transferred resulted in a flatter curve.Besides,the law of defects varying in temperature was also investigated.All the researches imply that heavy ions can substitute for neutrons in irradiation experiments which is a practicable way,but the influence of conditions must be taken into account.     

流程模板驱动的Web服务组合方法

通过将业务流程表达为流程模板,利用服务选取代理SAS使BPEL4WS与语义Web服务相集成,提出了流程模板驱动的Web服务组合方法。该方法可以根据任务的搜索模板动态地发现、选择和绑定相应的Web服务,将抽象的流程模板实例化为可执行的流程实例。与同类方法相比,该方法考虑了现有的BPEL4WS规范的技术能力。