嵌入式LwIP协议栈内存泄露问题研究

为研究复杂软件系统中的内存泄露问题,首先从嵌入式协议栈LwIP使用过程中的一种网络传输性能下降现象出发,基于协议栈控制块内存管理参数,确定了协议栈内存泄露是导致设备长期运行出现该现象的直接原因;然后,结合协议栈源码详细分析了内存泄露的原因和机理,提供了一种解决此类问题的方法,并从编程接口的角度给出了避免出现内存泄露问题的使用原则,对LwIP协议栈的正确使用具有一定的指导意义。     

试说关系推理的正确形式及其符号化

仅有推理公式而没有明确的关系性质，推理无法进行；关系性质虽然确定，却用文字加以说明，推理就是非形式的。怎样摆脱这种两难困境？出路就在于正确揭示关系推理的结构关系并将之符号化。这对完善普通逻辑或关系理论有重要意义。     

SET协议的可追究性分析与改进

协议的可追究性为解决电子商务纠纷提供了重要的不可否认的证据,有必要深入分析SET协议的可追究性.Kailar逻辑是一种针对电子商务协议的可追究性而开发的形式化分析工具.先对SET协议进行了形式化的表述,然后利用一种改进的Kailar逻辑对SET协议的可追究性进行分析,结果表明协议只能满足商家和支付网关的可追究性,而不能满足持卡人的可追究性.最后,对协议进行了改进,使其能够满足持卡人的可追究性.     

模糊神经时延 Petri 网的信息融合模型

将模糊逻辑与融合技术相结合得到了一种模糊信息融合方法,然后用时延Ｐｅｔｒｉ网对此信息融合系统建模,并给出了信息融合系统反应时间的一个计算公式。然后将人工神经网络应用到时延Ｐｅｔｒｉ网中,提出了一种多传感器信息融合的模糊神经时延Ｐｅｔｒｉ网模型。     

一种双工温控电路

本文提出了一种采用帕尔贴技术固态继电器技术制作的双工温控电路,该电路在实际应用中十分安全可靠。     

“逻辑学”与“独立思考”——俊杰、小弟、豹死、金花、树叶

逻辑思考方法与科学求真精神是现代社会的物质建设和精神建设的前提。逻辑学可以澄清日常用语的歧解 ,并有责任和可能对各种语言的用法进行“理智的重建”。可以通过对一些智力趣题的逻辑解决方法和演示来进行思维训练。但这些不同的训练方法也大有讨论、批评的余地     

应用虚拟现实的遥操作机器人技术

大时延遥操作是空间遥操作机器人研究中的一项关键技术。如何克服通讯延迟和有限带宽的影响是大时延遥操作研究的焦点。本文首先阐述了应用虚拟现实的大时延遥操作的基本思想。着重对基于虚拟环境的遥编程技术和虚拟环境中模型的误差校正技术进行了研究。基于监控思想和遥编程概念 ,实现了应用虚拟现实的遥操作机器人实验系统 ,在地面仿真环境中 ,该系统成功完成了插方孔等遥操作任务     

Mulitbus总线到ISA总线的接口设计

对Multibus总线和ISA总线接口转换的设计进行了综述,提出了一种采用PLD实现总线接口转换的设计方案,在Multibus总线上实现对ISA总线接口器件的访问.     

国防资源配置理论体系逻辑论

国防资源配置,一直是经济学家关心和不断进行探索的重要课题。文章在较深入地分析马克思、资本主义经济学家和我国现代经济学界的资源配置理论及逻辑的基础上,论述了国防资源配置的逻辑体系,认为其基本逻辑线索是:人们对国防安全品的需求——社会存在可用于军事或国防领域的资源——作为人们利益代表的政府提供国防安全品“生产”的必要条件——大量的国防资源配置行为——供给相应的国防安全品。内容包括国防资源配置的逻辑起点、前提、配置条件、配置行为、逻辑终点等。