主动数据库规则集的Petri网建模

讨论了利用Petri网作为建模工具对主动数据库中ECA规则集的建模问题.建立了存储ECA规则状态的Pelri网子网结构,用此子网可构造出单奈规则的Petri网结构,再由单条规则的Petri网构造整个规则集的Petri网模型.结果表明,用Petri网建模能准确地表达主动数据库规则集的语义,并且有利于进一步分析规则集的动态行为特征.     

C语言程序设计教学探索

指出课堂理论讲授效果不理想,学生实践编程能力差的现状,提出在C语言程序设计课程中对理论教学和实践教学进行改革。建议运用建构主义理论,淡化语法规则,强调基本算法,科学安排教学内容的层次结构及算法实例,将在线裁判系统运用于实践教学,革新程序设计课的教学手段和方法,会取得良好的教学效果。     

健身资源在线平台设计与实现

健身资源在线平台的实现整合了各类健身资源.其中包含了普通游客系统,健身场所商家系统以及后台管理三个子系统.平台采用B/S开发模式,Java Web开发技术以及MySQL数据库来实现,能基本满足用户寻找健身资源及商家推广健身场所的要求.     

大规模事务处理系统中服务对象监测的实现

针对在大规事务处理系统中对冗余服务对象的有效性和运行状态的监测要求,为提高该系统中服务对象监测的效率,利用通用对象请求代理框架提供的请求级截获器技术,实现了系统对象检测.通过选择适当的截获点,构建了实现服务对象监测所需的类、接口和相关操作,并确立了详细的对象状态监测与分析操作流程.当截获器截获到请求时,使用了推模式将信息传递到对象服务代理.在实验系统中的运行结果表明,本设计能实现对系统中服务对象的高效监测,能保证大规模事务处理系统的高可用性和服务质量.     

Windows Hooks中录制与回放钩子的运行机制剖析

文章深入地分析了WH_OURNALRECORD、WH_OURNALPLAYBACK这两种钩子的各种特性和运行机制，给出了执行过程中详细的流程图，示范了如何正确使用这两种钩子完成自动录制和回放键盘／鼠标消息的功能。     

启发式QoS路由选择算法的实现与仿真

利用启发式搜索的思想,提出了一种改进的启发式路由算法,它适用于端到端QoS路由选择.在该算法中,首先将包丢失率条件转化可加性条件,将QoS路由约束中的延时,延时抖动、包丢失率单独考虑,分别计算单条件下当前结点到目的结点的最小值.再利用当前结点的这些单条件最小值作为主要启发信息,把到当前结点已花的费用和到目的结点的将付出最少费用之和大于已知路径的费用也作为一个剪枝条件,以提高搜索效率.描述了算法的实现,并给出了用网络模型仿真的试验结果.     

运用二进制思想解决火柴棒等式问题

二进制有其广泛的实际运用的能力,但是要用好二进制不仅需要我们合理的使用算法,还要求我们学会使用数学的思维来解决相关问题。在火柴棒等式的问题中合理利用二进制的方法解决问题能达到事半功倍的效果。     

BBP算法的多核多线程并行运算时间比较

随着计算机技术的发展,多核计算机已经普及,并行计算已经运用到现实生活中.本文在多核计算机上利用Java对不同线程数量下的BBP算法的运行时间进行分析,得出在现实运用中线程的数量与运行时间不是简单的反比关系,还受很多因素影响.     

基于CORBA的大规模事务处理系统失效检测机制的实现

为了更好地管理大规模事务处理系统,对基于CORBAR的监测系统中失效检测机制的XML实现进行了研究。设计了主从式失效检测器,实现了服务对象失效检测、应用服务器失效检测、数据库失效检测。实际的运行表明这些机制运行良好,为系统监测提供了有效的手段。     

高校体育选课管理中合班算法的高效实现

高校公共体育课教务管理系统中,在学生网上在线选课后,需要根据一定的策略合并某些专项班,如何确定满足特定策略的合并方案是整个合班问题的核心.根据高校教务管理的实际,要求优先合并到同类型的专项班、合班过程满足性别限制、尽量少撤班、合班后人数尽量保持均衡.结合该合班策略,在通常简单算法的基础上建立数学模型,得到改进后的高效算法.改进后的算法能将多次调整操作合并从而减少重复计算的次数.该算法效率分析结果表明,它具有线性时间复杂度.该算法在湖南农业大学体育教务管理系统中的实际应用表明该算法是可行的,有效的.