使用归结和调解的输入反驳与单元反驳不等价

Chang和Lee在文献[1]中给出了如下结果: 定理8.4 如果子句集S有使用归结和调解的输入反驳,则S与函数自反公理集的并集有使用归结和调解的单元反驳。     

自适应控制算法的研究

提出一种自适应控制简化算法。应用该算法使单片机系统的硬件及软件设计易于实现。结合我们在传动系统进行的大量现场实验表明,性能优于一般PI算法。     

提高DBASE—Ⅱ库文件输入速度的措施

本文对ＤＢＡＳＥ－Ⅱ数据库管理系统的库文件操作中提高数据输入速度的问题进行论述，以供选用的ＤＢＡＳＥ－Ⅱ建库的用户参考。     

利用动态信息识别汉字

随着办公自动化程度的提高，越来越需要一种更自然的方式让信息输入到计算机系统中去。一种方法是有杉一个在线系统，该系统能在文字输入时，通过动态信息识别它们。该识别系统的应用范围为手写的汉字。这些汉字有生成的规律。文字写在一个数据图形输入装置，先通过预处理增强有用信息、消除噪声、然后进行特征提取。牲包括笔划的方向、长度、次序、曲率、倾斜度以及停笔与落笔的提示信息。接着同一训练模块各部分的分类。     

识别多路传输系统输入对输出贡献的方法及在汽车乘坐舒适性分析中的…

利用偏相干函数和相关分析，针对线性常系数多输入输出系统，研究了在相关输入条件下，识别输入对输出贡献大小的计算方法，并将结论应用到汽车的平顺性分析中。识别了引起汽车座椅振动的主要车轮激励源，在相关的振源处采取减振措施，可改善汽车的平顺性。     

硬币大小的移动输入解决方案

曾经担任爱立信手机设计的纳辛斯基抱怨道:“手机键盘太小了,可经理人们非要在9个数字键上安排出26个字母,所以目前世界上通用的数字键盘手机,在人体工程学上都是失败产品。”纳辛斯基补充道:“目前9键键盘严重不符合人体工程学,即便输入英文使用起来也不方便,迟早要被新技术替代。”——摘自《三联生活同刊》2003年11月号《包豪斯的后代和拇指族们》     

MIMO技术的空时编码技术

本文介绍了MIMO技术的空时编码技术,重点介绍空时分组码的编码和解码方法。最后介绍了MIMO与空时码的研究动态。     

利用输入信号先验知识构造某些分类神经网络的研究

提出一种前向神经网络只有一个隐元就可以解决奇偶校验或对称性校验问题，讨论了如何根据输入模式的先验知识来推导隐元的传递函数的构造该分类神经网络的方法，和已有的研究工作相比，提出的前向神经网络是解决某些线性不可分的模式识别问题的最简单的网络结构，所提出的分析方法也可推广用于类似的网络构造问题。     

Krashen的习得学说与外语教学

二十世纪八十年代初由美国语言学家克拉申(Krashen)教授提出的"语言输入说"(InputHypothesis)在语言学界引起一阵不小的反响。但对这种学说的研究大多局限于语言学本身。本文试图说明在外语教学实践中适度地引入该学说中可操作的理论部分将有利于扩充当前外语教学活动中的交际内容。     

多输入多输出问题效率的影响因素分析方法

为挖掘多输出多输出问题相对有效性的关键影响因素,达到控制与管理的这些主要因素能够有效提高其相对有效性的目的,根据多输出多输出问题的DEA效率指标因素与各指标因素之间的灰色关联度大小,确定多输入多输出问题效率的关键影响因素,并通过案例证实该方法的有效性和可行性.