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

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

Formal modelling of organisational goals based on performance indicators

Every organisation exists or is created for the achievement of one or more goals. To ensure continued success, the organisation should monitor its performance with respect to the formulated goals. In practice the performance of an organisation is often evaluated by estimating its performance indicators. In most existing approaches for organisation modelling the relation between performance indicators and goals remains implicit. This paper proposes a formal framework for modelling goals based on performance indicators and defines mechanisms for establishing goal satisfaction, which enable evaluation of organisational performance. Methodological and analysis issues related to goals are also discussed in the paper. The described framework is a part of a general framework for organisation modelling and analysis.     

三角片离散法实现数控铣床加工仿真

三角片离散法是根据三轴数控铣床加工中的特点提出的加工仿真方法。文中结合笔者在微机上制作仿真软件的经验,使用三角片离散法实现数控铣床加工仿真;并详细地介绍了三角片离散法的原理、简化模型、计算方法以及提高效率的途径。该方法简单易行,而且有很好的真实感效果。     

Livelocks in parallel programs

This paper is the second of a two-part series exploring the subtle correctness criterion of the absence of livelocks in parallel programs. In this paper we are concerned with the issue of proving this correctness criterion. It is shown that livelocks are not preserved by reduction, implying that reduction cannot be used directly in proving the absence of livelocks. Two applicable proof techniques are also presented. One is based on the notion of establishing sufficient conditions for livelock-freedom; the other is an extension of the well-founded set method for proving termination in sequential programs.     

ASIC验证技术

描述ＡＳＩＣ验证方法和过程，有助于ＡＳＩＣ设计者对验证的认识。模拟是验证ＡＳＩＣ并产生测试矢量的唯一途径，设计者可以对ＡＳＩＣ芯片或者在ＡＳＩＣ应用系统中进行功能和时序模拟。     

语言判断矩阵满意一致性的判定方法

研究语言判断矩阵的满意一致性问题．在给出语言判断矩阵及其满意一致性有关概念的基础上，提出一种关于具有严格偏好关系的语言判断矩阵满意一致性的判定方法．依据所给出的判定方法，可相应地得出关于语言判断矩阵的方案优劣的排序方法．最后通过两个算例说明了所给出方法的有效性。     

基于GMM统计特性参数和SVM的话者确认

针对与文本无关的话者确认中大量训练样本数据的情况，本文提出了一种基于GMM统计特性参数和支持向量机的与文本无关的话者确认系统，以说话人的GMM统计特性参数作为特征参数训练建立目标话者的SVM模型，既有效地提取了话者特征信息，解决了大样本数据下的SVM训练问题，又结合了统计模型鲁棒性好和辨别模型分辨力好的优点，提高了确认系统的确认性能及鲁棒性。对微软麦克风语音数据库和NIST’01手机电话语音数据库的实验表明该方法的有效性。     

智能卡话者确认系统的研究

介绍了一个将参考模板存放在智能卡上的与相关的话者确认系统及其工作原理、相关算法和参数设置。     

水泥行业温室气体重点排放单位碳核查要点分析

水泥行业是排放二氧化碳的重点行业之一,其碳排放量约占全国总碳排放量的10%。碳排放核查是排放二氧化碳量化的重要工具,明确水泥行业重点排放单位碳核查要点,可以提高水泥行业二氧化碳核查质量,推动水泥行业在双碳目标下高效前进。     

A novel intelligent verification platform based on a structured analysis model

An intelligent verification platform based on a structured analysis model is presented.Using an abstract model mechanism with specific signal interfaces for user callback,the unified structured analysis data,shared by the electronic system level design,functional verification,and performance evaluation,enables efficient management review,auto-generation of code,and modeling in the transaction level.We introduce the class tree,flow parameter diagram,structured flow chart,and event-driven finite state machine as structured analysis models.As a sand table to carry maps from different perspectives and levels via an engine,this highly reusable platform provides the mapping topology to search for unintended consequences and the graph theory for comprehensive coverage and smart test cases.Experimental results show that the engine generates efficient test sequences,with a sharp increase in coverage for the same vector count compared with a random test.