振动系统任意激励响应的仿真研究

针对任意激励函数响应是一系列冲量响应的叠加性质,应用Duhamel积分公式,利用MATLAB控制系统工具箱函数,通过事例分析,来求解任意激励函数的响应,为工程实践和科学研究提供了简捷有力的工具和方法。     

卫星推进分系统发动机螺接头漏率变化规律试验研究

密封并充压后的球头-锥面螺接密封结构的漏率不稳定。文章采用卫星推进分系统管路的模拟件,通过搭建试验平台对发动机螺接头加压后的漏率变化规律进行研究。试验结果表明,螺接头漏率随时间呈现4种变化趋势,但漏率值最终均趋于稳定,同时对其中的影响因素进行了分析。     

直流电阻数字化检测方法

介绍了直流电阻的三种数字化检测方法;对三种方法进行分析并给出了测量结果的不确定度;给出了直流电阻检测中可选择的方法.     

Java源代码字节码剽窃检测方法及支持系统

提出一种Java源代码和字节码都适用的剽窃检测方法并实现了支持系统,该方法以类的Java文件或class文件为比较单元,从中抽取代表程序语法和语义特征的5种特征向量,综合计算产生两个类文件之间的相似度,可用于帮助判断两个类文件之间是否存在全部或部分剽窃现象.在人工修改程序的场景下进行的对比实验结果和剽窃检测实验结果表明,该方法可有效检测程序代码的严格拷贝和近似拷贝,有较高的检测性能,并且能够识别程序剽窃行为中对Java源文件所做的大部分类型的代码变换.     

UM L顺序图的形式化定义与特性分析

以统一建模语言(UML,Unified Modeling Language)规范为基础,给出UML顺序图及组合顺序图的形式化定义;并在此基础上,详细讨论了UML顺序图中对象的消息发送特性和消息接收特性,给出了发送消息集合和接收消息集合的形式化定义;同时进一步分析了对象消息发送和接收之间的一致性问题;最后,通过实例分析,对UML顺序图的特性作进一步的解释.该形式化定义与特性分析为基于UML顺序图的模型转换和模型验证提供了必要的前提条件,也为基于UML顺序图的测试用例的自动生成奠定了基础.UML顺序图的形式化描述可用于对软件结构的理解和构造可视化建模工具.