BWSS:结合可疑集合簇计算极小碰集的Boolean算法

1

作者 赵相福 黄森 +3 位作者 魏霞 童向荣 欧阳丹彤 张立明 《软件学报》 北大核心 2025年第7期3226-3238,共13页

在基于模型的诊断领域中,因为极小冲突集(minimal conflict set,MCS)的极小碰集(minimal hitting set,MHS)即为待诊断设备的候选诊断,所以计算极小碰集是候选诊断的一个关键步骤.其中,极小碰集是一个NPhard约束求解问题,随着问题规模增... 在基于模型的诊断领域中,因为极小冲突集(minimal conflict set,MCS)的极小碰集(minimal hitting set,MHS)即为待诊断设备的候选诊断,所以计算极小碰集是候选诊断的一个关键步骤.其中,极小碰集是一个NPhard约束求解问题,随着问题规模增大,求解难度成指数级增长.Boolean算法是计算极小碰集的经典算法,然在求解过程中,解集的极小化却占据运算的绝大部分时间.为了解决该问题并提升计算效率,提出了结合可疑集合簇计算极小碰集的BWSS(Boolean with suspicious sets)算法,通过深度分析Boolean算法生成树规则,找到使候选解成为超集的集合,在向根节点扩展元素时,如果候选解与可疑集合簇中至少1个集合交集为空,那么该解为极小候选解,否则删除该解,通过递归的策略保证算法结束时产生且仅产生所有极小碰集.除此之外,每个候选解在极小化时,至少存在m(m≥1)个元素甚至整个解无须极小化.理论上,BWSS算法的复杂度要远低于Boolean算法.通过随机数据及大量基准电路数据,实验结果表明,所提算法与目前最先进的几种算法相比,运行时间减少了几个数量级. 展开更多

关键词 基于模型诊断 极小碰集 Boolean算法 候选解 冲突集

在线阅读 下载PDF 职称材料

多媒体区域报警在智能大厦安保系统中的设计与实现 被引量：1

2

作者 瞿有甜 《计算机工程与应用》 CSCD 北大核心 1999年第3期116-117,共2页

该文结合作者近年来在结构化综合布线工程中的实践，从系统集成的角度，阐明了多媒体区域报警系统在智能大厦安保系统中的设计与实现，并指出了其与普通的区域报警系统设计方法上的不同及解决办法。

关键词 智能大厦 安保系统 系统集成 多媒体 区域报警

在线阅读 下载PDF 职称材料

宽动态范围实时数据采集系统 被引量：1

3

作者 余水宝 《数据采集与处理》 CSCD 1999年第3期382-385,共4页

介绍了一种新颖的数控增益自适应放大器，提高了Ａ／Ｄ转移器对小信号的分辨率和采集速度，克服了常规程控放大数据采集系统实时性和系统精度难以同时兼顾的缺陷。实现了宽动态范围输入信号的实时高精度数据采集。

关键词 数据采集系统 自适应放大器 分辨率 精度

在线阅读 下载PDF 职称材料

青鸟Ⅱ型系统需求文档分析工具的设计和实现 被引量：1

4

作者 钱乐秋 《计算机工程与应用》 CSCD 北大核心 1997年第9期52-55,共4页

需求文档分析工具（ＲＤＡＴ）是青鸟Ⅱ型系统中的一个支持结构化开发方法的ＣＡＳＥ工具。本文首先简要介绍ＲＤＡＴ系统的设计背景，然后较详细地描述了用面向对象建模技术（ＯＭＴ）设计和实现系统的全过程。

关键词 面向对象 PDAT 青岛Ⅱ型系统 软件工具

在线阅读 下载PDF 职称材料

金华市土壤磁化率与重金属Pb含量的关系 被引量：2

5

作者 王思思 李凤全 +3 位作者 王志刚 陈艳瑛 谢建 吴征南 《湖南农业科学》 2012年第10期56-59,共4页

通过对金华市59个表层土壤(0～20 cm)土样磁化率和重金属含量的测定,以土壤磁化率和频率磁化率为自变量,Pb含量为因变量对土壤进行趋势面分析。结果表明:金华市土壤Pb含量总体低于背景值,未见Pb明显污染,磁化率相对较低,频率磁化率相对... 通过对金华市59个表层土壤(0～20 cm)土样磁化率和重金属含量的测定,以土壤磁化率和频率磁化率为自变量,Pb含量为因变量对土壤进行趋势面分析。结果表明:金华市土壤Pb含量总体低于背景值,未见Pb明显污染,磁化率相对较低,频率磁化率相对较高,这同很多一级大城市相比存在显著差异;土壤磁化率、土壤频率磁化率和Pb含量分别成非线性关系,这与其他地区的线性相关的研究结果不一致;金华市的土壤磁化率对Pb含量的指示作用只能用磁化率和频率磁化率的范围组合来判断,而不是用单一的线性关系来概括。 展开更多

关键词 磁化率 PB含量 金华市

在线阅读 下载PDF 职称材料

基于神经网络的电力系统控制器的在线自学习研究

6

作者 赵建民 管霖 程时杰 《电力系统自动化》 EI CSCD 北大核心 1998年第7期35-39,共5页

分析了现有的基于人工神经网络的电力系统实时控制器设计与训练中存在的问题，在此基础上提出了一种新的具有训练样本在线自动生成能力的电力系统实时控制器设计方案。从理论上论证了该方案的可行性，并依据这一方案实现了神经网络电力... 分析了现有的基于人工神经网络的电力系统实时控制器设计与训练中存在的问题，在此基础上提出了一种新的具有训练样本在线自动生成能力的电力系统实时控制器设计方案。从理论上论证了该方案的可行性，并依据这一方案实现了神经网络电力系统稳定器的设计。在线训练与控制的仿真结果均充分显示出该方案的优越性。 展开更多

关键词 神经网络 电力系统 实时控制 控制器

在线阅读 下载PDF 职称材料

市场预测与生产计划快速反应系统MFPPQS分析设计

7

作者 吕丽民 李志敏 陈中育 《浙江工业大学学报》 CAS 1999年第3期183-186,共4页

通过分析目前企业中生产经营和管理所存在的问题，提出了 Ｍ Ｆ Ｐ Ｐ Ｑ Ｓ 的设计思想及体系结构。

关键词 快速反应 生产计划 企业经营 市场预测 MFPPQS

在线阅读 下载PDF 职称材料

基于Smartcheck的智能合约漏洞分析及其改进策略

8

作者 费佳佳 赵相福 +1 位作者 陈霄汉 张登记 《应用科学学报》 CAS CSCD 北大核心 2024年第6期1027-1039,共13页

Smartcheck是以太坊智能合约的一个典型的静态分析工具,其将基于Solidity语言的智能合约源代码转换为基于XML的中间表示,并依据XPath模式进行检查。虽然Smartcheck能够有效地分析许多安全漏洞,但部分漏洞的分析并不完善且收录的漏洞也... Smartcheck是以太坊智能合约的一个典型的静态分析工具,其将基于Solidity语言的智能合约源代码转换为基于XML的中间表示,并依据XPath模式进行检查。虽然Smartcheck能够有效地分析许多安全漏洞,但部分漏洞的分析并不完善且收录的漏洞也不够完整。针对该问题,本文通过对漏洞原理的深入分析,在时间戳依赖、整数溢出和delegatecall等典型漏洞方面进一步完善了Smartcheck,并实现了一个新的检测工具SmartETH。通过真实大数据集和5份具体合约验证表明,SmartETH能够更好地检测出相关的漏洞,同时减少了大量漏洞的误报和漏报问题。 展开更多

关键词 智能合约 安全漏洞 Smartcheck 以太坊 区块链

在线阅读 下载PDF 职称材料

共有财产资源产权结构的特点与利用行为 被引量：11

9

作者 丁栋虹 贾砚林 丁梅芳 《中国环境科学》 EI CAS CSCD 北大核心 1999年第5期477-480,共4页

分析了共有财产资源产权不具有排它性、交易双方产权拥有不平衡性和产权不具有转让性的产权结构特点，由此决定了共有财产资源在使用时具有公开获取性，在使用结果上具有排它性，而且个人使用的收益总是大于个人分担的成本．在此基础上... 分析了共有财产资源产权不具有排它性、交易双方产权拥有不平衡性和产权不具有转让性的产权结构特点，由此决定了共有财产资源在使用时具有公开获取性，在使用结果上具有排它性，而且个人使用的收益总是大于个人分担的成本．在此基础上，如果共有财产资源向每个使用者开放，没有计划地使用，就会导致过度利用、早用及至误用资源。要防止这种情况发生，只有从控制共有财产资源的使用、加强共有财产资源的管理着手． 展开更多

关键词 共有财产资源 共有产权 资源管理 环境经济学

在线阅读 下载PDF 职称材料

稀疏局部保持投影 被引量：4

10

作者 郑忠龙 黄小巧 +1 位作者 贾泂 杨杰 《计算机学报》 EI CSCD 北大核心 2014年第9期2038-2046,共9页

LASSO(Least Absolute Shrinkage and Selection Operator)是1范数和2范数混合学习的一种理论框架,基于LASSO提出了局部保持投影的稀疏回归算法SpLPP及其广义的正则化形式RSpLPP,并从理论上证明了所提模型的收敛性及求解算法,给出了算... LASSO(Least Absolute Shrinkage and Selection Operator)是1范数和2范数混合学习的一种理论框架,基于LASSO提出了局部保持投影的稀疏回归算法SpLPP及其广义的正则化形式RSpLPP,并从理论上证明了所提模型的收敛性及求解算法,给出了算法的复杂性分析.所提算法同时具有特征选择、降维的特性,在有监督学习、无监督学习两种任务情况下,都可以应用该算法.在人工数据集和真实数据集上进行的大量仿真实验,取得了较好的结果,证明了所提算法的有效性. 展开更多

关键词 稀疏学习 局部保持投影 流行学习 正则化

在线阅读 下载PDF 职称材料

基于改进的快速独立分量分析与支持向量机的ECG分类诊断 被引量：8

11

作者 谢亮 汪晓东 《仪器仪表学报》 EI CAS CSCD 北大核心 2009年第12期2599-2604,共6页

提出了一种改进快速独立分量分析与支持向量机相结合的新型心电图分类方法。利用埃特金加速法对快速独立分量分析算法的核心迭代过程进行改造,得到改进的快速独立分量分析算法,减少了迭代次数,提高了算法的收敛速度。新方法运用改进的... 提出了一种改进快速独立分量分析与支持向量机相结合的新型心电图分类方法。利用埃特金加速法对快速独立分量分析算法的核心迭代过程进行改造,得到改进的快速独立分量分析算法,减少了迭代次数,提高了算法的收敛速度。新方法运用改进的快速独立分量分析算法提取心电图数据的特征向量,并通过支持向量机实现心电图信号的分类。对取自MIT/BH数据库的7种不同心脏状况的心电图数据进行实验,结果表明该方法整体识别率达到98.8%,改进的快速独立分量分析算法所需迭代时间比现有的快速独立分量分析算法减少48%。 展开更多

关键词 ECG信号分类 独立分量分析 埃特金加速 支持向量机

在线阅读 下载PDF 职称材料

面向对象技术中若干问题的探讨 被引量：5

12

作者 贾洞 杨小锋 《小型微型计算机系统》 CSCD 北大核心 1998年第3期40-42,共3页

本文就应用面向对象 (OO)技术须着重注意的几个问题进行了探讨 ,这些问题包括信息组织、主题。

关键词 信息组织 面向对象 软件开发

在线阅读 下载PDF 职称材料

模糊串匹配算法及其应用 被引量：3

13

作者 苗兰芳 杨传斌 《小型微型计算机系统》 CSCD 北大核心 1996年第10期72-76,共5页

本文分析了模糊字符率的几种类型和它的表示方法，并给出模糊匹配的算法及Ｃ语言的源程序，同时也指出了在文本编辑器的应用例子。

关键词 模糊字符串 串匹配 模糊匹配 算法

在线阅读 下载PDF 职称材料

基于Agent的虚拟组织的信息基础结构 被引量：4

14

作者 瞿有甜 《计算机科学》 CSCD 北大核心 2000年第8期29-32,共4页

一、虚拟组织的信息基础随着全球企业生产复杂性的不断增加,制约一个企业发展的根本已不是劳动力和资本,而是信息,而对于制造业,其信息非常的多,一般来说,这类有关的信息有MIS、MRP、CAPP、CAD、CAM等,但这些数据很少是集成的,大多是分... 一、虚拟组织的信息基础随着全球企业生产复杂性的不断增加,制约一个企业发展的根本已不是劳动力和资本,而是信息,而对于制造业,其信息非常的多,一般来说,这类有关的信息有MIS、MRP、CAPP、CAD、CAM等,但这些数据很少是集成的,大多是分布独立的,甚至开发平台等大多是异构件,而作为一个企业的决策者来说。 展开更多

关键词 虚拟组织 信息基础结构 AGENT 敏捷制造业

在线阅读 下载PDF 职称材料

拉普拉斯最大最小判别分析及应用 被引量：1

15

作者 郑忠龙 杨杰 《电子学报》 EI CAS CSCD 北大核心 2010年第4期860-864,859,共6页

提出了一种新的有监督降维方法:拉普拉斯最大最小判别分析(Laplacian MinMax Discriminant Analysis,LMMDA).LMMDA通过样本空间中成对点之间的距离定义类内和类间散度矩阵,并通过最小化类内散度、最大化类间散度以求得最优投影矩阵.在LM... 提出了一种新的有监督降维方法:拉普拉斯最大最小判别分析(Laplacian MinMax Discriminant Analysis,LMMDA).LMMDA通过样本空间中成对点之间的距离定义类内和类间散度矩阵,并通过最小化类内散度、最大化类间散度以求得最优投影矩阵.在LMMDA最优子空间中,类内样本更为紧致,类间样本更为松弛.样本集的结构信息包含在类内、类间的Laplacian矩阵,并可以对最优投影子空间加以控制.在多个数据集上的实验证明了该算法的有效性. 展开更多

关键词 降维 有监督学习 判别分析 拉普拉斯映射

在线阅读 下载PDF 职称材料

ADSL技术及其在校园网络中的应用 被引量：1

16

作者 赵建民 朱信忠 《计算机科学》 CSCD 北大核心 2000年第8期14-17,46,共5页

1 什么是ADSL及xDSL技术随着Internet以惊人的速度发展,在Internet上的商业应用和多媒体信息服务等也得以迅猛推广。用户接入网(从本地电话局到用户之间的部分)是电信网的重要组成部分,也是信息高速公路的“最后一英里”。为了实现用户... 1 什么是ADSL及xDSL技术随着Internet以惊人的速度发展,在Internet上的商业应用和多媒体信息服务等也得以迅猛推广。用户接入网(从本地电话局到用户之间的部分)是电信网的重要组成部分,也是信息高速公路的“最后一英里”。为了实现用户接入网的数字化、宽带化,提高用户上网速度,光纤到户(FTTH) 展开更多

关键词 校园网络 ADSL XDSL 调制解调器

在线阅读 下载PDF 职称材料

面向对象分析建模策略 被引量：3

17

作者 贾泂 《计算机工程》 CAS CSCD 北大核心 1997年第6期35-37,共3页

文章首先给出面向对象的软件（OOA）分析的重要性，并分析比较了几种典型的OOA方法，最后着重介绍了他们在开发”八五”课题中采用的一种基于Coad＆Yourdon方法的OOA策略.

关键词 面向对象分析 建模 软件开发

在线阅读 下载PDF 职称材料

消除有限容量演算中的强干扰

18

作者 钟发荣 贾 +1 位作者 陈建明 傅育熙 《上海交通大学学报》 EI CAS CSCD 北大核心 2005年第8期1317-1321,共5页

为了消除有限容量演算中的强干扰和控制资源的移动,改进了该演算的某些原语,提出了一种新的演算——安全有限容量演算.在新演算中,调整了2个能力,增加了3个能力(相当于动作)和2个余能力(余动作),并改进相应的归约语义,给出了安全有限容... 为了消除有限容量演算中的强干扰和控制资源的移动,改进了该演算的某些原语,提出了一种新的演算——安全有限容量演算.在新演算中,调整了2个能力,增加了3个能力(相当于动作)和2个余能力(余动作),并改进相应的归约语义,给出了安全有限容量演算的类型系统.该类型系统控制灰箱的移动性和线程数,并保证在计算过程中灰箱所拥有的资源数被静态地保持在其资源数范围内. 展开更多

关键词 有限容量 进程演算 移动灰箱 移动资源 强干扰

在线阅读 下载PDF 职称材料

基因学习算法及其在图论中的应用

19

作者 金炳尧 何振亚 蔚承建 《数据采集与处理》 EI CSCD 2000年第2期133-137,共5页

在 PBIL算法及自私基因算法的基础上 ,提出了一个适应性更广、搜索能力更强的优化搜索算法。该算法从各基因位的初始等位基因概率出发 ,通过一系列概率采样、选择与搜索、概率修正等操作 ,使搜索空间逐步收敛于最优点。该算法既吸取了... 在 PBIL算法及自私基因算法的基础上 ,提出了一个适应性更广、搜索能力更强的优化搜索算法。该算法从各基因位的初始等位基因概率出发 ,通过一系列概率采样、选择与搜索、概率修正等操作 ,使搜索空间逐步收敛于最优点。该算法既吸取了遗传算法的群体搜索的特点 ,又吸收了局部搜索算法的局部搜索能力强的优点。最后介绍了该算法在图论中的几个应用实例。 展开更多

关键词 基因学习算法 PBIL算法 图论 遗传算法

在线阅读 下载PDF 职称材料

关于归纳证明的探讨

20

作者 钟发荣 孙永强 《计算机科学》 CSCD 北大核心 1998年第5期59-61,共3页

归纳定理证明是一种难度较大且较有前途的一种自动定理证明方法。较早的归纳定理证明器是Boyer一Moore于1979年提出的BM证明器,BM证明器采用的是传统的结构归纳法,对所证公式中的每个函数项都根据其所谓归纳模板提出相应的归纳方案,然... 归纳定理证明是一种难度较大且较有前途的一种自动定理证明方法。较早的归纳定理证明器是Boyer一Moore于1979年提出的BM证明器,BM证明器采用的是传统的结构归纳法,对所证公式中的每个函数项都根据其所谓归纳模板提出相应的归纳方案,然后对这个归纳方案进行分析、比较和整理。 展开更多

关键词 归纳证明 自动定理证明 算法 计算机

在线阅读 下载PDF 职称材料