C4ISR系统能力需求行为建模及验证

针对C⁴ISR系统需求分析行为建模中,统一建模语言（unified modeling language, UML)的行为模型验证困难问题,提出了一种C⁴ISR系统能力需求行为建模及验证方法。从构建C⁴ISR能力元概念模型入手,通过扩展UML行为元模型得到能力行为元模型,然后使用能力行为元模型来构建能力需求的行为模型。为了检查行为模型是否满足能力元概念模型、能力行为元模型和领域规则约束等模型一致性和领域完整性问题,将行为模型的语义形式化为OWL-DL和DL-Safe规则表示的本体,并定义模型检查规则通过对本体进行逻辑推理和查询实现模型验证。     

车辆自主决策安全性验证方法

针对传统算法在车辆自主决策安全性验证中置信水平较低、验证结果不完备的问题,基于形式化的可达性方法分析车辆自主决策行为状态的可行性,并给出车辆自主决策的行为状态完备性集合。采用有向凸多面体算法对自主车辆非线性混合系统进行保守线性化处理,再利用迭代原理和Zonotope近似方法计算可达集。变道避碰的仿真实验表明,在初始状态集和传感器噪声边界条件下,自主车辆位置可达集和速度可达集给出了高置信水平的安全保证。     

基于web的高校毕业资格审核系统设计与实现

系统以Visual studio2008为开发工具,采用SQL Server 2000数据库、B/S架构,实现了高校毕业资格审核过程中不同单位之间的数据流通,节省人力、提高毕业资格审核速度与效率。     

一种验证软件演化过程行为的代数推导方法

针对现有软件过程验证主要以结构验证和性质验证为主,缺乏行为验证的不足,提出了一种验证软件演化过程行为的代数方法.该方法使用通信进程代数ACP对软件演化过程元模型EPMM进行扩展,提出软件演化过程元模型代数EPMM-A.针对EPMM建模产生的软件演化过程模型,一方面使用EPMM-A形式定义软件演化过程模型的行为规约,另一方面在其公理系统的支持下,基于等式推导验证软件演化过程模型的行为与行为规约是否一致,使行为验证方式从模型推导(非形式化)变为代数推导(形式化).为了说明代数推导的正确性,证明了软件演化过程元模型代数的公理系统具有可靠性.     

ASBS适应行为稳定性分析

研究了基于服务的自适应软件系统的适应策略构建中适应行为的稳定性分析问题.主要采用了基于反射Petri网模型的分析方法,在反射Petri网模型中系统的业务行为与适应行为在不同的层次分离建模,适应行为模型相对业务行为模型透明.结合系统的反射Petri网模型提出了适应行为稳定性的具体定义,给出了适应策略中适应规则的建模方法以及应用反射Petri网模型对系统适应行为进行稳定性验证的方法,并通过一个实例对方法的可行性以及有效性进行了说明.     

基于GMM全统计参数和SVM的文本无关话者确认

针对电话语音条件下的文本无关话者确认,提出了一种基于GMM(Gaussian mixturemodel)全统计参数和SVM(support vector machine)的话者确认方法,以克服语音特征参数直接建立SVM话者模型面临的困难.该方法使用由GM(general model)自适应均值得到的GMM提取统计参数,定义了一种合理利用全部统计参数的特征参数,并以此参数及线性核函数建立了具有良好性能的SVM话者模型.与GMM-UBM方法及另一种基于GMM统计参数和SVM的方法在NIST05SRE数据库中的实验比较,结果表明基于GMM全统计参数和SVM的话者确认方法拥有优异的性能.     

“纯保费责任准备金”的必要性与可行性的量化分析

本文结合图示对纯保费责任准备金的必要性与可行性进行了简洁直观的量化分析。并遵循一定原则尝试给出责任准备金的定义。     

浅谈如何提高计量检定工作的质量

从计量标准、计量环境、计量人员、计量记录以及计量监督管理等方面阐述了提高计量工作质量的重要意义和具体方法。     

时变不确定系统的变时域鲁棒模型预测控制

针对多包描述的时变不确定系统, 通过分析该方法的可行性和闭环稳定性, 提出一种变时域鲁棒预测控制器的设计方法, 使得在与现有方法有相同初始可行域的前提下, 保证了只要问题初始可行就有闭环系统二次稳定. 仿真结果表明了算法的有效性.     

Soundness analysis of compositional model of time-based petri nets

Workflow management systems are widely used in improving the efficiency of business processes.To develop a workflow management system is the key to workflow modeling.In this paper,the compositional time net is presented to model workflow processes on the basis of the analyzing methods of time Petri nets and workflows,and to describe the static relationships and the dynamic semantics of the task of multiple workflow composition.The paper puts more emphasis on checking the soundness of composed workflow,at the same time,combinational problems of non-conditional structure of the compositional time net are introduced and analyzed.A sufficient and necessary condition for determining the soundness of compositional nets is obtained.