试说关系推理的正确形式及其符号化

仅有推理公式而没有明确的关系性质,推理无法进行;关系性质虽然确定,却用文字加以说明,推理就是非形式的。怎样摆脱这种两难困境？出路就在于正确揭示关系推理的结构关系并将之符号化。这对完善普通逻辑或关系理论有重要意义。     

基于证据聚类的多源传感器证据组合研究

在分析D-S证据组合公式所存在问题的基础上,根据聚类分析思想,提出了对证据进行聚类加权的证据组合方法.该方法将较为相似的证据归为一类,根据聚类结果对证据有区别地进行组合,不同类之间的证据根据聚类距离进行加权后组合,同一类证据按一种加权证据组合公式组合.应用到目标识别系统后使其性能在一定程度上得到改善.最后通过计算实例表明算法是有效的.     

基于 CFD 方法的螺旋桨水动力性能预报

运用计算流体力学软件对粘性流场中敞水螺旋桨的水动力性能进行了计算研究,模拟了某型螺旋桨在不同进速系数下的推力系数、转矩系数、螺旋桨表面压力分布以及螺旋桨后尾流场情况等.在数学建模的过程中,利用 FORTRAN 语言编制了计算螺旋桨型值点的程序,然后把计算值导入 Fluent 的前处理器 Gam-bit 进行建模,并采用样条曲线去拟合各个型值点,从而建立了光滑的三维螺旋桨表面外形.介绍了利用Fluent软件在螺旋桨敞水性能计算中的计算流程,以某一标准螺旋桨作为研究对象,给出了敞水性能曲线的计算结果,并与试验测量值作了比较.由对结果的比较分析可知,基于 CFD 方法可以形象、真实地获知螺旋桨表面的压力以及尾部流场的分布情况,并且数值仿真结果可以满足工程应用.     

都市圈石漠化区域采石场的生态恢复方法与措施探讨

都市圈石漠化区域采石场往往由于过度开发且未采取有效的恢复措施,致使生态环境破坏严重,严重影响了都市圈的生态环境和经济发展.在分析都市圈石漠化区域采石场生态恢复特点的基础上,论述了其生态恢复的基本方法及工程技术措施,指出都市圈石漠化区域采石场生态恢复应依据都市圈发展总体规划和景观生态学、景观建筑学及美学原理,采用开发性治理方法,综合运用多种工程技术措施恢复植被、整治水土流失并进行景观再造,从而满足都市圈对于景观的要求,提高土地利用价值,促进都市圈社会经济发展和城市生态环境建设.     

捷联式惯导系统动态误差特性研究

根据载体运动状态下捷联惯性导航系统 (SINS)的误差方程时变的特点 ,推导出捷联惯性导航系统动态误差模型 ,并对其在几种动态环境下的误差特性进行了仿真研究 ,结果表明 :与静态误差特性相比 ,捷联式惯导系统的动态误差特性发生了较大的变化。     

舰船消磁系统S矩阵及其测量方法

建立了舰船消磁系统舰磁干扰量模拟法的S矩阵数学模型 ,该模型可以用来模拟产生任意地磁场作用下和舰船任意姿态时消磁系统电流变化关系 .提出了利用不同主航向上舰船消磁系统电流与横摇角、地磁场和感应干扰量的变化关系来测量和分析S矩阵元素的方法 ,为解决舰船消磁系统快速抗干扰和跨纬度区调整问题奠定了理论基础 .     

层次式网络管理系统故障管理子系统研究与实现

计算机网络日益复杂和异构化,迫切需要提高可靠、跨平台的网络管理系统保证网络稳定、高效运行。分析了传统网络管理系统的不足,提出了一层次分布式网络管理系统故障管理算法,并讨论了算法的性能。最后采用ＣＯＲＢＡ,Ｗｅｂ和Ｊａｖａ技术实现了该算法。     

基于微处理器的PWM波形发生器及其应用

全数字式PWM波形发生芯片SA828,在微处理器控制下可以生成高精度的三相脉宽调制波形,其精度和温度稳定性是传统模拟式不可比拟的。在介绍其原理与控制方法的同时,并给出了在变频调速中应用的硬、软件设计实例。     

基于人工神经网络的辐射源威胁评估方法研究

介绍了一种基于神经网络的辐射源威胁评估方法。首先引用了一种新的归一化效用函数 ,把不同类型、不同量纲的原始评估数值转换到 [- 1,1]区间 ,该效用函数较好地体现了“奖优罚劣”的原则 ,同时对于神经网络又更容易学习和训练 ;其次建立了基于神经网络的辐射源威胁评估模型 ;最后介绍了应用该方法对多个辐射源进行威胁评估的实际应用     

石英微陀螺的机械耦合问题研究

通过研究石英微陀螺的机械耦合误差,对理想和非理想陀螺进行了机械建模和分析,推导出了微陀螺的敏感输出信号和机械耦合的关系公式。通过仿真,讨论了机械耦合与陀螺各参数之间的关系和相互影响程度。