警务绩效评估系统的UML建模及实现

警务绩效评估有利于强化警察机构的组织管理,提高警察的工作效能。提出了基于金盾网的警务绩效评估系统结构,采用面向对象的分析与设计方法,使用统一建模语言UML对系统建模,详细分析和设计了系统的用例图、静态结构模型和动态行为模型,描述了系统采用的多级模糊综合评价方法,最后使用ASP.NET技术实现了该系统。     

基于UML的高校学生资助工作管理系统设计

高校学生资助工作意义重大。为了更好地做好高校学生资助工作,从信息化管理的角度出发,对高校学生资助工作的组成、管理流程进行了研究;用面向对象的分析与设计方法,基于UML建模技术描述了高校学生资助工作管理系统,探讨了基于UML的建模过程和方法,设计了较为完善的高校学生资助工作管理系统UML模型,并使用.NET技术实现了该系统。该系统的应用能进一步规范学生资助工作管理行为、提高管理水平和工作效率。同时,为应用UML建模技术进行面向对象软件开发提供了参考范例。     

基于UML的高校学生资助工作管理系统设计

高校学生资助工作意义重大.为了更好地做好高校学生资助工作,从信息化管理的角度出发,对高校学生资助工作的组成、管理流程进行了研究;用面向对象的分析与设计方法,基于UML建模技术描述了高校学生资助工作管理系统,探讨了基于UML的建模过程和方法,设计了较为完善的高校学生资助工作管理系统UML模型,并使用.NET技术实现了该系统.该系统的应用能进一步规范学生资助工作管理行为、提高管理水平和工作效率.同时,为应用UML建模技术进行面向对象软件开发提供了参考范例.     

基于UML方法的空间交会GNC仿真系统设计

为提高建模的快速性、可靠性、可维护性和可扩展性,采用面向对象技术对空间交会GNC仿真系统进行分析与设计.该仿真系统采用统一建模语言进行设计,从用户角度对 GNC仿真系统需要实现的功能进行了概念建模,从方案实现角度对交会系统核心对象、类及其相互关系进行了功能建模,另外采用序列图、状态图及协作图对关键的事件、流程及其活动进行了行为建模.仿真系统已得到初步实现,可以支持不同仿真背景,不同建模粒度下的仿真要求,应用结果验证了建模的特点,说明本设计方法具有一定的应用价值.     

导弹平台测试系统设计方法研究

运用建模的技术对导弹平台测试系统进行模型设计过程中,关键是实现测试系统需求描述模型、结构模型和行为模型等的设计;首先对导弹平台测试系统的工作流程进行了分析,然后在此基础上利用UML建模方法进行测试系统的各项模型设计,通过分解用例图说明测试系统的需求描述模型,分析系统的结构体系及关联关系建立了测试系统的结构模型,运用序列图建立了测试系统的行为描述模型;最后,根据上述模型设计提出了系统的结构及布置关系的设计方案,并且在实际导弹平台测试系统开发中得到了应用,实现了测试系统的各项测试功能;结果表明,采用该建模方法不但能够有效提高系统设计的效率,而且系统在实用性的基础上,还具有复用性及拓展性。     

基于场景分析的系统形式化模型生成方法

采用形式化方法对系统的安全性进行分析与验证,是构造可靠安全软件系统的一个重要途径。当前的形式化安全分析方法,面临着系统的形式化建模难的问题。以铁路车站联锁系统中基本进路建立为例,提出基于场景分析的系统形式化模型生成方法。该方法首先采用OCL前/后置条件分析法对UML时序场景作一致性分析,然后将UML时序图中对象交互的行为序列转换成FSP进程代数模型,进而得到系统的形式化模型。该方法为系统的形式化建模提供了新思路,从安全质量方面改善了安全苛求软件的设计与开发,丰厚了基于模型的软件形式化开发方法。     

软硬件综合AADL可靠性建模及分析方法

目前嵌入式系统广泛应用于航空电子、远程医疗、汽车电子等具有高可靠性要求的系统中。随着嵌入式系统的复杂度越来越高,为了保障系统的高可靠性需求,需要在系统开发的早期设计阶段对系统的可靠性进行分析评估,以提高系统的开发效率。嵌入式系统中软件、硬件功能的失效都会对系统可靠性产生影响,而AADL的可靠性模型缺乏对硬件构件错误的影响及传播机制进行刻画分析的能力。本文综合考虑软、硬件错误发生失效后对系统可靠性的影响,提出了一种面向系统架构级别的软硬件综合可靠性分析方法。该方法基于电子电路设计中事务级建模方法,扩展了AADL事务级错误模型的语法和语义,来支持AADL对硬件构件错误传播的硬件功能行为建模,在此基础上,利用AADL模型实例化机制实现对嵌入式系统可靠性建模,刻画了错误行为在硬件构件之间、软硬件构件之间的传播与影响。同时,定义了AADL硬件构件事务级错误模型到广义随机Petri网模型的映射规则,实现了系统软、硬件综合的可靠性行为仿真计算模型组合,支持嵌入式系统的软硬件综合可靠性分析。论文开发了软硬件综合可靠性建模与分析工具原型,并以某型飞机空气增压系统为例,在航空电子系统架构设计中进行尝试,验证了该方法在复杂嵌入式系统设计中进行软硬件综合可靠性分析的可行性与优越性。     

基于可信计算的网络互联模型

针对传统互联技术难以实现内外网在安全可信情况下互联互通互操作的问题,将可信计算中的相关技术应用到网络互联中,实现内外网在安全隔离情况下的信息交互。研究了网络可信互联框架模型,结合该模型,对基于身份的公钥认证算法进行改进,设计了认证系统与接入者之间的密码协议。分析实体的持续性行为进行并建立评估树模型,对接入者自身的安全状况进行综合可信度评估。最后,通过测试实验对评估方法进行分析与验证,实验结果表明,该评估模型排除时效偏差等不利因素的影响,具有可行性和有效性。     

基于行为组件的闭环仿真实验实时评估系统设计及实现

实验评估是闭环仿真实验研究的关键环节。针对常规的事后评估方法属于静态评估、耗时较长、结论不全面等问题,采用评估行为组件建模、多引擎协同耦合等技术,设计并实现了基于行为组件的实时评估系统。该系统能够对人不在环的闭环仿真实验各种瞬态和过程数据进行采集,并进行实时分析、信息对比和指标动态分析,为有效解决闭环仿真实验评估问题提供了一种新的方法途径和工具支持。实验验证与实例应用表明该技术可行有效,当调整仿真加速比、增加仿真实体、改变实验想定、扩展仿真规模时,系统依然能够适应不同情况稳定运行,在闭环仿真实验评估方面具有较好的应用前景。     

基于UML建模方法研制高校教师评估系统

本文分析了当前高校教师评估工作的现状,描述了建立教师评估系统的重要性和必要性,详细阐述了使用UML建模方法对评估系统进行需求建模的全过程,并给出了系统设计和实现结果。     

基于STAMP模型的风险评估行为安全指标体系

现有的风险评估方法与模型在设计上未充分考虑风险评估行为本身对评估结果的影响,对风险评估的行为可能引入安全性风险的认识也存在较大不足。针对这个问题,首先建立风险评估行为STAMP模型,使用STPA分析方法对风险评估行为进行安全性分析,利用STAMP模型构建风险评估行为安全指标体系,并采用改进AHP方法筛选出重要指标因素。所提出的安全指标体系关注系统整体的涌现性而非单个组件的可靠性,根据造成系统安全事故发生或进入危险状态的原因,提供一种能够更加有效的构建安全指标体系的思路。     

机载系统安保风险评估方法

针对影响民用飞机机载系统安全的信息安保威胁问题,通过研究ISO27005和航空工业标准,提出了一种适用于机载系统的安保风险评估方法。该方法基于威胁条件和威胁场景进行系统脆弱性分析,并结合传统的飞机安全性分析方法与安保风险评估方法,提出一套可量化的风险值计算方法。通过关系矩阵在安全性与安保等级间建立了相关性,为系统需求和架构设计提供了依据。实例验证结果表明,该方法能提供正确与可信的机载系统安保风险评估数据。     

基于PRA方法风险评价系统的设计与研究*

针对动态系统安全性分析的需要,设计并实现了一个新的风险评价系统.该系统在PRA方法的基础上,在风险评估过程中综合运用多种动态系统的安全性建模和危险分析技术,能够较好地适应动态系统风险评估的需求.     

软件安全性评估方法综述

软件安全性评估的目的是评价软件是否达到系统规范所要求的安全性。该文对国内外关于软件安全性评估的方法进行了分析,将其分为风险矩阵评估、模糊评估和基于可靠性模型的评估等类别,并对上述几种方法做了相应的比较。     

基于UML顺序图的安全苛求软件安全性分析

安全性分析对于确保开发出符合安全性需求的软件系统非常重要。该文从安全苛求软件的建模特点出发,分析现有的安全性分析方法和UML建模语言在安全苛求软件方面的应用及优缺点。针对UML面向安全性需求建模的不足,对顺序图增加了安全性描述方法。通过车载ATP系统的建模应用验证其可行性与有效性。     

奥运场馆火灾分析中软件集成方法的研究

根据奥运场馆防火安会分析的需要，研究了火灾模拟和结构分析一体化系统的集成方法，并开发了结构火灾模拟分析系统——SFSAS系统，该系统基于AutoCAD图形平台进行二次开发，通过快速建模系统和前处理模块、模型转换模块、数据共享模块以及后处理模块，将FDS和ANSYS集成，形成一个一体化拿过程的分析系统，利用该系统对奥运场馆进行火灾安全分析，可以为场馆结构的防火设计和结构安全评估提供依据。     

Stochastic software safety/reliability measurement and its application

Safety and reliability have become important software quality characteristics in the development of safety-critical software systems. However, there are so far no quantitative methods for assessing a safety-critical software system in terms of the safety/reliability characteristics. The metrics of software safety is defined as the probability that conditions that can lead to hazards do not occur. In this paper, we propose two stochastic models for software safety/reliability assessment: the data-domain dependent safety assessment model and the availability-related safety assessment model. These models focus on describing the time- or execution-dependent behavior of the software faults which can lead to unsafe states when they cause software failures. The application of one of these models to optimal software release problems is also discussed. Finally, numerical examples are illustrated for quantitative software safety assessment and optimal software release policies. This revised version was published online in June 2006 with corrections to the Cover Date.     

Factors influencing consumers’ repurchase behavior on fresh food e-commerce platforms: An empirical study

The e-commerce of fresh commodities keeps being adaptive to the change of consumer consumption attitudes and behavior in the current era of global economy. In the fierce competition of the industry, how to attract and retain customers more efficiently and increase consumer repurchase behavior is a long-term concern for fresh food e-commerce platforms. This research aims to focus on how the fresh e-commerce platforms can reduce consumer conversion to other forms of purchase and increase consumer repurchase. In this paper a research model is constructed whereby a set of perceived value scales is generated to evaluate consumer repurchase behavior. Data from a sample of 515 consumers is collected through a web-based questionnaire, and structural equation modeling is used to test the research hypotheses and empirically investigate the factors and internal mechanisms influencing repurchase behavior on fresh e-commerce platforms. Results from the analysis show that the product quality and product price from the product-side, perceived ease of use, reliability, response speed and convenience from the service-side, and subjective norms of the consumer personal factors impose significant effects on consumer satisfaction. consumer satisfaction plays a key mediating role in consumer repurchase behavior. Guidance and suggestions for the operation processes of e-commerce platforms are developed based on these key factors to cultivate customer loyalty and attract potential customers more specifically. Moreover, the examination of the factors from the three dimensions promotes the e-commerce platforms to raise their service level by enhancing their supply chain as the bottom rocks of the platform enterprises.     

虚拟仿真在煤矿安全培训教育中的应用

以矿工安全生产、安全技能培训和提高矿井效益为主要目的,论述使用计算机虚拟现实技术构建煤矿安全培训教育系统的重要性,并简述了虚拟现实的关键技术。用3D MAX进行建模、贴图和渲染,Virtools DEV工具开发交互式煤矿安全培训教育系统。通过声音、文字说明、图像、三维漫游等形式,展现煤矿生产过程中的不安全行为造成的后果。该系统已投入使用,极大提高煤矿安全培训的质量,取得良好的培训效果。     

一种面向列车控制系统中安全攸关场景的测试用例自动生成方法

列车控制系统是一种安全攸关系统,为保证其安全性,要求测试过程对安全攸关场景中所有可能的运行进行完全的覆盖.现有的场景建模与测试用例自动生成方法不能完全满足这一技术需求.围绕列车控制系统的安全攸关场景建模以及测试用例自动生成方法展开研究,对UML活动图扩充了事件驱动机制和时间特性描述机制,以满足对安全攸关场景建模的需要,提出了简单路径覆盖准则以定义对场景中所有运行的完全覆盖,并针对这一覆盖准则给出了自动生成测试用例的方法.以地铁列车控制系统为研究对象展开实验,表明了该方法的有效性和局限性.