基于合同满意度的工程设备索赔额确定模型

结合工程设备索赔的特点，提出了工程设备价值、工程设备合同贬值和工程设备合同满意度的概念；系统地分析了影响工程设备价值和导致工程设备合同贬值的因素，为工程设备索赔事件的发现提供了系统的思路和分析方法；提出了考虑评估人员心理因素的工程设备多层次满意度分析模型，为定量分析工程设备索赔提供了行之有效的数学方法；最后用示例说明了该方法的应用。     

指挥艺术和非结构化信息支持

本文首先概括出了“专家型”和“助手型”两种不同的决策思路；继之围绕以有利于发挥指挥艺术的方式进行决策支持这个核心问题，对指挥决策中信息获取和处理方式进行了探讨，并建立了非结构化信息支持的概念；最后提出了基于非结构化数据的智能决策支持系统的设想，并讨论了系统实现的有关技术。     

基于Rough Set理论的判断矩阵构造方法

群决策支持系统（GDSS）是利用信息技术，将多个决策者个人对策该领域的理解及个人判断能力结合在一起，利用结构化决策分析技术，对半结构化和非线结构化问题进行求解，层次分析法是对定性问题作定量分析的一种简便而有效的方法，提出了一GDSS环境下判断矩阵构造的新方法；运用业集理论；利用管理信息系统运行所积累的大量决策数据来分析各决策因素，决策者对决策目标的影响，并建立自学习系统，从而构造具有完全一致性的综合判断矩阵，该方法适用于重复群决策问题。     

一种实用的控制系统CAD程序转换方法

本文介绍了一种实用的程序转换方法。该方法把(中国控制系统CAD—CCSCAD一期工程中部分子包的)非结构化FORTRAN程序,经非结构化流程图到结构化流程图,再到PAD图,最后转换成(CCSCAD二期工程所要求的)结构化C程序。其中四个函数过程的具体构造在文中给出。     

基于合同状态的工程合同索赔定量研究

给出合同状态的定义和合同状态的数学描述方法，通过对合同状态变化本质的研究揭示了合同执行的机理，建立了工程合同状态控制模型，给出了索赔机会识别和索赔定量分析计算的方法。     

基于系统效能的大型机电工程项目质量索赔定量研究

针对大型机电工程项目实施过程中,业主方如何对系统进行全面、客观的质量评估问题,在综合考虑系统可靠性、可用性等影响业主收益的各种因素的基础上,应用系统综合的方法,提出了业主方进行质量评估的系统效能的概念,建立了能在工程进行的任何阶段对工程系统质量情况进行评价的基于系统效能的定量分析模型,并在此基础上得到了工程系统质量索赔模型和进行索赔定量分析的计算步骤.     

缺乏先验信息条件下的对数正态分布车险索赔额定价模型

假定车险索赔额服从对数正态损失分布,并且其结构方差和过程方差存在显著差异,通过分析全体车险保单组合的历史索赔损失数据,估计出结构方差和过程方差的先验参数,从而得到个体保单未来索赔额的最优估计模型；在此基础上,给出了一个既考虑索赔频率又考虑索赔严重性的车险经验费率定价模型.     

基于XML的工程施工索赔依据数据模式的研究

工程施工索赔依据的管理是索赔决策系统的重要子系统 .根据索赔决策的要求和 XML技术的特点 ,引入 XML的 DTD模式类型来组织集成索赔依据 .在深入分析索赔依据的数据结构的基础上 ,具体描述了索赔依据内容在 XML文档中的同构变换 ,及索赔依据对象的数据结构在 DTD中的同构映射 ,并给出索赔依据数据模式的 DTD模型及应用实例 .     

系统方法分类与应用选择研究

系统方法是解决系统问题的有效工具。基于问题情境复杂性和问题研究目的性,构建了系统方法的两维分类框架;研究了用于结构化/解释性、结构化/干预性、非结构化/解释性、非结构化/干预性等问题情境的系统方法,并给出典型方法的应用步骤;最后,提出了基于问题情境的系统方法应用选择过程。     

基于Agent的分布仿真中的通信系统设计与实现

基于Agent的建模与仿真（ABMS）是研究复杂系统的有效手段，基于Agent的分布仿真则是ABMS研究的重要内容，而通信系统是分布仿真中的基础部分。提出并利用Java语言实现了一个基于Agent的分布仿真中的通信系统．首先给出了通信系统的结构及其基本思想，对通信服务Agent、仿真Agent的通信接口和通信过程进行了详细的描述；给出了基于KQML的结构化的通信协议。在此基础之上利用XML对消息进行封装，并给了了通信原语层的XML／DTD设计，最后对通信系统的实现相关细节进行了介绍。     

不完全信息条件下合作伙伴分拆机制

在不完全信息和共同价值以及所有权人是风险中性的情况下，考察合作伙伴的资产分割的简单机制，其中所有权人占有不同份额，机制设计者没有关于所有权人估价信号分布的信息。本文主要研究分配机制能否导致分配的公平性．证明分割与选择机制总是偏袒选择者且有失公平性。研究结果为我国股票市场的股权分置改革提供了有益的借鉴。     

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     

Research of united model of knowledge discovery state space and its application

1.INTRODUCTION Atpresent,complextypedatamining,suchasmulti media,audio,video,image,Webpage,spatial tem poraldataetc.,isreceivingmoreandmoreattention frombothresearchandbusinesscommunity.Howto exploittheexistingminingtechniquesofstructured datatocomplextypesofdata?Canweproposeacom montheoreticalframeworkforminingbothstructured dataandcomplextypesofdata?Wethinkitisurgent forustotrytoanswertheabovequestions.Fromdifferentperspectives,suchasevidencetheo ry,roughsetetc.,someresearchershaveprop…     

用FPGA实现互联的多DSP并行系统结构

为满足实时图像处理要求,在分析了常见DSP并行系统结构基础上,提出了一种基于FPGA互联的DSP并行系统结构。该并行结构通过在FPGA内实现互联网络和特定的数据通信协议,实现三片DSP(TMS320C6713)的有效互联,系统结构可重构、可扩展。对采用该并行结构的原型系统的测试表明,DSP间数据通信既获得了较大的持续带宽又降低了传输延迟,可以满足并行实时处理要求。     

Primal Dual Algorithms for the Lexicographically Optimal Base of a Submodular Polyhedron and Its Relation to a Poset Greedoid

ＰｒｉｍａｌＤｕａｌＡｌｇｏｒｉｔｈｍｓｆｏｒｔｈｅＬｅｘｉｃｏｇｒａｐｈｉｃａｌｌｙＯｐｔｉｍａｌＢａｓｅｏｆａＳｕｂｍｏｄｕｌａｒＰｏｌｙｈｅｄｒｏｎａｎｄＩｔｓＲｅｌａｔｉｏｎｔｏａＰｏｓｅｔＧｒｅｅｄｏｉｄＫａｋｕｚｏＩｗａｍｕｒａ（Ｓａｎｂ...     

军事体系对抗复杂系统概念建模方法

在分析军事体系对抗复杂性的基础上,根据典型化和模块化的总体建模思路,提出基于复杂系统分析的军事体系对抗概念模型建模方法。以航空武器装备体系对抗作为分析对象,结合权威参考文献进行概念模型结构化描述,应用UML统一建模语言和Petri网络进行概念模型形式化描述,采用马尔科夫链对典型的空中进攻战役过程进行数理化描述,通过应用实例对建模方法的有效性和可行性进行验证。     

FEEDBACK CONTROL OF A CLASS OF FLEXIBLE SYSTEMS WITH COUPLED BENDING AND TORSIONAL VIBRATIONS

In this paper, a class of flexible systems of beams with coupled bending andtorsional vibrations, which has important applications in the dynamics of aircraft is dis-cussed. The existence and uniqueness of the solution for this class of systems are proved,where the spectral analysis method and the unconditional base theory are used, and asufficient condition for the asymptotic stability of the closed-loop system is obtained bymeans of the (D) class operators theory.