基于可执行代码中间表示的控制流分析

为准确刻画程序的控制流和正确地提取程序控制结构,给出可执行代码控制流分析的整体架构和算法,阐述可执行代码反汇编结果的抽象表示、程序控制流构造等技术。反汇编结果抽象表示采用简化汇编语言中间表示(SAIR)以保证分析的简洁性和严密性。基于SAIR给出程序控制流构造函数,设计程序控制流构造算法并给出分析实例。     

可执行代码简化中间表示的设计与实现

为了保证可执行代码分析的简洁性和严密性,设计并实现了一种简化汇编语言中间表示(SAIR).根据汇编指令的特点,给出SAIR的语法并详细描述了SAIR的结构化操作语义.对汇编指令进行分类,设计了中间语言翻译字典以建立汇编指令与SAIR的映射关系.通过中间语言翻译字典实现反汇编代码向SAIR的转化,得到SAIR.最后,给出汇编代码转化SAIR的实例.实验结果表明,设计并实现的SAIR可读性强,易于理解,可有效地提高可执行代码的分析效率.     

透析分布式防火墙架构

为了满足电信级防火墙的高性能、高可靠性、高扩展性需求,以北京天融信公司的防火墙为基础就分布式防火墙系统做了一些架构上的探讨。硬件上采用分布式crossbar加多核技术,软件上采用控制系统和转发系统分离技术。     

物联网环境下的餐饮服务系统设计与实现

随着人民生活水平的提高和生活方式的转变,餐饮业具有巨大的投资市场,被称为中国的黄金产业。舌尖上的物联网系统采用无线网络技术作为信息交流的桥梁,能够提高餐馆档次、提高工作效率、避免跑单、实时监控餐馆状况,提供各种各样统计信息、提高服务品质等,为餐饮行业带来崭新的管理理念与服务手段,优化业务流程,为顾客提供更优质的服务。本文设计一种物联网环境下的餐饮服务系统,系统完成了手机预订、现场PAD(平板电脑)选菜、RFID确认、厨房终端的显示以及服务器的数据处理与管理等相关功能。实现企业价值最大化的同时又使成本最低化,是餐饮行业向信息化发展的一个重要标志。     

旅游:商务旅行之青年旅行

在我们广大富有青春活力、富有新时代气息并且热情奔放的青年人中,相信有很大一部分是非常喜欢旅游的,每当节假日都要出去 ＨＡＰＰＹ,ＨＡＰＰＹ ！ 据不完全统计大家每年都能出去玩２次以上吧！这可是保守的说法哟！当然也有人抱怨,每次总是去那几个地方,都玩遍了,已经没有什么可以吸引我的了。本人虽然才疏学浅,但依我看这其中有一些因素在制约着大家,比如,ＭＯＮＥＹ、住宿、饮食、旅行社等等！当然在这些问题上我也是深有体会的,所以令天,本人特此为大家介绍以下内容,希望大家多多捧场！谢谢啦！     

670 t/h锅炉燃烧系统改造

针对扬州发电有限公司200Mw机组4号炉(670t／h)长期存在锅炉灰渣可燃特含量偏高、锅炉效率偏低问题，在详细试验的基础上．对4号炉三次风燃烧系统进行了改造。改造后试验结果表明，4号炉在制粉系统运行条件下，锅炉效率提高2％以上。     

关于预裂缝形成机理的讨论

以实验为依据，对预裂缝形成的机理进行了探讨，论述了爆炸冲击力在预裂缝形成过程中的作用。     

大功率PWM互补型直流斩波稳压控制器的研究与开发

介绍一种利用它激式高频PWM斩波技术完成的大功率直流稳压电源装置。本文进行了线路原理分析,并给出了关键技术参数的选取原则及计算方法。