一致性测试中的时间约束及测试用例生成算法

针对协议测试理论中的时间约束问题，从不同的一致性测试方法出发对协议测试中的时间参数做了严格的约束，同时给出了基于等待、协调和同步时间的严格约束下的测试用例生成算法．在控制流测试中，先生成引导序列，然后按照测试拓扑环境设置和事件约束对引导序列、测试序列的时间进行约束设置．在数据流测试中，等待时间只需按照需求描述和约束来设定．对边界网关协议进行测试的结果表明，所提算法能适应不同的网络拓扑环境，其生成的测试用例在测试中能够有效降低测试代价．     

Combined Density-based and Constraint-based Algorithm for Clustering

We propose a new clustering algorithm that assists the researchers to quickly and accurately analyze data. We call this algorithm Combined Density-based and Constraint-based Algorithm （CDC）. CDC consists of two phases. In the first phase, CDC employs the idea of density-based clustering algorithm to split the original data into a number of fragmented clusters. At the same time, CDC cuts off the noises and outliers. In the second phase, CDC employs the concept of K-means clustering algorithm to select a greater cluster to be the center. Then, the greater cluster merges some smaller clusters which satisfy some constraint rules.Due to the merged clusters around the center cluster, the clustering results show high accu racy. Moreover, CDC reduces the calculations and speeds up the clustering process. In this paper, the accuracy of CDC is evaluated and compared with those of K-means, hierarchical clustering, and the genetic clustering algorithm （GCA）proposed in 2004. Experimental results show that CDC has better performance.     

一个时延约束的动态组播路由算法

分析了时延约束的动态最小代价组播路由问题，然后基于贪婪思想设计了一个动态组播树生成算法DCDG（Delay—Constrained Dynamic Greedy Algorithm），用于在动态环境下构造时延约束的低代价组播树。该算法通过节点动态贪婪地选择满足时延约束的最短路径加入组播树来降低代价；若时延不满足要求，则通过合并DDSP（Destination-Driven Shortest Path Algorithm）最小时延路径来产生一个满足时延约束的低代价组播树。仿真实验表明：DCDG算法动态生成的组播树代价较低、性能稳定，而计算复杂度仅为O（n）；在严格的时延约束下会话成功率高。     

工作团队与权力

阐述了工作团队与权力的基本概念,分析了现代学习型组织的工作团队中纵向与横向权力的来源及其与传统组织的区别,为团队领导者增强自身领导能力提供思路。     

三维动画中运动重定向技术研究

运动重定向是三维动画中进行运动编辑与合成的重要方法之一.通过重定向可以将已有运动映射到目标模型上,对运动数据加以重用.本文对现有的运动重定向技术进行了总结,从理论到具体实现等各个方面都作了详尽的剖析,提出了运动重定向技术需要研究和解决的问题,可为深入研究运动重定向技术提供有益的参考.     

风险企业家道德风险的防范

构筑了防范风险企业家道德风险的激励与约束机制,并指出我国风险企业家道德风险防范应注意的几个问题,以期能对我国风险投资效率的提高有所帮助。     

Machine Translation Using Constraint-Based Synchronous Grammar

Introduction In machine translation,analysis of the structural devia-tions of the languages pairs is key to transforming one language into another.This analysis requires a large number of structural transformations,both grammati-cally and conceptually.The…     

汽车内部布置概念设计建模

用面向对象分析方法给出了汽车内部布置概念设计对象的层次结构,建立了对象之间面向舒适坐姿的连接依赖关系,并用动态约束网络描述了对象之间的动态约束关系,采用约束满足问题求解策略求得满足约束条件的布置参数.     

单面完整约束系统在相空间中的形式不变性

对单面完整约束系统在相空间中的形式不变性进行了分析研究。给出了单面完整约束系统在相空间中形式不变性的定义和判据，得到了形式不变性的结构方程和守恒量，并用实际算例验证了研究结果的有效性。     

英国议会与法国三级会议不同历史命运的对比

中世纪,英国与法国的等级代表权力机关———议会与三级会议产生后出现了截然不同的命运,这是因为英国议会是人民斗争、限制王权的结果,而法国的三级会议却是王权加强的需要和结果,议会和三级会议本身就有许多的不同。此外,英法两国不同的政治传统、中世纪末期不同的政治发展趋向以及百年战争、宗教改革等重大历史事件对两国的不同影响也是导致两者不同命运的重要因素。