Development programs for one‐shot systems using multiple‐state design reliability models

Design reliability at the beginning of a product development program is typically low, and development costs can account for a large proportion of total product cost. We consider how to conduct development programs (series of tests and redesigns) for one‐shot systems (which are destroyed at first use or during testing). In rough terms, our aim is to both achieve high final design reliability and spend as little of a fixed budget as possible on development. We employ multiple‐state reliability models. Dynamic programming is used to identify a best test‐and‐redesign strategy and is shown to be presently computationally feasible for at least 5‐state models. Our analysis is flexible enough to allow for the accelerated stress testing needed in the case of ultra‐high reliability requirements, where testing otherwise provides little information on design reliability change. © 2004 Wiley Periodicals, Inc. Naval Research Logistics, 2004     

基于微变焦法的超分辨率成像技术及实验研究

从空间域的角度分析了微变焦法的原理,微变焦过程可等效为改变每个光敏元所对应物辐射率分布区域的位置和大小,由此建立微变焦过程的空域模型为一个线性方程组,由该模型可描述观察图像和目标高分辨率图像之间的关系,并通过求解该方程组得到目标图像。最后做了面阵CCD的超分辨率成像实验,结果表明微变焦法可明显提高成像系统的分辨率。     

面向仿真的C4ISR系统领域分析与需求复用研究

面向C4ISR系统需求开发中的仿真支持问题,将复用作为一种的C4ISR系统需求模型的构建方法,可以快速形成一个有效的领域需求模型支持系统仿真验证。本文研究了C4ISR系统需求的领域性与领域需求共性问题,在此基础上研究了C4ISR系统需求工程中的需求框架、需求本体以及需求组件等不同粒度的复用方法,分别对上述三种方法在领域应用中的不同作用进行了对比分析。     

离散型随机BAM神经网络时滞分布依赖全局指数稳定性

研究一类具有随机时滞与随机干扰的离散型BAM神经网络的全局指数稳定性,所建模型同时考虑离散时滞变化区间与分布概率对稳定性的影响．通过构造新的Lyapunov泛函并结合线性矩阵不等式（LMI）方法,得到了均方意义下依赖于时滞分布的全局指数稳定性条件．     

离散线性系统部分可观测性测试配置

不可观测系统的部分状态可观测性对于大系统故障检测具有十分重要的意义.研究了基于部分可观测性的不可观测离散线性系统测点优化配置问题,证明了采用有限次观测值构造一个矩阵,可以给出部分可观测性成立的充分必要条件,并进一步证明了部分可观测性的度量可以用一个矩阵的秩的特性来刻画.最后,给出了离散线性系统部分可观测性测试优化配置的度量指标.算例表明,提出的部分可观测性度量指标具有简单实用的特点.     

多阶段任务系统可靠性并联冗余优化模型

多阶段任务系统是一类普遍存在的复杂系统,研究其可靠性冗余优化对于该类系统设计具有重要的参考价值。针对多阶段任务系统的可靠性并联冗余优化问题,提出了采用冗余故障树和冗余BDD来描述系统冗余结构的方法。给出了冗余模块在多阶段任务系统中的可靠度计算方法,建立了整个冗余多阶段任务系统可靠度计算模型。在此基础上以费用最小为目标,构建多阶段任务系统可靠性冗余优化模型,并应用微粒群算法对模型进行求解。算例验证了模型的合理性及算法的有效性。     

分布式约束优化问题及其求解算法

分布式约束优化问题(DCOP)能够对多智能体系统(MAS)中的各种分布式推理任务进行建模,广泛应用于分布式规划、调度、资源分配等问题中。首先从DCOP的概念出发,引入一个典型的DCOP实例,在此基础上对DCOP问题求解的两类主流算法进行了详细介绍和比较分析。针对DCOP对现实问题建模中出现的部分集中式、硬约束、开放式、隐私和anytime等5个方面的问题进行了阐述,并介绍了相应的扩展算法。在动态实时问题,自稳定性与误差容错以及在物理分布式环境下仿真等问题仍需进一步研究。     

鲁棒稳定控制器的参数化设计方法

基于特征结构配置参数化方法,讨论了一类匹配的不确定线性系统的鲁棒控制问题,目的是设计鲁棒稳定控制器,使不确定闭环线性系统的特征值始终位于复平面的左半平面中某扇形区域内.给出了该鲁棒稳定控制器存在的充分条件及其参数化表示,可进一步利用其自由度满足某些设计要求.给出的数值例子,表明了鲁棒稳定控制器参数化设计方法的有效性.     

基于非齐次线性方程组的认证协议的研究

认证技术是信息安全理论与技术的一个重要方面.认证技术主要包括用户认证和信息认证2个方面.前者用于鉴别用户身份,后者用于保证信息的真实来源.本文基于线性代数的方程组的解的理论建立了一种身份认证协议和一种消息认证协议.通过安全性分析结果表明这个新的身份认证协议能够保证用户身份的正确认证,新的信息认证协议能够保证数据的机密性、完整性,同时能够防止重传攻击认证信息来源.     

自动消防系统在大型聚集场所火灾中的应用

分析大型公共聚集场所(如商场、会展中心、写字楼、公共娱乐场所等)火灾事故特点,并有针对性地说明了自动消防系统的作用,着重阐述了在火灾抢险救援中如何充分利用这些设施,以减少人员伤亡和财产损失,提高灭火成效。