高收入高税率:一个纳税激励机制的设计

针对当前高收入人群没有利益动机自觉按实际收入申报激纳个人所得税的现状，借助信息经济学中的委托－代理理论，设计了一种“谁纳税，谁受益”的纳税激励机制模型，为解决高收入者纳低税问题提供了一种思路。     

一种基于VxWorks的飞行仿真实时管理系统

结合北京航空航天大学自动控制系开发的某大型工程飞行模拟器系统，介绍了一种基于嵌入式实时操作系统VxWorks和多处理机系统的仿真系统结构及其开发环境。首先介绍了VxWorks的特点。然后介绍了飞行仿真系统的总体结构及管理系统的主要功能。最后讨论了实时管理系统实现中的关键问题，包括多任务管理在不同开发环境下的实现以及分布式仿真系统的实时数据通讯等。     

应用级主动网络中的移动IP技术

Ipv4向Ipv6的转变能更好地满足互联网中移动用户的需求，同时，主动网络也为移动IP这一新的互联网应用提供了一条新的途径，在应用级主动网络环境下研究移动IP技术是一个具有良好应用前景的课题，文中重点分析了如何利用主动网络实现报文重定向，并解决三角路径问题。     

用Spi演算描述并验证非对称双向鉴证协议

移动代理能够自主地在异构的网络间迁移，在代理迁移到下一个服务器之前，需要解决代理迁徙过程中的安全性问题，即如何进行代理与服务器之间的双向认证，提出的非对称双向鉴证协议能够较好地解决该安全问题，同时，用Spi演算对该协议进行了描述，并验证了该协议的安全性。     

Dynamic Bandwidth Allocation and Rate Coordination for DiffServ Environment

This paper presents a novel model for dynamic bandwidth allocation and rate coordination based on DiffServ and a bandwidth broker（BB）. In this model, assignment of bandwidth was made according to a periodic trace of network characteristics per application. And adjustment of transfer rate was accomplished through negotiation with applications by a bandwidth agent. This model was evaluated using network simulator 2 （NS-2）, and distinct improvements were found in respects of delay and packet loss of overall network and single flow. Finally, the model was suggested to be leveraged to multimedia applications with properties of lower delay and lower packet loss.     

基于一次性口令技术的电子邮件代理服务器设计

论述了一种基于代理技术的电子邮件防火墙,描述了它的各个功能模块的设计与实现,重点介绍了实现认证中应用的一次性口令技术.     

动态制造联盟的跨度计算研究

动态制造联盟的跨度计算是进行单元选择的基础。本文从代理成本的变动、产品技术可分度和产品的市场生命周期与制造反应时间的关系等三个方面研究动态制造联盟跨度的计算。     

一种自适应的分布式微防火墙系统

针对传统防火墙存在的不能防内部攻击、单一失效点等问题，提出了一种自适应的分布式微防火墙体系结构。在该体系结构中，基于包过滤的微防火墙运行在受保护实体上，并与微入侵检测系统一起提供双重细粒度的安全保护；分布式微入侵检测系统提供层次响应和自适应功能；移动代理系统实现了安全策略的动态更新，并提高了整个系统的可扩展性。     

一种改进的AY授权签名方案

授权签名是代理签名的一种特殊形式,本文在Nyberg-Ruelppel数学签名方案和AY授权签名的基础上提出了一种新的授权签名方案,它改善了AY的健壮性,使得授权者能够跟踪验证代理签名的有效性,可以有效地防止代理欺骗授权者.