基于中介逻辑的多模态逻辑系统

多模态逻辑作为模态逻辑的扩充，是模态逻辑进行时态和动态扩充的基础。中介逻辑是一个新的逻辑系统，自创立后得到了很大发展，并在数理逻辑及计算机科学领域中得到广泛应用。为将中介逻辑进行时态和动态扩充，本文构造了一种基于中介逻辑的多模态逻辑系统ＭＭＫ，讨论了它的推理规则和语义解释，并证明了ＭＭＫ的可靠性和完备性，在此基础上给出了一种基于中介逻辑的时态逻辑系统ＭＴ，对它的可靠性和完备性进行了讨论。最后，分析了相应的经典多模态逻辑系统与ＭＭＫ系统及经典时态逻辑系统和ＭＴ系统之间的关系。     

CAPP中加工方法选择研究

研究在ＣＡＰＰ系统中，通过建立加工方法的知识库以及相关的推理机构，来实现对机械零件各表面的加工方法选择。     

大迎角三角翼旋涡运动及其破碎特性的数值研究

从流体力学的基本方程出发，利用Ｈａｌｌ的涡核准柱假设，导出反映涡核运动的Ｎ－Ｓ方程。采用差分方法计算旋涡流场，进而分析三角翼上前缘分离涡的运动特点及其破碎机下。从计算结果可以看出，旋涡的轴向速度向下游逐渐下降，且涡心处于降较快，外缘下降较慢，反映了粘性作用自涡心外缘逐渐下降的特点；涡核外缘的径向速度开始为负，说明开始阶段有流体流入涡核，随着旋涡向下游运动，径向速度有所增加，到一定位置后增加迅速，说     

双圆柱斜向排列时旋涡脱落频率的实验研究

本研究用热线风速仪测量了斜向排列双圆柱的尾迹,并分析了尾迹中某些特征点上的速度频谱,从旋涡脱落频率的规律来研究双圆柱绕流相互之间的干扰。当两圆柱间距较远时,速度振荡的频率与单圆柱卡门涡街的频率相接近,随着两圆柱间距的接近,前、后圆柱各有其不同的旋涡脱落频率,且都不同于单圆柱旋涡脱落的频率。特别是当两圆柱处于某一相对位置时,出现双峰值的功率谱,其中一个峰值的频率大大地高于另一个峰值对应的频率,而且这两个峰值谁主谁副是不确定的,呈现出不稳定流动的特性。     

串置双五分量天平的研制

本文介绍风洞应变天平中首次研制成功的一台串置双五分量天平。串置双天平由一块钢材制成。O_1天平固定在 O_2天平的受力端。O_2天平既能测量左平尾载荷,又能传递由 O_1天平测量的右平尾载荷。正确分析两台天平的受力传力路线和弹性变形的综合位移量,用严谨的数学公式描述两台天平测量的力和传递的力。对这两种力进行数学分解,形成数学模型,写出天平静校公式的数学表达式,并据此研制天平静校设备,分析天平在各分力作用下的弹性位移,写出弹性角公式。上述各点是串置双天平的核心问题。最后经风洞引导性实验证明,串置双天平的原理、方案、受力分析、静校公式等都是正确的。在国内外,串置双天平第一次用于风洞实验,获得了初步成功。     

确定风洞模型压力中心的变距测力试验

本文提出了采用变换模型相对天平校准中心位置来测得同一状态下的不同俯仰力矩值,再通过数学处理或作图获得小攻角下的精确压力中心位置的试验方法。某型号用本方法试验得到了令人满意的结果。     

羊毛精纺织物服用性能优选的多属性模糊决策

本文应用多属性目标决策的方法,评判不同规格毛织面料的"满意度",客观地提供一个重要的优选辅助依据。     

论我国道德教育及其机制

目前我国道德教育中存在道德教育与德育概念混同,注重道德知识灌输,而缺乏道德实践的严重缺陷。本文结合学校、社会实际提出了优化道德教育环境,建立道德调控机制,改革学校德育方式,培养道德生活主体的道德教育模式。对我国现阶段进行正确的道德教育具有重要的现实指导意义。     

钢筋砼条基及独立柱基有效高度的实用计算公式

为了便于广大工程实践人员对基础有效高度的确定，根据规范GB50010－2002及GB50007－2002推导求解出基础有效高度的实用计算公式及计算表格。     

形态图计算中的投影空间维数和投影空间模型

确定投影空间维数和建立投影空间模型是计算机视觉领域中形态图计算时一个十分重要的基本问题，本文根据态图计算时特征视图拓扑结构等价的特点，指出轴测投影下的投影空间是二维空间，透视投影空间为三维空间，并分别了投影空间模型的建立方法，从而使复杂物体形科计算是简单可行。