一种软件测试过程的博弈模型

为分析软件测试的动态过程及其中诸影响因素之间的关系,运用博弈理论,提出了一种新的软件测试过程建模分析方法.建立了一种软件测试过程的博弈模型,并在此基础上对测试过程中的各方决策条件和博弈均衡条件进行了讨论,其结论有助于理论分析和解决"测试策略选择"和"何时停止测试"等问题.由于考虑了参与软件测试活动的各方利益和可能行为,此方法较之软件测试控制论更能够对软件测试过程中所出现的情况进行解释.本模型可为软件测试规程设计提供理论依据,增强软件测试过程的可管理性.      

带辅助支承的传动杆动态特性试验和仿真

为了研究大型客机发动机中带辅助支承的径向传动杆动态特性,搭建了测试位移和加速度响应的传动杆部件试验台, 在最大转速分别为26000、29000 r/min条件下进行了轴承座轴向共振试验、内传动杆弯曲共振和传动杆进入共振区间后的动态特 性试验;采用3维有限元方法建立了传动杆系统的动态特性模型,对传动杆系统的动态特性进行了仿真,并将试验结果与仿真结 果进行了对比分析。结果表明：传动杆位移响应先于轴承座加速度响应进入共振,并且在进入共振后的很长区间内,振动仍然持 续快速增大;结合试车经验和故障形式提出了“试车临界转速”的概念,利用3维有限元法综合考虑多部件结构特征、轴承支承刚 度和花键连接刚度,全面分析了传动杆组件的各阶固有频率,其中传动杆仿真临界转速和试车临界转速误差为2.1%。     

太空美术的先驱者吕都和《在别的星球上》——李元说图

法国天文科普大师吕都（Lucien Rudaux 1874-1947）是世界太空美术的先驱者，是一位真正的天文艺术家。他利用摄影和绘画来普及天文知识，先后达40多年，出版的天文科普巨著有《La Ciel》、（天，1923年）、《Sur Les Autres Mondes》（在别的星球上，1937年）、《ASTRONMIE》（天文学，1948年）均由巴黎著名的拉鲁斯出版社出版豪华版。     

基于WGA的导弹武器系统效能多目标评估

建立了导弹武器系统效能评估指标体系及评估模型,针对导弹武器系统效能的复杂性、综合性和不确定性,将层次分析法(AHP, Analytical Hierarchy Process)与加权向量法相结合,提出了一种基于加权几何平均算子的导弹武器系统效能多目标综合评估方法.将评价系统指标分为单项效能、系统效能和综合效能,利用层次分析法AHP确定各指标的权重系数,获取评价信息.通过运用加权几何平均(WGA,Weighted Geometric Average)算子和组合加权几何平均(CWGA)算子对属性值进行加权集结,得到群体综合属性值,从而确定最优方案,实现武器系统效能优劣的综合评估. 用实例进行了验证,结果表明,是导弹武器系统效能评估的有效方法.      

基于知识模型的产品设计方案失效风险评估

考虑失效模式间的关联性,提出了一种基于知识模型的机械产品设计方案失效风险评估与优选方法.该方法使用数据聚类法鉴别失效模式的主要关联关系,给出了失效模式关联系数的计算方法,实现了对失效模式关联知识的有效获取;并在产品"功能—失效模式—失效风险"知识表示的基础上,通过二维"屋顶"形三角阵和三维立方阵实现了对失效模式关联系数的表达,建立了产品"功能—失效模式—失效风险—模式关联"知识模型.在知识模型的支持下,研究了加权线性合成的关联失效模式严重度评估方法,给出了失效模式和产品功能的风险优先数计算方法,实现了基于知识的机械产品设计方案失效风险评估过程与优选.最后,通过实例说明了上述方法的有效性.      

基于UML活动图模型的测试用例生成技术研究

为了设计和生成系统工作流程的测试用例,引入测试大纲模型的概念,设计出从UML(Unified Modeling Language)活动图模型到测试大纲模型,再到测试用例模型的三级转换过程和一组消除活动图模型中的非结构化特征、将其转化为模块化的测试大纲模型,以及把并发子过程实例化为一组典型测试场景的基本规则.还研究了针对每一个输入操作,选择基本输入数据集,并将其赋予测试大纲模型之上,从而构造测试用例模型的方法,以及最终基于测试用例模型生成完备的测试用例集合的方法.      

波长表自动频率测试系统

波长表的计量检定工作通常比较繁琐。为了提高工作效率及测试精度,我们组建了一套由计算机控制的波长表自动频率测试系统,给微波波长表的检定工作带来方便。     

资源分配的柔性决策方法

资源分配问题是具有一个上级决策者和多个下级决策者的多目标柔性决策问题。为解决这样的问题,本文根据资源分配问题的特点,建立了柔性决策模型,并提出逐点线性化算法,以求解资源分配方案;提出用“承包机制”的激励策略作为引导下级决策者汇报真实信息的策略,这种策略不仅对真实信息是ε-可诱导的,而且也是鼓励下级努力工作的策略。     

状态诊断知识描述语言的设计与实现

卫星状态诊断知识描述语言(SSDKDL)是针对卫星状态诊断专家系统(SSDES)的要求而设计的一种专用语言,该语言主要用于卫星状态诊断原始知识的描述,它的设计与实现为卫星管理领域专家提供一个知识规则表述的语言基础。本文就该语言的设计原理及实现方法进行系统阐述。     

投稿须知

该手册收录了世界在役和在研的各种类型中小型航空发动机,包括小型涡喷/涡扇发动机、涡轴/涡桨发动机、活塞式发动机(包括旋转活塞式发动机),涉及的发动机型号有139个,其中小型涡喷发动机20个,涡扇发动机34个,活塞式发动机6个,涡轴/涡桨发动机61个,桨扇发动机1个,辅助动力装置17个。该手册在总体编写结构上,共分四个部分:涡扇发动机,涡喷发动机,涡轴/涡桨发动机,活塞式发动机、桨扇发动机和辅助动力装置。另外,还提供了活塞式发动机、辅助动力装置和起动机的数据附录。在每个型号发动机的介绍中,首先给出发动机的一个典型结构或外形图,使读…