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

采用精密铸造技术制备铍铝合金,研究了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.     

双层介质光线散射效果的实时绘制

实时绘制光线散射效果是计算机图形学中的一个难点.利用光线散射的特性,提出一种多项式近似的方法;通过解析双层介质光线散射公式,能实现实时地绘制双层介质中不同光源分布、不同介质特性下的光线散射效果.     

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

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

钽、铌及其合金铸锭的超声波检测研究

运用汕头超声研究所生产的CTS2020数字型探伤仪和直径为准10～30 mm,频率为2-5 MHz的纵波直探头对钽、铌及其合金铸锭进行超声波检测,剖样分析得出各种铸锭缺陷对声波的影响,进而总结超声波波形对应的缺陷的形状和类型.通过相关实验并结合大量的剖解缺陷分析研究结果表明,对外径为准97.5～153 mm的钽、铌及其合金铸锭使用该法检测是可行可靠的,并具有探伤效率高,工作量小的优点,值得推广.     

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

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

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

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