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

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

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

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

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).     

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

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

基于规则引擎的电子采购逆向竞拍的研究

近年来规则引擎技术已广泛应用于金融、电子商务及制造业等领域。当前大型企业的采购方式越来越多样化,传统采购系统所采用的逆向竞拍方案已不能满足现有需求。本文研究了规则引擎技术在企业电子采购系统中的应用,以将程序代码和业务规则分离开来。企业可以按照不同采购需求个性化配置采购规则,规则引擎控制整个拍卖过程,拍卖结束后系统再利用规则引擎自动对报价进行评分,帮助企业选择最优供应商,使其在采购过程中降低成本,提高采购效率。     

基于信息元的教学资源组织系统设计与实现 *

以文本类型教学资源为研究对象,在领域知识可拓信息网模型和CELTS-3的基础上,阐述了基于信息元的教学资源组织系统设计与实现过程,包括信息特征元数据描述框架、特征词获取、信息元距离度量、信息元匹配规则以及匹配算法等.该系统通过有限的信息元描述无限的资源,实现了教学资源的高效组织,支持学习过程中资源自动重组.     

基于量化规则格的关联规则渐进更新*

提出一种基于量化规则格的规则更新算法,重点讨论了在新增格节点的过程中规则更新的思想,实现在格的渐增生成过程中,相应的关联规则也得到渐进更新.最后给出简单实例说明规则更新算法的正确性.     

论儒家"差等观"及其对中国法治的影响

作为中国各种哲学渊源中影响最大的儒家思想,其“差等观”深刻地体现于家庭（族）生活、社会生活、政治和法律生活等方面的理论当中,对中国古代的法思想影响至深.在当代中国的法治建设进程中,应当对传统的“差等观”加以扬弃改造,批判继承,在全社会树立现代的、注入自由平等观的“差等观”.     

区域生态水利经济系统的初步探讨

根据生态经济学理论、 生态水利研究和区域水资源合理配置理论, 运用系统分析的方法, 结合我国区域生态水 利经济系统研究现状, 在分析区域生态水利经济系统的基本理念的基础上, 探讨了区域生态水利经济系统的组成要 素, 研究了区域生态水利经济系统的发展变化规律。以期为区域经济社会新的发展模式的建立提供理论基础和思 路, 对推动我国自然环境的保护和经济社会的发展起到一定的作用。     

Smart pricing scheme: A multi-layered scoring rule application

Defining appropriate pricing strategy for smart environment is important and complex task at the same time. It holds the primal fraction in Demand Response (DR) program. In our work, we devise an incentive based smart dynamic pricing scheme for consumers facilitating a multi-layered scoring rule. The proposed strategy characterizes both incentive based DR and price based DR programs facilities. This mechanism is applied between consumer agents (CA) to electricity provider agent (EP) and EP to Generation Company (GENCO). Based on the Continuous Ranked Probability Score (CRPS), a hierarchical scoring system is formed among these entities, CA–EP–GENCO. As CA receives the dynamic day-ahead pricing signal from EP, it will schedule the household appliances to lower price period and report the prediction in a form of a probability distribution function to EP. EP, in similar way reports the aggregated demand prediction to GENCO. Finally, GENCO computes the base discount after running a cost-optimization problem. GENCO will reward EP with a fraction of discount based on their prediction accuracy. EP will do the same to CA based on how truthful they were reporting their intentions on device scheduling. The method is tested on real data provided by Ontario Power Company and we show that this scheme is capable to reduce energy consumption and consumers’ payment.