一种机载系统研制保证等级分配的优化方法

为系统的设备/功能分配研制保证等级并实施相应的研制保证活动, 能使研制过程发生错误的可能性最小化。以设备/功能的研制保证等级为决策变量, 以研制保证等级分配原则和系统顶层失效状态发生概率要求为约束条件, 以系统研制成本最小为优化目标, 构建了机载系统研制保证等级分配模型。以所有设备/功能的研制保证等级组成的向量为个体, 提出了基于遗传粒子群(genetic algorithm and particle swarm optimization, GA-PSO) 混合算法的分配模型求解方法。最后, 结合某假定机载系统和某飞机电传飞控系统给出了应用实例, 结论表明本文方法有效降低了对设计人员经验的依赖, 并且对比单一算法具有更高的精确度和计算效率。     

基于卫星产品保证体系的质量控制模型

针对在质量保证体系基础上实施卫星产品保证 ,应用模型参考思想建立了卫星产品保证体系的模型和质量控制目标函数 ,并应用产品保证体系的质量控制目标函数对具体卫星产品质量进行管理和控制 .     

Application of Focus Group Interviews for Quality Management: An Action Research Project

Focus groups have the potential to provide rapid and timely collation, integration and assembly of the views of a variety of different types of stakeholders into a plausible theory. This article reflects on a tertiary education institution's utilisation of focus group interviews (FGIs) as a qualitative evaluation instrument, using action research as the methodology. Our results suggest that employing focus groups is a valuable method of gaining more insight into and adding more depth to quantitative findings during quality management. Results from focus groups enable quality assurance practitioners to provide better remedial action plans. A set of guidelines is provided for the effective conducting of focus group interviews as part of an institutional quality assurance system.     

基于卫星产品保证的并行工程的研究

针对在产品保证基础上实施并行工程，简述了卫星研制串行工程和并行工程之间的概念和关系，并通过建立在卫星研制过程中无产品保证要求和有产品保证要求两种条件下串行工程和并行工程的模型，从质量、成本、效率等方面来比较、分析和刻画卫星研制过程中实施并行工程的思想和作用；在此基础上分析了在实际中实施并行工程的条件。     

GB/T19000-ISO9000标准的知识特征和层次结构

对 ISO90 0 0质量管理和质量保证系列标准的特点从知识结构和层次结构的角度进行了系统的分析 ,为人们理解标准提供了一种新的思路 ,这无疑是将知识管理的方法运用于 ISO90 0 0这个复杂系统的一种新的尝试.     

导弹环境优化设计

导弹环境优化设计包含两方面内容:一是对导弹的环境保证和导弹对环境适用性两类问题都满足的情况下,使用最少费用;另一个是在环境设计费用给定的情况下,最大限度地满足上述两类问题的要求。文中采用拉格朗日乘数法给出求使用费用最少的公式,并用“寻优法”解决满足两类问题的方法。     

应对大规模突发事件的资源布局模型与算法

突发事件越来越频繁地发生,对应急物资保障提出了更高的要求,好的资源布局方案对地区的资源保障程度至关重要.本文根据分级的原则,利用按照灾区分组和场景分析的方法分别确定两种级别下的各个灾区应急物资需求,同时,考虑了当级别为high时营救过程的机理分析.文章针对某个区域内的应急资源布局问题,建立了一个适于多点需求,多点救助的多目标规划模型,分别考虑两种级别的资源分配,以期为选址决策者进行选址和应急资源布局提供依据.求解该问题时,针对模型设计了算法,并进行了算例分析.     

区分服务网络TCP流带宽的公平性

区分服务是IP网络中提供服务质量保证的一种方案。区分服务网络中，处于同一个带宽保证业务类中的多个TCP流由于各个流的特性差异，在实际获得带宽时存在公平性问题需要解决。基于网络仿真器NS2，我们研究了分组长度对TCP流带宽公平性的影响，提出了一种基于RED算法支持TCP流实现带宽公平分配的方法，并通过仿真实验分析了性能。     

CIMS软件可靠性保证与估计

本文论述了保证ＣＩＭＳ软件可靠性的技术，阐述了估计ＣＩＭＳ软件可靠性的方法，并讨论了软件可靠性测试时应注意的问题。     

防危核一致性保障技术的研究

通过理想防危策略及其制定算法把防危策略的制定与一致性险证集为一体,从而解决防危策略与系统防危需求之间一致性问题;然后研究了以Z语言为桥梁,用数学证明来解决防危核与防危策略之间一致性证明的方法。以十字路口的交通控制为例,全过程地实现和验证了所提出的思想和算法的正确性。     

管理方法在高校教学质量评价与改进中的应用

高等学校的教学目的是培养社会适应性较强的复合型人才，其教学质量对整个社会的影响很大，对高等学校教学质量进行测评、考核和持续改进，有很重要的实际意义，论文运用了系统管理理论和方法建立了高等学校教学质量的评价体系，运用层次分析方法对高校教学质量进行量化评价和分析，运用概率分布和控制图划定高校教学质量的考核标准，运用质量保证体系来促进教学质量的持续改进。     

Simulation Environments: Challenges for Advancement

A brief review of the basic terminology on simulation, simulation life-cycle activities such as model-based activities, behavior-oriented activities, and quality assurance activities is given. Then, the challenges and opportunities for the advancement of the state-of-the-art in simulation environments are discussed under the following headings: modelling environments, simulation environments, mixed simulation environments, and comprehensive simulation environments.     

从定性到定量的信息安全模糊综合评估

依据从定性到定量的综合集成思想,为电子政务信息安全评估提出了一种基于人-机结合数据采集的模糊综合评估方法,并提出了保障度的概念.在评估方法中,用人-机结合数据采集的方式,为Delphi方法中获取模糊矩阵时提供客观、科学的数据依据,减少了专家评判的主观性,解决了信息安全评估过程中数据采集困难、定性与定量评估不能很好结合的问题,并给出了应用实例,是一种兼具科学性、综合性和可操作性的综合评估方法.     

Use of System Engineering in Modern Metrology

ＵｓｅｏｆＳｙｓｔｅｍＥｎｇｉｎｅｅｒｉｎｇｉｎＭｏｄｅｒｎＭｅｔｒｏｌｏｇｙ￥ＹＡＮＧＳｈｉｙｕａｎ（ＨｅｆｅｉＵｎｉｖｅｒｓｉｔｙｏｆＴｅｃｈｎｏｌｏｇｙ，２３０００９）Ａｂｓｔｒａｃｔ：Ｗｉｔｈｔｈｅｔｈｅｏｒｙａｎｄｍｅｔｈｏｄｓｏｆｓｙｓｔ...     

生鲜电商众筹预售与众包生产联合决策

顺应消费者参与消费体验追求产品质量安全保障,论文构建了社区化消费者与组织化生产者通过电商平台进行点对点的生鲜农产品供应链纵向一体化众筹预售与众包生产联合决策模型及机制.研究表明,与过去分散决策相比,联合决策对扩大网购需求,提高供应链收益有显著协同效应,而决策机制可确保参与者的利益诉求在联合决策中公平表达.研究成果对促进我国生鲜农产品以销定产,消费者参与质量安全监督和农产品流通"最初一公里"与"最后一公里"问题解决及生鲜电商发展有参考价值.     

基于Bagging-Down SGD算法的分布式深度网络

通过对大量数据进行训练并采用分布式深度学习算法可以学习到比较好的数据结构,而传统的分布式深度学习算法在处理大数据集时存在训练时间比较慢或者训练精度比较低的问题。提出Bootstrap向下聚合随机梯度下降(Bootstrap aggregating-down stochastic gradient descent,Bagging-Down SGD)算法重点来提高分布式深度网络的学习速率。Bagging-Down SGD算法通过在众多单机模型上加入速度控制器,对单机计算的参数值做统计处理,减少了参数更新的频率,并且可以使单机模型训练和参数更新在一定程度上分开,在保证训练精度的同时,提高了整个分布式模型的训练速度。该算法具有普适性,可以对多种类别的数据进行学习。     

用系统思维构建职业教育的实践教学体系

体系是系统与环境的综合或总和,体系内包含着系统,体系是松散的系统,系统是密集的体系.从系统思维分析,职业教育包括互相结合的理论教学和实践教学两种体系.实践教学由纵向实体机构性的教学质量保证支撑体系、教学目标标准驱动体系和实践教学操作实施系统,与横向要素功用性的教学理念体系、教学活动体系、资源构成体系（即教学指向体系、教学活动体系和教学载体体系）,纵横交叉的亚体系网络构成。这些亚体系与内部结构是保证教学运行和质量的前提。     

基于Multigen/Vega的校园VR仿真系统的实现--以中国矿业大学为例

虚拟现实技术对于城市规划和城市的可持续发展有着非常重要的意义,它的长足进步,为真实景观的再现提供了有效手段。本论文在已有的二维地理信息系统数据的基础上进行校园数据的获取与组织,利用虚拟现实技术实现校园全景的三维重建,采用层次型与面向对象相结合的三维数据结构,构造了校园全景的仿真模型,并实现了校园全景的驱动显示,为校园规划和可持续发展更可靠的保证。     

基于贝叶斯网络自适应推理的无人机任务决策

针对不确定环境下无人机任务决策问题, 提出一种基于变结构离散动态贝叶斯网络的自适应推理算法. 该算法能够利用软/硬证据和先验信息动态地调整任务决策模型参数, 通过推理和参数学习互动的方式使任务决策模型具备适应动态环境的能力. 仿真证明, 提出的自适应推理算法能够在突发威胁信息不完备、先验参数不精确和先验参数无认知的情况下为无人机任务决策提供保障.     

Receding horizon H∞ control for discrete-time Markovian jump linear systems

Receding horizon H∞ control scheme which can deal with both the H∞ disturbance attenuation and mean square stability is proposed for a class of discrete-time Markovian jump linear systems when minimizing a given quadratic performance criteria. First, a control law is established for jump systems based on pontryagin’s minimum principle and it can be constructed through numerical solution of iterative equations. The aim of this control strategy is to obtain an optimal control which can minimize the cost function under the worst disturbance at every sampling time. Due to the difficulty of the assurance of stability, then the above mentioned approach is improved by determining terminal weighting matrix which satisfies cost monotonicity condition. The control move which is calculated by using this type of terminal weighting matrix as boundary condition naturally guarantees the mean square stability of the closed-loop system. A sufficient condition for the existence of the terminal weighting matrix is presented in linear matrix inequality (LMI) form which can be solved efficiently by available software toolbox. Finally, a numerical example is given to illustrate the feasibility and effectiveness of the proposed method.