S广义ω－凸语言

本文通过在Σω上定义半序关系“≤ωｓ，引进了Ｓ广义ω－左凸语言、Ｓ广义ω－右凸语言和Ｓ厂义ω－凸语言的概念，并给出了各类Ｓ广义ω－凸语言与其前缀语言之间的关系；还给出了各类Ｓ厂义ω－凸语言族对布尔运算的封闭性以及各类Ｓ广义ω－凸语言的充分必要条件。     

关于交替的ω─有穷自动机的接受条件

到目前为止，交替的ω－有穷自动机的接受条件仅有６种，本文给出了６种新形式的接受条件，并研究了交替的ω－有穷自动机在这些条件下识别语言的能力．最后给出了ω－自动机在各种接受条件下识别的语言类．     

论高职示范院校跨越式发展与文化软实力打造——昆明冶专示范建设的启示与思考

我国高等职业教育的迅猛发展凸显高职教育的魅力,全国百所示范性建设院校的引领发展为高职教育探索了积极、有效的建设途径。在基本实现跨越式发展的同时,就如何面对激烈的社会竞争,彰显自身软实力,实现科学发展,以昆明冶专的示范建设为例进行探讨。     

PIM-SM注册报文发送的分布式实现

针对指定路由器向汇聚点路由器注册过程中,主控生成报文数量过多对路由器造成负担太大的问题,提出分布式注册报文发送的实现方案,其主要包括理论分析与仿真测试。结果证明该方法减轻了主控的处理负担,缩短了数据包在路由器里的平均处理时间,减少了主控与底层信息交互的次数。     

基于Tapestry系统的DDoS攻击研究

P2P网络有着容易发生DDoS攻击的天然劣势,Tapestry系统中攻击者可以利用热点监控器和资源定位指针列表及邻居映射表的软状态维护机制在覆盖层发起DDoS攻击.认证技术可以有效地识别出攻击者伪造的消息,避免资源定位指针列表和邻居映射表受到污染,从而预防了DDoS攻击的发生.     

CPU与GPU并行计算的火焰模拟

采用基于粒子插值的SPH方法对火焰流体进行模拟,用GPU加速粒子状态地计算,同时用CPU并行地计算粒子邻接关系并控制粒子产生速率。在SPH模型中,较为高效地加入了漩涡场的计算,增加了粒子运动的细节。在粒子渲染过程中,采用了色度场、有向点扩散和颜色锐化技术,由离散的粒子空间分布得到了较为理想的连续火焰图像。由于该方法属于流体模拟的拉格朗日法,所以火焰具有物理真实性,又由于采用GPU为主CPU为辅的计算架构,使得模拟达到了实时。     

非结构化P2P网络中基于连接度的分段搜索策略

洪泛机制由于其简单性而被广泛应用于目前的非结构化P2P文件共享系统中,尽管它在内容搜索方面有很高的效率,但同时产生了大量的冗余消息,严重制约了网络的可扩展性。现有的改进搜索策略虽然减少了冗余消息的数量,但也明显降低了消息的覆盖范围。为了能够在保持高覆盖范围的前提下减少冗余消息的数量,提出了一种新的基于连接度的分段搜索策略DSearch。DSearch把搜索过程分为两个阶段,各个阶段中使用函数来控制消息转发的数量,然后依据邻居节点的连接度大小来选择消息的转发对象。分析和实验结果表明,DSearch能够提供较低负载的查询,高效地应用于P2P搜索。     

绕组结构排列方式对单机24脉波整流变压器阻抗的影响

<正>1引言24脉波整流变压器广泛应用于轨道交通等直流电源中,它由两台变压器组成,变压器高、低压绕组均为轴向双分裂,高压侧一台移相+7.5°,另一台移相-7.5°。每台变压器低压一组为y接,另一组为d接,与四组整流器一起组成等效24脉波整流系统,是一种非常成熟的产品。     

基于随机性和文件块相似性的结点选择策略

为了提高对等网文件共享系统的服务性能,增强文件共享过程的延续性,通过对比分析目前典型的P2P网络应用BitTorrent和基于临近节点聚类的Bit Torrent文件共享系统中的邻居节点选择策略的优点和不足,提出了一个优化的邻居结点选择策略,服务器tracker为结点优先选择与其具有相近文件块数的结点作为其邻居结点的同时,采用基于随机性的策略来提高文件共享过程的延续性.最后,模拟实验结果表明,该策略提高了共享系统的延续性和服务性能,具有很好的文件共享效率,有效地抑制了"搭便车行为".     

面向对象软件测试探讨

面向对象软件测试是面向对象软件开发的不可缺少的一环，是保证软件质量，提高软件可靠性的关键。但目前的研究现状与面向对象的分析，设计技术以及程序设计语言的琛上比尚显薄弱，本文在分析面向对象程序设计语言对软件测试影响的基础上，讨论了面向对象软件测试的测试策略及测试技术。