BitTorrent流量控制方案

设计并实现了一个克隆Tracker以减少互联网中BitTorrent (BT)流量占用过多进出口带宽的问题。当BT客户端向Tracker发出列表请求时,Peers列表请求数据包被路由到克隆Tracker。克隆Tracker使用不同于原Tracker的列表选择算法,代替原Tracker向BT客户端返回Peers列表。克隆Tracker从原Tracker中获得并更新列表。在校园网的实地测试结果表明：在不修改BT客户端和原Tracker服务器的条件下,克隆Tracker能够有效控制所测网段BT流量占用的进出口带宽。     

基于PC机的交流传动控制算法开发平台设计

本文提出基于PC机的交流传动控制算法开发平台的设计方案.介绍了硬件接口卡实现的M法、T法测速和电流指令传送功能.实现结果表明,该系统为利用高级语言实现控制算法研究提供了良好的开发平台.     

The VLISP verified Scheme system

The VLISP project has produced a rigorously verified compiler from Scheme to byte codes, and a verified interpreter for the resulting byte codes. The official denotational semantics for Scheme provides the main criterion of correctness. The Wand-Clinger technique was used to prove correctness of the primary compiler step. Then a state machine operational semantics is proved to be faithful to the denotational semantics. The remainder of the implementation is verified by a succession of state machine refinement proofs. These include proofs that garbage collection is a sound implementation strategy, and that a particular garbage collection algorithm is correct.The work reported here was carried out as part of The MITRE Corporation's Technology Program, under funding from Rome Laboratory, Electronic Systems Command, United States Air Force, through contract F19628-89-C-0001. Preparation of this paper was generously supported by The MITRE Corporation.     

一种优化入侵检测系统的方案

基于特征的入侵检测系统是目前的入侵检测技术的主流。文中提出了一种针对每一个网络报文,即时的创建一个单一的特征集合来进行匹配的方案,从而减少了匹配的工作量,提高了系统的效率。     

基于简化ASM1模型的污水处理厂曝气系统优化控制

本文建立了基于ASM1模型的曝气系统简化数学模型,在此基础上提出了以曝气能量消耗最小为目标函数的曝气系统优化控制问题。采用联立配置法进行优化问题的求解,把非线性微分代数方程组的DAE系统转化为非线性代数方程组,将动态优化问题转化为非线性规划问题,最后调用IPOPT解法器求解。在动态入水的条件下进行曝气池的优化控制仿真,其结果显示比传统定值PID控制可节约近40%的能耗。     

基于PMI的Web Service访问控制方案

随着Web Service的广泛应用,访问控制在其中的作用越来越得到体现.PMI作为权限管理设施为Web Service提供了统一的授权管理方法,实现对服务资源的有效保护.介绍了Web Service和PMI访问控制模型的基本功能和框架,详细论述了一种基于PMI的Web Service访问控制系统的设计方案,并对其中的消息传输、策略描述以及具体过程作了进一步的分析.     

Optimal control of the aeration system based on a simplified ASM1 model apply to Wastewater treatment plant

本文建立了基于ASM1模型的曝气系统简化数学模型,在此基础上提出了以曝气能量消耗最小为目标函数的曝气系统优化控制问题.采用联立配置法进行优化问题的求解,把非线性微分代数方程组的DAE系统转化为非线性代数方程组,将动态优化问题转化为非线性规划问题,最后调用IPOPT解法器求解.在动态入水的条件下进行曝气池的优化控制仿真,其结果显示比传统定值PID控制可节约近40％的能耗.     

污水土地处理系统工艺技术应用

综述了污水土地处理系统及其发展状况和应用前景,分析了其优缺点,对比了各种典型处理模式的特性及设计数据.     

变采样网络控制系统的鲁棒控制

对于线性时不变控制对象,在控制器和控制对象都采用时间-事件驱动时系统就变成便采样网络控制系统,当网络时延不确定时,在小于或者等于一个变采样周期时,基于动态输出反馈对变采样网络控制系统进行建模,使用李雅普诺夫方法和线性矩阵不等式研究了系统的鲁棒稳定性,并设计了鲁棒控制器,最后给出实例证明在鲁棒控制器的控制下系统稳定。