逻辑与语言的区别——一种语言结构的逻辑分析

语言是民族习惯的产物,具有较大的随意性,尤其是自然语言;逻辑则是全人类同一的,有较强的规范性。用具有随意性的语言表述具有较强规范性的逻辑,就容易造成二者的不协调。当元语言和对象语言是同种语言时,这种不协调就会造成矛盾。本文分别从逻辑结构与语言结构上对这些“矛盾”的例子加以分析,通过一些实例的解析,得出结论:有些从语言形式表面看起来“矛盾”的语词、语句,实际上并不矛盾。它们只是人们对结构的机械划分或孤立理解语词、语句的语义造成的。逻辑与语言分属不同的研究领域,然而它们紧密相关。对语言的考察离不开逻辑法则,对逻辑的考察也不应撇开语言的历史与现实性。“矛盾”的认定也必须联系多方面的因素。     

筒形桅杆有限元计算模型及无刚度奇点的消除方法研究

本文提出了一个用于消除空间杆梁结构有限元模型中的无刚度“奇点”的元素及相应的刚度矩阵计算公式。在无刚度“奇点”出现处以此元素替代拉压杆元,可使空间杆梁结构模型中的无刚度“奇点”消失,能够在不增加整个计算模型自由度的情况下提高计算结果的精度。在微型计算机上运用全部三维12自由度梁单元计算模型、拉压杆元——加弹性支座计算模型和本文提出的计算模型对某型军舰的桅杆结构进行了实例计算比较。计算结果表明:用本文方法得到的应力值、位移值与全部三维12自由度梁单元模型的计算结果符合良好。     

船舶尾部结构振动计算

船舶尾部结构的振动问题应同时从船体总振动和尾部结构的局部振动两方面来考虑。本文从这一基本认识出发,利用有限元法编制了船舶尾部结构振动计算程序,并以实船为对象进行了尾部结构振动的计算,取得了较好的效果。     

低压电场驱动下膜分离 CO2的研究

以离子交换膜为基础,进行预处理和化学改性.研究了不同预处理条件、化学改性方法及低压电场的电压对离子交换膜的CO2分离效率的影响.结果表明,改进处理条件、施加低压电场及在膜中加入亲水物质可明显地增加离子交换膜的二氧化碳通量.     

C4ISR分布式信息融合系统拓扑结构设计

提出一种构造分布式信息融合系统的拓扑结构的新方法.首先,简要介绍了该问题的研究现状;然后,在对目前使用的网络结构进行深入分析的基础上,提出了基于多层de Bruijn网的分布式信息融合系统网络拓扑结构及其构造方法;最后讨论了上述网络结构的路由问题.     

仿真机YH-F2的同步和并行处理技术的进一步研究

ＹＨ－Ｆ２是速度快、精度高、仿真能力强的全数字仿真计算机,在仿真方面,ＹＨ－Ｆ２的性能超过了一些巨型机。ＹＨ－Ｆ２广泛采用了同步和并行处理技术,这是ＹＨ－Ｆ２之所以能够高速、高效的重要原因之一。本文从体系结构、同步和广播式总线、处理机间通信、处理机内部、输入输出系统、编译程序等方面介绍了ＹＨ－Ｆ２采用的一些同步和并行处理技术。     

辅助决策软件综合试验系统TTS－Ⅱ

ＴＴＳ－Ⅱ是一个基于Ｎｏｖｅｌ网的分布式处理系统,它能够一体化地完成舰用Ｃ２系统辅助决策应用软件全生命周期（开发、试验及维护等）试验任务。本文扼要介绍了系统体系结构、主要软件工具以及系统的性能特点     

计算机教育中认知过程的初步研究

本文结合目前高校非计算机专业计算机教学情况,从思维科学角度对教学中学员的思维活动作了一定的分析研究,认为:计算机教学主要应从个例教育、概念形成与新认知结构产生三个阶段进行。正确处理三者间的关系是搞好教学的关键。为此,该文对思维基础与概念形成、概念与个例、成人概念特点、认知结构与概念间的关系等作了比较深入的讨论。     

大压力爆炸动载作用下高抗力复合圆形结构研究

本文研究大压力平面加载作用下高抗力结构的抗爆特性。从力学分析着手,详细研究了围岩、回填层、钢筋混凝土衬砌三者各自的受力变形,振动特点,以及三者之间的相互作用机理;得出了一些具有一定研究和工程应用价值的结果。     

三角域上有理Bezier曲面的GC^2拼接条件

本文首先给出了相邻的三角域上有理Ｂｅｚｉｅｒ曲面的ＧＣ＾２连续的充要条件,接着给出了一个具有明确几何解释的充分条件,这一条件易于在ＣＡＧＤ中应用。