基于关注点的序列图逆向生成优化算法

针对序列图逆向生成过程中由于动态信息过大造成生成序列图耗时巨大,生成的序列图过于复杂,不利于对目标系统的理解的问题,提出了一种基于关注点的序列图生成算法,对原有算法进行了优化。该算法基于用户在程序理解中关注的方面,包括进程、函数调用层次、某一时间段内的目标程序运行情况、对象在目标系统中扮演的角色等,对收集到的动态信息进行提取,生成基于用户关注点的序列图。使用该算法生成序列图,耗费的时间大大减少,而且生成的序列图便于用户理解目标系统。通过实验验证了这种算法的正确性和有效性。     

方解石晶体结构及表面活性位点第一性原理

基于密度泛函理论的第一性原理,采用Materials Studio 6.1软件的CASTEP模块对方解石的晶体结构及与水分子及水分子簇的吸附作用进行了研究.结果表明,方解石在参与化学反应时O的活性最强,C和Ca次之;其次确定了最稳定解离面为{101-4}切面,其Ca和O位点与单个水分子形成吸附,且与O位点吸附作用较强,H(H2O)-O(CaCO3)键与H(H2O)-O(H2O)键间形成氢键;{101-4}切面水分子簇相互作用,水分子间及水分子与方解石表面均存在氢键作用,吸附发生在O位点和Ca位点,且主要发生在O位点.     

BPEL静态流程切片技术研究

提出了业务流程切片的概念和对应的静态切片算法。流程切片是根据给定的活动和活动引用的变量(称为切片准则),分析出在整个流程中能够影响切片准则的流程片段。介绍了静态切片算法在给定切片准则的前提下,首先构造BPEL控制流图,在此基础上生成活动依赖图,并对活动依赖图进行分析,从而确定流程中影响切片准则的活动序列(流程片段)。其结果已经在流程分析、优化和并行化等方面起到了重要作用,效果较好。