基于扩展UML的作战信息需求描述方法研究

在广泛研究需求描述方法的基础上,提出了一种基于扩展UML的作战信息需求描述方法。该方法通过作战目标的静态和动态描述,满足了战前和作战过程中的敌情信息需求。通过构建作战功能需求体系,对我方作战单元信息需求进行定性分析和定量描述。最后,与其他信息需求描述方法进行了对比。基于扩展UML的信息需求描述方法对于消除战场“迷雾”,增强战场透明性,实现作战指挥、控制、决策的扁平化、自动化具有重要意义。     

从图像到语言：图像标题生成与描述

图像标题生成与描述的任务是通过计算机将图像自动翻译成自然语言的形式重新表达出来,该研究在人类视觉辅助、智能人机环境开发等领域具有广阔的应用前景,同时也为图像检索、高层视觉语义推理和个性化描述等任务的研究提供支撑。图像数据具有高度非线性和繁杂性,而人类自然语言较为抽象且逻辑严谨,因此让计算机自动地对图像内容进行抽象和总结,具有很大的挑战性。本文对图像简单标题生成与描述任务进行了阐述,分析了基于手工特征的图像简单描述生成方法,并对包括基于全局视觉特征、视觉特征选择与优化以及面向优化策略等基于深度特征的图像简单描述生成方法进行了梳理与总结。针对图像的精细化描述任务,分析了当前主要的图像“密集描述”与结构化描述模型与方法。此外,本文还分析了融合情感信息与个性化表达的图像描述方法。在分析与总结的过程中,指出了当前各类图像标题生成与描述方法存在的不足,提出了下一步可能的研究趋势与解决思路。对该领域常用的MS COCO2014（Microsoft common objects in context）、Flickr30K等数据集进行了详细介绍,对图像简单描述、图像密集描述与段落描述和图像情感描述等代表性模型在数据集上的性能进行了对比分析。由于视觉数据的复杂性与自然语言的抽象性,尤其是融合情感与个性化表达的图像描述任务,在相关特征提取与表征、语义词汇的选择与嵌入、数据集构建及描述评价等方面尚存在大量问题亟待解决。     

面向方面软件体系结构编织的形式化描述方法

面向方面的规范描述在软件体系结构建模和分析中起着重要的作用,但目前已有的方法不能对体系结构方面及其编织逻辑的详细描述提供足够的支持,也缺乏行之有效的方法对方面的编织逻辑进行推理和评价。本文以Petri网作为行为描述和结构描述的统一基础,提出了一种描述软件体系结构方面及其编织逻辑的形式化方法,并通过实例对相关的概念和模型进行了说明。应用研究表明,该方法描述能力强,不仅能描述复杂的方面结构、行为以及相应的编织逻辑,还可对编织效果进行推理和评价。     

RSL在协议形式化描述中的应用研究

将RSL引入协议工程,探讨了对协议进行形式化描述的一条新途径。为RSL扩充了时间描述机制,讨论了基于两类基本模型（状态模型和进程模型）的协议描述方法及一般描述步骤。以示例方式给出了RIP路由简化算法的RSL形式化描述。与其他方法相比,扩充后的RSL描述能力强,描述手段灵活,能更有效地支持验证、测试等后续阶段的工作。     

故障诊断知识标准化描述方法综述

诊断知识是智能诊断系统的核心。对传统的知识表示、面向对象的知识表示、AI-ESTATE诊断知识标准化表示、基于XML语言和ATML标准的诊断知识表示进行比较,总结了故障诊断知识表示方法的发展趋势,分析了ATML描述AI-ESTATE标准定义的各种测试诊断知识的优势与实现困难。通过对典型的AI-ESTATE诊断知识类型转换方法和描述进行举例,为面向ATML标准的AI-ESTATE诊断信息标准化描述方法指明了方向。针对语言定义的不同使得目前的描述还不高效的现状,对未来标准化描述发展方向做出了展望。     

图像复杂度描述方法研究

为了更好地对图像的复杂程度进行描述,先从组成论的角度对传统复杂度的描述方法进行了讨论,并将其引入用于描述图像的复杂度,试图找到一种适合于图像的复杂度描述方法。该文首先讨论了组成论中复杂度的计算方法,并分析了其局限和不足;然后在此基础上,针对图像的特殊性提出从灰度级的出现情况、灰度的空间分布情况、目标对象的出现情况等3个方面,借助信息熵、纹理、边缘等相关因子来描述图像的复杂程度;最后,针对不同复杂程度的遥感图像进行了实验。实验结果表明,该描述方法可以反映出图像的整体复杂程度,并可用于不同图像复杂度的定性和定量比较。     

装备战斗损伤仿真分析方法研究

对装备进行战斗损伤仿真分析不仅可以为战时备件和维修保障研究等提供基本数据，而且可以为战场指挥员进行战术或战役决策提供依据。该文简要介绍了装备战斗损伤仿真的内容，详细论述了威胁模型、装备模型及损伤模型的基本结构及建模方法。结合对某导弹装备的战斗损伤仿真工作，重点描述了装备结构描述、功能描述、几何描述和损伤描述的内容及方法。最后阐述了利用以上模型进行战斗损伤仿真的方法，给出了流程图，并对装备战斗损伤仿真的全过程进行了论述。     

一种空间数据服务虚拟化描述方法

提出了一种空间数据服务的虚拟化描述方法。针对各类空间数据服务, 采用基础描述元素和描述规则描述服务元信息、数据元信息和服务操作信息, 并存储为虚拟文件, 进而支持用户通过虚拟文件进行空间数据服务的组织管理和综合应用。对天地图、Google Maps、OGC标准服务三类空间数据服务进行集成显示实验, 实验结果表明虚拟化描述方法可以有效地实现多源空间数据服务的统一访问与应用。     

基于UML的装备体系仿真描述探讨

针对作战仿真中装备体系的状态难以实时描述的问题,提出了一种基于UML描述装备体系的方法.深入分析了利用UML对装备体系进行仿真描述的具体方法和步骤,对联合作战装备体系的逻辑体系结构和物理体系结构进行了描述,给出了装备体系静态描述以及联合作战中动态变化的描述,并在此基础上给出了装备体系的聚合描述.结果表明:利用UML进行装备体系仿真描述可准确反映装备体系的特性及其各个组成部分相互关系,描述过程完整、易于理解和操作.     

Development and evaluation of the problem identification picture cards method

In this paper the development and assessment of a new formative evaluation method called the problem identification picture cards (PIPC) method is described. This method enables young children to express both usability and fun problems while playing a computer game. The method combines the traditional thinking-aloud method with picture cards that children can place in a box to indicate that there is a certain type of problem. An experiment to assess this method shows that children may express more problems (verbally, or with a picture card, or with a combination of a picture card and a verbalisation) with the PIPC method than without this method (in which they can only indicate problems verbally). Children in the experiment did not just replace verbalisations by using the provided picture cards and some children preferred to use the PIPC method during the test instead of the standard thinking-aloud method. The PIPC method or some aspects of the method could be a good instrument to increase the amount of information expressed by young children during an evaluation.     

中心刚体-柔性梁刚柔耦合动力学模型降阶研究

有限单元法被广泛的采用来描述柔性体的弹性变形,然而有限元节点坐标数目庞大,将会给动力学方程求解带来巨大的计算负担.如何降低柔性体的自由度,是当前柔性多体系统动力学研究的一个重要命题.本文以中心刚体-柔性梁系统为例,采用Krylov方法和模态方法进行降价.然后分别采用有限元全模型、Krylov降阶模型和模态降阶模型,对中心刚体-柔性梁进行刚-柔耦合动力学仿真.仿真结果表明,与采用模态降阶方法相比,采用Krylov模型降阶方法只需要较低的自由度,就可以得到与采用有限元方法完全一致的结果.说明Krylov模型降阶方法能够有效的用于柔性多体系统的模型降价研究.     

图像分割算法研究

图像分割是数字图像处理中的关键技术之一,研究了边缘检测和阈值分割方法实现图象分割。归纳总结了多种分割算法,包括极小值法,求导法,直方图变换法,迭代法,平均法,大律法和边缘检测法。     

一种抑制EMD端点效应的改进方法

经验模式分解(EMD)存在的端点效应问题影响着该方法的应用。本文研究了基于端点优化对称延拓和镜像延拓的抑制EMD端点效应的改进方法,避免了单独采用端点优化对称延拓法在预测的点数较多时会造成速度较慢,以及单独采用镜像延拓法在处理端点不是极值点的短时间序列时效果不佳的问题。首先利用端点优化对称延拓法对数据序列两端各延拓一个局部极值,获取最佳的信号端点值,然后利用镜像延拓法把镜内的信号映射成一个不存在端点的环形信号,再进行经验模式分解。通过对仿真信号分析,表明该方法能够有效抑制端点效应问题。     

基于机器学习的科技文摘关键词自动提取方法

本文提出了一种基于机器学习的关键词自动抽取技术,主要是针对数字图书馆中的学术论文的摘要(Abstract)进行抽取。首次提出了以句子为基本抽取单位进行关键词抽取的思想。在提出关键词的候选词时采用n_grams方法和词性相结合的方法,在选取特征时考虑了词组的出现频率、词组在整个摘要中的位置、在所在句子中的位置和词组中单词的个数等特征。实验结果表明该方法能够适应各个领域的论文关键词提取,并且可以得到很好的效果。     

离散事件动态系统性能评估的改进标准钟方法

标准钟（SC）方法是求解离散事件动态系统（DEDS）性能评估问题的十分有效的 仿真手段． 文中在SC的基础上提出了一种新的仿真算法——改进标准钟方法（ISC）．ISC 方法是一种和减小方差技术（VRT）中的条件期望法紧密结合的仿真算法，其算法中去掉了S C方法中的核心概念——标准钟．和SC方法相比，ISC方法不但具有更小的计算负担，而且还 具有更好的评估精度．文末给出的各种算例，均验证了ISC方法的有效性．     

SMB色谱模型数值计算的时空守恒元解元方法

为了探寻出一种求解SMB色谱模型的快速数值求解方法,并试图通过比较得出时空守恒元/解元(CE/SE)方法确实是快速数值求解方法,因而采用该方法对SMB色谱模型进行数值求解,并在数值方法的计算效率和精确度两个方面与有限差分法和正交配置有限元法进行了比较,最终得出了CE/SE方法是具有高计算效率和高精确度特性的快速数值求解方法.通过两个实例的模拟仿真,结果表明了该方法在高计算效率和高精确度方面的优越性.     

结合K-D树和Shell的快速动态等值面光线跟踪法

目的 K-D树和Shell常被用于加速等值面光线跟踪法。如果Isovalue保持不变时,Shell方法效率更高,否则Shell方法需要重构Shell,而K-D树方法速度更快。提出一种结合K-D树和Shell的动态等值面光线跟踪方法,其关键是如何实现两者的平稳切换。方法首先改进基于K-D树的等值面光线跟踪算法,使得该方法在绘制过程中渐进地构建Shell数据结构。在Isovalue发生变化后,首先使用改进的基于K-D树的等值面光线跟踪算法进行绘制,并在绘制过程中渐进地构建新的Shell数据结构,从而平滑地过渡到绘制效率更高的基于Shell的等值面光线跟踪算法。结果实验中,在Isovalue动态变化时本文方法的效率接近K-D树方法;但用户在进行缩放、旋转等操作时,本文方法能达到Shell方法的速度。实验结果表明本文方法结合了两者的优点。结论提出了一种快速Isovalue光线跟踪算法,综合运用K-D树和Shell两种数据结构,在Isovalue保持不变和动态变化两者场合都实现了较高的绘制速度。     

Longitudinal use of method rationale in method configuration: an exploratory study

Organizations that implement a company-wide method to standardize the way that systems development is carried out still have a need to adapt this method to specific projects. When adapting this method the end results should align with the basic philosophy of the original method. To this end, goal-driven situational method engineering has been proposed. However, there are no longitudinal studies on systems developers’ use of such approaches and their intentions to balance their need of adaptation with the basic philosophy of the original method. This paper explores how goal-driven method configuration has been used by two project teams in six successive systems development projects, with the intention to balance the goals and values of a specific method with the systems developers’ need for method adaptation. We do that through the use of method rationality resonance theory. Through content examples of method configurations, we report on (a) lessons learned from the project teams’ work on balancing the goals of the company-wide method with their needs and (b) theoretical development of the method rationality resonance theory.