黑板框架的知识表达方法

本文介绍了黑板框架知识表达方法的设计思想和技术。黑板框架是由框架、知识源和黑板模型组成,是产生式规则、谓词、框架等多种知识表达功能的组合形式,它将知识表达和知识处理结合成一体,既能表达静态的知识,又能表达动态的知识;既能方便地表达断言性知识,又能自然地表达结构性知识。表达功能强、灵活性大;方便知识调度,加快推理速度,提高推理效率;方便知识获取并有利于机器学习。 黑板框架是一种能表达特定领域复杂知识结构的良好的方法,具有表达充分、推理充分、推理效率和获取效率高的特点。 文中还对目前各种知识表达方法进行了评价,对黑板模型、知识源、黑板框架的概念进行了描述,并对黑板框架给出了严格的BNF定义。 黑板框架的知识表达方法,已在医学专家系统开发工具BFBEST中获得了成功的应用,并取得满意的效果。     

飞机失速/螺旋模型自由飞试验总体方案构想中几个问题的分析

本文对制定飞机失速/螺旋模型自由飞试验总体方案时必然会遇到的一些重要问题进行了分析,其内容涉及模型缩尺比例数 K 的最佳选取、确定飞机进入螺旋特征模拟高度 H_A 的依据、模型投放高度 H_m 的变化范围和试验模型质量 M_m 的控制问题。本文所作的各种分析和提出的原则对各种模型自由飞失速/螺旋试验研究具有普遍意义。     

基于KANO模型的桂林民宿服务质量提升策略研究

随着大众休闲旅游时代的到来,民宿成为城市游客追求的热点。桂林民宿基本处于自发经营状态,服务质量较为低下,有效利用率较低。基于此,根据相关学者的研究和桂林民宿服务的特征,利用SERVOUAL模型构建了桂林民宿服务质量评价指标体系,并将KANO模型应用到桂林民宿服务质量的研究。首先运用KANO模型对桂林民宿服务质量的影响因素进行识别,然后对影响因素进行分类,并通过比较矩阵判定需要提升的因素。最后,根据判定结果提出的桂林民宿服务质量提升策略为:改善民宿内部环境及现代化基础设施;提升民宿服务人员的服务水平;完善民宿周边基础设施。     

侧链含硝基氮杂基团的聚醚粘合剂的性能及应用：新型硝基粘合剂…

对新型的侧链含硝基氮杂基团的富能聚醚粘合剂－端羟基２－甲硝胺基乙基缩水甘油醚均聚醚和端羟基共聚醚的性能进行了研究。结果表明，ＮＰＥ的热稳定性和化学稳定性良好，优于普通碳氢聚醚粘合剂和新型氟碳聚醚粘合剂；其固化后的力学性能好。简要地叙述了以ＮＰＥ－Ｂ为粘合剂的固体火箭推进剂的配方和性能。     

空袭目标威胁评估模型研究

以航路捷径、目标类型、机动特性、到达发射区近界的剩余时间，以及电子干扰为主要影响因素，结合多通道防空武器系统的特点，建立了基于层次分析法和模糊综合决策法的空袭目标威胁评估模型。用层次分析法确定各因素权重，以分段函数的形式给出权重系数。针对一给定的中程防空武器系统，用模糊统计计算各影响因素的隶属函数，并给出了模型的计算流程。仿真结果表明，所设计的模型能较准确地评估来袭目标的危险性，且具有较高的灵敏度。     

评价复合固体推进剂中填料/粘合剂相互作用的新方法

为了便于评价复合固体推进剂中填料／粘事剂的相互作用，从填料充填弹性体应力应变公式出发，提出了一种简单而直观地评价填料／粘合剂相互作用的新方法。其在几种不同填料体系的应用表明，该方法不仅可以评价填料／粘合剂的相互作用，还可表征键合剂的作用效果，这一方法具有较大的使用价值。     

含催化剂RDXCMDB推进剂燃烧机理研究

利用常压ＤＳＣ及ＴＧ／ＤＴＧ，高压ＤＳＣ，单幅照相和燃烧波温度分布测试技术对含ＲＤＸ的复合改性双基推进剂（ＲＤＸＣＭＤＢ）含和不含催化剂时的燃烧机理进行了研究，得到了该种推进剂在热分解和燃烧方面的一些重要结果。     

含铝复合推进剂燃烧场凝相微粒分布实验研究

应用激光全息光学诊断方法对含铝复合推进剂的燃烧场凝相微粒分布进行了测量。实验结果得出了复合推进剂燃烧场凝相微粒分布曲线和图像，并对数字图像处理算法进行了研究。     

HMX的燃烧模型与燃烧化学

本文根据Ben Reuven和Caveny的工作,给出了HMX的燃烧模型。提出了两种燃烧化学以供选择。为了求得凝聚相和复杂程度不等的三种气相模型收敛解,作了若干简化假设。根据本文的计算结果断定,HMX的燃烧过程是由气相分解反应控制的;单纯使用催化法,难于大幅度提高燃速。为了计算方便,可以在守恒方程中不计质量扩散,但除了个别场合,一般来说,能量扩散不能忽略。     

基于断言的形式验证方法应用研究

针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机,提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证,说明了该方法可以简化模型检验算法在工程实践中的应用,并且与传统仿真方法相比,它能在一定程度上缓解航天领域数字系统设计中的验证困境。