Mereological inheritance

In recent investigations of Spatial Reasoning, SpatialKnowledge Representation, and Geographic Information Systems, asignificant effort has been spent by many scholars of the areaabout the problem of representing properties of spatial objects bymeans of logical theories.An analogous effort has been the problem of analyzingthe qualitative relations which can be established between twospace regions. These investigations have led to a generalframework of the field known by the term ``mereo-topology'.Though both the above mentioned approaches have proved to besuccessful in the investigation of formal and practically relevantaspects of spatial objects, no attempt has been carried out in the direction of integrating the approaches and looking at the relationshipbetween a general logical theory of space and mereo-topology from an analytical point of view, in particular for exploiting thecombinatorial behaviour of such an integrated model.This paper intends to fill the gap and analyze the behaviour ofspatial formulae of a logical theory of space as objects which canbe classified based on the behaviour they exhibit with respect tothe parts and supertparts of the regions where they are true. Wename these categories of behaviourinheritance modalities.     

基于马尔科夫再生过程分析阶段任务系统的可靠性

分析阶段任务系统（PMS）的可靠性是一项重要的工作。为了方便分析大部分已有的分析方法都假设阶段持续时间是确定的或者阶段内过程是齐次马尔科夫过程，这些方法不能够分析实际存在的大量一般的PMS。为此本文研究具有随机分布的阶段持续时间和阶段内过程是马尔科夫再生过程（MRGP）的一般PMS的可靠性分析。由于引入MRGP，一般PMS的阶段内活动可以是指数，确定或者其他一般分布。本文首先给出了一个实际有效的5元组模型框架来刻画该类PMS的动态行为，然后利用已有的MRGP分析方法，说明了阶段内条件瞬时状态占有概率矩阵的计算方法。为了避免为整个PMS构造一个巨大的MRGP，在假设阶段边界允许记忆丢失的条件下，本文给出了一个系统可靠性的有效计算方法，该计算方法是两步的分治方法，首先对每个阶段内的MRGP进行分析，然后利用分析结果通过矩阵乘获得系统的可靠度。通过本文给出的方法可以有效的分析一般PMS的可靠性。     

柔性空间结构的分散模糊变结构控制

提出了一种适用于一类不确定大系统的分散变结构控制方法 ,并将该方法用于柔性空间结构的控制系统设计中。考虑到复杂大系统的系统关联及不确定因素复杂 ,在控制律中引入了模糊控制规则来确定分散控制律中的非线性分量大小 ,使控制系统设计时不需知道系统不确定变化及关联的具体情况 ,简化了控制器的设计。同时 ,模糊控制规则的引入还有效减弱了一般分散变结构控制系统的抖颤问题。所设计的控制系统可以保证柔性空间结构系统在未知参数摄动以及外界干扰情况下的稳定。数字仿真结果表明该方法的有效性。     

遥外测综合测量系统弹道计算新方法

遥外测综合测量系统在定位精度上有其局限性 ,布站不能接近同一平面 ,必须布置一个空中站来改善布站几何 ,否则容易引起定位无解或精度差 ,但布置空中站在工程上很难实现 ,且代价太高。针对这个问题 ,提出一种新的弹道计算方法 ,可以有效弥补上述局限性 ,取消空中站 ,并且显著提高定位精度。     

通信传输系统计算机仿真技术

 摘要 本文综述了基于Monte-Carlo方法的各种误码率仿真算法,概括了线性、非线性和编译码通信信道的建模问题,给出了信号通过线性系统的各种仿真方法。最后提出了通信传输系统仿真技术的发展方向和有待深入研究的几个问题。     

A DYNAMIC MATHEMATICAL MODEL STUDY OFTHE PLATE-FIN HUMID HEAT EXCHANGER

ＡＤＹＮＡＭＩＣＭＡＴＨＥＭＡＴＩＣＡＬＭＯＤＥＬＳＴＵＤＹＯＦＴＨＥＰＬＡＴＥ－ＦＩＮＨＵＭＩＤＨＥＡＴＥＸＣＨＡＮＧＥＲＬｉｕＢｏｑｉａｎｇ；ＹｕａｎＸｉｕｇａｎ；ＬｉＭｉｎ（Ｆａｃｕｌｔｙ５０５，ＢｅｉｊｉｎｇＵｎｉｖｅｒｓｉｔｙｏｆＡｅｒｏｎ...     

适用于并行工程的基于约束的CAPP模型

 提出一种在计算机集成环境下编制工艺现程的方法,以“约束”的概念体现工艺学原则和实际生产环境信息。零件的被加工表面信息直接从集成数据库中获取。通过工艺数据库得到各被加工表面的各种可能的加工活动信息。对以这些加工活动为元素的集合施加位置关系约束,采用一定算法得到零件的多个可行工艺规程。该ＣＡＰＰ方法可在产品设计由粗到细的各个阶段实现,适于并行工程环境。     

基于Web的分布式服务对象的集成与构造方法

Web环境下实现分布式服务对象共享具有重要意义.CORBA(Common Object Request Broker Architecture)与Java是实现这一目标的支撑技术.在CORBA,Java,Web集成思想上,首先提出并论述了基于CORBA与Java的分布式对象的集成框架,并进一步阐述了集成在该框架之上的多种分布式服务对象的构造方法.上述方法在基于Internet/Intranet的集成产品数据管理信息系统中,得到了实现与验证.     

软件协同开发活动管理的3个方面

针对网上软件协同开发活动,就如何建立一个支持它的开发环境和信息系统、如何在工作组内进行任务划分、如何进行协同管理等方面进行了研究,提出了协同活动管理中对象性、关系性和任务性这3个方面的分析模型,并进行了较为深入的设计和讨论.它以软件组件对象为核心描述了对象模型;以"最后离开者关门原则"讨论了关系模型;以任务划分方法分析了任务模型.