基于着色Petri网测试用例的自动生成

针对基于UML的面向对象程序设计方法及着色Petri网的特点,提出了一种基于着色Petri网的测试用例生成方法,该方法将UML的时序图描述转化为着色Petri网的形式化描述,通过深度优先遍历着色Petri网找出系统的测试路径,对给出的测试数据采用爬山法进行测试用例的选择,最后,根据路径覆盖的原则产生完整的测试用例．     

统一混沌系统的稳定追踪控制

利用非线性反馈控制,实现统一混沌系统在有界条件下对任意信号的追踪.根据系统结构特点,选取合适的反馈方式,设计非线性控制律.并由线性系统的理论知识和变结构控制技巧,证明误差信号渐近稳定于零,且所有变量满足有界条件.数值研究结果表明,受控系统可对任意形式光滑参考信号(包括其他混沌系统的输出信号)进行追踪.该方法是一种物理可实现的稳定追踪控制方法,也可用于不同混沌系统之间的异结构同步.     

复合材料等离子直接熔积成形过程多相瞬态场数值模拟

提出了等离子直接熔积成形复合材料过程的固／液/气三相统一模型．该模型采用焓孔隙度方法来描述固／液（S／L）界面处的熔融和凝固过程;采用水平集（level-set）方法处理液／气（L／V）界面物理边界条件并追踪液／气界面的自由表面发展,考虑了熔体流动的主要驱动力——表面张力梯度和浮力以及工件表面的强制对流散热等因素,从而综合考察熔积层熔池内溶质扩散、液相流动和传热的瞬态演变过程．基于交错网格SIMPLEC算法编制了二维数值程序,对中碳钢基体、镍基高温合金粉末直接熔积成形的溶质扩散过程、流场、温度场瞬态分布及熔积层表面形貌的演变过程进行了数值模拟,此方法可进一步拓展到功能梯度材料熔积成形过程的数值模拟研究．     

一类幂级数收敛半径的统一求法

本导出了计算形如∑n=0^ ∞anx^mn k(m是正整数，k是非负整数)的一类幂级数收敛半径的一个统一方法，使该类幂级数的收敛半径的计算好教易学。     

复杂动态网络的一种和谐统一的混合择优模型及其普适特性

为了描述真实世界是确定性与随机性的和谐统一的世界, 提出了复杂动态网络的一种和谐统一的混合择优模型, 该模型引进一个关键的总混合比作为调控参数, 实现所需的混合生长的演化复杂网络, 并把该思想方法应用于无权的和含权的3个典型模型. 数值模拟和理论分析揭示了混合复杂动态网络随混合比变化的若干普适特性, 兼备小世界效应和无标度性质, 具有应用潜力.     

基于UML的科技查新综合业务管理系统的设计与实现

为了建立标准的科技查新综合业务管理系统(NSMIS),将面向对象建模语言UML引入NSMIS系统的设计和实现过程中,采用Rational Rose 2003建立其功能需求模型和数据模型。建模语言的标准化和NSMIS系统模型,提高了NSMIS系统的软件重用和开发效率,并有利于NSMIS系统的标准化和多样性。     

城市突发公共事件应急管理平台的实现

城市应急突发公共事件管理平台需要解决各参与者的信息有效对接和统一规范的应急信息技术标准,因此,在实现过程中,采用发言权控制机制实现信息共享,使用Row Set的数据集结构实现统一的数据交换标准。实践表明,系统的实现很好地推进了应急管理的研究。     

由“超光速”想到的

传闻一华裔物理学家在一次实验中把光速提高了300倍。众媒体直言:"这个实验直接向爱因斯坦的相对论中的‘光速恒定’挑战,并将动摇如今的物理学大厦……"云云。这个实验结果的真实性还有待进一步证实,不过实验本身却为我们提供了一个认识物理学自身发展及相关方法论的机会。实验——科学研究的重要手段人类在认识自然、探索科学真理的过程中历经曲折.正是实验方法在科研中普遍、系统的运用,才使人类的科研步伐大大加快。从那著名的比萨斜塔坠落的两个铁球到α磁谱仪的升空,从阿基米德的澡堂狂呼到超导实验室里的每一次突破——科学实验,在科研活动中起着举足轻重的作用。我们知道,科学的本质是物质运动的客观规律,是不以人的意志为转移的,它的一个重要特征就是要以经得起重复实验的检验。反过来说,重复实验所获得的同样结果可以称之为科学事实,科学事实是科学理论的物质基础.如果这个"超光速"实验真的可以     

中微子和中微子质量

本文首先申述了中微子的假说和中微子的发现,进而从中微子实验、中微子振荡和大统一理论综述、讨论中微子质量问题.     

基于UML的武器装备体系需求描述

为克服用户和分析设计人员间的交流障碍,保证武器装备需求的正确性和可操作性,在给出武器装备体系需求分析过程的基础上,分析了利用UML对武器装备体系进行需求描述的方法和步骤。以海上目标监视与打击体系为例,给出利用UML中的用例图、类图、活动图、协作图对体系顶层需求进行描述的方法。结果表明利用UML进行需求描述可确定为满足需求所需的关键系统及其相互关系,描述过程完整、易于理解和操作。