本章讨论以复合命题为前提的必然性推理。所谓复合命题即包含其他命题的命题，构成复合命题的命题称为该复合命题的肢命题

陶瓷DIP外壳需要使用AgCu28钎料将4J42合金引线框架与陶瓷基板的焊区钎焊在一起,焊后易出现钎料在引线框架上流淌的问题,影响产品的质量.这些问题与钎焊工艺条件不当有关.本文在现场和实验室条件下系统研究了钎焊最高温度、保温时间和钎料用量等对陶瓷外壳钎料流淌的影响,发现钎料的流淌主要与在熔点以上温度停留的时间有关,并提出在下面三种工艺条件下可以获得较好的钎焊质量:先在700℃保温5min,然后在800℃保温4min,冷却;直接推到900℃高温区保温10min,再推到冷却区;以4min一舟,连续推舟通过810℃高温区或调整带式炉带速使外壳在熔点以上温度停留时间不超过5min

Flash是一种交互式矢量多媒体动画制作工具，他的前身是早期网上流行的矢量动画插件Future Splash，后来Macromedia公司收购了Future Splash以后，便将其改名为Flash。1996年6月推出Flash4.0，2000年7月推出Flash5。 2002年3月推出FlashMX。 （1）Flash，是一个最精彩的矢量动画工具。 （2）Flash MX，极大的扩展了Flash的功能，不再仅仅具有动画设计制作功能。它可以创建完整的动态站点，Flash MX已它具有从内容显示到数据库连通，视频调试和整合，以及简单的多媒体编辑功能，是制作各种网络广告、游戏、多媒体应用程序、教程等的理想工具。 需要说明的是，Flash的播放需要Flash Player，一般情况下浏览器都具有此功能

采用高精度微地震监测技术,研究了微震事件的动态发展规律和分布规律,结合岩石力学和矿山压力与岩层运动理论,推断得到了特厚煤层综放工作面顶板岩层运动规律.随工作面的推进,微震事件先在高位岩层以低密度分布,后在低位岩层呈高密度分布.微震事件发生层位与其最大振幅能量和的对比研究表明,微震事件在高度和时间上具有周期性分布规律,根据矿山压力与岩层运动理论,进而推知特厚煤层综放工作面的顶板岩层运动规律.现场支架工作阻力宏观观测表明,研究得到的特厚煤层综放工作面顶板岩层的周期性运动规律是存在的

介绍了一种多输入、多输出系统的故障诊断参数选择方法,该方法以可观参数集的信息熵为标准,进行启发性诊断参数集的划分,先以系统状态决定的启发性诊断多数子集作为驱动数据,实施正向推理,缩小目标集合;再以故障目标集合为对象,进行反向推理以确定最终故障集合;最后将故障集合的元素所对应的可测诊断参数作为系统的诊断参数进行测量。该方法构成了诊断型专家系统的一子部分

研究了智能信息处理在烧结质量推断中的应用，在对图象序列的范型描述和BP算法改进的基础上，成功地应用了图象序列分析与动态模式识别相结合的方法，解决了烧结质量的动态推断问题.实例表明，该方法有很好的实用效果

在命题逻辑中，把命题分解到原子命题为 止，认为原子命题是不能再分解的，仅仅研究 以原子命题为基本单位的复合命题之间的逻辑 关系和推理。这样，有些推理用命题逻辑就难 以确切地表示出来。例如，著名的亚里士多德 三段论苏格拉底推理：

2.1 Matlab简介 MatlabCleve的首创者 Moler博士在数值分析,特 别是在是指线性代数的领域中很有影响。 Matlab(Matrix Laboratory,即矩阵实验室) Matlab于1984年推出了正式版本。后来 Moler组建 了一个名为 MathWorks的软件开发公司( http: //www. mathworks. com)专门扩展并改进 Matlab. 1998年推出5.3版。2000年11月6日推出最新版本 Matlab 6. 0

通过对武汉钢铁公司热轧带钢厂粗轧机(R2~R4)设备、工艺参数的综合测试研究,论述了四辊轧机辊系运动状态与辊系轴向力的关系,分析了辊系轴向力生成的原因和轴向力的大小。以实测数据为依据,讨论了支承辊止推轴承的实际负荷状况、破坏机理及工作寿命,提出了减少R2~R4轧机支承辊止推轴承烧损的可行措施

• 符号计算与自动推理 • 几何问题代数化 • 代数关系式的推导与验证 • 自动推理