修正的n值Gdel逻辑系统的随机化 被引量：15

1

作者 李修清 魏海新 林亮 《计算机工程与应用》 CSCD 2012年第24期45-48,共4页

利用赋值集的随机化方法,在修正的n值Gdel逻辑系统中提出了公式的随机真度和随机距离的概念,建立了随机度量空间。指出当取均匀概率时,随机真度就转化为计量逻辑学中的真度,建立了更一般的随机逻辑度量空间。

关键词 随机概率分布矩阵 随机真度 随机逻辑度量空间

在线阅读 下载PDF 职称材料

钻井液专家系统的研究与设计 被引量：4

2

作者 胡庆辉 赵正文 陆玉靖 《钻井液与完井液》 CAS 北大核心 2007年第3期60-63,共4页

讨论了将专家系统的有关理论和技术引入到钻井液设计的方法,从知识获取、知识表示、知识推理等方面来分析和建立钻井液设计专家系统的框架,并构建了基于专家经验知识和配方加量知识的推理模型。结合计算机技术,建立了开放的钻井液设计... 讨论了将专家系统的有关理论和技术引入到钻井液设计的方法,从知识获取、知识表示、知识推理等方面来分析和建立钻井液设计专家系统的框架,并构建了基于专家经验知识和配方加量知识的推理模型。结合计算机技术,建立了开放的钻井液设计专家系统。根据对油井各阶段的地层特点、井身结构、钻井措施等具体条件的分析,为钻井工作提供非常科学的设计参数,以便正确选择钻井液类型,决定相应合理的钻井措施,提高钻井液配制效率,达到优质快速钻井的目的。 展开更多

关键词 钻井液 配方设计 专家系统 知识库

在线阅读 下载PDF 职称材料

基于特征的印刷体数字符号识别系统 被引量：4

3

作者 刘建华 牛秦洲 +1 位作者 程小辉 王勇 《桂林工学院学报》 北大核心 2005年第1期101-103,共3页

探讨了一种印刷体数字符号快速识别算法, 采用图像旋转、去噪声、图像分割等手段对含有印刷体数字符号的图像进行预处理, 然后根据印刷体数字的字符结构提取 4种稳定且有效的结构特征, 即横线特征、竖线特征、水平方向过线数和垂直方向... 探讨了一种印刷体数字符号快速识别算法, 采用图像旋转、去噪声、图像分割等手段对含有印刷体数字符号的图像进行预处理, 然后根据印刷体数字的字符结构提取 4种稳定且有效的结构特征, 即横线特征、竖线特征、水平方向过线数和垂直方向过线数. 根据这些特征构造编码器, 进行编码识别, 使用VC++编程实现. 实验表明, 该算法速度快、精度高, 有一定的抗干扰性. 展开更多

关键词 印刷体数字 识别 特征提取 过线数 编码器

在线阅读 下载PDF 职称材料

实时并行系统的性能及其测试方法 被引量：1

4

作者 郝丽蕊 薛弘晔 覃科 《计算机工程》 CAS CSCD 北大核心 2010年第8期267-269,共3页

实时并行系统是并行/分布系统的重要组成部分,它要求系统计算时间具有可预测性,即符合应用要求的硬性响应时间约束。根据该特点,分析影响实时并行系统性能的各种因素,设计并实现一种简单的实时并行系统评测方案,并在实验室对C3I实时集... 实时并行系统是并行/分布系统的重要组成部分,它要求系统计算时间具有可预测性,即符合应用要求的硬性响应时间约束。根据该特点,分析影响实时并行系统性能的各种因素,设计并实现一种简单的实时并行系统评测方案,并在实验室对C3I实时集群系统进行评测,从而验证该方案的有效性。 展开更多

关键词 实时并行系统 测试 性能 可预测性 延迟时间

在线阅读 下载PDF 职称材料

Gdel逻辑系统中1/2-子代数上的广义重言式理论 被引量：6

5

作者 李修清 《计算机工程与应用》 CSCD 北大核心 2011年第5期43-45,100,共4页

将Gdel逻辑系统中的广义重言式理论进行推广,讨论了逻辑系统-G中具有1/2聚点的三类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在-G的三类子代数中给出F(S)关于同余的一个分划。

关键词 Gdel逻辑系统 广义重言式 子代数 分划

在线阅读 下载PDF 职称材料

修正的Kleene系统中子代数的广义重言式理论 被引量：6

6

作者 魏海新 《计算机工程与应用》 CSCD 北大核心 2009年第22期32-33,46,共3页

将修正的Kleene系统中的广义重言式理论进行推广,讨论了其序稠密子代数的广义重言式理论,并利用可达广义重言式的概念在W的序稠密子代数中给出F(S)关于┐同余的一个分划。

关键词 修正的Kleene系统 广义重言式 分划

在线阅读 下载PDF 职称材料

Gdel系统中一类子代数上的广义重言式理论 被引量：4

7

作者 魏海新 《计算机工程与应用》 CSCD 北大核心 2010年第29期56-57,62,共3页

将Gdel逻辑系统中的广义重言式理论进行推广,讨论了一类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在G的标准子代数E0中给出F(S)关于﹁同余的一个分划。

关键词 Gdel逻辑系统 广义重言式 子代数 分划

在线阅读 下载PDF 职称材料

一类饱和反应动力系统的定性分析 被引量：1

8

作者 董锦华 阎黎明 《济南大学学报（自然科学版）》 CAS 北大核心 2010年第3期316-318,共3页

讨论一类具有二重饱和反应速度的生化反应模型(dx/dt)=α-xy+ky2,(dy/dt)=β+xy-ky2-(py2/+qy2),给出了该系统极限环的不存在性、存在性及唯一性的充分条件。

关键词 饱和反应动力系统 极限环 唯一性

在线阅读 下载PDF 职称材料

一类2n+1次多项式微分系统无穷远点的极限环分支

9

作者 罗国湘 黄文韬 徐慧栩 《河南师范大学学报（自然科学版）》 CAS CSCD 北大核心 2008年第6期27-29,共3页

研究一类2n+1次多项式微分自治系统在无穷远点的奇点量、中心条件与极限环问题.通过计算推断与理论证明,得出了该系统在无穷远点奇点量的表达式.在此基础上给了该类系统无穷远点成为中心和成为最高阶细焦点的条件,并构造了这类系统在无... 研究一类2n+1次多项式微分自治系统在无穷远点的奇点量、中心条件与极限环问题.通过计算推断与理论证明,得出了该系统在无穷远点奇点量的表达式.在此基础上给了该类系统无穷远点成为中心和成为最高阶细焦点的条件,并构造了这类系统在无穷远点分支出3个极限环的实例. 展开更多

关键词 多项式微分系统 无穷远点 奇点量 中心 极限环分支

在线阅读 下载PDF 职称材料

基于Intranet的病毒防范体系构建

10

作者 李燕 刘建华 《桂林工学院学报》 2003年第3期351-354,共4页

计算机病毒经过多年的发展,病毒的感染对象越来越广泛、手段越来越复杂、形式越来越隐蔽、传播的速度越来越快。当前的反病毒技术针对现有的病毒为计算机系统提供了相当大程度上的病毒防范,并取得了很大的成功。本文在现有反病毒技术的... 计算机病毒经过多年的发展,病毒的感染对象越来越广泛、手段越来越复杂、形式越来越隐蔽、传播的速度越来越快。当前的反病毒技术针对现有的病毒为计算机系统提供了相当大程度上的病毒防范,并取得了很大的成功。本文在现有反病毒技术的基础上,讨论了网络时代病毒行为以及病毒防范的新特点,提出了将网络监控加入到已有的技术中的方法,并且初步构建了一个集文件扫描、网络监控于一身的计算机病毒防范方案。 展开更多

关键词 计算机病毒 Internet病毒 网络病毒监控 病毒防范管理

在线阅读 下载PDF 职称材料

最短路问题的Floyd加速算法与优化 被引量：30

11

作者 张德全 吴果林 刘登峰 《计算机工程与应用》 CSCD 北大核心 2009年第17期41-43,46,共4页

Floyd算法是求解网络中任意两点之间最短路的高效算法,文章给出了在不含负回路的网络中Floyd加速算法及优化方法,并构造了求解最短路径的序号矩阵。算法分析和计算实例表明,优化后的Floyd加速算法迭代速度快,计算量大大减少,路径寻找简... Floyd算法是求解网络中任意两点之间最短路的高效算法,文章给出了在不含负回路的网络中Floyd加速算法及优化方法,并构造了求解最短路径的序号矩阵。算法分析和计算实例表明,优化后的Floyd加速算法迭代速度快,计算量大大减少,路径寻找简单、直观。 展开更多

关键词 最短路 FLOYD算法 加速方法 最短路径

在线阅读 下载PDF 职称材料

DCT域水印嵌入新策略和算法 被引量：13

12

作者 余燕忠 王新伟 刘建华 《计算机应用与软件》 CSCD 北大核心 2004年第1期12-13,60,共3页

本文提出一种新的水印嵌入策略 ,将水印信号嵌入到原始图像块DCT域的AC分量和DC分量中。基于该策略提出了一个自适应图像水印算法。该算法先把原始图像和水印图像分别进行分块DCT ,然后将水印信号的AC分量和DC分量以不同的能量分别嵌入... 本文提出一种新的水印嵌入策略 ,将水印信号嵌入到原始图像块DCT域的AC分量和DC分量中。基于该策略提出了一个自适应图像水印算法。该算法先把原始图像和水印图像分别进行分块DCT ,然后将水印信号的AC分量和DC分量以不同的能量分别嵌入到原始图像块DCT域的AC分量和DC分量中。实验结果表明 。 展开更多

关键词 DCT域 水印嵌入策略 自适应图像水印算法 图像处理 鲁棒性 图像信息安全

在线阅读 下载PDF 职称材料

快速模糊C均值聚类的图像分割方法 被引量：25

13

作者 李志梅 肖德贵 《计算机工程与应用》 CSCD 北大核心 2009年第12期187-189,共3页

模糊C均值(FCM)聚类算法广泛应用于图像的自动分割,但标准的FCM算法存在计算量大,运算速度慢等问题。对FCM算法进行改进,提出了一种快速FCM图像分割算法(FFCM),该算法将图像从像素空间映射到其灰度直方图特征空间,并在此基础上,充分利... 模糊C均值(FCM)聚类算法广泛应用于图像的自动分割,但标准的FCM算法存在计算量大,运算速度慢等问题。对FCM算法进行改进,提出了一种快速FCM图像分割算法(FFCM),该算法将图像从像素空间映射到其灰度直方图特征空间,并在此基础上,充分利用像素的邻域特性,对隶属度函数做一定改进,实验结果表明该算法能快速有效地分割图像,并具有较好的抗噪能力。 展开更多

关键词 模糊C均值(FCM) 聚类 图像分割

在线阅读 下载PDF 职称材料

基于差错控制的图像水印算法 被引量：2

14

作者 王新伟 余燕忠 +1 位作者 潘仁良 刘建华 《计算机工程》 CAS CSCD 北大核心 2003年第8期1-2,7,共3页

提出了一种基于差错控制的图像水印算法,在嵌入水印时先将水印信息进行纠错编码再嵌入到图像中,在提取水印时对恢复出的水印信息进行纠错解码。实验结果表明,该算法比未采用差错控制的同一水印算法具有更好的稳健性。

关键词 数字水印 差错控制 位扩展 噪声阈值 相关函数

在线阅读 下载PDF 职称材料

基于小波变换和KFCM的彩色图像分割 被引量：3

15

作者 李志梅 肖德贵 王丽丽 《计算机工程》 CAS CSCD 北大核心 2009年第19期203-205,共3页

提出一种将小波变换和核模糊C均值聚类算法相结合的快速彩色图像分割算法。利用小波变换的多分辨率特性,在分辨率最大尺度上的LL子带进行均值漂移聚类,快速获得初始粗分割结果,在其基础上进行模糊核聚类分割,将上一层的结果用于下一层... 提出一种将小波变换和核模糊C均值聚类算法相结合的快速彩色图像分割算法。利用小波变换的多分辨率特性,在分辨率最大尺度上的LL子带进行均值漂移聚类,快速获得初始粗分割结果,在其基础上进行模糊核聚类分割,将上一层的结果用于下一层的初始化,重复至最低分辨率后用最小分类器对原始图像进行最终分割。实验结果证明,该算法分割速度快,对自然彩色图像的分割结果优于模糊C均值算法和均值漂移算法。 展开更多

关键词 小波变换 图像分割 核模糊C均值聚类 均值漂移

在线阅读 下载PDF 职称材料

一种灵活的SOAP签名加密方案 被引量：7

16

作者 魏海新 张超英 《计算机工程》 CAS CSCD 北大核心 2010年第13期151-153,共3页

提出一种灵活的简单对象访问协议(SOAP)消息部分签名加密方案,该方案能够达到功能性逻辑设计与非功能性安全设计分离的目的,增强系统的可维护性和扩展性,实现SOAP消息部分签名加密功能。在.NET环境下使用WSE3.0实现了该方案,证明其具有... 提出一种灵活的简单对象访问协议(SOAP)消息部分签名加密方案,该方案能够达到功能性逻辑设计与非功能性安全设计分离的目的,增强系统的可维护性和扩展性,实现SOAP消息部分签名加密功能。在.NET环境下使用WSE3.0实现了该方案,证明其具有较好的推广应用价值。 展开更多

关键词 简单对象访问协议消息 签名加密 安全策略

在线阅读 下载PDF 职称材料

R_G-代数的子代数与广义重言式理论 被引量：5

17

作者 李修清 魏海新 《计算机工程与应用》 CSCD 北大核心 2011年第29期49-51,59,共4页

对Gdel逻辑系统中的广义重言式理论进行推广,讨论了RG-代数的各类无限子代数上的广义重言式,证明了在子RG-代数中,Gdel逻辑系统中存在着可数多个不同的广义重言式。

关键词 Gdel逻辑系统 广义重言式 子RG-代数 分划

在线阅读 下载PDF 职称材料

一种高可用性冗余集群的关键技术及可信性分析 被引量：2

18

作者 郝丽蕊 薛弘晔 陈艳 《计算机应用》 CSCD 北大核心 2009年第2期611-613,617,共4页

介绍了高可用性冗余集群系统的一些关键技术,提出了一种基于任务表的自适应容错算法,对算法的设计思想和具体实现进行了详细阐述。最后建立了系统随机Petri-net模型,对系统进行可信性分析,经计算分析表明系统满足实际高可用性要求。

关键词 任务分配表 高可用集群 任务迁移 Petri-net模型 k/n表决冗余系统 可信性

在线阅读 下载PDF 职称材料

教师的课堂控制策略研究 被引量：5

19

作者 王彦辉 张德全 《教育与职业》 北大核心 2010年第3期160-161,共2页

教师授课既是传授知识，也是对课堂进行控制。教师的课堂控制包括对学生的控制、对教学进程的控制和对教师自身的控制。文章阐述了教师课堂控制的重要性及应该注意的若干问题，指出教师的控制应该靠自身榜样的力量，以一种隐蔽的方式实施。

关键词 剐课堂控制 教师 控制

在线阅读 下载PDF 职称材料

自组织网络按需路由协议性能仿真 被引量：1

20

作者 李志远 盘莉莉 胡庆辉 《计算机工程与设计》 CSCD 北大核心 2008年第14期3592-3595,共4页

介绍了Ad hoc网络中使用的AODV及DSR路由协议,针对Ad hoc网络移动的机动性、分组发送的随机性、节点数目的不确定性及发送分组大小的可变性,对文献[1]所采用的仿真场景进行了实用化的改进,并利用OPNET进行了大量的仿真,给出了AODV和DSR... 介绍了Ad hoc网络中使用的AODV及DSR路由协议,针对Ad hoc网络移动的机动性、分组发送的随机性、节点数目的不确定性及发送分组大小的可变性,对文献[1]所采用的仿真场景进行了实用化的改进,并利用OPNET进行了大量的仿真,给出了AODV和DSR两种路由协议性能的仿真结果。 展开更多

关键词 自组织网络 按需路由协议 性能 仿真

在线阅读 下载PDF 职称材料