支持社会技术系统构造的程序设计模型和语言

互联网上越来越多软件系统呈现出社会与技术交融、环境多样和开放、系统动态和演化等特点,如何支持这类复杂软件系统的构造是软件工程面临的一项重要挑战。通过将社会技术系统视为多Agent组织,把社会组织学的概念和思想引入到面向Agent程序设计范畴,提出了以Agent、组织、角色和职位为核心的基于组织程序模型来支持社会技术系统的开发;通过对多Agent组织不同层次动态性的识别和分析,设计了一组程序设计机制来实现社会技术系统的动态演化;包括角色绑定和组合机制、基于角色的交互机制以及组织的自我管理机制。基于上述模型和机制,提出了社会技术系统程序设计语言OragentL,给出了OragentL程序在组织、角色和组合三个层次的语法形式定义,介绍了OragentL的编译器及其运行支撑环境OragentBurg,并通过案例分析和演示展示了研究成果的有效性。     

基于ANP的多目标网络目标重要度评估方法＊

针对多目标网络中重心的抽象性及不易打击的特点,分析影响重心的关键要素及其依赖关系,提出了基于改进网络分析法的多目标网络重心模型,利用该模型分析目标相对于重心的重要度。研究了该模型涉及的两个关键技术,即改进判断矩阵以提高决策的速度和克服决策的主观性,利用协调理论确定要素之间的依赖关系。以分析某地区多目标网络的过程为例,验证了该模型的有效性和合理性。     

基于粒子群算法的H_∞混合灵敏度控制研究

针对步进电机存在负载摄动和失步超步问题,提出了一种基于粒子群优化算法的混合灵敏度设计方法。在H∞混合灵敏度约束下,采用粒子群算法寻找能够反映系统特性的适应度函数最优值,在搜索到合适的加权阵基础上,利用Matlab得到了H∞最优控制器,并利用优化控制器对步进电机进行控制仿真实验。实验结果表明：该系统具有响应快速平稳、抗负载扰动强等特点。     

目标规划的求解

目标规划的求解可采用图示法、单纯形法、分级法等,文中用Excel演示单纯形法和分级法。     

新型装备维修任务分配与保障资源规划分析方法研究

新型装备列装部队,对部队维修保障能力建设提出了更高更新的要求。为加速新型装备战斗力形成,急需一套科学、合理的方法用以确定装备维修任务和规划维修保障资源配置。针对这一问题,本文紧密结合我军实际,构建了新型装备维修任务分配与保障资源规划分析方法体系,规范了新型装备维修分析流程,并对分析过程中的关键技术进行了研究,最后开发了计算机辅助决策分析系统。     

线性规划问题新解——改进大M法

借鉴两阶段法的求解思路,在用单纯形法求解线性规划问题时,对大M法进行改进,提出一种新的算法.这种改进后的算法可以有效克服原来两种算法的不足,既能降低理解难度,又能提高算法的效率,保证算法的全局收敛性.     

GPS动态定位中整周模糊度的快速解算

在导航中快速和高精度GPS定位需要解算差分载波相位的整周模糊度值.目前整周模糊度的求解方法,丢失了对提高未知参数估值精度很有用的历元信息,并且在去相关过程中必须使方差阵为正定阵,不仅解算难度大,还可能出现病态分解,使得去相关失败.提出了一种GPS整周模糊度的快速解算方法,首先利用卡尔曼算法求解整周模糊度的浮点解;其次确定搜索空间,对协方差阵进行Cholesky分解,削弱其相关性;最后用ratio检验得出最终解.通过理论推导和基于实测数据的仿真分析表明,卡尔曼算法有效地利用多历元信息提高了浮点解的精度,并且在去相关过程中解决了方差阵必须为正定阵的问题,避免出现病态分解,使得搜索空间得到明显的改善,提高了效率,具有实际的应用价值.     

军队人力资源培训问题的整数线性规划模型

文章研究了军队人力资源培训问题,并基于时间和费用两个指标,建立了一个满足培训时间约束且费用最省的0-1整数线性规划模型,给出了基于Lagrange松驰分解的模型求解算法。在算法中,采用一种简单可行的Lagrange乘子更新方法代替传统的次梯度法。另外,文章证明了算法获得最优解的两个充分条件,计算实例初步表明给出的算法是行之有效的。     

基于四维空间相似度的军械紧急调运方案优选方法

分析了军械紧急调运方案优选决策的混合多属性特点。基于TOPSIS方法的基本原理,首先通过方案属性值的四维属性值转化,将不同类型的属性值统一成相同的形式,然后通过定义四维空间相似度,将各类型属性值的相似度计算规范到统一的度量空间,解决了含有实数、区间数、语言值和不确定语言值等多种不同决策属性值的的军械紧急调运方案优选这一混合型多属性决策问题。计算示例表明了该方法的可操性和有效性。     

On optimal system designs in reliability‐economics frameworks

Reliability Economics is a field that can be defined as the collection of all problems in which there is tension between the performance of systems of interest and their cost. Given such a problem, the aim is to resolve the tension through an optimization process that identifies the system which maximizes some appropriate criterion function (e.g. expected lifetime per unit cost). In this paper, we focus on coherent systems of n independent and identically distributed (iid) components and mixtures thereof, and characterize both a system's performance and cost as functions of the system's signature vector (Samaniego, IEEE Trans Reliabil (1985) 69–72). For a given family of criterion functions, a variety of optimality results are obtained for systems of arbitrary order n. Approximations are developed and justified when the underlying component distribution is unknown. Assuming the availability of an auxiliary sample of N component failure times, the asymptotic theory of L‐estimators is adapted for the purpose of establishing the consistency and asymptotic normality of the proposed estimators of the expected ordered failure times of the n components of the systems under study. These results lead to the identification of ε‐optimal systems relative to the chosen criterion function. © 2007 Wiley Periodicals, Inc. Naval Research Logistics, 2007