互逆蕴涵命题的空间曲线投影柱面表示

互逆主义逻辑是建立在解析几何的基础之上的。在空间解析几何中,空间曲线是两曲面的交线,在空间曲线中消去一元,即得投影柱面。与此类似,在互逆主义逻辑中,互逆蕴涵命题前件的两个合取支为两个曲面,它们的合取为空间曲线,若后件所表示的曲面恰为或真包含该空间曲线的投影柱面,则该互逆蕴涵命题成立,否则不成立。     

基于单神经元自适应PID的PLC直流电机控制系统

针对微型计算机和单片机进行直流电机控制时,抗干扰能力和可靠性差等缺点,提出了一种基于单神经元PID(Proportional-Integral-Derivative)算法的PLC(Programmable Logic Controler)控制直流电机的调速系统,设计了PLC控制D/A(Digital/Analog)转换电路、直流电机驱动电路、转速脉冲反馈电路,研究了单神经元自适应PID控制算法。将有监督单神经元控制算法应用于直流电机调速系统,通过调整神经元控制器的加权系数,实现自适应PID的最优控制。单神经元PID调节在大范围调速和抑制超调方面都有明显的改善,进而提高了直流调速系统的精度。通过系统动态测试,实现了PLC控制直流电机正反转自动调速,直流电机在稳态运行时,转速误差小于1 rad/s。     

用逻辑方法验证移动Ad Hoc网络协议

针对移动Ad Hoc网络节点移动和无线广播通信特征,引入移动算子和广播算子,扩展形式逻辑LS2,提出了建模和分析移动Ad Hoc网络安全系统的逻辑ELS2.ELS2把网络模型化为不同位置上执行程序的线程复合,把攻击者模型化为与协议参与方并发运行的线程.ELS2中提出网络迹概念,描述网络节点内部计算和外部交互,以及节点移...     

PLC程序测试与验证的研究进展

可编程逻辑控制器(PLC)是一种在工业领域应用非常广泛的控制装置。随着PLC程序的规模和复杂性不断增加,PLC程序测试与验证已成为一个具有挑战性的问题。该文分析了PLC程序测试与验证的困难。从验证与测试两个方面,分别介绍了该问题的研究现状。对于每一个方法,分别论述了其基本思路、优势与不足。最后,根据当前研究的现状,展望了PLC程序测试与验证技术未来的发展。综合分析来看,PLC程序测试与验证的现有方法都存在比较明显的局限性,有待深入研究。未来可能的新方向包括结构化测试以及不同测试方法的融合等。     

基于Markov逻辑网的句子压缩方法

提出了一种基于Markov逻辑网通过删除单词进行英文句子压缩的方法。通过一阶逻辑公式表示单词的局部特征以及单词之间的相互依赖关系,确定单词是否应该删除。与现有方法相比,该方法把判别式学习和整数规划的优点相结合,既融合了丰富的句子特征,又以逻辑公式方便地表示全局约束。在书面和口语两个新闻数据集上的实验结果表明:该方法与L3和SVTL系统相比具有明显优势,在压缩率接近时,以人工压缩结果为评测标准,压缩后句子的依存关系F-score有较大提高。     

封闭环形连续钢箱梁人行天桥不同减振方法的研究

针对某钢箱连续人行天桥特殊的结构形式及振动特性,建立空间有限元模型,以跨中竖向位移及加速度减振率为标准,通过理论计算比较TMD减振效果与频率调整法减振效果,结果表明对于该桥频率调整法减振效果远远优于TMD减振效果,可见TMD减振系统并不是适用于所有结构,所得结论可供同类桥型减振设计参考使用.     

解决Ad Hoc网络广播冗余竞争冲突的高效广播算法

针对盲目广播带来的广播风暴问题,提出了一种适用于Ad Hoc网络的跨层模糊逻辑广播算法(cross-layer fuzzy logic broadcasting algorithm,CLFBA).该算法应用跨层设计的方法,在保持原有介质访问控制层(medium access control,MAC)和路由层严格分离的基础上,允许路由层共享MAC的接收信号强度信息.采用模糊控制获得节点重播分组的概率,赋予增加通信面积大的节点和剩余能量高的节点较高的转发概率.CLFBA减少了广播过程中产生的冗余、竞争和冲突,均衡了网络中节点的能量消耗.仿真结果表明,与路由层应用泛洪和概率泛洪算法、MAC层应用IEEE802.11协议相比,CLFBA提高了转播节省率,延长了网络生命周期,降低了平均节点丢包率和平均端对端延迟.     

模糊逻辑和数据融合在监控系统中的应用

传统监控系统的一个主要缺点是利用单一传感器来监控单一监控点,由于传感器内部品质和系统外部噪声的影响使得系统的可靠性不理想.数据融合技术可以把互相独立的传感器变为互相联系的整体,增加了信息的冗余度从而提高系统的可靠性.而模糊逻辑可以把数据很好地融合在一起.笔者给出了数据融合算法的推导过程及系统的结构框图.     

二维空间的离散W变换

利用一维离散Walsh变换的性质与结果,定义了二维离散Walsh变换及二维Walsh变换的逻辑卷积,证明了二元W系的完整性,给出二维Walsh变换的基本运算性质及二维Walsh变换下1≤p≤2时的Hausdorff-Young不等式。     

基于AD9854的多功能信号源设计

为了实现高性价比、低相噪和低杂散的数字化信号源,提出了以直接数字频率合成芯片AD9854为核心的设计方案.系统最大限度地挖掘了AD9854的潜力,将数字信号处理器、可编程逻辑器件和先进先出存储器与AD9854紧密结合,输出正弦信号的最高频率为110 MHz、谐波失真小于-30 dBc.能够完成调幅、调频和频移键控等调制功能.