一种基于有色Petri网的知识库验证方法

以有色Petri网为基础,在经过了必要的功能扩充后,针对知识验证的主要内容,建立了有色Petri网的知识表示模型,提出了一种简洁有效的、基于有色Petri网的知识库验证方法,并给出了相应的判定准则,最后给出了一个说明知识表示模型和知识验证准则的实例。     

进一步办好<中国科技史料>--主编的话

在跨入新世纪、迎接新千年之际,面临科学技术突飞猛进、知识经 济初见端倪的新时代,本刊新的一届编委会谨向广大作者和读者表示新春的祝贺并致以崇高的敬礼.     

非对称转子的全息动平衡技术

依据转子动力学理论分析并解释了转子全算动平衡方法;提出了测点模态比的概念,并将其应用于结构非对称转子的全息动平衡;分析了测点模态比获取的可能性及方法,并由此提出了不同的平衡方案。经动平衡实例验证,平衡法能有效地实施转 子现场动平衡,在工程实际中有广阔的应用前景。     

应用连续小波变换提取机械故障的特征

针对机械信号的特征和小小变换的特点,论证了机械信号的连续小波可分解特性,提出了信号的时间－小波能量谱和尺度－小波能量谱的概念,同时,利用信号经连续Ｍｏｒｌｅｔ小波变换后在时间－尺度域内的不同能量分布特性,依据信号的尺度－小波能量谱分布特性,对螺杆泵减速器和滚动轴承这两类不同机械的信号进行了特征提取,结果表明,应用机械信号的尺度－小波能量谱进行特征提取,更好地利用了小波变换的恒Ｑ带通滤波器性质,可以     

中国东南部新生代岩石圈地幔研究

利用中国东南部新生代玄武岩中约２００个深源捕虏体,试图认识该区岩石圈地幔的成分特征,了解其经历的地幔作用过程,通过电子探针（ＥＭＰ）和激光探针（ＬＡＭ－ＩＣＰＭＳ）微束技术,对具代表性的深源捕虏体中的矿物进行了主量元素和微量元素地球化学分析,结合全岩主量元素地球化学特征,提出中国东南部元古代地壳之下主要为新的饱满型地幔,而这种新生代岩石圈地幔的形成与该区晚中生代以来软流圈上涌、岩石圈减薄和伸展作用密切相关。     

白草花叶病毒原的生物学鉴定

从甘肃省农业科学院植物研究所（甘谷）培养的表现花叶症状的白草上分离出一种线状病毒,经鉴别寄主,蚜传,酶联免疫吸附试验（ＥＬＩＳＡ）,免疫电镜（ＩＳＥＭ）和组织病理学等方面的研究,初步认为此分离物是高粱花叶病毒ＳＣＨ株系。     

柱塞气举中柱塞运动分析

在综合考虑油藏特性、油井流入动态、柱塞—液柱特性、液柱以上气体、柱塞下气体的膨胀和摩阻影响等因素后,导出了柱塞运动的微分方程．利用数值求解得到柱塞运动的特性,这将有利于对柱塞气举的深入理解和柱塞气举的设计。     

基于粒度分层的布局设计模型

研究了问题求解的粒度理论在布局建模中的应用。综合相邻图、规范约束图以及层次约束图模型为不同粒度的组成部分,提出了基于粒度分层的布局模型和粒度投影规则方法。该模型能够克服单一粒度模型难以充分表达约束、求解时搜索最大等不足。     

服装CAD现状及其发展趋势

介绍了国内外服装CAD的发展现状,并分析了其今后的发展趋势,简要介绍了服装款式设计CAD系统的功能。     

汽车信号灯控制系统的设计

文中介绍了一种采用PIC16C5 7单片机实现的汽车信号灯控制系统 ,提出了信号灯故障自动检测和报警的新方法 ,解决了检测信号灯断灯丝的难题。