搜索引擎系统：UML/OCL模型驱动开发

介绍一个搜索引擎系统的开发。运用UML用例图做系统的需求分析,运用UML类图、状态图、包图进行系统设计。以OCL表达式丰富状态图。使用C#语言和ASP.NET编程,SQL Server存储信息,系统运行在微软.NET环境上。遵循面向对象方法,如逐步求精和模块化,建立UML/OCL模型、组织程序,将系统逐层分解成具有特定功能的模块。系统由收集器、索引器、检索器三大部分组成,分别负责数据收集、数据分析和索引构建、用户检索接口。论文报告系统分析、设计和实现的思想和过程。     

符号执行中高语句覆盖率的路径调度

符号执行和约束求解相结合的软件测试方法采用深度优先搜索的路径调度算法会造成测试路径聚居性问题,实际软件中存在路径爆炸,使得采用该算法的测试语句覆盖率低下。提出一种新的PSHC路径调度算法。先将路径分为前缀和后缀两部分,每次测试总是试图寻找这样的路径,该路径与已存在的路径具有最短的相同前缀,并且包含尽可能多的尚未被访问过的基本块作为其后缀。基于Phoenix漏洞发掘工具的实验结果表明,PSHC算法可以迅速提高测试的语句覆盖率到100%,有效解决由于深度优先搜索的路径聚居性导致的测试代码的局部性问题,PSHC算法产生的路径数与循环深度无关,软件规模越大,该算法的表现越好。     

技能点组合分布的技能操作题库组卷研究①

根据技能组卷特点提出围绕技能点构建组卷约束模型,使用组合分布策略实现技能题库自动组卷。设计了技能点组卷矩阵约束模型,重点探讨组合分布组卷策略实现的三个关键环节：参数验证优化、技能点组合方案生成和技能试卷生成。通过实例验证表明：使用该方法实现技能题库组卷完全满足技能点组卷矩阵约束条件,具有组卷方法简便、组卷效率高、试卷质量优的特点,非常适合技能题库的组卷应用。     

使用Active DataGuard实现Oracle读写分离

随着企业的不断扩张、信息的迅速增长,企业需要存储、提供越来越多的数据。随着一个网站的业务不断扩展,数据不断增加,数据库的压力也会越来越大,大量的访问用户的短期内的大量并发操作一直是难以解决的问题。传统的数据可模式是读写在一起,由一个库完成,这里可以是单点库,也可以是RAC等集群库,但是即使是集群,也不能解决并发过多而造成的数据库压力。各大交易网站采用的方法是：读写分离。     

浅析SQL SERVER 2005数据完整性技术控制与实现

SQL Server 2005是微软公司开发的大型关系数据库管理系统,为保证数据库数据完整性提供了重要技术,本文章主要从完整性约束、触发器两个技术阐述数据库系统中数据完整性控制和实现。     

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

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

通天塔的基石

据说,古时候天下的人都说同一种语言,后来,人们组织了一支前所未有的庞大建筑队,准备建一座塔顶直达天庭的高塔,以显示人们的力量和团结。     

一种改进性能自适应ICA算法研究

研究高动态环境必须实时自适应追踪混合矩阵的变化,快速浮点独立成分分析(Fast-ICA)算法,可以达到快速收敛.依据梯度在线学习算法性能更好,但是它的缺点是收敛慢,并且依赖适当的收敛算子的选择.为解决上述问题,提出了一种依据梯度优化块自适应ICA算法(GBOBA/ICA),包含Fast-ICA和依据梯度在线学习两种算法...     

基于非线性有约束最优化的路径规划研究

研究采用智能的方法来进行路径规划,通常作为一类优化组合问题来解决.因此,提出一种非线性有约束最优化问题的路径规划新方法.在静态环境中,把障碍物图形化处理后,应用线性规划思想,每个搜索点以目标点为导向寻找最优路径.仿真结果表明,改进方法能够快速准确的找到一条可行的最短路径.     

计算机仿真应用于石油组分切割的方法与理论

石油的复杂性导致其组分的不确定性,而石油组分的切割是进行石油化工流程模拟的基础.结合在完成某化工厂柴油加氢动态仿真过程中进行的石油组分切割实例,介绍了组分切割的具体步骤,并针对现实工厂中提供的不同数据总结了石油组分确定的方案,最后提出了石油组分确定的理论-非线性的数据校正技术.