基于记忆的类比联想

类比联想——怎样发现合适的类似物,是类比推理的核心和难点。本文首先简介我们设计的一种支持类比推理的联想记忆模型,它包括语义层、具体层和抽象层。本文将类比联想分为诱发和初步确认两个阶段,其中诱发阶段遵从语义诱发原则、突出相似原则、熟悉优先原则和相似优先原则;初步确认准则包括全面相似性、目的性和差别。最后简介了我们用于实现这一原理的系统ARE(Analogical Reminding Engine)。     

国际空间频率协调组召开第13届年会

<正> 国际空间频率协调组(SFCG)第13届年会于1993年10月13日至21日在加拿大首都渥太华市召开。参加会议的有法国空间研究中心、加拿大空间局、欧空局、俄罗斯空间局、美国宇航局(含JPL、Stanford Telecom、ARC、MITRE)、巴西空间研究院、英国国家空间中心、中国空间技术研究院、德国宇航研究院、澳大利亚航天组织、日本宇宙开发事业     

智能交通系统(ITS)的发展 及其模型化研究

智能交通系统在欧洲也称道路交通信息通讯系统,是基于系统工程、电子、通信、信息等多种高新技术,并已渗透到航空、水运、铁路交通领域的新型交通系统.ITS的建立可以提高路网通行能力和服务水平,改善环保质量,提高能源利用率.介绍其基本概念以及国内外发展的概况后,提出了智能交通系统的学科体系模型、服务功能模型和网络层次模型,并简要分析了模型化的意义.最后,对系统的标准化问题及模型化研究对标准化的作用作了简单地介绍.     

国外毫米波测量仪器概况

毫米波技术早已被人们所了解,已有许多杂志和会议发表了关于毫米波技术的文章。毫米波在雷达方面的应用具有下列一些优点:1.对于同样的天线增益和波束宽度,毫米波需要较小的天线直径。2.提高了角度分辨率/天线直径。3.提高了频段宽度的有效性。4.提高了距离分辨力。5.由于波束宽度较小,以及该频段的使用密度低,故提高了电磁共容和电子干扰     

基于多信号模型的空间站某典型产品测试性建模与分析

测试性建模与分析在提高产品的测试性设计水平上,发挥的作用越发重要.基于多信号流图模型方法,以某典型产品为例,分析其工作原理和结构,建立其测试性模型.根据分析结果,采用增加测点、断开反馈回路的方法,改进了模型的测试性设计,提高了其测试性指标.     

压电结构系统机电耦合的强化与多阶共振抑制

提高压电系统的机电耦合程度可以提高压电分支电路对于结构机械振动的抑制效果.提出了一种可同时提高压电系统多阶模态机电耦合程度、进而实现对系统多阶共振进行控制的方法.首先通过对压电悬臂梁模型的理论研究揭示了将压电片的电极离散、并以不同方式连接可以导致系统的机电耦合程度发生改变的现象.在此基础上导出可刻划此现象的模态机电耦合函数;提出通过对模态机电耦合函数的优化寻求压电片电极的最佳离散方式和最佳连接方式,以获得对应某一模态的最大机电耦合函数值.为了对多阶共振抑制,提出引入选通电路,通过对含有选通电路的模态机电耦合函数的参数优化实现同时提高压电系统多模态机电耦合程度、进而抑制多阶共振的方法.结合数值实例对此方法进行说明.     

机床立柱高比刚度结构仿生设计

提高机床运动结构的比刚度对于提高机床加工精度以及系统动力学性能具有重要作用.基于结构仿生的原理和方法,在分析骨架对生物体刚度的贡献以及体现了最佳的载荷路径这一思想的基础上,对叶片抛磨机立柱内部的筋板结构进行重新设计,使其发挥骨架的作用.对原型及仿生型立柱进行了静力、模态及瞬态动力学分析,经过有限元分析发现,立柱的质量减小,比刚度结构效能得到了较大的提高,其静动力学性能也有明显的改善.      

无人机全空域飞行影响因素分析

进入全空域飞行是未来无人机发展的必然趋势,所面临的关键问题是安全性和空中交通管理.根据无人机大、中、小型,低、中、高速并存的特点,分析了无人机安全性和影响其全空域飞行能力的关键因素与改进方法,包括建立分类管理机制,提高自主导航与控制能力,进行动态任务规划,采取协调机制,增强环境感知与规避能力等.进一步提出了无人机空域飞行的建模/仿真理论框架,目标是在提高无人机可靠性的基础上,使其具备全空域飞行能力,从而降低无人机使用成本、提高空域共享能力,实现有人机、无人机共享空域.      

舱外航天服手套的工效问题

为提高舱外航天服手套的工效,分析了影响其工效的主要因素:手指皮肤温度低于15.6℃会使工效明显下降,压力总是对手套工效有显著的影响,形状结构使手套工效存在±50%的差别,好的材料能改善手套关节点的特性.提出解决手套工效的关键在于处理好手套的形状和结构.从舱外航天服手套的设计、制作和增加辅助装置等几个方面探讨了提高工效的方法.并从力量、疲劳、灵活性、触觉、活动范围和舒适性六个方面介绍了评价手套工效的方法.     

太赫兹肖特基二极管混频性能分析

工作在太赫兹波段的肖特基混频二极管的混频性能会受到高频效应的影响而降低.将有限差分算法引入二极管内部电磁场的计算中,并从结电容并联效应、趋肤效应、等离子共振、速率饱和效应四个方面分析了高频效应对二极管混频性能的影响,并以截止频率作为品质因数,对二极管结构参数进行优化设计.仿真实验结果表明:随着频率的提高,减小阳极直径、减小外延层厚度和提高外延层掺杂浓度能减小高频效应的影响,提高太赫兹二极管的混频性能.     

Object-oriented model-driven control.

A monitoring and control subsystem architecture has been developed that capitalizes on the use of model-driven monitoring and predictive control, knowledge-based data representation, and artificial reasoning in an operator support mode. We have developed an object-oriented model of a Controlled Ecological Life Support System (CELSS). The model, based on the NASA Kennedy Space Center CELSS breadboard data, tracks carbon, hydrogen, and oxygen, carbon dioxide, and water. It estimates and tracks resource-related parameters such as mass, energy, and manpower measurements such as growing area required for balance. We are developing an interface with the breadboard systems that is compatible with artificial reasoning. Initial work is being done on use of expert systems and user interface development. This paper presents our approach to defining universally applicable CELSS monitor and control issues, and implementing appropriate monitor and control capability for a particular instance: the KSC CELSS Breadboard Facility.     

PGP中的信任问题及解决办法

PGP(Pretty Good Privacy)作为强有力的公钥加密工具,已经得到广泛的应用,但不正确的信任假设常常会破坏PGP的安全性.详细研究了PGP的信任模型——信任网,给出其信任结构及信任推理过程.对于PGP中的薄弱环节,提出了相应的解决办法.      

飞机设计选材专家系统的开发

在对飞机设计选材工作进行分析的基础上,提出基于浏览器/服务器(B/S,Browser/Service)结构的飞机设计选材专家系统总体框架和系统各功能的实现方式,并开发了系统的原型.该系统将基于规则、案例和模型的选材方法结合在一起,通过一个通用的推理机实现推理.该推理机功能通过CLIPS(C Language Integrated Production System)专家系统开发工具实现.该系统主要有3个工作步骤:选材的定性推理,材料检索和材料综合性能排序.用户可以方便地使用浏览器对系统进行访问和操作.该系统飞机机翼大梁选材实例验证了该系统的有效性,可对飞机设计人员的选材工作起指导作用.     

支持MEMS的CAD/CAE系统结构研究

CAD/CAE技术在MEMS(Micro Electro Mechanical Systems)研究过程中具有非常重要的作用.本文首先介绍了用于MEMS的CAD/CAE技术特点,然后研究了MEMS CAD/CAE系统结构,给出了软件支持工具结构框图,指明了解决其中关键技术的途径.CAD/CAE技术的应用,将提高微型机电系统的设计质量,缩短研制周期,使之及早走向工业化.     

基于逆动力学的机动轨迹跟踪器设计算法

针对机动轨迹动力学非线性非仿射特性,建立了基于质心逆动力学的开环指令和基于非线性动态逆原理进行反馈补偿的混合逆控制方法,设计了机动轨迹跟踪控制器;并以常规机动如"S"形转弯、过失速机动如Herbst转弯等多种战术动作为例进行仿真,结果表明机动轨迹跟踪器设计算法能够胜任常规和过失速机动跟踪的需要,实时性强,延迟合理,跟踪精度高.      

CCSDS-RS(255,223)码高速译码器的硬件实现研究

研究了空间通信用高速Reed-Solomon(255,223)码硬判决译码器的FPGA实现方法,提出一种新的纠错算法实现结构以最大程度提高译码器性能。设计中采用RiBM算法求解关键方程,并通过应用高速比特并行乘法器以及流水线和并行处理方法提高译码通过率。综合和测试验证结果显示,该译码器译码通过速率为1.7Gbit/s,译码延迟为296个时钟周期,优于目前同类型的RS译码器性能指标。     

Research on flexible automation and robotics for plant production at Rutgers University.

This is an overview of research activities in the areas of flexible automation and robotics (FAR) within controlled environment plant production systems (CEPPS) in the Department of Bioresource Engineering, Rutgers University. In the past thirty years, our CEPPS research has dealt with the topics including structures and energy, environmental monitoring and control, plant growing systems, operations research and decision support systems, flexible automation and robotics, and impact to natural (i.e. surrounding) environment. Computer and modeling/simulation techniques have been utilized extensively. Mechanized systems have been developed to substitute human's physical labor and maintain uniformity in production. Automation research has been directed towards adding, to the mechanized systems, the capabilities of perception, reasoning, communication, and task planning. Computers, because of their programmability, provide flexibility to automated systems, when incorporated with generic hardware devices. Robots are ideal hardware tools to be employed in flexible automation systems. Some technologies developed in our CEPPS research may be readily adaptable to Closed Bioregenerative Life Support Systems (CBLSS).     

面向Web的知识描述语言

提出了Web知识描述层次模型,采用本体论技术从类、槽和槽约束3方面对领域知识建模,结合描述逻辑、框架系统建立了基于XML(eXtensible Markup Language)和本体论技术的知识描述语言(KDL).然后,介绍了KDL的扩展语法,并从一阶逻辑的角度对KDL的语义特征进行分析,提供KDL到FOL(First-Order Logic)的映射方法以完成KDL语言和FOL表达式之间的转化.实践证明KDL具有规范的语法和精确的语义,具有较强的逻辑推理能力.      

基于ANN的故障诊断专家系统的应用研究

介绍一种基于ANN的设备故障智能诊断专家系统模型,探讨了该模型的基本结构和相应的推理机制及故障诊断策略,提出将设备故障分为低层故障和高层故障的思想以及相应的分层诊断、分块进行的诊断策略,并以MK9-5卷接机组为诊断对象,研究了该模型及诊断方法在设备故障智能诊断中的具体应用.     

Euler方程的分裂型通量分裂双时间步隐式方法

传统隐式方法有格式复杂、计算量大等缺点,在Euler方程的差分离散过程中,利用算子分裂思想,结合通量分裂法、双时间步法等隐式离散方法,构造了一种更简单的分裂型隐式计算方法.通过对典型空气动力学问题的计算,检验了该方法的有效性和可靠性,并对其性能做了具体讨论.该方法具有稳定性好、时间步长约束小等隐式格式的普遍优点,同时具有格式简单、程序易实现等优点;避免了传统隐式方法单步推进时的方程组常规求解及矩阵求逆过程,计算量小;比LU-SGS方法收敛速度快.