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

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

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

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

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

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

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

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

一种嵌入式系统扩展流关系Petri网及应用

为了将数据流和控制流在同一个模型中明确标识,将经典Petri网的4元组结构扩展为7元组,定义一种新的嵌入式系统扩展流关系Petri网表示方法,应用该表示法对火车控制系统进行建模,并将该模转换成等价的时间自动机模型,用UPPAAL进行形式化验证.验证结果表明火车控制系统具有可达性和安全性,说明建立的模型是合理有效的.     

西门子WinCC及S7-400的应用

本文叙述了利用S7-400可编程控制器组建PROFIBUS现场总线的基本过程,并讨论通过PROFIBUS实现S7-400与工控组态软件WinCC之间通讯的方法。     

关于BR0-代数弱完备性的证明

目的对BR0-代数自身的完备性问题进行研究。方法研究了王国俊教授建立的模糊命题演算的形式演绎系统L*和与之在语义上相匹配的R0-代数,并结合吴洪博教授所定义的BR0-代数,从伴随的角度切入。结果在BR0-代数中定义了BR0-等式和BR0-方程,通过全序BR0-代数证明了BR0-代数自身的弱完备性。结论得到了BR0-代数的完备性定理,为相应形式逻辑系统与模糊推理的研究提供了理论框架。     

关于经验论模态词相互关系的注记

经验论模态逻辑系统含有两组关于经验推理的模态词，证明了该系统中复合模态词间的一系列蕴涵关系，并构造反模型说明了其蕴涵关系的反方向不成立，从而全面弄清了该系统中各种复合模态词的相互关系。     

基于FPGA的逻辑分析仪触发电路的设计

EDA技术的广泛应用大大缩短了电子产品的开发周期。在分析逻辑分析仪工作原理的基础上,讨论了其触发电路模块的工作原理及其FPGA的实现方法,并给出了部分电路的程序设计及仿真结果。     

复杂系统与辩证逻辑

从逻辑观点看 ,系统有简单系统和复杂系统之分。简单系统是只由直谓谓词类的元素所构成的系统。复杂系统是至少由具有两个相异性质或关系的元素构成的系统。形式逻辑可以对简单系统的结构作出协调而完备的逻辑分析和逻辑表达 ,但不能对复杂系统的结构作出协调而完备的逻辑分析和逻辑表达。只有辩证逻辑 ,才能对复杂系统的结构作出协调而完备的逻辑分析和逻辑表达。