一种基于语言评价信息的多指标群决策方法

针对一类带有自然语言评价信息的多指标群决策问题，给出一种新的群集结和方案优选方法。首先采用近年来最新发展的LWD算子和LOWA算子直接集结每个决策者给出的自然语言评价信息，以得到群的方案评价值，然后根据语言短语集的自身顺序进行方案优选。利用该方法不仅可以确定最优方案，而且还可得到群决策结果的可信程度。最后给出了一个算例。     

THE COMPOSABILITY PROBLEM OF THE SEMANTICS OF XYZ/BE-COMMUNICATING PROCESSES

1.IntroductionAwell-knownproblemfortheverificationandtheconstructionofconcurrentprogramsisthatspecificationthatwouldbesatisfiedbyagivenprocessviewedinisolationmightbeinvalidatedbyactionsperformedbyotherprocessesexecutinginparallellll.Arigorousmodularspecificationmethodrequiresaproofruleassertingthatifeachcomponentbehavescorrectlyinisolation,thenitbehavescorrectlyinconcertwithothercomponents[2].Thecomposabilityproblemwhetheraparpllelcompositionprocesscontinuestohavethepropertiesofitscompone…     

Consensus intuitionistic fuzzy group decision-making method for aircraft cockpit display and control system evaluation

A novel group decision-making (GDM) method based on intuitionistic fuzzy sets (IFSs) is developed to evaluate the ergonomics of aircraft cockpit display and control system (ACDCS). The GDM process with four steps is discussed. Firstly, approaches are proposed to transform four types of common judgement representations into a unified expression by the form of the IFS, and the features of unifications are analyzed. Then, the aggregation operator called the IFSs weighted averaging (IFSWA) operator is taken to synthesize decision-makers’ (DMs’) preferences by the form of the IFS. In this operator, the DM’s reliability weights factors are determined based on the distance measure between their preferences. Finally, an improved score function is used to rank alternatives and to get the best one. An illustrative example proves the proposed method is effective to valuate the ergonomics of the ACDCS.     

汉语自动分词的研究现状与困难

汉语自动分词是信息提取、信息检索、机器翻译、文本分类、自动文摘、语音识别、文本语音转换、自然语言理解等中文信息处理领域的基础研究课题。尽管已被研究了二十多年，分词仍然是中文信息处理的瓶颈问题。基于对汉语自动分词研究的现状分析，构建了自动分词的形式化模型，论述了影响分词的诸多因素，分析了分词中存在的两个最大困难及其解决方法。最后指出了目前分词研究中尤其是在分词评测方面存在的问题以及未来的研究工作。     

防空火力分配对攻击机损失的影响分析

针对编队对地攻击过程中攻击机损失量的计算问题,提出了防空火力不同分配方式下攻击损失的计算方法。该方法利用攻击机和防空火力单元数以及防空火力单元对攻击机的损失概率,在防空火力平均分配和非平均分配情况下计算攻击机的损失量,通过实例对该方法的应用进行了详细说明,并对各种条件下攻击机的损失量进行了比较分析。从理论上证明了防空火力对攻击机平均分配时,攻击机的损失最大     

基于矢量空间的群体聚类方法研究

通过对群体成员的思维模式进行分析,基于矢量空间提出了群体中任意两个成员偏好矢量相关性度量的一般范数以及基于该矢量相关度的启发式算法,通过执行该使算法使群体中的成员形成若干个不同的聚集。在此基础上,定义并计算群体中各个聚集的偏好和整个群体的偏好,定义并计算群体中各个聚集的一致性指标和整个群体的一致性指标,为群体决策提供依据。最后通过一个实例对算法和一致性指标等进行验证。     

基于CPN的智能合约交易顺序依赖漏洞的验证

智能合约的形式化验证工作主要集中在编程语言层面的漏洞研究,而交易顺序依赖作为区块链层面的漏洞更不易被检测。基于着色Petri网对智能合约中潜在的交易顺序依赖漏洞进行形式化验证。以Decode悬赏合约为对象,分析合约中潜在的漏洞,自顶向下地对合约本身及其执行环境建立着色Petri网模型,并引入攻击者模型来考虑合约遭受攻击的情况。通过运行模型以验证合约存在交易顺序依赖漏洞,最后基于Remix平台在以太坊网络中证实结论的正确性。     

三标度法在群体判断和Fuzzy判断中的应用

在 AHP三标度法排序的基础上 ,定义了方案 Ai在第 k位的隶属度 ,给出一种群体排序方法 ,同时利用三标度法也给出一种构造模糊一致性矩阵的方法.     

转变教学方式 促进学生发展

促进学生的全方面发展,关键是课堂的实施,那么教学方式的转变当然要体现在教学的设计之中,因此课堂的教学设计在遵循一定策略的基础上,一定要以人为本,更依学生的发展为核心。