论"新理学"的方法论探寻与实验

冯友兰在创建"新理学"体系时,有高度的方法论自觉,他不仅用清晰的逻辑分析方法清洗了中国传统哲学的概念,使得中国哲学史的研究获得了学术的现代形态,而且注意到形而上学的重建需要"正的方法"和"负的方法"的结合、逻辑分析和直觉的结合.但是,"负的方法"的引入,造成了"新理学"的内在紧张.单纯的"负的方法"之所得,并未避免用"正的方法"建构形上学所遭遇的悖论.结果"新知言"突破了"新理学"所谓哲学只使用纯粹思辩的限制.但是,理性的逻辑方法如何与直觉相结合,还是一个需要深入研究的问题.在此,辨证逻辑可能是一个更为基本的方法.     

基于遗传算法的模糊控制规则优化的研究

模糊控制规则的正确选择是模糊控制器设计的关键,它决定了模糊控制系统的动态、静态性能和控制效果．针对传统的获取控制规则方法的不足,提出了在一个待优化模糊控制器的基础上,采用改进的遗传算法优化其模糊控制规则,从而使经过优化所获得的控制规则更加合理．最后对优化后的模糊控制器进行仿真比较研究,并将其应用于温室,实现温室温度的模糊控制．结果表明模糊控制规则经过优化后的模糊控制器的控制品质有较大的改善和提高．     

历史的逻辑理性--科学哲学理性的未来转向

西方现代科学哲学理性经历了从逻辑理性到历史理性的演进。逻辑理性和历史理性存在一定的合理性的同时,也存在自身无法克服的局限性。科学哲学的进一步发展表明,科学哲学理性的未来转向应是将二者统一的“历史的逻辑理性”。正确把握历史的逻辑理性的关键是如何理解历史。从归根到底的意义上看,历史的本质是实践的。历史的逻辑理性将是科学哲学理论的生长点。     

数据融合技术在公路隧道火灾探测中的应用

在分析公路隧道火灾特点的基础上,依据数据融合的基本原理,充分利用多个传感器资源,把多个传感器在空间和时间上的冗余或互补信息依据某种准则来进行组合,以获得被测对象的一致性解释或描述。提出了一种基于数据融合技术的隧道火灾探测算法,以感烟、感温和感光传感器的模拟量为输入,利用人工神经网络和模糊逻辑技术对多传感器信号进行融合,设计出一种快速、准确和有效的隧道火灾自动探测融合系统,可缩短报警时间,降低误报警率。克服了火灾探测算法单一使用固定阈值的弊端。     

基于多边约束的数据融合网络定位

无线传感网络定位方法近几年来受到广泛的关注。分布式算法是传感网络定位的一个主要要求,它不仅能减小计算和通信负载,同时对络的非连通性有很好的鲁棒性,对测量噪声克服也有一个很好的实现方案。虽然多种测量技术都能实现位置估计,但都存在某些不足。数据融合是一个很好的解决方案。提出了一个数据融合的结构和模糊优化数据融合算法。对每个节点的TOA和RSS数据进行融合。仿真表明位置估计的精度能够得到显著的改进,同时算法的复杂度也得到了降低。     

基于模糊逻辑的产生式-框架的知识表示及推理的研究

知识表示是智能研究的基础,其表示方法往往直接影响到专家系统的能力和问题求解的效率,不同领域的问题通常具有不同的特点和属性,因而其知识的表示方法也不尽相同.与此同时,由于模糊知识本身的复杂性,模糊知识表示及处理技术仍然是目前热点研究课题之一.本文提出将产生式与框架结合的方法进行知识表示,并融合模糊逻辑理论进行推理.     

UML 顺序图的一种形式化描述方法

统一建模语言UML是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为了事实上的工业标准。但UML不是形式化的建模语言,缺乏精确的、形式化的语义,因此阻碍了它的进一步发展。线性时序逻辑是并发或反应式程序动态语义的一种形式化描述语言,它适合用来精确地表示模型的动态语义。本文定义了顺序图的形式化语法,采用线性时序逻辑给出了顺序图的语义描述,并通过实例分析,对模型的某条性质进行了证明,为模型做进一步分析和验证提供了基础。     

PLC控制的步进电机频率曲线优化技术研究

PLC(Programmable Logic Controller)控制步进电机在许多工业控制中应用广泛，本文介绍了PLC通过发送脉冲和方向信号给步进电机的驱动器，由驱动器来控制步进电机工作的原理.并研究了步进电机的频率曲线，分析总结出用PLC控制步进电机使运动小车的运行速度最优化，并在中药自动配药系统中以实验数据证明了步进电机在PLC控制下的频率曲线优化的可行性.     

一种网络化的混凝土超声检测系统的设计与实现

针对常规的混凝土超声检测仪存在着采集数据量小、只能进行简单分析处理并且体积和质量都较大、携带不便的问题，开发了一种新的网络化混凝土超声检测系统。该检测系统以可编程逻辑器件CPLD作为控制核心，通过24通道高速并行数据采集电路对检测信号进行采集，利用网络处理器（IP2022）实现网络连接，将测得的数据通过网络实时地传输给计算机进行分析和处理。在实际检测试验中，该检测系统传输速率可达900kbps，平均读取一次数据时间小于300ms。试验结果表明，该检测系统使用方便灵活，可以有效地用于混凝土结构物的安全监测和质量评价。     

基于命题逻辑的组件约束检测

针对组件约束数量大、复杂度高的问题，提出了一种基于命题逻辑的组件约束检测算法．通过命题符号化的过程，即通过5个联结词将日常语言中的命题转化成数理逻辑中的形式命题．该算法首次使用受限真值表的概念来描述组件约束，清楚、准确地揭示了软件组织结构、动态行为以及组件之间的转换，通过包含、否定和插入等规则来合并真值表，以解决检测组件约束时存在的冗余与冲突问题，并获得期望行为的最小组件集合，从而保证了组件约束之间相互一致．与基于规则模式表方法相比，所提算法克服了人工检测的不确定性，改善了检测的时间性能，并可将冲突错判率降低大约10％，平均处理时间降低大约33％．