基于超图的产品族结构模型的研究

产品族结构模型是对系列化和组合产品各种复杂关系的综合和表达，它的合理性是产品配置设计过程的基础，超图能够表达是一般离散结构，而结构化超图表达了集合元素之间的层次关系，利用结构化超图模型来构造产品族结构模型，并给出了配置设计算法，最后用一个实例来验证方法的可行性。     

表面引发剂对熔融铝合金直接氧化生长的影响

为了控制熔融铝合金直接氧化法制备Al2O3/Al复合材料的氧化生长,采用ZnO,SiO2和MgO3种表面引发剂,研究它们对Al-Si-Zn合金氧化生长过程及Al2O3/Al复合材料组织形貌的影响.结果表明:与未使用引发剂时相比,使用SiO2,ZnO或MgO表面引发剂制备的粉末都能显著地缩短Al-Si-Zn合金的氧化生长孕育期,提高合金氧化生长速率,改善复合材料的胞状生长方式,提高复合材料的组织均匀度和致密度,为实际生产应用提供了依据.实验发现:ZnO表面引发剂的使用效果最为突出,其最佳添加量为12mg/cm2.     

SCHEDULING PARALLEL PROGRAM TASKS WITH NON-NEGLIGIBLE INTERTASK COMMUNICATIONS ON TO NUMA MULTIPROCESSOR SYSTEMS

The purpose of this paper is to examine the impact of scheduling parallel tasks onto non-uniform memory access (NUMA) shared-memory multiprocessor systems by considering non-negligible intertask communications and communication contentions. Communication contentions arise from the communication medium having insufficient capacity to serve all transmissions, thereby causing significant contention delays. Therefore, a new scheduling algorithm, herein referred to as the Extended Critical Path (ECP) algorithm is proposed. The proposed algorithm schedules parallel tasks by considering non-negligible intertask communications and the contentions among shared communication resources. Moreover, it ensures performance within a factor of two of the optimum for general directed acyclic task graphs (DATGs). Experimental results demonstrate the superiority of the ECP algorithm over the scheduling algorithms presented in previous literature.     

一种新的基于递归分解的图可达性查询算法

针对现实中许多超大规模图可达性查询的问题,提出了一种新的基于递归分解的算法,即将原图递归分解成一系列生成树和剩余图两类子图,并通过分别查询这两类子图来减少查询开销.相比于区间标记、链分解、2-hop标签和路径树等传统算法,该算法不仅空间开销更小,且时间复杂度更低.仿真实验表明,该算法对处理大规模有向图可达性问题上存储规模更小且查询效率更高.     

基于动态依赖的类间测试顺序研究

类间集成测试顺序决定着测试成本的大小,为了得到合适的测试顺序,提出了一种基于动态依赖的类间测试顺序的方法。首先分析对象关系图中类间依赖关系,然后运用边删除规则去除环路,最后运用有向无环图的拓扑序列给出类的测试顺序。仿真结果表明,本文的方法较Briand的方法减少了42%的测试桩。此方法满足最小化测试桩的需要,提高了测试效率,减少了测试成本。     

Combination of computational prescreening and experimental library construction can accelerate enzyme optimization by directed evolution

Chiral compounds can be produced efficiently by using biocatalysts. However, wild-type enzymes often do not meet the requirements of a production process, making optimization by rational design or directed evolution necessary. Here, we studied the lipase-catalyzed hydrolysis of the model substrate 1-(2-naphthyl)ethyl acetate both theoretically and experimentally. We found that a computational equivalent of alanine scanning mutagenesis based on QM/MM methodology can be applied to identify amino acid positions important for the activity of the enzyme. The theoretical results are consistent with concomitant experimental work using complete saturation mutagenesis and high-throughput screening of the target biocatalyst, a lipase from Bacillus subtilis. Both QM/MM-based calculations and molecular biology experiments identify histidine 76 as a residue that strongly affects the catalytic activity. The experiments demonstrate its important influence on enantioselectivity.