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

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

基于算子空间的公式发现算法研究

在FDD提出的人工智能技术与曲线拟合技术结合的公式发现系统的基础上 ,提出了新的基于算子空间的公式发现算法 ,并在算法研究的基础上设计实现基于算子空间的可视化公式发现系统 ,该系统通过算子空间概念的引入 ,简化了算子空间的规则 ,同时引入导数规则、误差规则以及终止规则 ,丰富了知识库内容。通过以上改进 ,和BACON和FDD相比 ,公式发现的形式更广 ,复杂度更高。文章最后给出了应用实例以及公式发现的结果。     

<<军事高技术知识>>试题库管理系统的设计

本文主要介绍了《军事高技术知识》试题库管理系统的设计、特点和功能。在系统的设计过程中,采用了诸如ＲｕｓｈＭｏｒｅ和Ｕｅｄｏｓ５．０ＳＤＫ等技术,设计了复合条件查询、备注字段的全屏幕编辑器等。整个试题库管理系统具有系统维护、选题操作、打印、统计更新、帮助及容错等功能。     

二阶抛物型方程的 Legendre 谱方法

讨论了精确解和Ｌｅｇｅｎｄｒｅ谱解的误差估计,应用文中定义的椭圆投影算子,得到了Ｈ和Ｈ１模估计。     

平面上保守力判别的讨论

本文利用数学分析和复变函数论中的有关知识,对平面上保守力的判别进行了较深入的讨论。     

DOS环境中BMP图的分块分解和显示

本文叙述了一种用ＭｉｃｒｏｓｏｆｔＷｉｎｄｏｗｓ３．１中的工具软件Ｐａｉｎｔｂｒｕｓｈ生成的位图格式图形文件（文件的扩展名为．ＢＭＰ）按位面分块分解,并在ＤＯＳ环境中分块快速显示的方法,这种方法可以方便地实现显示图形的变色,同时也比较容易达到一定的动画效果。     

浅谈计算机辅助外语教学

本文从计算机辅助系统的概念入手,从辅助教学系统的运作即视听语言实验室的建设、教学软件库的建设、试题库的建设以及计算机在教学研究中的地位等诸方面,阐述了辅助教学系统应用于外语教学这一具有超前意识和现实意义的问题,使外语教学改革冲破了传统观念的束缚而增加了新的、现代化的含义.     

自适应互作用多模型(AIMM)算法在机动目标跟踪中的应用

首先,对自适应互作用的多模型（AIMM）算法在机动目标跟踪中的应用作了介绍。此算法不需事先已知模型,而是用一个二级卡尔曼估计器估计目标的加速度,然后,采用相互作用的多模型（IMM）算法,将估计加速度送给加速度参数不同的子滤波器。最后,对不同机动目标情形进行仿真,将AIMM算法和IMM算法做一比较。考虑到有关计算的需要和容易实现等要求,此算法可以在并行机上计算。     

C~3I仿真演示系统的分析与设计

本文以现代战争的需要为出发点,详细分析了C~3I系统的特点和C~3I系统仿真技术及系统试验床技术,探讨了交互分布式的C~3I仿真系统的理论,并在这些理论和技术的基础上,提出了一个C~3I系统的仿真系统的总体方案,并详细地论述了仿真系统的结构,运行的软件、硬件环境和应用软件的设置,而且基于“面向对象”的观点,综合Petri网建模技术,探讨了仿真系统建模的实现过程。