逻辑和面向对象范例集成的研究与实现

提出了结合逻辑和面向对象范例的一种新方法,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征,和面向对象语言的结构化、信息隐藏、继承等特性;并在逻辑语言的Ｈｅｒｂｒａｎｄ解释基础上,探讨了逻辑对象的语义解释;最后给出了我们根据这种方法设计并实现的面向对象逻辑程序设计系统所提供的对象操作原语。     

H 面双填充介质金属方波导的本征模

通过求解Ｈ面双填充介质金属方波导中位函数的亥姆霍兹方程,得到系统的电磁波的本征模函数及本征值方程,其本征模为ＬＳＥ模或ＬＳＭ模,并给出了色散关系的数值解。     

炸药热安定性的快速评定方法

本文分析了量气法和热分析法评定炸药热安定性的问题,提出把由一条DSC曲线测得的热分解动力学参数引入热平衡方程,以数值模拟方法计算出炸药在一定环境温度下的热爆炸延滞期,并据此判别炸药热安定性的观点和方法。经实验验证,该方法快速、准确。     

可修系统的一个模型

本文研究一种具有4种故障形式的可修系统。利用向量Markov过程方法,求出了系统的可靠性指标。     

初中化学教育的新发展

对《九年义务教育全日制初级中学化学教学大纲》(以下简称《义务教育化学大纲》)的学习、贯彻、执行是化学教师当务之急.结合中共中央、国务院颁布的《中国教育改革和发展纲要》学习,我们深刻体会到义务教育化学教学大纲对转变教育思想、编写新教材、探索新的教学方法具有十分重要的意义.     

介质谐振器技术的推广和应用

随着高科技的发展,介质谐振器以其特有的体积小、Q值高、使用灵活以及性能价格比好等优点,已在卫星、雷达、电子对抗、通信等领域广泛使用。本文是作者结合介质谐振器多年的使用体会,综述了总参63所近几年来在介质谐振器方面的应用情况,并对圆柱形谐振器用开波导法进行了理论分析。     

塞种多源同流

塞种人是中亚最古老的民族之一,公元前2000年前后遍布天山南北。大量的文献资料及墓葬研究都证明:塞种是以中亚土著居民为主体的,融合了东迁的雅利安人和西来游牧民族的联盟,在联盟中,各部落仍显示出很强的独立性,具有多源同流性。在公元前4世纪时塞种部落联盟解体,许多较独立的部落融合进入了新疆、中亚古民族中。     

谈《撞击底火模拟靶场试验方法》标准的应用

介绍WJ 2103-93《撞击底火模拟靶场试验方法》应用的必要性、特点、意义及效果等。