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

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

确定重构相空间维数的方法

计算混沌统计特征量前必须先获得重构相空间的维数,因此给出了最大特征值不变法、几何不变量法、虚假邻点法、预测误差最小法、最小Shannon熵法、经验赋值法六种确定方法,得出了应用最大特征值不变法和最小Shannon熵法的工程案例计算结果。     

BCH+turbo码在军用光通信系统应用中的性能分析

对应用于光通信系统的原始turbo码提出了改进方案:用BCH码做外码、turbo码做内码组成一种新的串行级联卷积码(SCCC).提出了相应的全面迭代最大后验概率(MAP)译码算法.推导了级联码的不可检测错误概率.对SCCC码的误码率进行了仿真,仿真结果表明,SCCC码在高信噪比时降低了通信系统的误码率,可适用于军用光通信系统.     

符号权力与文学语言：布尔迪厄的语言观及启示

自索绪尔开创了结构主义语言学之后,语言似乎逐渐成为了一种独立自足的符号系统。布尔迪厄认为,这种表面上的独立自主实际上是一种＂语言共产主义幻象＂,深藏于这种幻象之下的是语言的符号权力以及交换经济逻辑,认清这些逻辑对于我们认识文学语言具有重要的启示意义。     

加强成人《高等数学》的习作解题指导

教学中指导学生正确使用数学符号、正确运用基本概念、正确运用函数图象以及探索解题思路等 ,可以提高成人《高等数学》的教学质量 ,也可以提高统考的及格率     

柴油机喷油压力波形的符号描述与结构模式分类

波峰和波谷是波形上基本的局部形态特征基于波峰、波谷之间的支配关系,本文提出了一种规则波形的结构特征抽取与符号描述方法,进而建立了一个基于该方法的柴油机喷油压力波形结构模式分类系统,并通过实例验证了该系统的有效性。     

基于支持向量机的装备故障诊断专家系统

针对现代化复杂武器装备故障诊断问题,结合支持向量机和专家系统的各自特点,提出了基于支持向量机的武器装备故障诊断专家系统整体结构和诊断模型.将支持向量机嵌入专家系统中,实现知识自动获取和快速逻辑推理,专家系统完成知识库管理与维护、符号推理诊断以及相关解释等工作,充分发挥支持向量机和专家系统两者的优势,提高了系统的综合诊断性能.     

多刚体系统计算机代数动力学建模研究

本文研究了复杂多刚体系统的Ｌａｇｒａｎｇｉａｎ建模方法，以Ｍａｔｈｅｍａｔｉｃａ数学软件为基础，完成了多刚体动力学系统的计算机建模、推导与仿真。     

MPP数据并行FORTRAN汇编代码模拟环境的设计与实现

本文阐述了一种在单机上模拟ＭＰＰ机执行并行汇编代码的方法。这种并行汇编代码由ＭＰＰＦＯＲＴＲＡＮ编译器生成。由于在一个大型工程中，编译生成的目标代码运行环境不一定能及时具备，所以，研制汇编代码模拟环境ＤＰＦＡＳ有助于及早验证编译目标代码的正确性和完备性。本文通过共享进程组在ＳＧＩ工作站上实现多机环境模拟和远程地址访问模拟。此模拟环境的实现对ＭＰＰ数据并行ＦＯＲＴＲＡＮ编译器的正确性验证和效率评估有一定的帮助。