基于随机Petri网的机群系统可信赖性研究 被引量：2

1

作者 刘士喜 许志才 方贤文 《计算机工程与设计》 CSCD 北大核心 2008年第24期6190-6192,6217,共4页

随机Petri网(SPN)是一种灵活有力的建模工具,在可信赖性研究方面已形成较为成熟的理论体系。采用SPN网对机群系统前端分配器及后端服务器进行建模,通过在系统建模时对前端分配器给予必要的修复保证,给出整个机群系统的SPN模型,在模型分... 随机Petri网(SPN)是一种灵活有力的建模工具,在可信赖性研究方面已形成较为成熟的理论体系。采用SPN网对机群系统前端分配器及后端服务器进行建模,通过在系统建模时对前端分配器给予必要的修复保证,给出整个机群系统的SPN模型,在模型分析的基础上给出了机群系统的可信赖性参数,并对模型进行了仿真分析。仿真结果表明,在对关键系统前端分配器给予修复保证后,系统模型的稳态可用性将大大提高。 展开更多

关键词 随机PETRI网 可信赖性 机群系统 分配器/服务器

在线阅读 下载PDF 职称材料

信息系统中正区域快速求解算法研究 被引量：1

2

作者 葛浩 杨传健 李龙澍 《计算机工程与设计》 CSCD 北大核心 2009年第7期1742-1744,1801,共4页

正区域是粗糙集理论中最重要的概念之一,求解正区域一般算法的时间复杂度为O(|C||U|2)。为了提高正区域求解效率,提出一种快速等价类划分算法,并应用于正区域求解过程中,使求正区域算法的时间复杂度降低为O(|C||U|)。然后,提出负区域的... 正区域是粗糙集理论中最重要的概念之一,求解正区域一般算法的时间复杂度为O(|C||U|2)。为了提高正区域求解效率,提出一种快速等价类划分算法,并应用于正区域求解过程中,使求正区域算法的时间复杂度降低为O(|C||U|)。然后,提出负区域的概念,证明了在负区域中求解正区域的性质,并给出改进后的算法,使求解正区域的时间复杂度进一步降低为max{O(|C||U-POS{a1}(D)|),O(|U|)。理论分析和实验结果表明,该算法是正确的、高效的。 展开更多

关键词 粗糙集 等价类划分 正区域

在线阅读 下载PDF 职称材料

基于随机Petri网的冗余备份系统可信赖性研究 被引量：1

3

作者 刘士喜 许志才 方贤文 《安徽理工大学学报（自然科学版）》 CAS 2009年第3期48-53,共6页

可信赖性的度量能客观反映冗余备份系统的可信性,是评价冗余系统服务能力的主要准则。随机Petri网(SPN)对系统的并发性、异步性和不确定性具有很强的动态分析能力,特别适合系统建模和可信赖性分析。讨论了冗余备份系统的概念及其随机Pe... 可信赖性的度量能客观反映冗余备份系统的可信性,是评价冗余系统服务能力的主要准则。随机Petri网(SPN)对系统的并发性、异步性和不确定性具有很强的动态分析能力,特别适合系统建模和可信赖性分析。讨论了冗余备份系统的概念及其随机Petri网描述,采用SPN对冗余备份系统进行建模和分析,在模型分析的基础上给出冗余备份系统的可靠性、可用性、可生存性、平均故障间隔时间等各种可信赖性重要指标。实例研究表明备份部件所处不同的状态会导致冗余备份系统具有不同的可用性。 展开更多

关键词 可信赖性 随机PETRI网 冗余备份系统

在线阅读 下载PDF 职称材料

基于TMS320LF2407的室内有毒气体监测系统 被引量：4

4

作者 温卫敏 《滁州学院学报》 2009年第1期57-59,共3页

设计开发了基于TMS320LF2407室内有毒气体监测系统,讨论了系统的硬件工作原理和软件的设计思想,给出了程序流程图和部分电路图。实验证明系统具有监测结果准确,精度高、稳定性好等特点,能够对室内有毒气体进行快速有效监测。

关键词 TMS320LF2407 电化学传感器 有毒气体 监测系统

在线阅读 下载PDF 职称材料

基于粗糙集的属性约简方法研究综述 被引量：57

5

作者 杨传健 葛浩 汪志圣 《计算机应用研究》 CSCD 北大核心 2012年第1期16-20,共5页

针对经典粗糙集理论的属性约简,从三个方面对属性约简方法进行综述。最后对属性约简中存在的问题进行了分析,并提出了进一步研究的方向。

关键词 知识发现 粗糙集 属性约简 可分辨矩阵 正区域

在线阅读 下载PDF 职称材料

改进的快速属性约简算法 被引量：23

6

作者 葛浩 李龙澍 杨传健 《小型微型计算机系统》 CSCD 北大核心 2009年第2期308-312,共5页

属性约简是决策表信息系统中一个重要操作.目前最高效的算法是徐章艳给出的RedueBaseSig算法,其时间复杂度为max{O(︱C︱︱U︱),O(︱C︱2︱U︱)},但在某些情况下,该算法求得的并不是约简.文中分析了徐章艳算法的局限性,并提出改进的快... 属性约简是决策表信息系统中一个重要操作.目前最高效的算法是徐章艳给出的RedueBaseSig算法,其时间复杂度为max{O(︱C︱︱U︱),O(︱C︱2︱U︱)},但在某些情况下,该算法求得的并不是约简.文中分析了徐章艳算法的局限性,并提出改进的快速属性约简算法.该算法优化了等价类划分和正区域求解,以核属性为初始约简集,不断将重要性大的属性加入约简集中.在最坏情况下改进后算法的时间复杂度为O(C2U);而且实验结果表明,该算法是正确的、高效的. 展开更多

关键词 决策表 粗糙集 属性约简 正区域 核

在线阅读 下载PDF 职称材料

一种高效的核属性求解算法 被引量：7

7

作者 葛浩 杨传健 李龙澍 《计算机工程与应用》 CSCD 北大核心 2010年第26期138-141,共4页

求核算法主要存在以下不足:对不相容决策表无法获得与正区域一致的核,求核算法的效率不够理想。针对上述问题,首先给出决策表的新定义和求核性质,并证明由该性质获得的核与正区域的核是一致的。然后,设计快速求核算法,其时间复杂度和空... 求核算法主要存在以下不足:对不相容决策表无法获得与正区域一致的核,求核算法的效率不够理想。针对上述问题,首先给出决策表的新定义和求核性质,并证明由该性质获得的核与正区域的核是一致的。然后,设计快速求核算法,其时间复杂度和空间复杂度分别降低为O(|C|2|U|)和O(|U|)。最后,实验验证该算法的有效性和高效性。 展开更多

关键词 粗糙集 不相容决策表 核属性 正区域

在线阅读 下载PDF 职称材料

基于可分辨矩阵的快速求核算法 被引量：5

8

作者 葛浩 杨传健 李龙澍 《计算机工程与设计》 CSCD 北大核心 2009年第5期1201-1203,1206,共4页

目前求核算法存在以下不足:求得的核与基于正区域的核不一致、算法的时间和空间复杂度不理想。针对上述问题,提出一种简化的可分辨矩阵的定义和求核方法,并证明了由该方法获得的核与基于正区域的核是等价的。为了提高算法效率,采用分布... 目前求核算法存在以下不足:求得的核与基于正区域的核不一致、算法的时间和空间复杂度不理想。针对上述问题,提出一种简化的可分辨矩阵的定义和求核方法,并证明了由该方法获得的核与基于正区域的核是等价的。为了提高算法效率,采用分布计数的基数排序思想设计等价类U/C划分算法,其时间复杂度为O(│C││U)。在此基础上,给出快速求核算法,其时间和空间复杂度分别降为max{O(│C││U/C│2,O(C││U)}和O(│C││U/C│2)。最后,实例说明了算法的有效性。 展开更多

关键词 粗糙集 等价类 正区域 可分辨矩阵 核

在线阅读 下载PDF 职称材料

可信度差别矩阵及其属性约简 被引量：5

9

作者 葛浩 李龙澍 杨传健 《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心 2011年第5期146-152,共7页

针对决策表中因存在不一致数据而造成求核和属性约简的错误,引入对象可信度的定义,并将其添加到决策表中,以区分不一致和一致对象;然后,给出差别矩阵的定义,以及基于该差别矩阵的核属性和属性约简定义,同时证明了由该定义获得的核和属... 针对决策表中因存在不一致数据而造成求核和属性约简的错误,引入对象可信度的定义,并将其添加到决策表中,以区分不一致和一致对象;然后,给出差别矩阵的定义,以及基于该差别矩阵的核属性和属性约简定义,同时证明了由该定义获得的核和属性约简与正区域的核和属性约简是等价的;最后,设计属性约简算法及其改进算法,并通过实例和实验验证了算法的有效性。 展开更多

关键词 粗糙集 差别矩阵 属性约简 核属性

在线阅读 下载PDF 职称材料

改进的差别矩阵及其快速求核算法 被引量：3

10

作者 杨传健 姚光顺 马丽生 《计算机工程与科学》 CSCD 北大核心 2010年第3期78-81,共4页

求核是粗糙集中一个重要的研究内容之一。本文对杨明的基于差别矩阵求核方法进行研究,实例表明其方法还存在一些不完善。为了能够进一步提高求核效率,对差别矩阵进行改进,提出一种简化差别矩阵的定义,并给出求核方法,同时证明了由该方... 求核是粗糙集中一个重要的研究内容之一。本文对杨明的基于差别矩阵求核方法进行研究,实例表明其方法还存在一些不完善。为了能够进一步提高求核效率,对差别矩阵进行改进,提出一种简化差别矩阵的定义,并给出求核方法,同时证明了由该方法获得的核与正区域的核是等价的,由此设计求核算法,其时间复杂度为max{O(|C||U|),O(|C||U/C||U′1|)},空间复杂度为O(|C||U/C||U′1|)。实验表明,该算法是有效的、高效的,且能适合大数据集的处理。 展开更多

关键词 粗糙集 等价类 差别矩阵 核属性

在线阅读 下载PDF 职称材料

一种改进的基于二进制可分辨矩阵属性约简算法 被引量：5

11

作者 葛浩 杨传健 李龙澍 《计算机技术与发展》 2008年第8期12-15,19,共5页

指出支天云的二进制可分辨矩阵约简算法存在的不足,给出简化的决策表定义和基于二进制可分辨矩阵的属性频率函数的定义。在此基础上,以核属性为初始约简集,以属性频率为启发式信息,提出了一种改进的基于二进制可分辨矩阵的属性约简算法... 指出支天云的二进制可分辨矩阵约简算法存在的不足,给出简化的决策表定义和基于二进制可分辨矩阵的属性频率函数的定义。在此基础上,以核属性为初始约简集,以属性频率为启发式信息,提出了一种改进的基于二进制可分辨矩阵的属性约简算法,其最终可以获得一个最优约简,并且算法时间复杂度和空间复杂度分别为max{O(|C||U|),O(|C|2|U’|2)}和O(|C||U’|2)。通过实例验证,表明该算法是有效的。 展开更多

关键词 粗糙集 可分辨矩阵 核属性 属性频率

在线阅读 下载PDF 职称材料

技术课程化演进及其对技术通识教育的启示 被引量：3

12

作者 褚晓红 马良 刘成新 《现代教育技术》 CSSCI 2011年第2期45-47,51,共4页

文章通过对技术课程化演进轨迹的历史回溯,系统地分析了STS课程的教育内涵及其实践价值,并对当前正在开展的技术通识教育提出了建议。基于STS教育的发展理念,技术通识教育应该走出技能应用教育或单纯技术素养教育的误区,着力加强技术课... 文章通过对技术课程化演进轨迹的历史回溯,系统地分析了STS课程的教育内涵及其实践价值,并对当前正在开展的技术通识教育提出了建议。基于STS教育的发展理念,技术通识教育应该走出技能应用教育或单纯技术素养教育的误区,着力加强技术课程与科学课程和人文课程的联结统整,突出技术通识教育的社会意义和人文价值。 展开更多

关键词 技术课程化 STS课程 通识教育 技术素养 人文教育

在线阅读 下载PDF 职称材料

基于词袋绑定的问句新特征自动生成 被引量：2

13

作者 杨思春 高超 +2 位作者 戴新宇 陈家骏 杨思国 《北京理工大学学报》 EI CAS CSCD 北大核心 2012年第6期590-595,共6页

针对中文问句分类缺乏丰富的句法语义特征,提出一种基于词袋绑定的问句新特征自动生成方法.在词袋(BOW)、词性(POS)和词义(WS)等基本特征的基础上,通过将词性、词义等与词袋分别进行绑定,自动获取一类新的问句特征即词袋绑定特征.采用SV... 针对中文问句分类缺乏丰富的句法语义特征,提出一种基于词袋绑定的问句新特征自动生成方法.在词袋(BOW)、词性(POS)和词义(WS)等基本特征的基础上,通过将词性、词义等与词袋分别进行绑定,自动获取一类新的问句特征即词袋绑定特征.采用SVM分类器在哈工大中文问句集上实验,结果表明与原来单个的POS、WS等基本特征相比,对应的W/POS、W/WS等词袋绑定特征在分类精度上均获得了显著的提升;而且对这些词袋绑定特征进行启发式组合以后,在77个小类问题类别的总体分类精度达到82.333%,取得了较好的分类效果.说明在基本特征基础上借助词袋绑定操作进一步构造问句新特征的方法简单而有效. 展开更多

关键词 问答系统 问句分类 特征提取 词袋绑定

在线阅读 下载PDF 职称材料

可分辨矩阵及其求核方法 被引量：2

14

作者 杨传健 葛浩 李龙澍 《计算机工程》 CAS CSCD 北大核心 2010年第9期87-89,共3页

为解决因决策表中存在不相容性导致的求核错误问题,提出一种将不相容决策表转化为相容决策表的定义形式。根据该定义创建可分辨矩阵,并给出求核方法,同时证明该方法获得的核与正区域的核是一致的。设计求核算法,该算法既适用于相容决策... 为解决因决策表中存在不相容性导致的求核错误问题,提出一种将不相容决策表转化为相容决策表的定义形式。根据该定义创建可分辨矩阵,并给出求核方法,同时证明该方法获得的核与正区域的核是一致的。设计求核算法,该算法既适用于相容决策表,也适用于不相容的决策表。实例表明该算法是有效的。 展开更多

关键词 不相容决策表 粗糙集 可分辨矩阵 核属性

在线阅读 下载PDF 职称材料

基于属性布尔差别矩阵的求核算法 被引量：2

15

作者 葛浩 李龙澍 杨传健 《小型微型计算机系统》 CSCD 北大核心 2012年第2期275-279,共5页

求核是粗糙集理论的主要研究内容之一.针对现有基于差别矩阵求核算法的不足,首先提出决策表简化的方法;然后,给出属性布尔差别矩阵的定义和基于属性布尔差别矩阵的核属性定义,并证明了该定义与基于正区域求核定义是等价的,同时设计相应... 求核是粗糙集理论的主要研究内容之一.针对现有基于差别矩阵求核算法的不足,首先提出决策表简化的方法;然后,给出属性布尔差别矩阵的定义和基于属性布尔差别矩阵的核属性定义,并证明了该定义与基于正区域求核定义是等价的,同时设计相应求核算法;为了进一步提高求核效率和适应大数据集的处理,给出两个改进的求核算法.通过实例分析和实验比较,表明了本文所提出的求核算法是正确的高效的. 展开更多

关键词 粗糙集 正区域 布尔差别矩阵 核属性

在线阅读 下载PDF 职称材料

基于新的二进制可分辨矩阵求核算法 被引量：1

16

作者 杨传健 葛浩 林其斌 《计算机工程与设计》 CSCD 北大核心 2009年第10期2450-2452,2456,共4页

信息系统核属性求解是粗集理论中的重要问题之一。为了避免因决策表中存在不相容性,导致所求核的错误,提出一种新的求核方法。首先将不相容决策表信息系统转换为相容决策表信息系统,然后给出新的二进制可分辨矩阵的定义和求核性质,同时... 信息系统核属性求解是粗集理论中的重要问题之一。为了避免因决策表中存在不相容性,导致所求核的错误,提出一种新的求核方法。首先将不相容决策表信息系统转换为相容决策表信息系统,然后给出新的二进制可分辨矩阵的定义和求核性质,同时证明了由该性质所求得的核与基于正区域的核是一致的,且该方法不仅适用不相容决策表,也适用相容决策表。最后通过实例表明了该方法的正确性。 展开更多

关键词 粗糙集 决策表 二进制可分辨矩阵 核属性 正区域

在线阅读 下载PDF 职称材料

Petri网标记语言 被引量：3

17

作者 胡晓静 胡敏 刘士喜 《计算机技术与发展》 2011年第12期66-69,共4页

Petri网标记语言(PNML)是一种基于XML语言的Petri网文件交换标准,用于实现Petri网工具的互操作性。综合介绍了PNML标准化进程和PNML的核心支撑技术,详细阐述了PNML体系结构各个组成部分及元模型中各个组成对象,借助PNK工具实现一个P/T... Petri网标记语言(PNML)是一种基于XML语言的Petri网文件交换标准,用于实现Petri网工具的互操作性。综合介绍了PNML标准化进程和PNML的核心支撑技术,详细阐述了PNML体系结构各个组成部分及元模型中各个组成对象,借助PNK工具实现一个P/T网模型实例,根据元模型分析对应的PNML文件中的库所、变迁和弧等对象标签的含义,最后分析了PNML在工作流模型与矢量图转换等领域的研究状况,指出了下一步研究方向。 展开更多

关键词 PETRI网 PNML文件 元模型

在线阅读 下载PDF 职称材料

基于Petri网软件过程执行机制的研究 被引量：1

18

作者 刘士喜 许志才 方贤文 《安徽理工大学学报（自然科学版）》 CAS 2007年第3期57-61,共5页

在软件过程执行机制中,两种传统的过程执行机制——前摄式和反映式存在模型复杂性和执行灵活性之间的矛盾。分层机制可以缓解这种矛盾,但又缺乏严密的形式化定义。采用基于Petri网的软件过程执行机制的建模和分析方法,给出了准确的形式... 在软件过程执行机制中,两种传统的过程执行机制——前摄式和反映式存在模型复杂性和执行灵活性之间的矛盾。分层机制可以缓解这种矛盾,但又缺乏严密的形式化定义。采用基于Petri网的软件过程执行机制的建模和分析方法,给出了准确的形式化定义,很好地描述了软件过程执行机制中的同步、并发和异步等特点,解决了早期"前摄式"机制的过程支持缺陷,降低了反映式机制建模的复杂性。 展开更多

关键词 分层机制 软件过程 PETRI网 过程建模 形式化语义

在线阅读 下载PDF 职称材料

基于VB的MIDI电子琴 被引量：3

19

作者 刘永志 潘晓利 陈学煌 《微型电脑应用》 2008年第6期61-62,3,共2页

提出了MIDI电子琴的实现方法,给出了多媒体API时间函数,支持鼠标和键盘弹奏,并且具有录制和回放功能,有利于电子琴的学习和指导。经实践,该MIDI电子琴实用、易操作,具有良好的功能。

关键词 VB(Visual Basic) MIDI 电子琴 录制回放

在线阅读 下载PDF 职称材料

基于有序差别集的高效属性约简算法 被引量：1

20

作者 杨传健 葛浩 《计算机工程与应用》 CSCD 北大核心 2008年第29期146-149,共4页

基于可分辨矩阵的属性约简算法需要占用大量的存储空间,可分辨矩阵中许多元素项对约简是多余的;并且随着问题规模的增大,该类算法的效率并不理想。针对上述不足,提出一种基于有序差别集的属性约简算法,该算法不需要创建可分辨矩阵和生... 基于可分辨矩阵的属性约简算法需要占用大量的存储空间,可分辨矩阵中许多元素项对约简是多余的;并且随着问题规模的增大,该类算法的效率并不理想。针对上述不足,提出一种基于有序差别集的属性约简算法,该算法不需要创建可分辨矩阵和生成多余的元素项,大大降低了存储量和计算量,从而提高了属性约简效率,使算法的时间复杂度和空间复杂度分别降为max{O(|C|2|U/C|2),O(|C|2|MsCount|)}和O(|MsCount|)。实验表明该算法是有效的、高效的。 展开更多

关键词 粗糙集 属性约简 有序差别集 可分辨矩阵

在线阅读 下载PDF 职称材料