热等静压对铍铝合金组织及性能的影响

采用精密铸造技术制备铍铝合金,研究了Ag、Co、Ge等添加元素在铍铝合金中的分布特点和作用,分析了热等静压对合金微观组织、力学性能和断口形貌的影响。结果表明,Ag、Ge分布于铝相中强化铝相,Co元素存在于铍相和铝相中,主要强化铍相。通过热等静压处理可以改善合金力学性能,提高延伸率,增加相界面厚度,但对合金的微观组织和断裂模式不产生影响。     

钽粉制备新工艺研究进展

文章评述了几种由氧化钽还原制取钽粉的新工艺,并阐述了不同方法的工艺原理、特点和产品特性.同时指出了不同方法生产钽粉的应用方向.     

里德索罗门码数据库水印的研究

在结合现有的各种水印算法的基础上,提出了一种基于交叉里德索罗门码的数字水印方法,其主要思想是：在整体上利用大数选举对水印进行差错控制,在局部引入交叉里德索罗门码对水印信息进行纠错编码,使得水印信息对随机性和突发性错误具有很强的纠错能力。理论分析和实验结果表明,该算法对数据库影响很小,隐蔽性好,在提高水印鲁棒性的同时增加了数据库的水印可嵌入量,具有很好的应用价值。     

热等静压用半球形钢包套的拉深模具设计

热等静压HIP是铍材成型生产的重要组成部分。简述了热等静压用半球形钢包套的工艺要求,提出了使用冲压拉深模具加工半球形包套的加工方法,讲述了包套拉深模具的设计,着重讲述了模具设计的要点,以及包套的使用效果。     

基于有向同步交互图的类族测试用例生成算法*

根据类对象之间的消息通信产生的同步消息、消息传递以及消息等待的交互特征,设计了一种有向同步交互图(DSIG)模型,提出了类继承的同步交互路径(SIAPaths)测试用例生成方法,给出了自动生成同步交互路径的算法.同时,提出了同步交互序列测试充分性准则,并从基本交互路径序列和基本交互消息序列的测试覆盖率两方面阐述了测试的可行性.     

Class hierarchical test case generation algorithm based on expanded EMDPN model

A new model of event and message driven Petri network（EMDPN） based on the characteristic of class interaction for messages passing between two objects was extended. Using EMDPN interaction graph, a class hierarchical test-case generation algorithm with cooperated paths （copaths） was proposed, which can be used to solve the problems resulting from the class inheritance mechanism encountered in object-oriented software testing such as oracle, message transfer errors, and unreachable statement. Finally, the testing sufficiency was analyzed with the ordered sequence testing criterion（OSC）. The results indicate that the test cases stemmed from newly proposed automatic algorithm of copaths generation satisfies synchronization message sequences testing criteria, therefore the proposed new algorithm of copaths generation has a good coverage rate.     

基于选择性冗余的测试数据自动生成算法

基于选择性冗余思想,提出了一种测试数据自动生成算法.算法首先利用分支函数线性逼近和极小化方法,找出程序中所有可行路径,同时对部分可行路径自动生成适合的初始测试数据集;当利用分支函数线性逼近和极小化方法无法得到正确的测试数据时,基于使得测试数据集最小的原理和选择性冗余思想,针对未被初始测试数据集覆盖的谓词和子路径进行测试数据的增补.由于新算法结合谓词切片和DUC表达式,可以从源端判断子路径是否可行,因此能有效地降低不可行路径对算法性能的影响.算法分析和实验结果表明,该算法有效地减少了测试数据数量,提高了测试性能.     

离线并发冲突控制器的研究与实现

运用TCFG算法检测应用程序的离线并发冲突,提出了一种基于数据库离线并发冲突控制器的解决方案.首先对离线并发问题进行了认知与分解,在此基础上建立了总体设计模型.然后对该设计方案进行了分解,重点介绍了数据库离线并发冲突控制器的系统结构、关键技术及实现方法.实验结果表明,采用该方案能有效降低离线并发冲突的风险.     

传感网络中基于位置信息的分布式多播路由算法

提出了一个传感网络中基于位置信息的成簇思想,并基于该思想给出了一种传感网络中基于位置信息的分布式多播路由算法.该算法首先利用相邻节点的位置信息分布式成簇,然后各簇头利用蚂蚁算法分布式地找到一条具有最短总跳数的到目的节点组的实际路径.最后,由簇头负责收集本簇内的传感信息,并在对这些信息进行汇聚处理后,沿找到的最优路径将汇聚数据分别发送到各目的节点.理论分析和仿真结果表明,该算法能有效地节约能量,具有较好的路由性能.     

基于带权EDPN迭代的面向对象系统测试技术

面向对象的系统测试需要寻找系统级的测试线索——原子系统功能,其粒度直接影响到测试结果。提出了一种基于带权EDPN迭代的面向对象系统的分割算法,以迭代的方法将面向对象系统分割成不同粒度而功能独立的测试子系统——基原子系统功能,并给出了基原子系统功能的度量标准。在迭代过程中,每次迭代得到的基原子系统功能将被抽象为下一次迭代的带权EDPN子图中的一个数据地点。