Experience-consistent modeling: Regression and classification problems

In this study, we are concerned with system modeling which involves limited data and reconciles the developed model with some previously acquired domain knowledge being captured in the format of already constructed models. Each of these previously available models was formed on a basis of extensive data sets which are not available for the current identification pursuits. To emphasize the nature of modeling being guided by the reconciliation mechanisms, we refer to this mode of identification as experience-consistent modeling. The paper presents the conceptual and algorithmic framework by focusing on regression models. By forming a certain extended form of the performance index, it is shown that the domain knowledge captured by regression models can play a similar role as a regularization component used quite commonly in system identification. Experimental results involve both synthetic low-dimensional data and selected data coming from Machine Learning repository. The data used in the experiments tackle regression models as well as classification problems (two-class classifiers).     

群决策中多形式偏好信息的转换及一致性分析

描述序关系、效用值、互补判断矩阵、互逆判断矩阵4种形式的偏好信息,给出将前3种偏好信息转换到互补判断矩阵的公式。在集结前,对转换后的互补判断矩阵进行一致性分析,如果没有达到规定的一致性指标,找出该矩阵中一致性最差的元素,并提交给其决策者进行调整,直到达到一致性指标。通过一个算例说明该方法的应用过程。     

基于选择判据与贴近度的电网故障诊断算法

针对传统D-S 证据理论难以解决高度冲突证据融合问题, 提出一种新的证据合成算法. 将贴近度概念引入D-S 证据合成中, 通过证据的一致性度量计算其权重, 实现冲突证据的加权融合. 提出证据合成方法选择判据, 将证据合成分为冲突和非冲突2 类, 分别采用改进算法和传统算法对证据进行融合. 实例验证表明, 所提出的方法信息聚焦性能优越, 可以有效解决冲突证据合成问题, 在解决电力系统故障诊断问题方面有良好的效果.

     

代码/需求行为差异检测

为解决软件开发后期（维护/演化）程序代码与需求模型不一致的问题,本文面向逆向需求工程,重点研究检测变更代码与原始需求模型之间行为差异的算法：首先沿用模型/代码转换技术,分析模型/代码比较原理,设计比早期连续型单向串行检测算法快2N倍（N为路径数）的离散型双向并行检测算法。然后采用该算法开发图形化需求/代码比较工具RCCT,并将其集成进综合需求建模系统（RMTS）,使动画建模、特性检测、模型转换、需求/代码差异检测等功能融为一体。最后,通过电子转账案例演示该工具的使用方法,并编写测试程序证明离散型双向并行算法不但比原始算法高效,而且更加可靠。     

A consensus model for hesitant fuzzy preference relations and its application in water allocation management

This paper investigates a consensus model for hesitant fuzzy preference relations (HFPRs). First, we present a revised definition of HFPRs, in which the values are not ordered for the hesitant fuzzy element. Second, we propose an additive consistency based estimation measure to normalize the HFPRs, based on which, a consensus model is developed. Here, two feedback mechanisms are proposed, namely, interactive mechanism and automatic mechanism, to obtain a solution with desired consistency and consensus levels. In the interactive mechanism, the experts are suggested to give their new preference values in a specific range. If the experts are unwilling to offer their updated preferences, the automatic mechanism could be adopted to carry out the consensus process. Induced ordered weighted averaging (IOWA) operator is used to aggregate the individual HFPRs into a collective one. A score HFPR is proposed for collective HFPR, and then the quantifier-guided dominance degrees of alternatives by using an OWA operator are obtained to rank the alternatives. Finally, both a case of study for water allocation management in Jiangxi Province of China and a comparison with the existing approaches are carried out to show the advantages of the proposed method.     

大坡降复合式水平旋流内消能泄洪洞阻塞扩散段试验研究

以两河口水电站3#导流洞改建为复合式大坡降水平旋流内消能泄洪洞为例,对大坡降水平旋流洞末端和导流洞之间的衔接方式进行了试验研究。提出了阻塞渐扩和阻塞突扩两种不同的衔接方式,并对两种旋流扩散体型局部流态及壁面压强、断面掺气浓度、旋流扩散轨迹等水力特性进行了量测与分析,得到各体型旋流扩散段流态及各项水力特性随上游水位变化的基本规律。     

Dynamic consistency in process algebra: From Paradigm to ACP

The coordination modelling language Paradigm addresses collaboration between components in terms of dynamic constraints. Within a Paradigm model, component dynamics are consistently specified at various levels of abstraction. The operational semantics of Paradigm is given. For a large, general subclass of Paradigm models a translation into process algebra is provided. Once expressed in process algebra, relying on a correctness result, Paradigm models are amenable to process algebraic reasoning and to verification via the mCRL2 toolset. Examples of a scheduling problem illustrate the approach.     

区间互补判断矩阵可接受一致性

对区间互补判断矩阵的一致性进行研究,提出一种新的可接受一致性定义,将不满足可接受一致性的矩阵较容易地修正为可接受一致性矩阵.基于凸组合方法,一族明晰数互补判断矩阵的权重向量可被用来求取可接受一致性区间互补判断矩阵的区间权重,并提出了求取可接受一致性区间互补判断矩阵区间权重向量的算法.数值例子显示了所提出的可接受一致性定义以及算法的可行性和有效性.     

软件体系结构动态演化的条件超图文法及分析

针对目前.软件体系结构动态演化描述方法的不足,提出用约束超图表示软件体系结构,用左右应用条件刻画软件体系结构动态演化的前断言和后断言,用条件超图文法建模软件体系结构动态演化过程.通过案例分析,讨论了如何构建条件超图文法并应用于软件体系结构动态演化.在此基础上,建立软件体系结构动态演化的一致性条件定义,给出动态演化的一致性判定方法.最后,设计实验进行分析,验证了方法的有效性.     

基于几何相交测试的机器人路径规划算法

针对机器人路径规划问题,提出一种基于几何相交测试的路径规划方法.该方法首先搜索位于当前路径点到目标点连线上的首障碍栅格;然后结合贪婪法、回溯法和邻域搜索策略从障碍栅格邻域搜索下一个路径栅格;接着从新的路径点出发迭代搜索后续的路径点,从而确定从起点到目标点的路径;最后对得到的最好路径进行路径点合并以提高路线的连贯性.实验结果表明,新方法规划的路径性能优于其他同类算法,路径呈现出更好的连续性,规划时间能满足实际应用的要求.