落实“一号文件” 坚持科学发展 建湖县“十二五”水利发展思路

素有"水乡明珠"之称的建湖县,县委、县政府高度重视水利建设工作,把水利建设作为改善民生的关键举措来抓。"十一五"是建湖水利超常发展的五年,五年来,全县累计投入2.5亿元,新建闸站工程865座,全县防洪圩区从96个联并为58个,使县境防汛抗灾能力稳步提升,初步建成了较为完备的防洪保安体系;累计投     

潮州供水枢纽发电机有功功率无法增加故障分析与处理

该文主要对灯泡贯流式水轮机组在实际运行过程中发生的故障进行分析、查找原因,结合分析结果和现场实际情况进行处理,并提出了运行中的注意事项.     

求解约束优化问题的一种复合形遗传算法

研究约束优化问题是科学和工程应用领域经常会遇到的一类数学规划问题.现有的约束优化进化算法,通常的解决办法是将等式约束条件转化为成对的不等式约束条件来处理,转换会使得可行域的拓扑结构变化显著,直接影响了算法性能和解的精度.为解决上述问题,提出了一种改进的处理约束优化问题的新算法.新算法将约束优化问题转化为多目标优化问题,把复合形法嵌入到遗传算法中,通过将全局搜索和局部搜索机制有机地结合,利用遗传算法全局性好和复合形法快速高效的特点,以加快最优解的搜索进程.仿真结果表明,方法既有复合形法快速高效的特点,又有遗传算法全局性好的特点.与标准遗传算法相比,方法具有良好的求解约束优化性能和精度效果.     

访问控制模型的改进研究及应用

传统的基于角色访问控制模型无审计功能,易造成权限的滥用。本文提出了一种可审计的控制访问模型RBAC-a,进行了较详细的可行性和实用性分析,并结合一个实际项目阐述了RBAC—a的具体应用。最后在对论文进行总结的基础上,提出了访问控制未来可能的发展方向。     

自行车数显里程表的制作

用干簧管和永久磁铁作为自行车车轮计数传感器：用普通计算器作为处理及里程显示器,制成自行车数显里程表,可以精确地显示自行车每次骑行的实际距离。     

基于VS2008的分组验证功能实现

在ASP.NET 3.5网站开发时,经常会使用表单获取用户的一些信息,为了防止垃圾信息,甚至空信息条目被收集,需要开发人员以编程方式根据实际需求进行验证。探讨基于VS2008的窗体验证,使用属性Validation-Group实现同一个页面的分组验证功能。     

一种检测TAL-freeness的代数方法

时间动作锁(Ti me-Action-Lock,TAL)指的是实时系统处于一种时间无法继续同时又没有任何动作能够发生的状态.Behzad和Kozo在时间自动机的几何学基础上提出了一种针对TAL-freeness的检测方法.但该方法要求必须将需要检测的模型转化为一种逻辑语言Rational Presburger Sentences后才能进行检测,因此使得验证过程比较繁琐.文中提出了一种检测TAL-freeness的代数方法,能够直接对系统模型进行直接验证,并且能够定位死锁原因.针对该方法,文中还给出了相应算法并提供了正确性证明与性能分析.     

RAID控制器中I/O调度算法研究

介绍应用于RAID控制器的I/O调度算法的设计与实现.主要目标是把来自RAID模块针对每个磁盘的具体读写请求按照响应的策略放入对应磁盘的读写I/O队列.然后根据具体请求的优先级和读写特性,对响应请求在队列中的次序进行调整或者对前后项进行合并,实现I/O请求的调度策略.     

基于邻近度的结构化P2P路由算法研究

在P-Grid路由算法的基础上,采用邻近度路由技术,设计一种新的分布式结构化P2P路由算法,该算法对P-Grid的路由表构建和维护进行了改进,在路由表构造时,选择距离自己较近的节点作为邻居节点,以使overhv网络拓扑尽可能反映其在底层的物理网络拓扑,使得访问节点能够高效地找到在底层网络中距离自己最近的访问对象,减少定位延迟,最终提高构建在P2P overlay之上的应用的性能.     

对等网络环境下基于层次域的信任模型研究

信任模型是目前提高Peer-to-Peer网络系统安全性的一个重要方法.在分析各类信任模型[1]的特点和节点行为特征的基础上,提出了一种基于层次域的全局信任模型,采用邻近原则和信任度[2]划分节点域,并在此基础上加入了奖惩机制,具有较好的信任收敛度和对恶意行为的防范效果.