嵌套式建模支持

阐述了人的建模思维机制。引入等价关系和划分作为问题粒度研究的基础，定义了逆商集，使之与商集一起，构成了对问题不同粒度的完整描述，并讨论了粒度的性质，借助拓扑分析，给出了问题可分解、可细化和粗化、细化等一系列定义，在问题簇和模型簇概念的基础上，提出了嵌套式建模（支持）作为面向复杂系统的建模支持方法论，具体给出了其实施步骤，这是一个人机交互的启发式过程，将嵌套式建模与传统式建模作了比较，此外还作了若干说明。     

知识基控制系统的嵌套式集成框架

以智能工程中的集成化智能单元（ⅡＵ）作为分形元，提出嵌套式集成框架，用嵌套式集成框架构造的知识基控制系统是一个智能型交互式集成化系统，能够获得嵌套式建模支持。     

基于Petri 网软件过程执行机制的研究

在软件过程执行机制中,两种传统的过程执行机制——前摄式和反映式存在模型复杂性和执行灵活性之间的矛盾。分层机制可以缓解这种矛盾,但又缺乏严密的形式化定义。采用基于Petri网的软件过程执行机制的建模和分析方法,给出了准确的形式化定义,很好地描述了软件过程执行机制中的同步、并发和异步等特点,解决了早期"前摄式"机制的过程支持缺陷,降低了反映式机制建模的复杂性。     

区间值信息系统的多粒度粗糙集及其决策

文章从多粒度视角研究了区间值信息系统(interval-valued information system,IvIS),定义了多粒度容差关系,给出了乐观和悲观的2种模型,研究了其性质及其与单粒度模型的联系与区别;然后定义了区间值决策系统(interval-valued decision system,IvDS)的多粒度决策规则的置信度因子及决策规则提取方法,并且给出了决策规则支持定理及其证明;最后通过一个算例验证了所提理论方法的正确性与有效性。     

非线性互补问题的可行性

给出了关于非线性互补问题的a-例外簇的定义，并据此给出了可行性定理。     

基于嵌套树模型检测的研究

文章针对软件验证过程中的结构抽象表示问题,考虑到结构程序的顺序结构、调用返回关系,给出了嵌套树以及嵌套状态机的定义。在该数据结构及μ演算的基础上,定义了嵌套树的μ演算(NT-μ)。NT-μ的公式语法是基于概要的,在嵌套状态机上提出基于概要类的模型检测。嵌套状态机的结点是有限的,且嵌套状态机有限的概要类对应于嵌套树中的无限的概要,因此该方法能提高检测的效率。     

实时并行调度策略

本文讨论多处理机环境下的并行划分算法和并行处理问题,介绍两种实时并行调度策略——单级化非嵌套式算法和多级化嵌套式算法,给出在最小可能时间内对处理工作P所需要的最少处理机数的估算公式.作为算法的使用实例,本文最后介绍了多级化嵌套式算法在雷达数据处理中的应用,解决了将紧耦合多微机系统用于实时系统中实时任务并行调度的关键问题,取得较满意的效果.     

浅析pl/0与C编译程序在子过程处理上的异同

讨论了pl/0语言与C语言程序在处理子过程问题上的区别,并阐述了二者的编译程序为保证语言的子过程使用规则,在编译方面处理上的异同点,主要区别是是否需要存取链来保证是否支持子过程的嵌套定义,pl/0需要使用存取链,而C语言不需要,因为C语言不支持函数的嵌套定义而Pl/0语言支持。     

浅析pl/0与C编译程序在子过程处理上的异同

讨论了pl/0语言与C语言程序在处理子过程问题上的区别,并阐述了二者的编译程序为保证语言的子过程使用规则,在编译方面处理上的异同点,主要区别是是否需要存取链来保证是否支持子过程的嵌套定义,pl/0需要使用存取链,而C语言不需要,因为C语言不支持函数的嵌套定义而Pl/0语言支持.     

系统建模中基于对象的有向无环图节点粒度的转换

针对化工系统模型难以确定的问题,提出了基于对象的有向无环图节点粒度的转换方法.通过引入嵌套节点实现了基于对象的初始化有向无环图模型,在分析模型组成结构形式的基础上定义了转换过程必须遵守的操作规则,并且详细描述了节点合并和展开的操作流程.同时,从一致性和计算复杂度方面对模型性能进行了评价.最后,使用化工燃油控制系统作为实例,证明了节点转换法能够保证模型形式上的一致性和功能上的完整性,以及操作简便高效的特点,可以比较好地满足系统建模的需要.     

基于用例的层次Petri网建模

利用用例解决了层次Petri网建模中问题界定和问题细化的两个难点，同时也利用层次Petri网表现了用例中文本形式事件流所无法表现出事件自身的并发关系，由此建立的模型具有粒度可控和模块化良好的优点。     

本体定义及本体代数

基于现有的本体定义,采用函数式描述语言精确定义了本体建模基元,给出一种新的本体形式化描述,并给出了本体间近义关联的定义,在新本体形式化描述和本体间近义关联定义的基础上,提出一种具有封闭性的本体代数定义,同时结合函数式描述语言,给出了其形式化描述.     

基于装配的多机器人虚拟生产平台的系统建模

作为虚拟生产平台建立的重要组成部分之一 ,生产系统的建模对于多机器人虚拟生产环境的作业控制至关重要。基于系统具有并发性、柔性和不确定性的特点 ,提出了一个生产系统分块式有效 Petri网建模方法 ,保证了所生成的整体生产系统模型的有效性 ,可直接用于系统作业的控制 ,并且具有错误恢复能力 ,建模方法的有效扩充性也为深入地细化研究系统的某个加工单元和系统的扩展提供了可能。采用 C/ C++语言 ,基于 GL 图形库实现了平台的建立并给出了实例     

一种层次式面向对象的系统分析模型

首先给出了一种用于信息建模的层次式面向对象的系统分析模型，包括静态模型和动态模型，其次还较详细地讨论了需求分析模型的正确性及一致性问题。利用这种层次方法建立的需求分析模型，易于理解和维护，又便于图形描述因而，支持需求分析建模的辅助软件工具也易于开发实现。     

一种有效的Peer-to-Peer环境下的Trust模型

现有的单粒度信任模型不能很好地解决可信度计算的粒度问题,而多粒度模型在度量节点可信度时,仅考虑了相关领域的包含关系,欠缺对相交关系的考虑.据此,提出了一种新的Peer-to-Peer环境下的多粒度信任模型,该模型可以针对节点在具体的领域计算其可信度,并在计算过程中考虑了相关领域的相交关系.首先给出了领域模型的定义,在此基础上给出了信任模型的定义,然后对模型的迭代收敛问题以及可信度的分布式放置和获取问题作了深入的探讨.分析表明,该模型较已有模型在可信度计算的粒度及工程可行性等方面有较大的提高.     

基于本体的仿真物性参数适应性管理模型

为了解决不同领域的系统重复开发以及系统缺少动态增量式变化支持的问题,提出了基于本体的仿真物性参数适应性管理模型.在对仿真物性参数管理问题的通用业务与数据类型抽象的基础上,给出了其元模型的形式化定义与本体建模方法,并进一步给出其领域模型的建模方法与实例;分析了所提模型的领域适应性、动态扩展性以及数据的可进化性.最后,将基于该模型开发的系统应用于国内某ATM研发企业中,建立了面向柔性介质的可适应仿真物性参数管理系统,从而验证了所提模型的有效性.     

调度问题的建模方法

生产调度问题有广泛的应用前景，有明显的经济效益与社会效益。但是生产调度问题的研究大多只考虑求解方法，很少涉及建模方法。建模方法主要依靠专家的经验和技巧。本文提供了调度问题的数学描述，这是把调度问题定义为一类约束满足问题。然后以皇后问题为例研究了调度问题的建模方法。由此实例给出了模型的测度，并给出基于约束的建模方法。这种基于约束的建模方法对于建模问题的理论化，形式化，是积极的探索。这可以指导调度问题的数学模型的建立。     

面向软件工程的工作流管理系统

结合CMM思想和RUP技术，提出了以RUP定义的软件开发流程作为模板，以工作流管理系统作为支持环境的软件开发过程管理的新思路，介绍了工作流管理系统的模型基础，即集成化的多视图模型P_PROCE，它以过程视图为核心，集成了产品，资源，组织和控制评价视图，给出了建模，仿真和执行有机集成的工作流管理系统体系结构，在解释了以过程建模，系统维护和模型转换接口三部分组成的工作流建模系统的基础上，阐述了以个人工作台和工作流引擎为主构成的工作流执行和仿真机制。     

广义多尺度决策系统的局部最优粒度选择

在实际应用中,人们常常选择比较合适的粒度层次来解决相应的问题。在经典的多尺度决策系统和粒度层次构造过程中,属性取值常由人工选择某些固定粒度层次。本文针对广义多尺度决策系统,由属性取值的尺度组合来构造粒度层次,进而研究局部最优粒度的选择问题。首先,介绍了广义多尺度决策系统的概念。然后,在协调的广义多尺度决策系统中定义了最优粒度和局部最优粒度,并给出了基于属性组合的最优粒度与局部最优粒度的选择算法。最后,在不协调的广义多尺度决策系统中引入了广义决策,定义了广义决策最优粒度和广义决策局部最优粒度,并给出了基于广义决策最优粒度与广义决策局部最优粒度选择算法。     

关系式数据库模式的嵌套联结相关

本文定义了嵌套联结相关概念。在(二)中给出了嵌套联结相关的一个有效的判别方法。在(三)中证明K个属性集的联结相关等价于K-1个嵌套联结相关,由此给出了联结相关的一个有效的判别方法。