覆盖粗糙近似的一致性研究

经典粗糙集理论知识的表现形式为论域上的划分,覆盖是比划分更一般的知识表现形式。为了扩展粗糙集理论的应用领域,有必要将粗糙集理论扩展到覆盖近似空间。覆盖近似空间下的概念近似是基于覆盖近似空间知识获取的关键。针对精确概念和模糊概念,研究者定义了不同的近似方法。通过对当前的近似算子进行研究,发现了它们的不一致,并从两个角度对近似算子的定义进行了修正,从而使得它们分别与原有的算子保持一致。所得结论为覆盖近似空间下的概念近似提供了新的研究途径。     

模糊语义下知识系统的结构及信息传播的研究

文中提出模糊概念空间及规则空间,作为对知识系统进行形式化表示的统一框架.首先,基于形式概念分析理论以及L-模糊集构造了概念粒,通过对概念粒之间关联关系的研究定义了概念射,进而构造了高层次知识单元"概念粒簇".概念粒簇由不同概念粒聚合而成,作为模糊概念空间中的结构层次.其次,通过定义概念粒之间语义整合的先验规则以及积运算构造了规则空间,阐明了概念粒在规则空间的作用下相互之间进行信息传播的机制.文中的结论为进一步研究模糊语义下知识系统的动态构成及演化机制奠定了理论基础.     

定常线性系统不同分解下状态变量之间的关系

本文以一般补空间的概念讨论定常线性系统的分解,指出取自然基作为补空间的基,可 以使系统分解的变换矩阵求逆最简单.鉴于在正交补空间定义下用交空间方法一般得不到 标准分解,本文给出了一种在一般补空间定义下利用交空间进行标准分解的方法,证明了基 本的不能控状态变量、基本的能观状态变量和基本的能观不能控状态变量的不变性.     

基于粒度计算理论的数据分类建模

文章研究了基于粒度计算理论的数据分类建模,引入了全粒度空间的概念,定义了集合的粒度表示,给出了概念学习在粒度计算理论中的解释,导出了一个基于数据分类的知识发现模型,从而说明了知识发现可归结为在全粒度空间中寻找目标概念的最佳粒度表示,而各粒度描述的析取构成决策规则的前件。     

超文本学习状态空间模型与学习控制

超文本教学材料的路径控制是超文本教育应用中存在的一个重要问题。文中以知识空间理论和一般的关系型超文本数学模型为基础,相入超文本学习状态空间的概念;通过定义学习状态空间的数学模型和学习状态跃迁阈值,实现对状态空间学习路径的控制,避免学生“走弯路”,提高了超文本的教学效果。在这种控制方式下,学生在学习状态内部有充分的自由浏览各个知识点;在学习状态之间学生的浏览则受到合理的控制,从而达到了自由与控制的统     

基于云的概念空间模型研究

从认知科学出发,讨论了G?rdenfors的概念空间理论,用云模型对概念空间进行了形式化研究。由于概念、属性中存在着大量的模糊性和不确定性,将云模型和G?rdenfors的概念空间模型结合起来,建立了一套基于云的概念空间模型。并进一步对概念、相似性等进行定义,形成了一套新的基于云的概念空间模型方法。通过一个昆虫分类实例来进行概念空间的建模实验。用静态和动态两种不同的方法来验证基于云模型的概念空间的有效性。     

基于区域延伸的定性空间表示

在区域连接演算(region connection calculus,RCC)理论基础上给出了区域延伸的形式定义.通过区域延伸,定义了关联空间的概念,进而提出了空间表示的一个模型,在这个模型中给出了空间中物体的空间拓扑关系、距离关系、方向关系以及位置等信息的定性表示.智能体对空间关系的确定是通过区域延伸实现的,模型为智能体在约束空间环境中的行动推理提供了一个新的表示方法.     

一个移动进程演算的互模拟同余定义框架

并发计算模型是理论计算机科学研究的重要领域之一。以π演算为代表的移动进程演算是目前并发理论的研究热点。互模拟等价定义是移动进程演算研究中的核心概念和问题，而传名机制使得移动进程演算中的互模拟同余关系更加复杂和有趣。本文在分析了常见的互模拟同余定义的基础上，通过抽取定义的核心要素，提出了一个三维的互模拟同余定义模型，从而将一般文献中常见的互模拟定义纳入到一个统一的框架中来，加深了我们对移动进程演算中互模拟概念的理解；同时本文利用这个模型，系统分析了各种互模拟之阿的关系。模型的优点在于它的普适性和开放性。     

覆盖粒度空间的多层次粒度结构研究

针对覆盖粒度空间中的知识表示、基本运算、层次结构及粒度结构度量问题进行分析与研究.首先,定义覆盖近似空间中对象的相容类,构造覆盖粗糙集模型的相容关系,定义相容类中对象之间的相容度,由此相容关系诱导出覆盖粒度空间的概念.其次,给出覆盖粒度空间下对象的矩阵表示,定义覆盖粒度空间中基本运算,并诱导出覆盖信息粒的概念,从而对覆盖粒度空间中粒度的大小进行了度量.接着,定义覆盖粒度空间的三种偏序关系,以此揭示覆盖粒度空间的层次关系.最后,定义覆盖粒度空间的信息粒度、粗糙度和粗糙熵,研究在覆盖粒度空间中多层次粒度结构度量的各种关系.研究结果统一了覆盖粒度空间下信息粒度的相关度量,从而为粒计算的多层次粒结构理论进一步的完善提供依据.     

区间值度量空间的紧性和仿紧性

给出了区间值度量空间的概念,根据一般拓扑学中紧性的相关定义及其等价条件,证明了由区间值度量诱导的拓扑具有的紧性及其一系列等价关系,讨论了该诱导的拓扑空间具有仿紧性。     

基于网络安全的入侵容忍技术研究

随着信息化进程的加快,计算机病毒、网络攻击等网络安全问题已成为信息时代人类面临的共同挑战。入侵容忍是网络安全领域的一种新策略,它在系统在遭受攻击时,仍然保证连续地提供服务,即使系统某些部分已被破坏,它也能提供降级服务。本文着重介绍入侵容忍概念,功能特点,展望入侵容忍发展的趋势。     

基于信任度匹配的改进PBFT共识算法

共识算法是去中心化的区块链系统实现数据状态一致的关键。针对传统的实用拜占庭容错(Practical Byzantine Fault Tolerance,PBFT)共识算法在可扩展性和安全性方面存在的不足,提出一种基于信任度的匹配拜占庭共识算法(Trust-based Matching Byzantine Fault Tolerance,TMBFT)。首先,通过基于信任度的邻居匹配模型来选取部分节点进行投票共识,以降低区块链网络的通信量;其次,引入信任度评价机制来监督邻居节点的行为,确保有效检测出拜占庭节点,保证节点投票的安全性;最后,设计投票计数机制保证了共识结果的一致性,并提高了共识效率。与PBFT相比,TMBFT将通信复杂度从O(N^2)降到O(Nlog2N),有效降低了网络中的通信开销。安全性分析表明,信任度评价机制可降低节点作恶的概率,并有效提高系统安全性。实验结果表明,TMBFT较传统拜占庭算法具有更好的性能优势。     

基于信用分级的PBFT共识算法改进方案

针对现有实用拜占庭容错算法（PBFT）在联盟链应用场景下存在扩展性差,通信开销大,效率低等问题,提出了一种基于信用分级的拜占庭容错共识算法,即CLBFT （Credit-Layered Byzantine Fault Tolerance）.在PBFT基础上,制定节点信用积分规则.提出一种基于信用等级划分的机制,把节点划分成4类,增强可信节点的主动性,减少异常节点的参与,达到系统良好运行的目的.实验结果表明,在长期运行状态下,CLBFT明显减少了通信开销,提高了系统效率.     

Can mobile TV be a new revolution in the television industry?

The development within the mobile communications industry has provided a new mechanism for individuals to watch television programs via mobile device, known as mobile television (m-TV). Considering that m-TV is an emerging technology among traditional television services where critical success factors depend on user-centered, it is important to understand users' behavioral intention (BI). Unlike previous studies which have mainly focused on flow experience, perceived value, motivation and social cognitive theories, this study examines user-centered factors of technology readiness (TR) and technical support and training (TST). Therefore, 244 valid data were tested using partial least squares structural equation modeling (PLS-SEM) to measure both reflective and formative constructs based on the proposed framework. Findings reported that performance expectancy (PE), effort expectancy (EE) and TST have a positive and significant impact on BI. TR however has a negative relationship with BI. In addition, TR was also found to influence PE and EE. Similarly, TST has a direct effect factor on EE and EE was a significant determinant of PE. The findings of this study not only provide guidance for future researchers, but also valuable insights for designers, marketers and system providers of m-TV to tailor their services in the near future.     

数据库管理系统的入侵容忍技术研究进展

传统数据库安全的研究重点是如何防止非授权用户对数据库的恶意干扰和破坏，事实上根本无法阻止所有的攻击。因此．在信息战语义下，更为紧迫的是如何找到有效的措施来缓解或消除恶意用户的攻击．而入侵容忍(即抗恶意用户攻击和攻击后DBMS的恢复能力)是数据库安全最为重要的。本文概述了信息战中数据库入侵容忍技术研究的现状，指出了目前存在的问题和未来的研究方向。     

基于投票机制的拜占庭容错共识算法

针对现有的区块链中实用拜占庭容错（PBFT）共识算法、基于动态授权的拜占庭容错（DDBFT）共识算法、联盟拜占庭容错（CBFT）共识算法普遍存在能耗高、效率低、扩展性差等问题，通过引入投票机制，提出了基于投票机制的拜占庭容错（VPBFT）共识算法。首先，以PBFT算法为基础，将网络中的节点划分为四类具有不同职责的节点。其次，算法中的投票节点具有投票和评分权，监督生产节点诚实可靠地生产数据块；生产有效的数据块的生产节点优先进入下一轮，候选节点能够被选为生产节点，而普通节点则能够成为投票节点或候选节点。最后，不同类型的节点之间具有一定的数量关系，能够在不同类型节点的数目或网络中的节点总数发生变化时动态调整参数，从而使得算法适应动态网络。通过性能仿真分析可知，VPBFT算法相较于PBFT、DDBFT、CBFT等共识算法，具有低能耗、低时延、高容错性和高动态性。     

基于相容粒模型和三支决策的图像分类算法

相容粒空间模型是粒计算理论的主要方法之一,利用粒计算的方法对相容粒及其空间模型的研究已经比较深入,然而在实际图像分类的应用中,面对的问题更为复杂。为了解决现实图像分类中存在的信息有限或信息缺失而造成分类不准确的问题,本文重点研究相容粒模型的分层思想,通过与善于解决以上问题的三支决策理论相结合,形成一种基于相容粒模型和三支决策理论相结合的图像分类算法,并通过仿真实验验证该算法是有效可行的。     

软件容错：技术与展望

本文主要给出现有主流软件容错技术的一个综述。首先从传统软件容错技术开始，介绍设计多样性和数据多样性；然后介绍主流的软件容错新技术，如重配置与重恢复、指令复制错误探测、SWIFT等，同时，站在软件容错用于处理嵌入式系统硬件暂态故障的角度对这些技术进行了分析；最后在对它们比较的基础上探讨软件容错技术的可能发展方
向。     

基于区块链的数字版权存证系统模型研究

传统基于第三方中心机构的版权登记存在效率低、成本高和隐私保护性差等问题,针对这些问题,将区块链与环签名技术运用于版权保护领域,提出一种基于区块链的数字版权存证系统模型。构建了基于联盟链的数字版权存证系统架构,利用区块链的去中心化、不可篡改和可追溯等特性保证存证的信息真实可信;对环签名技术进行改进,并利用改进的环签名技术保护创作者身份隐私;对PBFT算法进行改进,提升系统效率和可靠性。经分析与实验表明,该模型能降低版权登记经济成本,防止用户身份信息被非法获取,且具有良好的性能与安全性。     

生物启发的容错计算技术研究

作为复杂的长寿系统的标志性特性,容错性由传统的技术实现起来极为困难。受复杂的生物系统的高度容错性启发,文章以POE模型为基础研究了生物启发的容错计算技术的三个主要领域(胚胎电子学、免疫电子学和可进化的硬件),介绍了胚胎电子细胞阵列的层次结构及容错策略;论述了免疫电子学的重要成就、免疫-胚胎电子学的一般结构和抗体学习及可进化的硬件的主要机理;讨论了生物启发容错计算的研究前景。