中介公理集合论系统与经典公理集合论系统的关系——形式证明部分

在中介公理集合论系统（ＭＳ）中重新定义了良集的概念，讨论了它的性质。证明良集完全满足经典公理集合论系统（ＺＦＣ－：ＺＦＣ系统中去掉正则公理）的全部公理，且其配套的逻辑系统恰为中介逻辑的二值子系统ＦＩ＊ＭＬ，说明整个经典数学也能奠基于ＭＳ之上，从而最终回答了中介数学与经典数学的包含关系问题。     

中介公理集合论系统与经典公理集合论系统的关系——形…

在中介公理集合论系统中重新定义了良集的概念，讨论了它的性质，证明良集完全满足经典满足经典公理集合论系统的全部公理，且其配套的逻辑系统恰为中介的二值子系统ＦＭＬ，说明整个经典数字也能奠基于ＭＳ之上，从而最终回答了中介数字与经典数学的包含关系问题。     

基于中介逻辑的多模态逻辑系统

多模态逻辑作为模态逻辑的扩充，是模态逻辑进行时态和动态扩充的基础。中介逻辑是一个新的逻辑系统，自创立后得到了很大发展，并在数理逻辑及计算机科学领域中得到广泛应用。为将中介逻辑进行时态和动态扩充，本文构造了一种基于中介逻辑的多模态逻辑系统ＭＭＫ，讨论了它的推理规则和语义解释，并证明了ＭＭＫ的可靠性和完备性，在此基础上给出了一种基于中介逻辑的时态逻辑系统ＭＴ，对它的可靠性和完备性进行了讨论。最后，分析了相应的经典多模态逻辑系统与ＭＭＫ系统及经典时态逻辑系统和ＭＴ系统之间的关系。     

设计灵敏度分析的迭代模态法

在结构动态有限元数学模型修正、结构动力学修改以及结构动态设计中，灵敏度分析是十分重要的一环，往往也是主要计算工作量所在。如何在保证精确度前提下减少灵敏度分析工作量和计算时间，具有重要意义．本文提出的迭代模态法，可以大大提高特征向量对设计参数导数（模态灵敏度）的计算效率。本文还从理论上证明经典模态法和修改模态法只是迭代模态法的特殊情况。文中还给出了ＦＯＲＫ，３Ｄ－ＦＲＡＭＥ两种结构为实例的计算机仿真，并与已有两种模态方法进行比较。理论分析与计算机仿真表明，本方法不仅能充分保证特征向量灵敏度分析的精度，而且大大提高了计算速度．     

MS中的自然数系统

首先给出了中介逻辑ＭＬ的二值子系统Ｆ＾ＩＭＬ，说明了它与经典二值逻辑的子系统Ｆ＾Ｉ同构。其次，利用中介公理集合论ＭＳ的相关理论，构造了ＭＳ中的自然数系统，证明了Ｐｅａｎｏ５条公理为ＭＳ中的定理。最后指出以此五条性质为公理、并以Ｆ＾ＩＭ为配套逻辑，在ＭＳ中可推出自然数的所有性质。     

π-TFSK时频调制信号状态迁移的分析

本文主要对π－ＴＦＳＫ时频调制信号的状态迁移进行分析。首先,从数学模型出发,对π－ＴＦＳＫ时频调制信号的状态进行分析;然后,推出了该信号的状态迁移图;最后求出了π－ＴＦＳＫ时频调制信号的状态迁移矩阵。     

“射频仿真系统RFSS－1放大系统”通过鉴定

“射频仿真系统ＲＦＳＳ－１放大系统”通过鉴定我校计算机科学与工程系朱根才等研制完成的“射频仿真系统ＲＦＳＳ－１放大系统”，通过了由江苏省国防科工办组织的鉴定。该系统可利用微机在射频仿真系统中进行目标特性的仿真，设计研制成功了微型计算机系统的遥控装置，...     

一种支持 NF￣2 和多媒体的数据模型

支持ＮＦ２（Ｎｏｎ－ｆｉｒｓｔ－ｎｏｒｍａｌ－ｆｏｒｍ）和多媒体的数据库系统ＮＦＭＤＢ是在关系数据库ＲＤＢＭＳ的基础上研制的,它是一种扩充了的ＤＢＭＳ。系统采用了扩充的关系数据模型,它支持ＮＦ２和多媒体的数据存储和数据操作。本文重点介绍了ＮＦＭＤＢ系统支持ＮＦ２和多媒体的数据模型,以及基于数据字典的实现方案,系统具有处理复杂对象的能力。     

含有文字序逻辑程序的一种辩论语义

有序逻辑程序的语义研究是常识推理的重要研究内容。文中对Dung的辩论框架进行了扩充,针对含有文字序的逻辑程序提出了一种优先辩论框架,加入了对文字之间优先序的处理,进而定义了相应的优先回答集语义和优先扩充语义。证明了文中的优先回答集是Sakama回答集的特例,而优先扩充语义可以处理没有回答集的优先逻辑程序。     

二维矢量基离散正弦变换─Ⅱ的快速算法

二维离散正弦变换（２ＤＤＳＴ）在数字图象处理中有重要应用。由于ＤＳＴ核的可分离性，２ＤＤＳＴ通常可用行列法由一维快速正弦变换（１ＤＦＳＴ）算法计算。将一维离散正弦变换－Ⅱ（１ＤＤＳＴ－Ⅱ）的快速递归算法推广到二维，提出了一种按频率抽取的２ｍ×２ｍ点矢量基二维离散正弦变换－Ⅱ的快速算法。该算法把Ｎ×Ｎ点ＤＳＴ－Ⅱ分解成四个×点ＤＳＴ－Ⅱ，重复进行这一过程直到最后分解成２×２点ＤＳＴ－Ⅱ。文中首先对１ＤＦＳＴ算法作了简单的代数推导；然后将该算法采用矢量基分解方式推广到二维，讨论了序列分解与Ｋｒｏｎｅｃｋｅｒ矩阵积两种表示方法，给出了信号流图；最后分析了计算复杂性，并与常用的行列法进行了比较。矢量基二维ＤＳＴ－Ⅱ的快速算法蝶形结构规则，数值稳定，与行列法相比，乘法运算量节省了２５％。     

多Agent智能制造系统研究综述

Agent与多Agent系统是分布式人工智能的主要研究方向之一，Agent技术已经被认为是进行分布式工业系统建模的一种重要方法，是设计与实施分布式智能制造环境的最自然的手段，是构建下一代制造系统的重要技术之一，基于Agent的制造系统是多Agent系统理论和方法在制造领域中的具体应用，在对Agent与多Agent系统技术研究进行简要总结的基础上，综述了Agent技术在制造企业集成，供应链管理、制造规划、调度和制造控制等方面的应用及其研究现状，并对Agent制造系统研究的主要内容及关键问题进行了探讨。     

武装直升机飞行控制系统的组合智能控制

讨论了专家系统的人工神经网络相结合的一种控制方法，并将这种方法成功地用于直升机飞行控制系统设计。根据系统特征模型的划分、精心设计专家系统的知识库、数据库、规则库和推理机。然后，用专家系统控制器训练了三层ＢＰ神经网络。同时，针对某型直升机用数字仿真证明了这种方法的优点和良好效果。     

油膜轴承动态特性参数及转子不平衡的统一识别

将转子不平衡作为引起转子-轴承系统振动的主要原因,本文提出了一种现场、在线识别转子系统油膜轴承动态特性参数及转子不平衡的时域方法。本方法充分利用转子的结构及模态参数以解决测点不足和激振力不可测量等问题。同传统的参数识别方法相比,本方法具有现场、在线、不需人工激振、设备简单等优点。实验结果证明了方法的可行性。     

一种基于面向对象原理的PDM产品模型框架

面向对象技术在信息系统建模方面的应用越来越普遍 ,本文针对 PDM的发展趋势及存在的问题 ,结合面向对象技术的思想和方法 ,借用人工智能语义网络中的术语对对象与类的关系加以描述 ,分析了产品数据模型 ,并将其在 PDM系统中划分为项目、组织、工作流程、设计资源、产品类属构型、产品构型和文档等 7个视图 ;在此基础上 ,利用面向对象建模方法对各视图在 PDM中的实现进行了研究。     

Delta算子系统极点有圆形区域约束的鲁棒控制

研究Delta算子描述的不确定线性系统闭环极点有圆形区域约束的鲁棒控制,基于Lyapunov稳定性理论和线性矩阵不等式(LMI)方法,对Delta算子不确定系统进行状态反馈设计,导出满足闭环极点圆形区域约束的状态反馈控制律存在的充分条件,用一个线性矩阵不等式的可行解给出了状态反馈控制律的参数化表示．具体算例说明了试方法的有效性．     

A FORMAL REPRESENTATION FOR FEATURE-BASED DESIGN

从三个方面研究了基于特征设计的形式化描述方法：基于特征设计的基本定义、设计过程模型及设计算法。文中给出了特征分类、特征操作、特征模型验证和特征映射策略及其形式化描述方式，建立了兼顾并行工程和顺序工程设计方式的基于特征设计过程形式化描述模型，提出了基于特征的设计算法，为解决基于特征设计系统开发和运行缺乏统一方法学这一课题作了有益的尝试。     

周期结构和太阳电池翼的模态分析

基于周期结构的振动理论,把折叠状态太阳电池翼当作拟周期结构处理,解释了太阳电池翼在进行模态分析时所出现的“主模态局部化”现象,了解该现象对于在实验模态分析中确定阻尼系数具有重要意义。同时从理论上说明了,简单的基板模型的第1阶特征值是整翼模型的第1阶特征值的近似值。两个算例计算的结果支持了这个观点。     

区间模糊集理论及其运算法则(英文)

在区间模糊集概念及其性质的基础上,针对区间模糊集的3个理论尚未得到有效证明的现状,首先对区间模糊集的知识表示及其运算法则进行了研究,然后提出了基于区间模糊集的截集概念。并在此基础之上进一步研究了基于区间模糊集的分解定理、表现定理和扩展定理,并通过实例说明了传统模糊集是区间模糊集的一个特例,区间模糊集是传统模糊集的有效扩展。     

用PROLOG实现数据库智能检索系统DBINRES

本系统将人工智能技术与数据库技术结合起来,建立逆向演绎的推理机构,实现数据库智能检索。采用“分类树”技术组织数据库;应用最小平方估计法建立有效的启发式评价函数,在此基础上变传统的深度优先搜索为启发式图搜索,从而有效地提高了系统的效率。由于采用MICRO-PROLOG语言编制,本系统具有较强的逻辑推理与检索能力。