嵌入式电子邮件系统的研究与实现

电子邮件是Internet上最早出现的服务之一.随着嵌入式产品与Internet的迅速融合,嵌入式电子邮件系统的开发也就势在必行.设计了嵌入式电子邮件收发系统,详细介绍了它的结构以及各个功能模块的实现过程.该邮件系统按照SMTP和IMAP4协议的规范,实现了邮件系统的收发功能.系统逻辑清晰,界面友好,便于使用.     

东莞市大力推动科技创新引导加工贸易企业转型升级

东莞市把加工贸易企业转型作为推动产业调整升级的重点,引导加工贸易企业研发自主技术、创造自有品牌,加快推进“本土化”进程,形成了企业的“六换”新格局,科技创新已成为产业调整升级和构建现代产业体系的重要力量。     

一种复合的自治域级拓扑发现方法

随着网络技术的发展,面对新的挑战,传统网络逐渐力不从心,软件定义网络（software-defined network, SDN）领衔的未来网络应运而生,随之而来的是各类网络测量技术纷纷针对未来网络发生演变,但拓扑结构测量在传统网络环境下的作用仍然不可忽视。在自治域级的网络拓扑中,每个自治域都可以简化为一个点,而用两点之间的连线表示自治域间的邻接关系。近年来有许多相关的研究展示了不同的拓扑发现算法。提出了一种简单高效的方法来推断自治域级的拓扑,利用在网络中部署高速采集器采集边界网关协议（border gateway protocol,BGP）路由器上的路由表以及BGP协议的更新信息来推断网络拓扑结构,并判定自治域的相关属性。实验证明了该方法能够达到预期效果,全面、准确地推断网络在自治域级的拓扑结构。     

流媒体技术概述

通过对网络连续媒体实时传输的分析，着重对流媒体技术进行了较为深入的研究和比较，并结合网络教学的要求，设计了一套基于Microsoft的wmv流文件格式的实施方案。     

西方商业银行信用风险的度量及对我国的借鉴

自巴塞尔协议规定用于确定风险的资本充足度内部模型必须是以Var为基础的模型以来，Var已成为目前最为流行的风险管理模型，此模型的引进和应用对改进我国商业银行信用管理有借鉴意义。     

面向命题投影时序逻辑的安全协议模型检测

针对无条件安全通信协议,特别是Russian Cards协议的安全性验证问题,提出基于命题投影时序逻辑(PPTL)的模型检测方法.根据协议构造规则建立了Russian Cards协议的ProMeLa模型;利用chop算子将多个交互事件进行顺序复合,以表达协议所期望的通信序列;由projection算子定义了协议在该序列上的安全性质,再将该性质转为Never Claim语法结构并连同协议模型作为模型检测器SPIN的输入,以完成验证工作.验证结果表明,由协议规则构造的Russian Cards通信协议是安全可靠的,该方法也适用于一般的无条件安全通信协议的验证.     

网络环境下舆论引导路径初探

面对复杂网络舆论环境,要求我们必须化被动应对为主动引导,积极与网民互动,及时公布事件信息,让权威、真实的声音占领网络,同时协调网络舆情的堵与疏,善用网民对事件评论的管理,培养和团结网络意见领袖。     

基于移动IPv6的MANET中Anycast服务的设计与实现

针对目前移动自组网(MANET)无法提供成熟的Anycast服务这一问题, 提出了一种在MANET中实现Anycast服务的通信模型.此模型提出了无需进行地址重复检测、IPv6地址自动分配的方案以及移动节点加入Anycast组的方法. 模型中的Anycast移动组节点在不同子网之间进行切换时,Anycast移动组节点无需进行地址注册也无需建立隧道机制.在模拟环境下实现了此模型,并对模型的数据包接收率等性能参数的实验数据进行了分析和讨论.     

引导基金模式下的政府补偿及其激励效应

在激励理论的分析框架下研究了亏损补偿、收益补偿和政府收益固定三种补偿方式对创业投资规模和效率的影响. 主要结论包括: 亏损补偿会削弱创业投资家努力投入的激励, 从而既不利于提高创业投资效率, 也不利于扩大创业投资规模; 而收益补偿和政府收益固定补偿具有相同的激励特征, 它们可以在促进创业投资合作关系形成的同时兼具扩大创业投资规模和提高创业投资效率的功能. 并且当政府对创业投资家的激励成本相同时, 收益补偿方式对私人投资者的吸引力更强. 同时, 由于可能破坏创业投资家和私人投资者的有限责任保护, 政府收益固定补偿方式的可实施性得不到保证.     

密码协议的π -网形式化描述和分析

π-网是一类模块化的、具有代数演算功能的高级Petri网.通过引入项、buffer库所和解密变迁等建模元素,本文在π-网中建立了密钥管理和加密信息的传输机制,形成了密码协议的Petri网形式化模型,而且对于任意的一个密码协议,都可以将其模块化,本文还提出了密码协议的鉴别性和安全性的验证机制.通过对Needham-Schroeder协议的实例分析,对密码协议的密钥交换和鉴别性,以及协议存在的漏洞,进行了有效的形式化描述和分析.