摘要：介绍一种基于STC12C5201AD单片机的PT2262通用编码器的软件解码方法,该方法解除了使用PT2272专用解码芯片和进行地址配对的限制,使得开发人员有了更多的选择.解码结果的片内EEPROM存储使单片机在无线遥控系统的应用得到了扩展.在无信号输入的时候,单片机进入掉电模式大大降低了译码模块的电流,使得该方法更适合于电池供电的嵌入式开发中.该方法不仅能简化电路、节约成本,还提高了无线遥控系统设计的灵活性.

摘要：针对关联规则挖掘的AprioriTid算法缺点提出了一种改进的算法,即在构造k阶Tid表时,考虑当前交易项包含的所有k阶候选项的全部元素组成的集合,它肯定是当前交易项的子集。如果它的范数大于k就将其写入k阶Tid表中,而不是它所包含的所有k阶候选项集都写入表中,这样必然减少下一次寻找k+1阶大项集时所需要扫描的交易量,从而使AprioriTid算法得到进一步优化。通过在Northwind数据集上的实验,验证了该算法有效地优化了空间复杂度和时间复杂度。

摘要：为了克服传统时序逻辑以封闭系统方式分析协议的缺点,根据电子合同签署协议的特点引入一种基于博弈的ATL逻辑形式化分析方法。利用该方法分析了一个公平的电子合同签署协议,发现该协议存在不满足公平性和时限性的缺陷。通过向协议中添加额外的时间控制信息和Abort子协议对该协议进行了改进,并使用Mocha模型检测工具以ATL公式和In-variant Checking相结合的方式对改进协议的公平性和时限性进行有效地验证。实验结果表明,改进后的协议满足公平性和时限性。

摘要：为了解决无线分布式传感控制网络(WDSCN)中存在的网络自组织性不够灵活、网络范围不够大、系统的稳定性和鲁棒性有待改进的问题,提出了一种无线分布式传感控制网络系统。采用了低功耗的ZigBee无线通信技术,可以快速、准确地完成数据采集、管理与设备控制,为智能化测量与控制提供了方便。实验结果表明,与传统WDSCN相比,新的无线分布式传感控制网络增加了节点的驱动能力并降低了设备的功耗,实现环境参数自动检测,进行自动化、智能化地集中管理与控制。

摘要：为了在航空应用中得到更加安全可靠的通讯系统,就目前普遍应用的标准以太网可能会出现的问题,提出了用行为时序逻辑TLA对AFDX冗余管理算法进行形式化分析。在适当的环境中,根据安全性、活性、可用性3个性质,得到两个冗余管理的推论,根据这些性质和推论,提出了3个冗余管理算法,并用TLA+语言进行详细的描述。通过模型检测,表明出RMA13为最优算法。

摘要：针对玻璃深加工企业提出的信息化管理需求,通过深入研究分析玻璃深加工流程中需要信息化的各个环节,开发出一个计算机辅助管理系统。系统中本地采用C/S网络体系结构,异地数据通过zlibEx压缩后通过串口实现远程实时安全传输。系统中只需在生成订单时一次输入原始数据,其它功能模块共享原始数据,自动生成各种所需的报表。采用改进的启发式动态寻优方法实现优化切割,改变了手工排料,提高了玻璃原片利用率。该管理系统投入使用后,企业员工的工作效率和经济效益都明显提高,表明了该管理系统的有效性和可行性。

摘要：传统贝叶斯入侵检测算法没有考虑不同属性和属性权值对入侵检测结果的影响,因此分类准确率不够高。针对传统贝叶斯入侵检测算法存在的不足,提出基于互信息可信度的贝叶斯网络入侵检测算法。在综合考虑网络入侵检测数据特点和传统贝叶斯分类算法优点的基础上,用互信息相对可信度进行特征选择,删除一些冗余属性,把互信息相对可信度作为权值引进贝叶斯分类算法中,得到优化的贝叶斯网络入侵检测算法(MI-NB)。实验结果表明,MI-NB算法能大大降低分类数据的维数,比传统贝叶斯入侵检测算法及改进算法有更高的分类准确率。

摘要：理性秘密重构是为了约束理性用户的自利性,在现实生活中确保所有参与用户均能获得共享秘密。然而,如果直接使用现有的理性秘密重构协议,不仅不能实现公平的秘密重构,甚至还会出现用户将虚假的秘密视为真实共享秘密的极端情形。导致上述现象的根本原因是缺乏参考模型,使协议设计者难以全面地考虑理性用户参与秘密重构时的自利行为。为解决该问题,通过形式化描述理性用户模型和理性秘密重构博弈模型来分析理性用户执行秘密重构协议时的先后顺序以及策略选择对公平秘密重构的影响,分别提出了面向纯理性用户环境、面向信誉环境和面向可信用户环境3种适用于不同场景的理性秘密重构协议设计模型。理论证明了所提模型能帮助协议设计者有效约束理性用户的自利性,设计了公平的理性秘密重构协议。此外,基于提出的设计模型,还构造了一个公平的理性秘密重构协议来证明所提模型的可用性。

摘要：根据白酒生产质量的实际需求,有针对性的提出了一套基于无线传感网的白酒生产过程监测系统。本系统主要运用传感器技术、ZigBee无线通信技术、单片机技术、自动检测技术,并采用分布式结构,借助协调器组建ZigBee网络,以实现无线通信。本设计提出了生产环境监测的传感器节点、上位机监控软件、协调器节点及其GPRS远程数据传输模块的四层分布式结构设计方案。

摘要：IPv6作为下一代互联网的核心技术,必然会逐渐取代IPv4.但在相当长的一段时间内,IPv6会与IPv4共存.在对以往一些组播过渡技术进行研究的基础上,通过linux的内核编程来实现一个基于双核模式的组播过渡系统.将该系统部署在IPv6域与IPv4域的边界,能实现两个域之间的组播通信.同时,该组播过渡系统只有在需要进行转换时才开始工作,从而提高了转换器的工作效率.