工程测量专业教改思路分析

通过对工程测量技术专业省级教学改革试点建设情况的阐述,指出试点专业建设过程中存在的问题.并提出针对性建议.     

Valiant负载平衡技术在宽带通信中的应用研究

在分布式计算机系统上实现负载平衡是分布式系统领域从70年代初至今的热门课题。介绍了Valiant负载平衡技术在宽带通信中的最新应用研究情况,重点讨论了基于Valiant负载平衡技术的两级交换机和鲁棒选路算法,分析比较了它们相应的性能,提出了需要解决的问题。     

高速公路穿跨越式涉路工程安全评价技术探讨与应用实例

本文根据我国的实际情况,结合高速公路穿跨越式涉路工程的特点,从涉路工程对高速公路通行安全性的影响以及对现场勘察、设计图纸、施工方案、交通安全组织方案、应急预案等评价要点入手,阐述高速公路穿跨越式涉路工程安全评价应注意的要点,最后得出结论。最后,提出××铁路跨越××高速公路的案例评价实例,供路政管理、施工、建设等人员参考。     

路,行走方式及其它——浅析《德伯家的苔丝》的某些阅读印象

《德伯家的苔丝》是19世纪英国杰出的小说家托马斯·哈代最负盛名的作品,小说中多次出现各种各样的路,小说中的人物总是不停地在行走。路作为自然环境的重要因素,符合作者"性格与环境小说"的风格,它不仅是有形之路,更具有深层的隐喻象征意义。路是解读哈代小说的一条捷径,一把钥匙。     

针对软件中2路并发行为完全覆盖的测试方法

针对软件中2路并发行为的测试序列生成方法,提出一种基于面向测试着色Petri网（testing-oriented colored Petri net, ToCPN)。根据被测软件系统需求构建ToCPN模型,即系统模型,并将待测行为采用着色Petri网（colored Petri net, CPN)进行描述,形成待测行为模型;提出待测行为模型到系统模型的状态投影算法、针对极大状态结点和极小状态结点的状态匹配算法及一系列路径搜索算法,基于以上算法构建出针对2路并发行为的测试序列生成方法。该方法针对待测行为自动生成测试序列,对待测行为所在的2路并发行为的全部执行组合实现完全覆盖且不存在任何冗余,一定程度上解决了软件测试中的状态爆炸问题。对上述算法的有效性提供了证明,并结合测试实践,分析说明了该方法具备明显强于随机漫步（random walk)等其他方法的效果。     

两个图的Laplacian谱距离

把两个图的邻接谱距离推广到两个图的Laplacian谱距离,给出了任意两个图的Laplacian谱距离的一般性结果,最后计算出了一些特殊图的Laplacian谱距离。     

塔形Dyck路的面积

利用递推关系和发生函数,研究塔形Dyck路以及所有路径与x轴围成的区域面积,得到所有半长为n的塔形Dyck路的计数公式,和所有半长为n的塔形Dyck路与x轴所围区域总面积的计数公式.     

关于严格shod代数中IP路的钩子

shod代数(小维数代数)是研究代数表示论的一种重要的代数类型,它包含严格shod代数与拟倾斜代数.本文通过探讨严格shod代数中的钩子,证明了严格shod代数中的IP路至少存在一个钩子,且至多存在两个连续的钩子.     

最长增加子列长度精确渐近性的一般结果

利用最长增加子列长度的中心极限定理和尾概率不等式及Tracy Wisdom分布的性质, 对相当广泛的一类边界函数和拟权函数, 给出其矩完全收敛性的精确渐近性的一般结果.     

多目标MIN-MAX度最小树问题及其求解

在多目标最小生成树问题和MIN-MAX度最小树问题的基础上,探讨使生成树最大顶点度数以及总权重都尽可能小的另类多目标MIN-MAX度最小生成树问题。分析了这一特殊的顶点度约束与Hamilton路的关联性质,在此基础上设计了先Hamilton路再MIN-MAX度最小树的独特求解方案。根据初始条件不同,当网络图不存在Hamilton路时,引入改进的蚁群优化算法,将转移概率由基本的指数形式改进为线性形式,在不影响求解质量的前提下,提高计算效率。针对以上策略,设计了相应的求解方案,并在计算机上用Delphi编程实现。大量数值算例验证表明,算法能快速有效地求解多目标情形下的MIN-MAX度最小生成树问题。