有向拓扑图下基于脉冲协议的离散非线性多智能体系统一致性简

本文就有向拓扑图下基于脉冲控制的离散非线性多智能体系统一致性问题进行了研究.首先给出了一定的数学准备并将该一致性问题转化为了一个误差系统的稳定性问题.根据递推方法,得出了保证该多智能体系统收敛的充分条件.该条件揭示了在脉冲协议下,控制增益、脉冲间隔以及有向拓扑图结构之间的复杂关系.     

Approaches to Improving Consistency of Interval Fuzzy Preference Relations

This article introduces a consistency index for measuring the consistency level of an interval fuzzy preference relation（IFPR）.An approach is then proposed to construct an additive consistent IFPR from a given inconsistent IFPR.By using a weighted averaging method combining the original IFPR and the constructed consistent IFPR,a formula is put forward to repair an inconsistent IFPR to generate an IFPR with acceptable consistency.An iterative algorithm is subsequently developed to rectify an inconsistent IFPR and derive one with acceptable consistency and weak transitivity.The proposed approaches can not only improve consistency of IFPRs but also preserve the initial interval uncertainty information as much as possible.Numerical examples are presented to illustrate how to apply the proposed approaches.     

基于函数调用路径的软件实现与设计一致性验证

软件系统开发完成后,验证其是否完成了软件设计说明书的所有功能并且与设计算法一致,是软件测试的一项重要工作.通过人工遍历分析源代码来完成实现与设计的一致性验证是复杂费力的,并且需要测试人员具备丰富的编程经验和较强的算法分析能力.论文提出了一种基于函数调用路径的软件实现自动验证方法.从设计文档和源代码两个方面出发,分别分析其函数调用关系,提取函数调用路径,生成功能簇模型.其中文档方面通过人工理解设计文档,确定函数调用关系,然后自动生成标准功能簇模型;源代码方面通过静态分析,自动获取函数调用关系,提取功能点特征,利用这些特征提取功能点的具体实现算法,自动生成软件的实际功能簇模型.对比两个功能簇模型,验证软件实现与设计的一致性.实验结果表明：算法能够准确获得软件系统的功能结构及实现算法特征,对软件实现与设计的一致性做出有效判定,为软件实现与设计的一致性自动化测试提出一种新的思路.     

基于内容相关的条件函数依赖的一致性清洗方法

基于条件函数依赖提出了一种内容相关的条件函数依赖,并给出基于内容相关的条件函数依赖的一致性清洗方法.通过分析条件函数依赖之间的关系,将相关联的条件函数依赖合并组成内容相关的条件函数依赖.内容相关的条件函数依赖可以检测多条件值下的数据一致性问题并提供可用于一致性修复的参考值.同时,提出了一种一致性修复的代价模型.模型参考内容相关的条件函数依赖对应元组的实际情况进行修复,实现代价最优,同时保证数据一致性.通过在两组真实数据集上进行试验测试,证明提出的基于内容相关的条件函数依赖的一致性清洗方法能够准确地检测数据的一致性问题并加以修复.     

牛仔布裁片的自动分片装置设计

针对牛仔布裁片扫粉工艺中裁片分片的自动化问题,设计了一种表面装有若干数量滚针的滚筒卷起布片以实现裁片的自动分片.分析了滚针结构参数对分片效果的影响,借助Pro-e和Auto CAD建立了裁片自动分片装置的结构模型,并通过可编程控制器和光电传感器实现了各机构间的控制与联动.理论分析与实验研究均表明,本方案设计的牛仔布裁片自动分片装置具有工作重复性好、分片成功率高等优点,可显著提高生产效率和产品质量的一致性.     

使用SVM和二叉树结构的分片线性分类器

提出了一种支持向量机(support vector machine,SVM)和二叉树结构相结合的分片线性分类模型。在每一节点,使用带软间隔的线性SVM计算分类超平面,并统计局部错误率。如果局部错误率在预先设定的阈值之下,则构造可进行最终决策的叶子节点;否则,进行非叶子节点的递归构造。对比实验表明,该分类器具有一定的有效性,优于一些原有分片线性分类器,在部分数据集上甚至能够达到RBF核SVM的水平。     

封面说明

正太阳光球层的米粒组织是太阳对流层中等离子体对流运动所产生的一种现象.米粒组织的中心区域是上升的热等离子体,而边缘则是下降的冷等离子体.这导致它们在太阳光球层上呈现颗粒或元胞状,它们表征的是太阳能量从亚光球层到光球层的转换过程.研究太阳黑子周围米粒组织形态特征能帮助我们更好地理解太阳黑子形成过程中这种能量的转     

Elastic pointer directory organization for scalable shared memory multiprocessors

In the field of supercomputing, one key issue for scal-able shared-memory multiprocessors is the design of the directory which denotes the sharing state for a cache block. A good direc-tory design intends to achieve three key attributes： reasonable memory overhead, sharer position precision and implementation complexity. However, researchers often face the problem that gain-ing one attribute may result in losing another. The paper proposes an elastic pointer directory （EPD） structure based on the analysis of shared-memory applications, taking the fact that the number of sharers for each directory entry is typical y smal . Analysis re-sults show that for 4 096 nodes, the ratio of memory overhead to the ful-map directory is 2.7%. Theoretical analysis and cycle-accurate execution-driven simulations on a 16 and 64-node cache coherence non uniform memory access （CC-NUMA） multiproces-sor show that the corresponding pointer overflow probability is reduced significantly. The performance is observed to be better than that of a limited pointers directory and almost identical to the ful-map directory, except for the slight implementation complex-ity. Using the directory cache to explore directory access locality is also studied. The experimental result shows that this is a promis-ing approach to be used in the state-of-the-art high performance computing domain.     

基于生成图的体系结构动态行为语义一致性验证方法

针对体系结构动态行为的语义一致性验证问题,提出了基于生成图的验证方法. 首先根据体系结构的动态行为模型构建生成图,然后对生成图的逻辑结构和时间信息进行分析,来完成动态行为模型的逻辑关系和时序关系一致性验证. 该方法不但能够有效解决动态行为的语义一致性验证问题,而且还能准确定位模型中出现问题的地方,指导用户进行模型不一致处理和优化动态模型. 同时,生成图可供多个模型间的动态行为一致性验证,实用性更强,且在可理解性、可分析性等方面上相比传统方法具有较大改善.     

具有3个社团结构及相等的自身作用可能性的种群系统的完整分类及其一致性问题

王龙等人提出了一个包含社团结构的发展复制方程并研究了其一致性问题.他们给出了具有两个社团结构的种群系统的完整分类并且得出了系统达到一致共存状态的充要条件.作者给出了具有3个社团结构及相等的自身作用可能性的种群系统的完整分类和一致性问题.找到了自身作用可能性的两个分支值,当自身作用可能性小于第一个分支值时,渐进系统具有与无社团结构的系统相同的动力学性质.对于鹰鸽运动和协调运动,自身作用可能性越大,系统的动力学性态就越多样.