基于博弈论的开放环境下场景规约监控语义

在开放环境中,环境和系统本身行为的改变可能使得软件系统的实现不再满足原来规约,从而最终导致软件失效的发生.运行时监控是一种轻量级的形式化动态验证技术,已成为开放环境下检测软件失效的基本手段.针对基于场景的规约属性序列图,从博弈论的角度定义其多值监控语义:满足、无限可控、系统有限可控、系统紧急可控、环境有限可控、环境紧急可控和违例.通过多值监控语义的定义,监控器能够根据当前轨迹尽可能早地检测到系统失效或异常,并提供足够信息为失效的预防和恢复服务.实例研究表明了属性序列图多值监控语义的实用价值,并显示了其广泛的应用前景.     

设计模式指导的软件分簇方法

程序理解是一个从计算机程序中获取知识信息的过程,其主要目的是获取软件的各种有关知识以理解开发者的意图,从而支持针对现有或遗产软件系统进行软件评审、错误定位、反向工程、再工程、迁移、维护和复用等软件工程实践.本文提出一种设计模式指导的分簇方法,该方法采用程序中蕴涵的设计模式信息指导开源软件的分簇,运用"分而治之"的策略辅助程序开发者和维护人员快速、方便地理解代码.首先,采用设计模式检测技术从程序代码中抽取设计模式信息;然后,基于设计模式中角色间的相互关系,利用检测出的设计模式信息指导分簇;最后,对分簇结果可视化,以辅助程序理解.基于以上研究工作,开发了原型工具TasteJ并进行了实例研究,设计并实现了以人工为基准的实验来检验本文提出的软件分簇方法,并通过7个软件分簇度量函数,从统计的角度将其与现有主流软件分簇方法进行分析和比较,实验结果显示出本文所提方法的优势.     

基于音乐基因的乐谱存储模型

本文提出一种基于音乐基因的乐谱存储模型S-MusicXML.将乐谱的存储和处理的基本单位由音阶提升到基因,有利于通过数据挖掘技术对音乐内涵的挖掘和存储.定义了旋律基因等概念,并通过实验进一步分析了挖掘音乐基因比挖掘音乐频繁模式更有优势.     

Mg-Sn合金化与固溶-时效行为的研究现状

作为具备良好发展前景的可时效强化镁合金,Mg-Sn合金通过Mg₂Sn相析出强化、固溶强化与细晶强化获得了优异的性能。与Mg-Zn、Mg-Al主要镁合金相比,Sn在Mg中的固溶度较好,析出强化效果优异;另外,Mg₂Sn相的熔点高达771.5 ℃,使Mg-Sn合金成为非稀土系列的低成本耐热镁合金。从合金化、固溶-时效处理工艺分析总结了可时效强化Mg-Sn合金的研究进展,分析Mg-Sn合金时效行为的重要参数及其影响因素,主要目的为细化Mg₂Sn析出相或增加Mg₂Sn析出相数量;同时,对添加到Mg-Sn合金中的合金元素的固溶效果、细晶效果与形成三元强化相效果进行系统总结与分析,为Mg-Sn合金成分的设计和性能改善提供重要参考。     

大型箱型梁高速GMAW三维位姿快速估计方法

大型箱型梁在高速熔化极气体保护焊(GMAW)过程中存在定位焊缝、装配精度低,难以通过工装严格保证工件位姿,以及焊缝三维位姿实时变化等复杂工况.基于视觉的焊缝识别方法计算量大,且均不针对存在定位焊缝的工件,难以快速获取大型箱型梁的三维位姿.对此,提出一种基于激光位移传感和点云聚类快速分割的大型箱型梁高速GMAW三维位姿快速估计方法.利用该方法,通过点云快速分割得出大型箱型梁焊缝的立板平面和平板平面,进而解算出焊缝位姿信息.对多种不同位姿的焊缝进行位姿信息估计试验,结果表明：当焊接速度为1200 mm/min时,焊缝位姿误差分别在0.25 mm和1.8°以内;增强了大型箱型梁自动焊接对定位焊缝、装配精度低等复杂工况的鲁棒性,提升了焊接质量.     

SH分子辐射跃迁的理论研究

采用Davidson修正的多参考组态相互作用(Multi-reference configuration interaction,MRCI+Q)方法计算了SH分子的最低三个解离极限对应的8个Λ-S态的电子结构;计算中考虑了标量相对论效应和芯-价电子关联效应.根据得到的 Λ-S态的势能曲线,求解一维核运动的Schr?di...     

基于蒙特卡罗仿真的战斗部参数优化设计

建立了基于蒙特卡罗仿真方法的战斗部毁伤效率评估模型,提出了将蒙特卡罗仿真结果下的毁伤概率最大作为战斗部威力设计原则,通过对各种设计参数取不同值时毁伤概率大小的对比,得到了各参数的最优值或最优取值范围。针对某特定雷达目标,应用此方法对战斗部参数进行优化,成功实现杀伤爆破战斗部的威力设计。     

大型广场文艺表演的虚拟编排原型系统

大型广场文艺表演的技术进步和规模扩大使传统人工编排手段难以满足需要.为了降低设计风险和检验构思,提出了大型广场文艺表演中演员行为的人群运动模型,并开发了大型广场文艺表演虚拟编排原型系统,使导演能够在一个虚拟现实环境创作表演内容和预演表演过程.该原型系统包含二维智能编排系统和三维表演仿真工具两部分.二维智能编排系统用于虚拟编排表演内容,并生成虚拟编排脚本.三维表演仿真工具用于按照虚拟编排脚本产生仿真表演的三维动态场景.几何体实例化被用于提高渲染大规模人群的效率.这个原型系统在实践中证明了可用性.     

具有差分服务支持能力的增强型IEEE802．11多址接入协议的建模与分析

随着无线接入技术的快速发展,要求无线局域网具备差分服务的支持能力．然而目前的无线局域网标准,如IEEE802．11分布式协调功能（DCF）,缺乏对多业务的支持能力．人们正在制定出具有差分服务支持能力的增强型多址接入协议．文中集中研究了3种具有差分服务支持能力的多址接入机制,即为不同业务类型分配不同的“最小竞争窗尺寸”、不同的帧间间隔（IFS）以及不同的分组有效负荷,提出了可以计算出系统通过率以及分组延迟的分析模型,给出了近似分析结果,通过与离散事件仿真进行对比表明,使用所提出的分析模型可以得到较好的性能估计。