二根树指标马氏信源关于赌博系统的极限定理

研究任意二根树图上二阶非齐次马氏信源的极限性质。通过构造相容分布和非负上鞅的方法,得到了任意无限连通二根树上二阶非齐次马氏信源关于广义赌博系统的一类广义渐近均匀分割性定理,也称广义ShannonMc Millan定理,并推广了已有的结果 。     

全面加强农村民居防震抗震保安

按照省委、省政府的总体部署,结合学习贯彻落实中央全国农村民居防震保安工作会议精神,甘肃省地震局全力推进社会主义新农村建设中的农居防震保安工作,增强全省城乡整体防震减灾能力,保障人民生命和财产安全,服务社会主义新农村建设。加强农村民居防震保安,制定的具体实施措施。     

色彩标记理论应用于图书馆管理与服务的思考

色彩有标记属性、情感属性、文化属性等属性,色彩标记体系在公共环境中是最活跃、最重要的引导因素。将色彩的属性应用于图书馆资源管理和读者服务,对于提高图书信息资源的管理效率、服务人性化具有值得重视的价值。     

适用于联网飞机网络的安全切换方案

本文提出了一种适用于联网飞机的安全切换方案,该方案通过地面基站或卫星周期性地发送签名消息实现消息源认证,不同的飞机预存要经过航路的相关密码学公共参数,然后利用签密实现网络的安全快速切换。在该方案中,由于使用了能够在一个逻辑步骤内同时实现机密性和认证性等安全功能的签密技术,因此具有较高的效率。     

微信公众平台在大学生安全教育中的应用

阐述微信公众平台的优势,分析利用微信公众平台开展大学生安全教育的可行性,通过突出信息推送功能、以案讲案、引导大学生参与平台建设等措施发挥微信公众平台载体作用,提出转变传统的安全教育观念、开发信息反馈功能、需要优秀编辑人员等完善微信公众平台运营的建议。     

体育消费的学理脉络、统计内容及其实施策略

采用文献资料法，依次从学理脉络、统计内容及其实施策略展开关于体育消费以及体育消费统计的讨论。认为：从学理上看，体育消费作为一个复杂概念，既牵涉宏观经济社会发展，也与文化意识形态紧密联系；而作为准确把握体育市场、把脉体育发展情况的基础性工作之一，体育消费统计则应该避免将体育消费概念泛化。应以体育政策为导向，面向人民的美好生活需要，对接国民经济统计制度，考虑建构以“体育教育与培训、体育文化与娱乐、体育保健与康复、体育传媒与信息、体育衣着耐用品、其他体育用品与服务、个人间接体育消费”为核心指标的统计框架，并通过长效工作方案的设计使体育消费统计工作制度化，通过统计调查制度的建构使体育消费统计执行有效化，通过统计数据的测算推算使体育消费统计结果精准化。     

基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

基于FPGA的信号量管理模块的设计

针对软件实时操作系统的开销给嵌入式系统带来性能退化的问题,提出了基于FPGA的硬件实时操作系统的方案,设计了一个硬件信号量管理模块并用Verilog HDL硬件描述语言进行描述。仿真结果验证了这一设计的正确性,且其创建、请求和发送信号量操作的执行速度比μC/OS-Ⅱ中信号量管理部分明显提高。     

自备电厂直流系统故障的分析及解决措施

通过对新疆天业集团电厂直流系统运行中出现的故障进行分析,找出直流系统接地故障的原因,以及解决的方法和措施,对以后的检修维护起到借鉴指导作用。