并发多端口测试定义语言CMPTDL

针对现有测试描述语言TTCN3的不足,提出了在多端口并发测试条件下,测试语言应分为上、下两个层次,即宏观描述与微观描述两部分的观点．在此基础上定义了一种新的测试描述语言：并发多端口测试定义语言（Concurrent Multi—Port Test Definition Language—CMPTDL）,该语言可用于在多端口并发条件下对一致性测试、性能测试、互通性测试的描述,最后,利用该语言编写了一个测试用例．     

有预算限制的最大并行流问题

改进了Garg N和Koenemarm给出的求解具有预算限制的最大并行流问题的近似算法，使得算法求出的目标函数值的近似性由原来的λ≥（1-ε）^3OPT改进为λ≥1／（1＋3ε）OPT，更接近最优值，而算法复杂性不变，给出数值例子，验证了算法改进的有效性。     

基于AC与LmaxRPC的自适应约束传播求解算法

在现有自适应约束求解方法基础上,提出一种新的自适应约束传播求解算法ADAPTAC-LmaxRPC.该算法能根据约束的不同特性,在传播能力强但开销高的LmaxRPC与传播能力弱却开销低的AC之间自适应地切换进行约束传播.多个Benchmark实例类上的测试实验数据表明,ADAPTAC-LmaxRPC算法有效地平衡了求解效率和算法开销之间的矛盾,大幅度提高了约束求解的效率.     

An Optimized Constraint Decomposition Method in Concurrent Engineering

In order to facilitate solution, a complex problem is normally decomposed into many small sub-problems during product development process. Teams are formed to resolve each sub-prob-lem. The original problem is resolved from solutions of sub-problems. Ideally, sub-problems are not only mutually independent but also inherent parameters of original problem. Solution of origi-nal problem can be directly derived from the collection of solutions from simplified sub-problems.In practice, the degree of interdependency is indeed reduced, sub-problems are neither totally in-dependent nor all inherent parameters of original problem. This paper discusses team coordination under this condition and design solution from each team, which not only satisfies total require-ments but also is an optimal one. The suggested optimized constraint deoomposition method will insure workable Pareto solution.     

一种基于Concurrent Apla语言的共享内存并发分布式算法2层验证方法

形式化验证共享内存并发分布式算法已成为当前极具挑战性的问题之一,尤其是在云计算、多核、无线传感器网络、分布式数据库、区块链环境下.该文基于研究团队在形式化规约语言和方法、算法形式推导和验证方面的已有工作,以自定义泛型抽象顺序设计语言Apla为基础,进一步研究并提出简明、高抽象用于并发分布式计算的Concurrent Apla语言,使其既支持顺序算法的验证又能有效地验证并发分布式算法.在依赖-卫式推理的基础上,提出一种新颖的2层并发分布式算法形式化验证方法,其中系统层用于处理并发级验证,而组件层用于处理顺序级验证.最后,通过2个实例验证了该方法的有效性和可行性.     

并发对象技术初探

在分析和比较典型的并发面向对象程序设计语言的基础上,提出了一个并发对象模型的架构,其特色在于对象的并发特征函数和对消息传递方式的处理,从语言设计的角度对并发对象模型与继承之间的有机集成进行了初步探讨。     

参数化弧相容约束传播

为进一步提高约束满足问题求解算法的效率,对约束传播过程进行了分析,并使用变量论域缩减比例对弧相容传播深度进行参数化描述,同时提出了一个约束传播程度可以控制的弧相容传播算法,研究了在不同参数下约束求解算法的效率。该算法在“明月1.0”架构下实现。实验结果表明,约束传播程度是影响算法求解效率的一个重要因素,通过调整控制参数可以使算法效率提高3~4倍。     

区间约束数据库语言ISQL

描述了区间约束数据库的语法和语义,给出了相应的实例和说明,简要讨论了ISQL语言的封闭性。     

基于分布式约束满足的产品配置研究

针对分布式网络化产品配置的特点,将产品配置问题抽象为约束满足问题进行研究.为解决配置知识共享及配置知识的语义表达问题,采用本体驱动的面向对象的思想构建产品配置约束网络结构模型,将该模型转化为分布式约束满足问题(Distributed Constraint Satisfaction Problem,DCSP)求解模型,从而可以准确、完全地描述产品零部件的结构及设计知识,并采用异步弱授权回溯算法进行约束求解,大大提高了求解的搜索效率和准确性.最后给出模型在水泵产品配置设计过程中的实际应用.     

一种改进的补丁比较模型的研究与实现

补丁比较技术可以定位程序补丁前后的差异,在漏洞发掘、病毒变种分析等领域得到了广泛的应用。以结构化比较技术为基础,建立了层次化的补丁比较模型IPCTM(Improved Patch Comparison Technique Model);改进了固定点传播算法,提出了一种针对错误匹配的修正机制;设计了控制流图重构和代码辅助匹配策略,增加了对未配对函数和基本块的补充处理。实验结果表明,IPCTM能够准确识别语义变动,消除部分非语义变动带来误差,有效减少了后续分析的工作量。