金沙江中游梯级水电站联合优化调度实践

分析了金沙江中游区域梯级水电站联合调度的特殊性及复杂性,从电调的角度介绍了金中集控中心自成立以来对受控梯级水电站联合调度的具体实施,总结了梯级水电站联合优化调度的措施,并分析了梯级水电站联合优化调度的综合效益,发现优化调度成效明显。     

基于LDRA Testbed的软件静态测试研究与实现

介绍了软件静态测试的基本概念与方法,以及如何利用测试工具LDRA Testbed进行软件静态测试,并对LDRA Testbed的静态测试原理进行了研究。最后结合实例实现了使用LDRA Testbed对C代码进行静态测试,并得到了静态测试质量报告、度量报告。     

短波chirp探测的遗传退火频率分配算法研究

针对短波chirp探测系统的通信网络频率分配问题,建立了合理的干扰模型;利用系统所提供的测量参数,结合基本遗传算法,同时进行模拟退火操作以克服基本遗传算法易陷入局部最优解的不足,并最终趋于全局最优化;仿真结果表明,该算法在寻优性、收敛速度和稳定性等方面都要优于基本遗传算法。     

紧凑型边界扫描技术的功能与现状

芯片一体化进程的加剧以及对功耗控制的关注日益增加,边界扫描技术面临新的挑战,这些挑战来源于调试、应用、测试等方面,紧凑型边界扫描技术对此提出了有效的解决方法;以IEEE1149.7标准以及国内外文献报道为依据,对精简引脚与增强功能边界扫描技术的测试规范进行系统的分析,重点对该技术的新功能、新特性和新应用进行详细介绍;针对符合IEEE1149.1标准的测试系统与被测系统如何升级以实现IEEE1149.7标准新功能的问题提出了相应的建议;最后总结了该技术的发展方向和应用前景。     

基于数据挖掘的复杂装备维修辅助决策研究

文章通过某装备维修信息框架分析,维修数据预处理,然后以维修记录为例,挖掘出了维修件之间关联规则,并采用决策树分类方法对维修件进行了分类,这些规则和分类结果可以为维修计划制定、器材采购、视情维修等方面提供决策依据。     

Supporting inconsistent rules in database systems

When a set of rules generates (conflicting) values for a virtual attribute of some tuple, the system must resolve the inconsistency and decide on a unique value that is assigned to that attribute. In most current systems, the conflict is resolved based on criteria that choose one of the rules in the conflicting set and use the value that it generated. There are several applications, however, where inconsistencies of the above form arise, whose semantics demand a different form of resolution. We propose a general framework for the study of the conflict resolution problem, and suggest a variety of resolution criteria, which collectively subsume all previously known solutions. With several new criteria being introduced, the semantics of several applications are captured more accurately than in the past. We discuss how conflict resolution criteria can be specified at the schema or the rule-module level. Finally, we suggest some implementation techniques based on rule indexing, which allow conflicts to be resolved efficiently at compile time, so that at run time only a single rule is processed.An earlier version of this work appeared under the title Conflict Resolution of Rules Assigning Values to Virtual Attributes inProceedings of the 1989 ACM-Sigmod Conference, Portland, OR, June 1989, pp. 205–214.Partially supported by the National Science Foundation under Grant IRI-9157368 (PYI Award) and by grants from DEC, HP, and AT&T.Partially supported by the National Science Foundation under Grant IRI-9057573 (PYI Award), IBM, DEC, and the University of Maryland Institute for Advanced Computer Studies (UMIACS).     

针对不同平台获取MAC地址的特定方法

文章提出了在不同操作系统以及不同平台上获取MAC地址的方法。以目前比较典型的两种操作系统:UNIX操作系统和WINDOWS操作系统为例,阐述了具体方法,并给出了相应的C/C++语言读取MAC地址的实现程序。     

项目驱动式教学法在计算机基础课程中的应用

项目驱动式教学做为一种新兴的教学模式越来越多的应用于各门学科的教学应用当中。计算机基础这门课程由于其理论知识更新速度快,实践操作要求高的特点,将之与项目驱动式教学法相结合可以起到很好的教学效果。本文将传统教学方法和项目驱动式教学法进行对比,针对当前教学过程中存在的问题提出相应的解决方法。     

基于MYGCC的编程规则检查算法研究

MYGCC是一个编程规则检查工具,其目前的检查算法存在局限性,不能完整地展示违反编程规则的程序路径。本文提出并实现了一种改进的编程规则检查算法,可以弥补上述的局限性。实验表明改进算法是有效的,此改进有助于用户更准确地定位错误位置,方便对编程错误的修正。