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

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

DDBMS中的并发控制理论

本文叙述了并发控制的数学理论,以此达到两个目的:一是以精确的术语定义并发控制方法的正确性;二是把并发控制问题分解成两个更容易处理的子问题:读一写同步和写一写同步。为后继论文对分布式并发控制的分析和设计打下基础。     

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

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

自适应管道有源消声系统的研究

有源消声技术对于管道中低频噪声的控制非常有效。本文描述的自适应管道有源消声系统,性能稳定,对单频的消声量可达30dB,对宽带随机噪声的消声量不低于14dB。     

船舶尾部结构振动计算

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

空间结构的动应变控制

针对一类航天器外伸结构的结构振动问题 ,提出了一种动应变控制方法。并以一梁式外伸结构为例 ,建立了结构振动的应变动力学方程 ,以及以动应变为状态变量的闭环反馈应变控制状态方程。进行了应变控制的数值仿真。结果表明 ,方法是有效的 ,对于解决大型外伸结构的振动控制问题具有十分重要的实际意义和应用价值。     

自适应跳频通信受扰信道无源确认技术

及时确认被干扰信道是自适应跳频通信躲避干扰的前提。本文提出了一种受扰信道无源自适应预测评估算法 ,无需发射信号就可以识别干扰信道并预先躲避 ,从而提高了系统的抗干扰性能 ,方法简单 ,易于实现。     

基于测速定轨的一类自适应样条滤波方法

提出了一种测速定轨的实时算法。该方法基于样条表示飞行轨道速度参数 ,在只有多个测速元信息的情况下 ,建立了自适应Kalman滤波递推算法 ,实时给出了较高精度的飞行器轨道参数