消除增长上限制约的管理对策生成法——-以银河杜仲区域规模养种生态能源系统发展为例

社会经济复杂系统中存在大量增长上限问题,刻画此问题的增长上限基模是由正反馈环、 负反馈环和延迟构成,其中负反馈环存在抑制系统不断发展的制约作用. 针对负反馈环产生制约作用的根本原因是存在起制约作用的负因果链, 首先基于对负因果链所属负反馈环中极大开环的结构特征分析, 遵循极大开环中输入变量改变量小于零的原则生成初始对策集, 接着根据复杂系统发展的多目标筛选得到目标筛选初始对策集, 再根据对策的实际实施条件筛选获得可操作的管理对策集, 然后仿真验证双筛选得到的管理对策的有效性.以银河杜仲区域规模养种生态能源系统发展为例, 基于2008-2010年的历史数据和其他实际信息,建立含七个核心变量的增长上限基模,利用此方法生成三条可操作性的管理对策. 以核心变量为基础,建立六棵流率基本入树,建立仿真模型.然后,定量仿真分析了消除增长上限制约的管理对策生成法的实施效应, 实现了从定性至定量综合有效分析,为实际系统发展提供决策依据,验证了此消除增长上限制约管理对策生成法的有效性.     

基于ECA规则的业务流程效率实时管理方法

业务流程效率是企业业务运营管理中非常关键的性能指标之一. 针对目前业务流程性能研究缺乏实时、定量分析的问题, 提出了应用ECA规则监控业务流程效率的实时管理方法. 从业务流程效率分析指标体系出发, 给出了业务流程效率实时管理框架, 构建了多维数据仓库关系模型, 探讨了业务流程效率监控的ECA规则以及业务流程效率实时管理控制引擎. 以某企业的服装订单合同评审业务流程为例, 通过对比测评, 表明采用本方法实施业务流程效率管理后, 整体流程执行效率提升了10%左右, 业务活动执行的平均时间减少了15%左右.     

支持过程改进的工作流仿真研究

工作流真是支持过程改进的有效技术，从建模角度介绍了以过程为核心，集成产品、资源，组织和控制评价等信息的工作流元模型。该元模型用为指导和约束具体的工作流建模，可以利用对象约束语言进行深入刻画，从执行角度解释了基于ECA规划的工作流仿真机制。按照WindowsDNA三层结构，它分用户界面层，业务逻辑层和数据库层，仿真引擎构建业业务逻辑层。在此基础就一个软件开发过程的实你，依据过程度量指标，利用仿真结果分析了各种可能的改进方案。     

复杂装备维修训练通用仿真系统

提出了一个用于复杂装备维修训练的桌面虚拟系统,可以练习某些特定组件的维修拆卸.利用动态链接库实现了系统模块化的软件体系结构,保证了数据的封装和模块化.通过用户化过程设置了用于拆卸顺序规划和VR环境3D模型的数据库,在友好的用户界面的引导之下,用户通过在虚拟环境中的漫游和实时更新的维修信息的帮助下了解全部维修过程.系统能够在生成合理的拆卸顺序和确定配件方面提供智能辅助,而且原型系统提供了针对CAD模型文件的数据接口,系统可以被看作是一个"外壳".通过用户化工作将3D模型转化成系统可以接受的VRML格式,这样就可以非常容易地针对不同的维修任务建立虚拟环境.与沉浸式和增强型VR系统相比,这套桌面VR原型系统的硬件需求不会使训练任务局限于某个训练房间或特定的使用者.对于维修训练来说是一个便携、经济的解决方案.     

武器系统仿真模型的可信性验证方法研究

武器系统仿真模型的可信性验证是合理地、科学地运用武器系统仿真模型进行系统分析、预测以及辅助决策的关键环节。通过对典型水中兵器仿真模型进行可信性验证，结出了系统仿真模型的可信度在典型水中兵器仿真模型中的具体形式，建立了仿真模型的可信度分城模型．然后利用经典统计分析方法给出了该典型水中兵器仿真模型可信度的点估计及其置信下限，并通过实际试验及仿真模型数据实现了该可信性验证方法，证明了该方法的可行性。     

不完备信息系统中基于联系度的粗集模型拓展

在分析几种已有的针对不完备信息系统的粗集拓展模型基础上,提出了一种基于联系度的粗集拓展模型.该模型的方法是:通过引入阈值将原不完备信息系统进行划分,再利用基于联系度的容差关系确定类,利用产生的这些类得到上下近似.通过例说明该模型是符合客观实际的,更重要的是在容差类的划分中通过引入阈值考虑了根据人的主观要求,这与人机结合以人为主的系统方法论是一致的.     

系统仿真技术在某飞行器侧向回路稳定性分析中的应用

系统仿真技术在辅助控制系统模型的建立、控制器的设计以及控制系统的分析中发挥着至关重要的作用。本文主要讨论了系统仿真技术在某飞行器侧向回路非线性模型的简化及其稳定性分析中的应用。利用简化模型得到了一组预测飞行器侧向回路极限环的解析计算公式，并结合实例利用仿真技术对所得结论进行验证。     

基于决策依赖度的粗糙集约简模型研究

为寻求高效的粗糙集约简模型,基于可分辨关系提出决策分辨约简、依赖性和依赖度等概念.与以往粗糙集约简模型相比,为提高约简精确性,提出性能为O(|P‖U|)的等价类划分方法和性能为O(|P‖U/C|)的属性重要性度量方法.同时给出了相关定理和等价命题,论证了传统决策约简模型和决策分辨约简模型的一致性.并基于属性重要性给出性能为O(|C|~2|U/C|)的求核方法和性能为Max{O(|C‖U|),O(|C|~2|U/C|)}的约简模型.新模型充分考虑了核属性和其他属性间的关联,从而有效降低冗余率,解决了对比模型存在的问题.理论和仿真实例分析表明新模型高效且结果准确率高.     

面向软件过程改进的工作流仿真研究

本文的研究从深度上涉及方法学、技术和工具层面，从广度上涉及过程、产品、资源、组织和度量。工作流仿真可以贯穿于软件过程改进的整个生命周期。针对技术层面，提出一个支持软件过程改进的工作流实施框架，其中包括四个反馈环节来实现改进。进一步提出指导建模的软件工作流元模型，它将度量和过程改进的几个要素结合到一起，便于仿真评价，并且利用对象约束语言形式化描述模型实体本身和实体间的完整性约束关系。针对工具层面，给出了基于ECA规则的工作流模型定义和仿真引擎的结构。在此基础上就一个软件开发过程的实例，依据过程度量指标分析了各种可能的改进方案。     

基于分解的结构复杂Petri网的语言行为描述

Petri网语言是用于系统行为分析的强有力手段，然而给定一个Petri网尤其是结构复杂的网系统。很难直接求解其语言表达式．针对这个问题，通过定义Petri网的库所指标函数，把一个结构复杂的网系统分解成结构简单的子网，即子网中每个变迁的输入库所和输出库所的数目均小于等于1，并分析了这些子网系统的语言特性．利用Petri网语言同步交运算，给出了一种求取结构复杂Petri网的语言表达式的方法，从而为利用网语言分析系统的行为提供了理论依据和方法。     

基于最小割序集的独立电力系统可靠性分析

故障树分析方法是对系统进行可靠性评估的有效方法,但在独立电力系统可靠性的计算中存在可靠性参数计算量大、求解困难等问题。对此,采用故障树最小割序集方法求解独立电力系统的可靠性指标,针对求解可靠性指标时存在的组合爆炸问题,提出了基于时间运算符求解最小割序集的方法。运用分层模块的方法简化动态故障树模型,并根据最小割序集的逻辑运算规则得到最小割序集。最后运用失效概率公式求解得到独立电力系统的可靠性指标。以某常规独立电力系统和B787飞机电力系统可靠性分析为例,验证了所提算法的可行性和正确性,为求解独立电力系统的可靠性指标提供了一种新的思路。     

基于设计特性覆盖的测试性定量分析方法

针对目前测试性分析基于故障分析的现状,提出了一种基于系统结构、性能、功能的测试性定量分析方法。定义了系统设计特性覆盖测试模型,系统结构、功能、性能及测试关联模型,性能覆盖率、功能覆盖率、结构覆盖率的定量计算模型。建立了基于设计特性覆盖的测试性定量分析流程,主要包括系统基本信息建立、信息间直接关联关系生成,测试覆盖率定量计算及测试未覆盖项分析。以某飞机舵机系统为例进行了应用,结果验证了方法的可行性和有效性。     

Stabilization of switched linear systems with constrained inputs

The stabilization of switched linear systems with constrained inputs(SLSCI) is considered. The authors design admissible linear state feedbacks and the switching rule which has a minimal dwell time(MDT) to stabilized the system.First,for each subsystem with constrained inputs,a stabilizing linear state feedback and an invariant set of the closed-loop system are simultaneously constructed, such that the input constraints are satisfied if and only if the closed-loop system’s states lie inside this set.Then,by constructing a quadratic Lyapunov function for each closed-loop subsystem,an MDT is deduced and an MDT-based switching strategy is presented to ensure the stability of the switched system.     

广义参考集DEA模型及其相关性质

由于传统数据包络分析（data envelopment analysis, DEA)方法的“评价参照系”是有效决策单元,即传统DEA方法只能获得和有效决策单元比较的信息,而实际上人们需要比较的对象不仅仅限于“优秀单元”,还可能是“一般单元”（如录取线）、“较差单元”（如可容忍的底线）或者某种特殊单元（如选定的样板、标准或某些特定对象）,而传统DEA方法无法评价这些问题。为此,给出一种适用于上述所有情况的广义DEA方法,并探讨其相关性质,主要包括基本的广义参考集DEA模型和广义DEA有效性概念;广义DEA有效性含义和广义DEA有效性的判断方法;广义参考集DEA方法与传统DEA方法的区别与联系。     

一种基于联系度的改进TOPSIS法

提出了一种改进的TOPSIS决策方法.该方法将理想点与负理想点视为确定不确定系统中相互对立的集合,在考察目标方案与理想点或负理想点的联系度时,充分考虑了对立集合的存在;并通过引入联系向量距离的概念,计算相对贴近度,从而在一定程度上克服了传统TOPSIS法的不足.应用实例证明了该方法的可行性和有效性.     

Markov跳变系统的单步约束预测控制

针对离散Markov跳变系统,研究带输出约束的单步预测控制问题。首先设计基于模态的单步预测控制器,驱动系统状态到达相应的终端不变集内,以此保证约束预测控制系统的稳定性,接着进一步讨论了系统存在峰值有界噪声输入情形。其中终端不变集是通过在预测时域外寻求一个虚拟的带约束的状态反馈控制器以保证系统的随机稳定性来获得,为计算方便,控制器的优化问题转化为SDP问题,并得到以LMI描述的优化问题。最后对Markov跳变系统描述的经济学动力系统的仿真结果说明了本控制器设计方法能够在峰值有界噪声输入下保证系统的稳定性,并且使控制变量满足给定的约束条件。     

可靠性参数的M-Bayes可信限

提出了可靠性参数的一个新估计方法--M-Bayes可信限估计法,对寿命服从指数分布的产品,在无失效数据情形,给出了失效率的M-Bayes可信限的定义、估计及其性质.结合某型发动机的实际问题进行了计算,计算结果表明失效率的M-Bayes可信上限"优于"经典置信上限,可靠度的M-Bayes可信下限"优于"经典置信下限.通过例子可以看出提出的方法便于应用.     

系统思维与我国住房政策设计

我国住房政策设计缺乏系统性、整体性考虑,影响了实施效果。完善住房政策体系,首先要做好顶层设计,明确住房政策目标,政策设计逐步从问题导向转为目标导向;要打破城市政府对土地供应的垄断,上级政府对城市住房建设用地供应,既要给出上限,也要设定下限,切实增加住房有效供给;要开征房屋空置税,确保建成的房屋有人居住;政府要为低收入家庭提供以货币补贴为主的住房保障,弥补市场失灵,促进房地产市场可持续发展。     

潜艇隐蔽攻击能力分析方法研究

纯方位定位系统是复杂的非线性系统,所有的估计算法都是次优的。理想估计器是工程估计器的性能上限,在理想估计器下的潜艇隐蔽攻击效率是最高的,针对其在工程上无法实现,讨论了这种最大值的数量特性。提出了“隐蔽攻击能力上限”的概念,分别给出了求解估计器精度和收敛时间意义下隐蔽攻击能力上限的仿真流程。最后,进行了计算机仿真试验和结果分析,得到了一些有价值的结论。     

A FORMAL SYSTEMS APPROACH TO SOLVER DESIGN—HILL CLIMBING METHOD WITH PUSH DOWN STACK

This paper presents a formal approach to design of a solver of an intelligent managementinformation system and its implementation. The approach implies set theoretic modeling based on thegeneral systems concepts and implementation in the extProlog. There are research efforts which attack(optimization)problems using the set theory and logics.Furthermore, they use logic programming languages for their implementation. Although their methodslook quite similar to the approach of this paper, there are clear differences between them. This paper isinterested in exploration of the solving system rather than algorithms. The paper first presents a design and implementation procedure of a solver. Then, classificationof problems is discussed. The least structured class of the classification is the target of this paper. Adata mining system is an example of the class. Formal theories are derived for the design procedure assuming the least structured case. A solvingstrategy,which is called a hill climbing method with a