中介真值程度的度量及其应用(I)

以中介数学系统为背景,为处理工程实践和科学研究中普遍存在的模糊现象提供一种度量逻辑真值程度的方法.在建立了谓词的ε标准度概念后,描述了对一般应用的数值区域与对应谓词的真值之间的关系;采用距离概念,并以对应谓词真值的数值区域的长度为基准,定义了距离比率函数及距离比率的特殊变换,并由此建立了一维情形下个体真值程度函数.又在提出关于n维情形的分支谓词、幂集逆映射和标准度向量概念后,描述了真值程度和函数、极值分支函数等n维情形的应用形式.应用示例表明:由于提出超态概念,所以理论上能把真值程度域从[0,1]拓宽到(-∞, ∞);真值程度函数的定义具有计算机可以处理的定量形式且具有客观性和普适性的特点.因此,真值程度的度量将在涉及模糊现象的领域得到有效的应用.     

中介真值程度的度量及其应用(Ⅱ)

结合中介逻辑中的模糊否定词和真值程度词的语义,论述了研究中介真值程度的度量对于应用的必要性;在对个体研究的基础之上,从离散型和连续型两个方面讨论了集合的真值程度的度量;在建立中介标准度后,提出模糊程度概念,提出中介熵定义,并讨论了中介熵的最大值.针对反对对立强调两个概念之间存在"最大的差异",提出弱化"两极",突出"过渡"的观点.在对过渡与对立进行了一般性讨论后,建立了标准数值化映射和广义数值化映射概念,构造性地证明了过渡情形能转换为反对对立情形的充分条件.这表明在处理工程实践和科学研究中的模糊现象时,可以把所有存在过渡的情形作为反对对立处理,从而使中介真值程度的度量可以在更加广阔的领域得到应用.     

基于中介逻辑的模糊知识表示及应用

本文基于中介逻辑理论,在知识描述中区分知识的“矛盾”与“对立”,肯定对立的模糊概念之间存在中介对象（中介概念）,将矛盾否定与对立否定运用于知识表示中;并 以一金融决策实际问题为例,采用距离比率函数为模糊谓词表达式赋予属于[0,1]区间的真值,结合中介谓词逻辑的无穷值语义模型与具体情形,给出了模型中变量（取值的的一种确定方法及其意义,最后通过一具体实例讨论了模糊知识推理。     

基于中介真值程度的成绩评价算法设计

成绩评价是学生学习活动过程中一项重要的工作,评价方法要求客观、全面和公正.以中介数学系统为背景,为处理工程实践和科学研究中普遍存在的模糊现象提供一种度量逻辑真值程度的方法,即引入中介真值程度的度量方法来研究成绩评价方法.在确定所给的考试分数区域与其对应谓词的真值之间的关系后,根据真值程度函数进行了算法设计,给出了成绩的单项和综合评价.通过实例分析可以看出,该算法设计能全面、定性地反映个体成绩的优劣,方法更科学、公正和全面.鉴于评价系统的相似性,文中所涉及的中介真值程度的度量算法在评价、决策与管理科学中会得到广泛应用.     

基于中介真值程度的图像融合效果评价方法*

针对图像融合效果评价问题,将处理模糊信息的中介数学系统引入到图像融合效果评价中,以中介真值程度的数值化度量为基础,提出了一种基于中介真值程度的图像融合效果评价方法。该方法结合先验知识和选取的定量评价指标,并引入了理想融合图像的概念,以中介真值程度的数值化度量中的距离比率函数度量作为图像融合结果的优劣评判标准,实现对各个融合图像效果的综合评价,兼顾了实际评价工作中的通用性和特殊性要求。实验结果表明,该评价方法具有较好的有效性、实时性和简洁性,进一步丰富完善了图像融合理论框架,具有启发意义和实用价值。     

图像的中介边缘检测方法

以中介真值程度的数值化度量为基础,通过引入距离比率函数度量像素点的灰度以及像素点间灰度的相似程度,并采用双域值和非局部极大值抑制方法,设计了新的图像边缘检测算法。通过仿真实例,与已有的典型算法处理结果比较表明,基于中介真值程度度量的图像边缘检测算法能有效去除噪声,并较好地保持图像边缘细节,因而更具有实用性和有效性。     

粒计算的α_决策逻辑语言

提出一种用于粒计算的α_决策逻辑语言．该语言是由Tarski意义下的模型和可满足性所描述的一种特殊的经典谓词逻辑．由属性值域的模糊子集代替经典的单值信息函数所得到的广义信息系统对应于模型，借助于模糊集理论的水平截集的概念，归纳地定义对泉在一定阈值水平下满足某公式．最后讨论如何利用α_决策逻辑语言描述不同的粒世界及分析形式概念和决策规则．     

基于贴近度的多传感器一致可靠性融合方法

对于先验知识未知的多传感器对某一目标特性进行多次测量的情形,提出一种基于模糊贴近度函数的融合算法.首先视各传感器的测量值为模糊集合,利用最大最小贴近度定义贴近度矩阵,并通过对其扩维来度量不同时刻传感器测量值间的综合相近程度,然后参照已有的信噪比法定义了一致可靠性测度,进而得到多传感器数据的融合公式.应用实例及仿真验证了该方法的有效性.结果表明该算法计算简单,融合结果具有很好的精确性和稳健性.     

一种模糊区域的拓扑关系模型

空间区域拓扑关系建模是空间推理、地理信息系统(GIS)和计算机视觉等领域一个非常重要的主题，模糊区域的拓扑关系建模正日益受到相关领域研究者的重视，在分析现有模型的基础上，提出了一种模糊区域的拓扑关系模型，该模型利用模糊集来表示模糊区域，通过三个谓词的真值来判断区域间的拓扑关系，将分明区域作为特例统一处理，根据谓词的多种真值能够实现多层次上的拓扑关系分析．     

新的证据冲突度量方法

为了解决证据理论在处理高度冲突证据时会出现的失效问题,研究了证据冲突的度量和表示方法.首先,证据距离作为一种主要的证据冲突度量方法,通过分析各种证据距离的不足,定义一种新的概率距离,并结合Jousselme距离来描述证据之间的差异性.其次,由于证据距离无法完全代表证据冲突,根据模糊交叉熵的概念,定义了基本概率指派(basic probability assignment,BPA)交叉熵来表示证据之间的散度.再次,通过Hamacher T–余范融合证据距离和证据散度两个方面,提出一种新的证据冲突度量方法.最后用数值算例验证了该方法的有效性.     

煤矿井下安全监控分站的设计及其仿真实现

为了设计一种具有低成本、低功耗、易操作、功能强且可靠性高的煤矿井下安全分站,针对煤矿安全生产实际,文章提出了采用MCS-51系列单片机为核心、具有CAN总线通信接口的煤矿井下安全监控分站的设计方案;首先给出煤矿井下安全监控分站的整体构架设计,然后着重阐述模拟量输入信号处理系统的设计过程,最后说明单片机最小系统及其键盘、显示、报警、通信等各个组成部分的设计;为验证设计方案的可行性与有效性,使用Proteus软件对设计内容进行仿真验证,设计的煤矿井下安全监控分站具有瓦斯、温度等模拟量参数超标报警功能和电机开停、风门开闭等开关量指示功能;仿真结果表明:设计的煤矿井下安全监控分站具有一定的实际应用价值.     

View-based model-driven architecture for enhancing maintainability of data access services

In modern service-oriented architectures, database access is done by a special type of services, the so-called data access services (DAS). Though, particularly in data-intensive applications, using and developing DAS are very common today, the link between the DAS and their implementation, e.g. a layer of data access objects (DAOs) encapsulating the database queries, still is not sufficiently elaborated, yet. As a result, as the number of DAS grows, finding the desired DAS for reuse and/or associated documentation can become an impossible task. In this paper we focus on bridging this gap between the DAS and their implementation by presenting a view-based, model-driven data access architecture (VMDA) managing models of the DAS, DAOs and database queries in a queryable manner. Our models support tailored views of different stakeholders and are scalable with all types of DAS implementations. In this paper we show that our view-based and model driven architecture approach can enhance software development productivity and maintainability by improving DAS documentation. Moreover, our VMDA opens a wide range of applications such as evaluating DAS usage for DAS performance optimization. Furthermore, we provide tool support and illustrate the applicability of our VMDA in a large-scale case study. Finally, we quantitatively prove that our approach performs with acceptable response times.     

A pragmatic multi-method investigation of discrepant technological events: Coping,attributions, and ‘accidental’ learning

Discrepant technological events or situations that entail a problem, a misunderstanding or a difficulty with the Information Technology (IT) being employed, are common in the workplace, and can lead to frustration and avoidance behaviors. Little is known, however, about how individuals cope with these events. This paper examines these events by using a multi-method pragmatic approach informed by coping theory. The results of two studies – a critical incident study and an experiment – serve to build and test, respectively, a theoretical model that posits that individuals use a variety of strategies when dealing with these events: they experience negative emotions, make external attributions, and adopt engagement coping strategies directed at solving the event, eventually switching to a disengagement coping strategy when they feel they have no control over the situation. Furthermore, users’ efforts may result in ‘accidental’ learning as they try to overcome the discrepant IT events through engagement coping. The paper ends with a discussion of the results in light of existing literature, future opportunities for research, and implications for practice.     

The Distributed Time-Triggered Simulation Scheme: Core Principles and Supporting Execution Engine

Distributed real-time simulation is a young technology field but its practice is under increasing demands. In recent years the author and his collaborators have been establishing a new approach called the distributed time-triggered simulation (DTS) scheme which is conceptually simple and easy to use but widely applicable. The concept was initiated in the course of developing a new-generation object-oriented real-time programming scheme called the time-triggered message-triggered object (TMO) programming scheme. Some fundamental issues inherent in distributed real-time simulation that were learned during recent experimental studies are discussed along with some approaches for resolving the issues. An execution engine developed to support both the TMOs engaged in control computation and the TMOs engaged in DTS is also discussed along with its possible extensions that will enable significantly larger-scale DTSs.     

Software-Konfigurationsmanagement in großen Softwareprojekten

Zusammenfassung Mit zunehmender Größe der Softwaresysteme verschärfen sich die für die Software-Herstellung typischen Probleme: Beherrschen großer Objektmengen, Erhalten der Systemkonsistenz, Kontrolle der ständigen Änderungseinflüsse und Gewährleisten einer langen Lebensdauer. Die Disziplin Konfigurationsmanagement bildet den methodischen Ansatz, diese Probleme besser zu beherrschen. Software-Konfigurationsmanagement faßt die Herstellung von Softwaresystemen als eine Abfolge von kontrollierten Änderungen an gesicherten Zwischen- und Endergebnissen auf. Dargestellt werden die Objekte und Funktionen des Software-Konfigurationsmanagements sowie die hierfür in großen Software-Projekten benötigten Methoden, Instanzen und Hilfsmittel.     

Information for Authors

正http://www.zju.edu.cn/jzus http://www.springerlink.com Aim The Journals of Zhejiang University-SCIENCE(A/B/C)are edited by the international board of distinguished Chinese and foreign scientists,and are aimed to present the latest developments and achievements in scientific research in China and     

Editorial:Brain-machine interface(BMI) and cyborg intelligence

正Brain-machine interfaces(BMIs)aim at building a direct communication pathway between the brain and an external device,and represent an area of research where significant progress has been made during the past decade.Based on BMIs,mind information can be read out by neural signals to control     

Information for Authors

正http://www.zju.edu.cn/jzus http://www.springerlink.com Aim The Journals of Zhejiang University-SCIENCE(A/B/C)are edited by the international board of distinguished Chinese and foreign scientists,and are aimed to present the latest developments and achievements in scientific research in China and overseas to the world’s scientific circles,especially to stimulate     

SCIENCE CHINA Information Sciences SUBJECT INDEX TO VOLUME 57(2014)

正~~     

Information for Authors

正http://www.zju.edu.cn/jzus http://www.springerlink.com Aim The Journals of Zhejiang University-SCIENCE(A/B/C)are edited by the international board of distinguished Chinese and foreign scientists,and are aimed to present the latest developments and achievements in scientific research in China and overseas to the world’s scientific circles,especially to stimulate