摘要：无线多跳网络的分布式工作特点和无线传播介质的特性导致其面临着严峻的性能和安全性挑战,而为弥补以往研究过分依赖仿真分析的不足,基于路由代数与统一路由模型,设计并实现了多种设备的试验测试平台(testbed for high-level analysis of wireless ad-hoc routing design,TH-award).该平台采用模块化架构设计了协议库、参数库和测试库,便于用户扩展无线路由协议,有效实现在同一平台上对协议性能与安全性的综合测试,保证了测试平台的可扩展性与兼容性;能以仿真、测试、试验等不同应用模式实现其测试功能,具有良好的适用性与开放性;平台具有分布式管理架构、路由测试引擎等相关设计,能有效实现配置管理、运行分析的自动化,具有很高的可管理性.基于该平台,实现了多种路由协议的快速设置与部署,基于多种场景测试验证了平台的有效性,该平台为研究各种无线路由协议的性能及安全性提供了一种重要手段.

摘要：本着文化自信的精神,深入学习具有三千多年历史的《易经》,挖掘《易经》形象思维的抽象和推理的理念,结合现代计算机学科的发展和作者本身的专业经历,给出了计算机系统设计策略三十六计和算法三十六计的初步成果.本文提出了计算机学科的四个基本对立统一关系,即四个基本科学问题:集分定位、刚柔相摩、供需相应、串并转换.从集分定位出发,在策略三十六计中提出了架构设计十八计,它包括了时空转换和多种计算模式的计策.从刚柔相摩出发,在策略三十六计中提出了系统特性十八计,它包括了八类特性设计的计策,例如,可控性、效率性、安全性、可变性等方面的计策.供需相应和串并转换所涉及的科学问题,主要体现在资源管理和任务调度的算法三十六计中.这些算法计策中包含了计算机学科的经典和热点问题,例如,可计算性、多目标优化、云计算、软件定义系统、大数据思维和人工智能等.策略三十六计和算法三十六计可以为计算机专业人员在学习和系统研发工作中提供思维框架、策略辩证思路和需要的计策及实例,更为重要的是可以进一步理解事物的哲学道理.

摘要：与现有的分布式文件系统的惯例———把数据高可用性的实现融合在文件系统中———不同 ,设计了一个数据高可用性子系统 (datahighavailabilitymodule ,DHAM ) ,用于为分布式文件系统提供数据高可用性支持 设计子系统的基本指导思想是把文件系统的高可用性实现从文件系统中抽取出来 ,作为一个单独的模块来实现 ,弱化它与文件系统其他部分之间的耦合性 ,使得二者之间仅仅有简单的接口关系 目的是使文件系统的设计更加模块化 ,并且便于对文件系统的容错这一主题进行专门的研究 DHAM已经成功地用于本研究所自行开发的分布式文件系统Clufs中 ,为其提供了数据高可用性支持 最后给出了模块的功能及性能测试结果 ,并对采用此模块前、后系统的出错概率进行了理论分析 .

摘要：分析了数据密集型应用的特点,讨论了管理海量数字资源面临的技术挑战和关键问题,并综述了支持高性能数据密集型应用的相关工作,包括标准、技术和应用系统.在分析和比较相关工作的基础上,设计了一个新型的面向海量信息管理的数字图书馆体系结构,并描述了其中的关键功能组件和核心服务模块.最后,给出了一个遵循该体系结构设计和实现的应用实例清华大学建筑数字图书馆.

摘要：分布式协作正在成为现代社会中一种日渐普遍的工作方式,而计算机支持的协同工作能够显著地提高分布式群组的工作效率。然而,传统的群件系统很难适应灵活多变的应用需求。面向服务的架构与Web服务技术为建立高度灵活的协同系统提供了一种新途径。探讨了面向服务的协同系统设计,主要关注于系统体系结构、协同服务参考框架和交互模型。这种面向服务的设计思想能够提高协同系统的灵活性,简化协同应用的开发,并且支持协同服务与其他应用的无缝集成。

摘要：采用层次式方法,分而治之,减小了电路的设计规模,非常适用于大规模的混合模式布局,并且在布局阶段结合了垂直通孔的分配问题.布局阶段的通孔分配问题不仅使得三维布局问题得以简化,而且为布线做好了准备,减少了后面的调整,是布线阶段垂直通孔分配问题的良好指导.提出了2种垂直通孔分配算法:比较精确的匈牙利近似算法;比较快速的邻域搜索方法.将这2种算法与层次式三维混合模式布局流程紧密结合,有效地解决了三维混合模式布局问题.

摘要：抽象测试方法为测试集设计者提供在不同条件下最合适的方法 .目前现有的测试方法主要为端系统设计 ,很少有关于中继系统的测试研究 .该文讨论中继系统的抽象测试方法 .首先引入被测中继系统模型 R-SUT,然后给出中继系统测试的概念结构 ,在此基础上提出几种中继系统抽象测试方法 .最后给出用该文提出的方法对因特网路由器、SMTP电子邮件服务器和分组装 /拆设备 PAD等中继系统的测试实践经验 .这些方法还可以用于 ATM交换机的测试 .

摘要：边界网关协议 BGP( border gateway protocol)是 Internet上用于自治系统之间交换路由信息的动态路由协议 .介绍了在清华大学研制的国产高性能路由器中分布式路由协议 BGP- 4的具体实现 .为了实现这一复杂的动态协议 ,提出基于事件驱动的设计和实现方法 .事件驱动机制能够精确地反映网络报文交换行为的实现机制 ,因而很适合 Internet高层协议的实现 .该方法也可以用于实现其他的 Internet高层协议 .

摘要：针对集成电路设计的多层布线问题,提出了以直接优化互连时延为目标、同时考虑通孔电阻与耦合电容的层分配算法.通过基于路径的时延分析寻找电路的关键路径,以通孔的时延模型和概率耦合电容模型作为层分配模型计算资源分配的代价,利用基于启发式的贪婪算法进行层分配.实验结果表明:该算法比只控制通孔和耦合电容数量的层分配策略具有更大的优势.

摘要：通过闭环控制进行飞机尾旋自动改出时,由于控制能量不足舵机速率饱和有可能引起振荡问题.本文基于反步法设计一种抗舵机速率饱和的尾旋自动改出控制方法.将飞机模型看做角度、角速度和舵机三层级联结构,首先利用反步法设计角度和角速度层控制律,然后在舵机层控制律根据舵机速率饱和限制约束控制量,同时通过Lyapunov函数保证闭环系统渐近稳定.对所得控制方法抗舵机速率饱和的效果进行了分析.以某现代歼击机模型为对象的仿真试验表明,该方法在舵机存在速率饱和的情况下控制效果明显优于传统动态逆方法与传统反步法.