基于UML活动图的测试用例生成

本文首先给出了形式化的UML活动图生成测试场景的覆盖准则,然后依据覆盖准则提出UML活动图转化测试场景的算法(ATOS)将活动图转化为测试场景,最后使用算法(STOT)将测试场景转化为测试用例,有效地解决了UML活动图到测试用例的自动生成,减少了编写测试用例的时间。     

关于社会保险基金实行税务征缴的思考

社保基金税务征缴标志着我国社会保障基金的征收、管理、使用纳入法制化轨道。分析了社保基金实行税务征缴取得的成绩及存在的问题,为进一步完善税务征缴提出了建议。     

串联电池组电压转换电路的研究

分析了现有串联电池组电压转换电路方案存在的问题,提出了一种基于三极管的电压转换电路,分析了电路原理,进行了仿真和试验.结果表明该电路具有较高的转换精度,且成本低、重量轻、体积小,是电动自行串联电池组电压测量的有效解决方案.     

高速重离子系统的统计规律分析

在大型加速器中,一些重离子有可能被加速到很高的速度,对于这种高速重离子系统,相对论效应已经不能忽略;但是如果密度不很高,仍然可以忽略离子间相互作用而遵从玻耳兹曼统计规律。基于玻耳兹曼统计理论,分析了高速重离子系统的热力学性质,并讨论了两种极限结果。     

Grid GIS and its application in digital city

Digital city is a synthetic project in which large geographic and trade data are involved in, thus data sharing becomes a key problem. Grid GIS is an outcome of integrating GIS and network techniques, it has a lot of characteristic of network technique such as heterogeneous, extensible, dynamic autoadaptable, the multistage management, etc. The advantages of parallel processing of grid computing are obvious when it is used in basic data platform construction of digital city. The architecture and core techniques of Grid GIS which suitable for constructing basic data platform of digital city was discussed, it has some guidance effects to the city information building.      

ADAMS环境下卡车及悬架模板的建立

讨论了如何在ADAMS环境中建立卡车整车及悬架模板,并作了一系列仿真来测试模型稳定性,并把分析结果和实际试验结果作了比较,证明了所建模型的准确性.     

刨花板生产系统的PLC设计

通过对刨花板生产系统中的送板过程、翻板过程、锯边切割、堆垛并送出等生产工艺及生产流程的研究,以及对刨花板生产系统中电气控制系统的剖析,设计出基于PLC刨花板生产系统的电气控制系统.     

电刷镀纳米镍薄膜表面形貌和沉积生长机理分析

采用电刷镀技术在铜基体表面上制备光亮的纳米镍薄膜。通过FESEM,AFM,SEM观察,分析纳米镍薄膜的二维和三维表面形貌。利用XRD估算纳米镍薄膜的晶粒平均尺寸,探讨纳米镍薄膜沉积生长机理。     

利用相位调制器实现占空比可调的NRZ到RZ码的码型转换

提出了利用相位调制器和色散补偿光纤(DCF)把非归零(NRZ)码信号转换成为占空比可调的归零(RZ)码信号的方案.从原理上分析了调制信号功率与色散介质色散量对所产生结果的影响,得到通过改变调制深度和DCF总色散量可以使NRZ码转换为占空比可调的RZ码的结论.实验给出了在10Gb/s速率下的实验结果,得到了很好的转换后的RZ码输出.在17dBm的调制功率下,所得的RZ码占空比为32.6%.     

碳纳米管在水中分散性能

以超声波为辅助工具,分别研究在水中加入不同类型的阳离子、阴离子型等表面活性剂对碳纳米管分散性的影响,通过记录分散的碳纳米管溶液的保存时间和离心时间现察其分散性,并采用SEM和TEM对分散效果进行分析和表征。研究结果表明,十六烷基三甲基溴化铵和乳化剂OP作为分散剂的分散效果最好。