期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
118
篇文章
<
1
2
…
6
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于特征关联融合的图像检索方法
被引量:
2
1
作者
刘润杰
张化祥
孔文杰
《济南大学学报(自然科学版)》
CAS
北大核心
2015年第5期327-332,共6页
鉴于单一特征检索效果的不足,提出基于颜色和纹理特征相互关联融合的图像检索新方法。利用非等间隔量化HSV颜色空间,提取图像的颜色特征,利用Gabor小波提取图像的纹理特征;对内容分布简单的检索图像,采用图像底层特征串行关联(FSC)方法...
鉴于单一特征检索效果的不足,提出基于颜色和纹理特征相互关联融合的图像检索新方法。利用非等间隔量化HSV颜色空间,提取图像的颜色特征,利用Gabor小波提取图像的纹理特征;对内容分布简单的检索图像,采用图像底层特征串行关联(FSC)方法,对内容分布复杂的检索图像,采用基于典型相关分析(CCA)的图像底层特征并行关联(FPC)的方法,融合颜色特征和纹理特征进而检索图像。
展开更多
关键词
CBIR
颜色特征
纹理特征
CCA
特征融合
下载PDF
职称材料
软交换系统话务量模型研究
被引量:
2
2
作者
刘润杰
杨放春
《通信学报》
EI
CSCD
北大核心
2004年第8期9-13,共5页
分析了软交换与PSTN在话务特性上的区别,建立了软交换的话务模型。该模型将呼叫 的排队过程与语音包的排队过程合并起来,建立了完整的系统状态图。最后推导出软交换话务量 计算的数学公式,为软交换系统的分析与设计提供了理论上的依据。
关键词
软交换
话务量
排队模型
系统性能
下载PDF
职称材料
形式化开发非递归Koch曲线算法
被引量:
1
3
作者
刘润杰
申金媛
穆维新
《计算机科学》
CSCD
北大核心
2011年第9期126-129,共4页
形式化方法是构建可信软件的重要途径。Koch曲线是典型的分形图形。基于形式化方法PAR及循环不变式开发策略,开发了Koch曲线非递归算法,并对其进行了形式化的正确性证明。在得到求解Koch曲线算法的循环不变式的同时,直接得到易读、高效...
形式化方法是构建可信软件的重要途径。Koch曲线是典型的分形图形。基于形式化方法PAR及循环不变式开发策略,开发了Koch曲线非递归算法,并对其进行了形式化的正确性证明。在得到求解Koch曲线算法的循环不变式的同时,直接得到易读、高效且可靠的非递归算法。对使用形式化方法及循环不变式开发策略开发分形程序非递归算法作了较深入的实践和探讨。
展开更多
关键词
KOCH曲线
形式化方法
非递归
PAR方法
循环不变式
下载PDF
职称材料
一种改进的智能卡远程用户匿名认证方案
被引量:
1
4
作者
刘润杰
刘恒超
申金媛
《计算机工程与科学》
CSCD
北大核心
2016年第3期465-470,共6页
针对Sonwanshi提出的远程用户认证方案存在会话密钥安全性差、不能抵御扮演攻击和离线口令猜测攻击的缺陷,提出了一种改进方案,主要在注册和登录阶段增加了安全性能。在注册阶段,用户口令直接在智能卡内进行相应运算,不再提交给服务器...
针对Sonwanshi提出的远程用户认证方案存在会话密钥安全性差、不能抵御扮演攻击和离线口令猜测攻击的缺陷,提出了一种改进方案,主要在注册和登录阶段增加了安全性能。在注册阶段,用户口令直接在智能卡内进行相应运算,不再提交给服务器。这不仅降低了服务器对口令存储、维护的开销,而且避免了服务器对用户的攻击,提高了安全性能。在登录阶段,采用随机数的挑战应答方式取代原方案的时间戳方式,消除了时钟不同步导致的认证失败。对原方案、改进方案和其他同类方案进行安全性和效率分析的结果表明,改进方案不仅弥补了原方案的缺陷,而且相对同类方案,降低了时间复杂度,适用于安全需求高、处理能力低的设备。
展开更多
关键词
智能卡
身份认证
匿名性
扮演攻击
会话密钥
下载PDF
职称材料
TD-SCDMA智能天线电磁环境测试方法研究
被引量:
1
5
作者
刘润杰
刘红欣
申金媛
《传感器与微系统》
CSCD
北大核心
2013年第7期51-52,56,共3页
随着移动通信的迅速发展,移动通信基站的电磁辐射逐渐为人们所关注。根据TD-SCDMA智能天线的工作原理、辐射特性、电磁环境安全标准及测试方法,提出了一种新的布点方案和测量方法,并对TD-SCDMA基站周围的电磁场强强度进行了测量。提出...
随着移动通信的迅速发展,移动通信基站的电磁辐射逐渐为人们所关注。根据TD-SCDMA智能天线的工作原理、辐射特性、电磁环境安全标准及测试方法,提出了一种新的布点方案和测量方法,并对TD-SCDMA基站周围的电磁场强强度进行了测量。提出的测量方法能够快速、准确地测量TD-CSDMA基站的辐射状况,为智能天线的环境影响评价提供了较好的支持。
展开更多
关键词
天线测量
智能天线
布点方案
环境影响评价
下载PDF
职称材料
一种新的VoIP流量模型的研究
被引量:
1
6
作者
刘润杰
杨放春
《北京邮电大学学报》
EI
CAS
CSCD
北大核心
2004年第z1期44-49,共6页
通过对VoIP话务模型话源特性的分析总结,提出了VoIP话务模型的选择标准及影响模型的因素,并据此建立了一种新的VoIP流量模型.该模型将呼叫的排队过程与语音句的排队过程合并起来,建立了完整的系统状态图.推导出了VoIP流量计算的数学公式...
通过对VoIP话务模型话源特性的分析总结,提出了VoIP话务模型的选择标准及影响模型的因素,并据此建立了一种新的VoIP流量模型.该模型将呼叫的排队过程与语音句的排队过程合并起来,建立了完整的系统状态图.推导出了VoIP流量计算的数学公式,为VoIP系统的分析与设计提供了理论依据.
展开更多
关键词
VOIP
流量模型
排队模型
系统性能
下载PDF
职称材料
计算机信息系统的验证与确认
7
作者
刘润杰
薛锦云
+1 位作者
童兆丰
吴世兴
《计算机工程》
CAS
CSCD
北大核心
1996年第S1期323-323,共1页
计算机信息系统的验证与确认是提高系统正确性和可靠性的有效技术,然而人们对验证与确认的含义尚无统一、明确的认识.文中给出了验证与确认的明确定义,阐述了它们之间的区别与联系,并分别介绍了各种流行的验证与确认技术.验证与确认(简...
计算机信息系统的验证与确认是提高系统正确性和可靠性的有效技术,然而人们对验证与确认的含义尚无统一、明确的认识.文中给出了验证与确认的明确定义,阐述了它们之间的区别与联系,并分别介绍了各种流行的验证与确认技术.验证与确认(简称V & V)是计算机信息系统中一个重要概念,它们是贯穿信息系统生产每一步的一个持续的过程.验证与确认是测试程序是否符合其需求以及需求是否满足用户的需要这一过程的总称.它们的目的是通过动态和静态的系统分析测试技术提高计算机信息系统的正确性和可靠性.静态技术包括程序的静态检查、分析以及形式化证明.动态技术就是运行一个实现的系统来进行测试和分析.在许多献中验证与确认的含义模糊不清.我们认为:验证指的是证明软件(程序)符合其规范;确认指的是证实软件(程序)符合其用户的要求.区分验证与确认的关键在于验证是确保程序与其规范一致的行为,而确认则是确保程序与用户要求一致.在验证和确认的技术中,验证的技术大多数是理论的推导,确认的技术大多数是测试.验证的目的是确保程序与其规范一致.软件生产过程中,从软件规范到程序实现之间的每一步都要有验证.我们提出的分划递推法可以提高计算机信息系统的正确性和可靠性,用该方法设计和证明算法程序的步骤如下:a
展开更多
关键词
系统的验证与确认
计算机信息系统
软件规范
系统测试
下载PDF
职称材料
下一代网络信令流量分析
被引量:
1
8
作者
刘润杰
杨放春
《重庆邮电学院学报(自然科学版)》
2005年第3期253-256,共4页
经过研究下一代信令网的系统构成,分析了下一代网络(NGN)信令流量的特性,对比相关网络的流量特性,并分析自相似流量产生的原因,通过仿真下一代网络的信令流量,验证了下一代网络信令流量具有自相似、多分形的特性。还分析了自相似流量对...
经过研究下一代信令网的系统构成,分析了下一代网络(NGN)信令流量的特性,对比相关网络的流量特性,并分析自相似流量产生的原因,通过仿真下一代网络的信令流量,验证了下一代网络信令流量具有自相似、多分形的特性。还分析了自相似流量对下一代网络信令所产生的影响。
展开更多
关键词
信令
流量特性
下一代网络信令
自相似
下载PDF
职称材料
气波制冷机转速与动态压力的同步测量
被引量:
1
9
作者
刘润杰
朱彻
《制冷》
1995年第2期79-82,共4页
本文介绍了转动部件封闭在机壳内的气波制冷机的转速和动态压力的同步测量。并对自旋转和用电机带动两种工况下的动态压力波的测量以及转速测量进行了对比。此种测量方法对于具有脉动压力或能产生脉动信号的机器都具有适用意义。
关键词
气波制冷机
转速
动态压力
同步测量
下载PDF
职称材料
气瓶疲劳试验计算机自动控制系统
10
作者
刘润杰
周一卉
+1 位作者
由宏新
喻健良
《化工装备技术》
CAS
2004年第3期34-36,共3页
介绍了气瓶疲劳试验计算机自动控制系统的设计与实现 ,并介绍了控制软件的设计和功能。该系统具有控制精度高、工作安全可靠、操作简便等特点。该控制系统的研制成功 。
关键词
计算机
自动控制系统
气瓶
压力容器
电阻
电位信号
电压
下载PDF
职称材料
可燃气体爆炸火焰和压力波传播特性的实验研究
被引量:
16
11
作者
喻健良
周崇
+1 位作者
刘润杰
严清华
《天然气工业》
EI
CAS
CSCD
北大核心
2004年第4期87-90,共4页
对预混可燃气体在圆形管道内的爆炸过程进行了实验研究 ,根据实验结果将超压的变化过程分为 4个阶段 ,将气体燃烧的变化过程分为 3个阶段。得出了计算火焰传播速度的经验公式。随着火焰的传播 ,火焰传播速度不断加快 ,且测点处的火焰传...
对预混可燃气体在圆形管道内的爆炸过程进行了实验研究 ,根据实验结果将超压的变化过程分为 4个阶段 ,将气体燃烧的变化过程分为 3个阶段。得出了计算火焰传播速度的经验公式。随着火焰的传播 ,火焰传播速度不断加快 ,且测点处的火焰传播速度越快、测点距点火处越远 ,燃烧时间就越短。对前驱冲击波与火焰面的相对时间及相对位置关系进行了分析。对爆燃转爆轰过程 (DDT)进行了初步研究 ,观察到此过程中前驱冲击波阵面仍然行进在火焰面的前方 ,但二者的间距在减小。火焰面紧跟在激波前缘的后面 ,二者同速传播 ,超压峰值的位置与火焰面重合。
展开更多
关键词
压力波
可燃气体
燃烧速率
传播速度
燃烧时间
前驱冲击波
爆炸事故
火灾事故
下载PDF
职称材料
振荡管管壁轴向导热的试验研究
被引量:
11
12
作者
李学来
方曜奇
+1 位作者
朱彻
刘润杰
《大连理工大学学报》
CAS
CSCD
北大核心
1996年第1期37-40,共4页
对振荡管管壁的轴向导热进行了实验研究,得出了一定振荡频率和膨胀比下隔阻管壁轴向导热对振荡管等熵制冷效率及管内流动的影响规律.结果表明:隔阻振荡管冷、热端管壁的轴向导热,使管内激波幅值增大,激波形成点后移,等熵制冷效率...
对振荡管管壁的轴向导热进行了实验研究,得出了一定振荡频率和膨胀比下隔阻管壁轴向导热对振荡管等熵制冷效率及管内流动的影响规律.结果表明:隔阻振荡管冷、热端管壁的轴向导热,使管内激波幅值增大,激波形成点后移,等熵制冷效率有显著提高.
展开更多
关键词
轴向导热
导热
激波
振荡管
管壁
制冷
化工机械
下载PDF
职称材料
沙棘籽油在超临界CO_2中溶解度的测定和关联
被引量:
10
13
作者
银建中
刘润杰
+1 位作者
魏炜
徐琴琴
《高校化学工程学报》
EI
CAS
CSCD
北大核心
2006年第1期126-129,共4页
对物质在超临界流体中溶解度的计算方法进行了简要评述。重点就Chrastil和delValle-Aguilera所提出的半经验关联式作了深入分析和比较。认为delValle-Aguilera公式源于Chrastil公式,但比Chrastil公式在关联实验数据时具有更为广泛的物...
对物质在超临界流体中溶解度的计算方法进行了简要评述。重点就Chrastil和delValle-Aguilera所提出的半经验关联式作了深入分析和比较。认为delValle-Aguilera公式源于Chrastil公式,但比Chrastil公式在关联实验数据时具有更为广泛的物理含义和适用性。特别对于植物籽油在超临界CO2中的溶解度计算就是成功的例证。最后,采用连续式测量方法,在10-30MPa和303-323K条件下,实测了沙棘籽油在超临界CO2中的溶解度数据。用delValle-Aguilera公式的形式对实验结果进行关联,给出了计算参数。所提出的计算公式,在上述实验条件范围内,最大相对误差小于6%。
展开更多
关键词
超临界流体
溶解度数据
沙棘籽油
二氧化碳
下载PDF
职称材料
基于红外光谱的烟叶自动分级研究
被引量:
18
14
作者
刘剑君
申金媛
+1 位作者
张乐明
刘润杰
《激光与红外》
CAS
CSCD
北大核心
2011年第9期986-990,共5页
烟叶的自动分级一直是国内外学者智能化研究的一个重要方向。通过分析烟叶的主要组成成分和烟叶光谱信息特征,发现烟叶红外光谱可作为烟叶分级特征,并通过神经网络模型验证了红外光谱作为其分级特征的可行性,通过对比分析选取最佳红外...
烟叶的自动分级一直是国内外学者智能化研究的一个重要方向。通过分析烟叶的主要组成成分和烟叶光谱信息特征,发现烟叶红外光谱可作为烟叶分级特征,并通过神经网络模型验证了红外光谱作为其分级特征的可行性,通过对比分析选取最佳红外光谱间隔、光谱范围以及最必要的光谱预处理方法。利用概率神经网络对9个等级的烟叶进行分组分级,首先对选光谱数据进行减均值的预处理以消除基线漂移,然后将其作为神经网络的输入模式,相应的等级或组分作为理想输出训练网络。选择近半数的样本作为训练样本,其余为测试样本;网络对于训练样本的正确吻合率为100%,测试样本的平均正确吻合率91%以上。结果表明烟叶的红外光谱可以作为烟叶的分级特征,概率神经网络可以用于烟叶自动分级,为烟叶的自动分级提供了新方法。
展开更多
关键词
烟叶分级
红外光谱概率
神经网络
下载PDF
职称材料
一种基于LEACH的高效节能协议
被引量:
18
15
作者
杨伟伟
刘润杰
申金媛
《传感技术学报》
CAS
CSCD
北大核心
2010年第8期1153-1157,共5页
针对无线传感器网络能量的限制,提出了一种基于LEACH的高效节能算法LEACH-EDM。新协议中簇首的选择同时考虑节点的剩余能量和簇首间距,簇首与基站之间的路由采用hopfield算法寻找一个多跳最优路径。仿真实验结果表明:与LEACH相比,该算...
针对无线传感器网络能量的限制,提出了一种基于LEACH的高效节能算法LEACH-EDM。新协议中簇首的选择同时考虑节点的剩余能量和簇首间距,簇首与基站之间的路由采用hopfield算法寻找一个多跳最优路径。仿真实验结果表明:与LEACH相比,该算法能有效延长网络的生存时间约50%,并且使第一个节点与最后一个节点的死亡时间差缩短在30轮内;因此该算法使负载更均衡,提高了能量的利用率。
展开更多
关键词
无线传感器网络
LEACH
剩余能量
距离
多跳
下载PDF
职称材料
管道内预混气体爆燃过程的实验研究
被引量:
20
16
作者
喻健良
周崇
刘润杰
《石油与天然气化工》
CAS
CSCD
北大核心
2004年第6期453-455,466,共4页
对预混气体在圆形管道内的爆燃过程进行了实验研究 ,根据实验结果将超压的变化过程分为前驱冲击波、升压、降压、余压四个阶段 ,将气体燃烧的变化过程分为未燃、燃烧、已燃三个阶段 ,并对各阶段中超压和火焰传播状况进行了分析。通过实...
对预混气体在圆形管道内的爆燃过程进行了实验研究 ,根据实验结果将超压的变化过程分为前驱冲击波、升压、降压、余压四个阶段 ,将气体燃烧的变化过程分为未燃、燃烧、已燃三个阶段 ,并对各阶段中超压和火焰传播状况进行了分析。通过实验结果得到了燃烧时间与火焰传播速度之间成直线关系 ,以及实验中反应区的宽度要远大于湍流燃烧理论中的反应区宽度的结论。
展开更多
关键词
爆炸超压
火焰传播
燃烧时间
反应区厚度
下载PDF
职称材料
多层网孔结构抑爆性能的研究进展
被引量:
17
17
作者
周崇
喻健良
+2 位作者
刘润杰
宋占兵
阿布里提.阿布都拉
《煤矿安全》
CAS
北大核心
2004年第3期6-8,共3页
文章介绍了网孔结构对管内爆炸波的抑制作用,如:丝网的几何参数、材质、层数、间距等因素对网孔结构的淬熄性能的影响,以及利用网孔结构对横波的吸收性能来抑制爆轰波。
关键词
淬熄
抑爆
网孔
横波
下载PDF
职称材料
下一代自动测试系统的核心:合成仪器系统
被引量:
13
18
作者
黄盛霖
沈聪辉
+2 位作者
孙伟超
蔡翔
刘润杰
《电子测量技术》
2011年第5期64-67,共4页
对传统的自动测试系统进行了简要分析,指出传统自动测试系统的不足。针对传统自动测试系统的不足,从合成仪器的硬件设计思想和软件需求两方面进行了阐述。主要介绍了合成仪器的模块化硬件结构,合成测试系统的软件组件编程思想,合成测试...
对传统的自动测试系统进行了简要分析,指出传统自动测试系统的不足。针对传统自动测试系统的不足,从合成仪器的硬件设计思想和软件需求两方面进行了阐述。主要介绍了合成仪器的模块化硬件结构,合成测试系统的软件组件编程思想,合成测试系统的软件算法以及合成测试系统的设计规则。
展开更多
关键词
自动测试系统
合成仪器
合成仪器系统
合成测试系统
下一代自动测试系统
下载PDF
职称材料
有机化合物在超临界流体中溶解度的模拟计算
被引量:
4
19
作者
银建中
刘润杰
+1 位作者
魏炜
徐琴琴
《天然气工业》
EI
CAS
CSCD
北大核心
2005年第10期130-132,共3页
为了预测有机化合物在超临界流体中的溶解度数据,以Peng-Robinson状态方程为模型,开发了一个用于计算含超临界流体相的气-液相平衡计算程序.对于已经发表的丙烷+辛烷、氢气+正己烷、SC-CO2+柠檬精油、SC-CO2+α-蒎烯、SC-CO2+葑酮等5个...
为了预测有机化合物在超临界流体中的溶解度数据,以Peng-Robinson状态方程为模型,开发了一个用于计算含超临界流体相的气-液相平衡计算程序.对于已经发表的丙烷+辛烷、氢气+正己烷、SC-CO2+柠檬精油、SC-CO2+α-蒎烯、SC-CO2+葑酮等5个二元体系共计168个实验数据,用上述程序进行了检验计算,温度范围为310~377 K,压力范围为2~12 MPa.计算结果表明,选用适当的混合规则,只考虑一个二元相互作用参数就可以获得满意的计算精度:对于丙烷+辛烷系统,液相组成的计算误差最大为3.83%,气相组成最大误差0.29%;CO2+柠檬精油系统,平均相对误差值为2.71%;CO2+α-蒎烯系统,平均相对误差值为1.18%;CO2+葑酮系统,平均相对误差值为1.69%.该程序可以为超临界流体过程开发和设计提供基础数据.
展开更多
关键词
超临界流体
相平衡
计算
状态方程
程序
误差
溶解度
有机化合物
模拟计算
Peng-Robinson状态方程
下载PDF
职称材料
金属丝网结构对开敞空间爆燃波抑制作用的实验
被引量:
4
20
作者
宋占兵
丁信伟
+2 位作者
喻健良
周崇
刘润杰
《天然气工业》
EI
CAS
CSCD
北大核心
2004年第8期108-110,共3页
长期以来 ,工业上都广泛采用多层金属丝网结构阻火器 (系统 ) ,但其理论计算问题一直没有得到解决 ,全靠制造商的测试结果来决定。文中的实验旨在研究金属丝网结构对开敞空间预混乙炔—空气爆燃波的抑制效果 ,并描述了金属丝网层数、气...
长期以来 ,工业上都广泛采用多层金属丝网结构阻火器 (系统 ) ,但其理论计算问题一直没有得到解决 ,全靠制造商的测试结果来决定。文中的实验旨在研究金属丝网结构对开敞空间预混乙炔—空气爆燃波的抑制效果 ,并描述了金属丝网层数、气云半径等参数对丝网结构内外两侧压差的影响。结果显示 ,在给定的气云半径以及丝网结构半径条件下 ,丝网结构内外两侧压差随着丝网层数的增加 ,先减小后增大 ,存在着一个最小值 ;特定的丝网结构 ,将对某一特定半径气云的爆燃波起到最佳的抑制效果。另外 ,通过与同样气云条件的开敞空间爆炸压力场进行比较发现 。
展开更多
关键词
抑制作用
可燃气体
爆燃波
金属丝
压力
下载PDF
职称材料
题名
基于特征关联融合的图像检索方法
被引量:
2
1
作者
刘润杰
张化祥
孔文杰
机构
山东师范大学信息科学与工程学院
山东省分布式计算机软件新技术重点实验室
出处
《济南大学学报(自然科学版)》
CAS
北大核心
2015年第5期327-332,共6页
基金
国家自然科学基金(61170145
61373081
+3 种基金
61401260)
教育部博士点基金(20113704110001)
山东省自然科学基金(ZR2010FM021)
山东省科技攻关计划(2013GGX10125)
文摘
鉴于单一特征检索效果的不足,提出基于颜色和纹理特征相互关联融合的图像检索新方法。利用非等间隔量化HSV颜色空间,提取图像的颜色特征,利用Gabor小波提取图像的纹理特征;对内容分布简单的检索图像,采用图像底层特征串行关联(FSC)方法,对内容分布复杂的检索图像,采用基于典型相关分析(CCA)的图像底层特征并行关联(FPC)的方法,融合颜色特征和纹理特征进而检索图像。
关键词
CBIR
颜色特征
纹理特征
CCA
特征融合
Keywords
CBIR
color feature
texture feature
CCA
feature integration
分类号
TP391 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
软交换系统话务量模型研究
被引量:
2
2
作者
刘润杰
杨放春
机构
北京邮电大学交换技术与通信网国家重点实验室
出处
《通信学报》
EI
CSCD
北大核心
2004年第8期9-13,共5页
基金
国家自然科学基金资助项目(90104024)
国家杰出青年科学基金资助项目(60125101)
博士点基金资助项目
文摘
分析了软交换与PSTN在话务特性上的区别,建立了软交换的话务模型。该模型将呼叫 的排队过程与语音包的排队过程合并起来,建立了完整的系统状态图。最后推导出软交换话务量 计算的数学公式,为软交换系统的分析与设计提供了理论上的依据。
关键词
软交换
话务量
排队模型
系统性能
Keywords
Softswitch
traffic
queuing model
system performance
分类号
TN911.1 [电子电信—通信与信息系统]
下载PDF
职称材料
题名
形式化开发非递归Koch曲线算法
被引量:
1
3
作者
刘润杰
申金媛
穆维新
机构
郑州大学信息工程学院
出处
《计算机科学》
CSCD
北大核心
2011年第9期126-129,共4页
基金
河南省教育厅自然科学研究计划项目(2010A510015
2008B120010)
江西省高性能计算技术重点实验室开放课题资助
文摘
形式化方法是构建可信软件的重要途径。Koch曲线是典型的分形图形。基于形式化方法PAR及循环不变式开发策略,开发了Koch曲线非递归算法,并对其进行了形式化的正确性证明。在得到求解Koch曲线算法的循环不变式的同时,直接得到易读、高效且可靠的非递归算法。对使用形式化方法及循环不变式开发策略开发分形程序非递归算法作了较深入的实践和探讨。
关键词
KOCH曲线
形式化方法
非递归
PAR方法
循环不变式
Keywords
Koch curve
Formal method
Non-recursive
PAR method
Loop invariant
分类号
TP311.1 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
一种改进的智能卡远程用户匿名认证方案
被引量:
1
4
作者
刘润杰
刘恒超
申金媛
机构
郑州大学信息工程学院
出处
《计算机工程与科学》
CSCD
北大核心
2016年第3期465-470,共6页
基金
河南省科技厅产学研项目(142107000004)
文摘
针对Sonwanshi提出的远程用户认证方案存在会话密钥安全性差、不能抵御扮演攻击和离线口令猜测攻击的缺陷,提出了一种改进方案,主要在注册和登录阶段增加了安全性能。在注册阶段,用户口令直接在智能卡内进行相应运算,不再提交给服务器。这不仅降低了服务器对口令存储、维护的开销,而且避免了服务器对用户的攻击,提高了安全性能。在登录阶段,采用随机数的挑战应答方式取代原方案的时间戳方式,消除了时钟不同步导致的认证失败。对原方案、改进方案和其他同类方案进行安全性和效率分析的结果表明,改进方案不仅弥补了原方案的缺陷,而且相对同类方案,降低了时间复杂度,适用于安全需求高、处理能力低的设备。
关键词
智能卡
身份认证
匿名性
扮演攻击
会话密钥
Keywords
smart card
identity authentication
anonymous
impersonation attack
session key
分类号
TP309 [自动化与计算机技术—计算机系统结构]
TN915.08 [电子电信—通信与信息系统]
下载PDF
职称材料
题名
TD-SCDMA智能天线电磁环境测试方法研究
被引量:
1
5
作者
刘润杰
刘红欣
申金媛
机构
郑州大学信息工程学院
出处
《传感器与微系统》
CSCD
北大核心
2013年第7期51-52,56,共3页
基金
国家自然科学基金资助项目(200909106)
文摘
随着移动通信的迅速发展,移动通信基站的电磁辐射逐渐为人们所关注。根据TD-SCDMA智能天线的工作原理、辐射特性、电磁环境安全标准及测试方法,提出了一种新的布点方案和测量方法,并对TD-SCDMA基站周围的电磁场强强度进行了测量。提出的测量方法能够快速、准确地测量TD-CSDMA基站的辐射状况,为智能天线的环境影响评价提供了较好的支持。
关键词
天线测量
智能天线
布点方案
环境影响评价
Keywords
antenna measurement
smart antenna
layout scheme
environmental impact assessment
分类号
TN911 [电子电信—通信与信息系统]
下载PDF
职称材料
题名
一种新的VoIP流量模型的研究
被引量:
1
6
作者
刘润杰
杨放春
机构
北京邮电大学交换技术与通信网国家重点实验室
出处
《北京邮电大学学报》
EI
CAS
CSCD
北大核心
2004年第z1期44-49,共6页
基金
国家自然科学基金项目(90104024)
国家杰出青年科学基金项目(60125101)
教育部博士点基金项目
文摘
通过对VoIP话务模型话源特性的分析总结,提出了VoIP话务模型的选择标准及影响模型的因素,并据此建立了一种新的VoIP流量模型.该模型将呼叫的排队过程与语音句的排队过程合并起来,建立了完整的系统状态图.推导出了VoIP流量计算的数学公式,为VoIP系统的分析与设计提供了理论依据.
关键词
VOIP
流量模型
排队模型
系统性能
Keywords
VoIP
traffic model
queuing model
system performance
分类号
TN911.1 [电子电信—通信与信息系统]
下载PDF
职称材料
题名
计算机信息系统的验证与确认
7
作者
刘润杰
薛锦云
童兆丰
吴世兴
机构
江西师范大学计算机软件研究所
江西省计算技术研究所
出处
《计算机工程》
CAS
CSCD
北大核心
1996年第S1期323-323,共1页
基金
国家863高技术发展计划
国家自然科学基金资助项目
文摘
计算机信息系统的验证与确认是提高系统正确性和可靠性的有效技术,然而人们对验证与确认的含义尚无统一、明确的认识.文中给出了验证与确认的明确定义,阐述了它们之间的区别与联系,并分别介绍了各种流行的验证与确认技术.验证与确认(简称V & V)是计算机信息系统中一个重要概念,它们是贯穿信息系统生产每一步的一个持续的过程.验证与确认是测试程序是否符合其需求以及需求是否满足用户的需要这一过程的总称.它们的目的是通过动态和静态的系统分析测试技术提高计算机信息系统的正确性和可靠性.静态技术包括程序的静态检查、分析以及形式化证明.动态技术就是运行一个实现的系统来进行测试和分析.在许多献中验证与确认的含义模糊不清.我们认为:验证指的是证明软件(程序)符合其规范;确认指的是证实软件(程序)符合其用户的要求.区分验证与确认的关键在于验证是确保程序与其规范一致的行为,而确认则是确保程序与用户要求一致.在验证和确认的技术中,验证的技术大多数是理论的推导,确认的技术大多数是测试.验证的目的是确保程序与其规范一致.软件生产过程中,从软件规范到程序实现之间的每一步都要有验证.我们提出的分划递推法可以提高计算机信息系统的正确性和可靠性,用该方法设计和证明算法程序的步骤如下:a
关键词
系统的验证与确认
计算机信息系统
软件规范
系统测试
Keywords
system verification and validation/computer information system/software specification/system test
分类号
TP393.08 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
下一代网络信令流量分析
被引量:
1
8
作者
刘润杰
杨放春
机构
北京邮电大学交换技术与通信网国家重点实验室
出处
《重庆邮电学院学报(自然科学版)》
2005年第3期253-256,共4页
基金
国家自然科学基金(90104024)
国家杰出青年科学基金(60125101)
教育部博士点基金项目
文摘
经过研究下一代信令网的系统构成,分析了下一代网络(NGN)信令流量的特性,对比相关网络的流量特性,并分析自相似流量产生的原因,通过仿真下一代网络的信令流量,验证了下一代网络信令流量具有自相似、多分形的特性。还分析了自相似流量对下一代网络信令所产生的影响。
关键词
信令
流量特性
下一代网络信令
自相似
Keywords
signaling
traffic characteristics
next generation signaling networks
self-similar
分类号
TN911.1 [电子电信—通信与信息系统]
下载PDF
职称材料
题名
气波制冷机转速与动态压力的同步测量
被引量:
1
9
作者
刘润杰
朱彻
机构
大连理工大学
出处
《制冷》
1995年第2期79-82,共4页
文摘
本文介绍了转动部件封闭在机壳内的气波制冷机的转速和动态压力的同步测量。并对自旋转和用电机带动两种工况下的动态压力波的测量以及转速测量进行了对比。此种测量方法对于具有脉动压力或能产生脉动信号的机器都具有适用意义。
关键词
气波制冷机
转速
动态压力
同步测量
分类号
TB651 [一般工业技术—制冷工程]
下载PDF
职称材料
题名
气瓶疲劳试验计算机自动控制系统
10
作者
刘润杰
周一卉
由宏新
喻健良
机构
大连理工大学化机系
出处
《化工装备技术》
CAS
2004年第3期34-36,共3页
文摘
介绍了气瓶疲劳试验计算机自动控制系统的设计与实现 ,并介绍了控制软件的设计和功能。该系统具有控制精度高、工作安全可靠、操作简便等特点。该控制系统的研制成功 。
关键词
计算机
自动控制系统
气瓶
压力容器
电阻
电位信号
电压
分类号
TH49 [机械工程—机械制造及自动化]
下载PDF
职称材料
题名
可燃气体爆炸火焰和压力波传播特性的实验研究
被引量:
16
11
作者
喻健良
周崇
刘润杰
严清华
机构
大连理工大学化工学院
出处
《天然气工业》
EI
CAS
CSCD
北大核心
2004年第4期87-90,共4页
基金
国家自然科学基金 (5 0 2 76 0 0 9)
教育部博士研究生学科点专项科研基金 (2 0 0 10 4 10 2 6 )资助项目
文摘
对预混可燃气体在圆形管道内的爆炸过程进行了实验研究 ,根据实验结果将超压的变化过程分为 4个阶段 ,将气体燃烧的变化过程分为 3个阶段。得出了计算火焰传播速度的经验公式。随着火焰的传播 ,火焰传播速度不断加快 ,且测点处的火焰传播速度越快、测点距点火处越远 ,燃烧时间就越短。对前驱冲击波与火焰面的相对时间及相对位置关系进行了分析。对爆燃转爆轰过程 (DDT)进行了初步研究 ,观察到此过程中前驱冲击波阵面仍然行进在火焰面的前方 ,但二者的间距在减小。火焰面紧跟在激波前缘的后面 ,二者同速传播 ,超压峰值的位置与火焰面重合。
关键词
压力波
可燃气体
燃烧速率
传播速度
燃烧时间
前驱冲击波
爆炸事故
火灾事故
Keywords
Combustion
Explosions
Flammable materials
Natural gas
Pressure effects
Shock waves
Time and motion study
Wave propagation
分类号
O643.2 [理学—物理化学]
下载PDF
职称材料
题名
振荡管管壁轴向导热的试验研究
被引量:
11
12
作者
李学来
方曜奇
朱彻
刘润杰
机构
大连理工大学化工机械系
出处
《大连理工大学学报》
CAS
CSCD
北大核心
1996年第1期37-40,共4页
基金
国家自然科学基金
文摘
对振荡管管壁的轴向导热进行了实验研究,得出了一定振荡频率和膨胀比下隔阻管壁轴向导热对振荡管等熵制冷效率及管内流动的影响规律.结果表明:隔阻振荡管冷、热端管壁的轴向导热,使管内激波幅值增大,激波形成点后移,等熵制冷效率有显著提高.
关键词
轴向导热
导热
激波
振荡管
管壁
制冷
化工机械
Keywords
heat conductionl
shock wave
direct expansion refrigeration
oscillating tube
分类号
TQ051.5 [化学工程]
下载PDF
职称材料
题名
沙棘籽油在超临界CO_2中溶解度的测定和关联
被引量:
10
13
作者
银建中
刘润杰
魏炜
徐琴琴
机构
大连理工大学化工学院
出处
《高校化学工程学报》
EI
CAS
CSCD
北大核心
2006年第1期126-129,共4页
基金
辽宁省博士启动基金资助项目(20031072)。
文摘
对物质在超临界流体中溶解度的计算方法进行了简要评述。重点就Chrastil和delValle-Aguilera所提出的半经验关联式作了深入分析和比较。认为delValle-Aguilera公式源于Chrastil公式,但比Chrastil公式在关联实验数据时具有更为广泛的物理含义和适用性。特别对于植物籽油在超临界CO2中的溶解度计算就是成功的例证。最后,采用连续式测量方法,在10-30MPa和303-323K条件下,实测了沙棘籽油在超临界CO2中的溶解度数据。用delValle-Aguilera公式的形式对实验结果进行关联,给出了计算参数。所提出的计算公式,在上述实验条件范围内,最大相对误差小于6%。
关键词
超临界流体
溶解度数据
沙棘籽油
二氧化碳
Keywords
supercritical fluids
solubility data
Hippophae Rhamnoides L. seed oils
carbon dioxide
分类号
O645.12 [理学—物理化学]
TQ028.32 [化学工程]
下载PDF
职称材料
题名
基于红外光谱的烟叶自动分级研究
被引量:
18
14
作者
刘剑君
申金媛
张乐明
刘润杰
机构
河南省烟草公司郑州分公司
郑州大学信息工程学院
出处
《激光与红外》
CAS
CSCD
北大核心
2011年第9期986-990,共5页
基金
河南省烟草专卖局科学计划与计划开发项目(No.2008)资助
文摘
烟叶的自动分级一直是国内外学者智能化研究的一个重要方向。通过分析烟叶的主要组成成分和烟叶光谱信息特征,发现烟叶红外光谱可作为烟叶分级特征,并通过神经网络模型验证了红外光谱作为其分级特征的可行性,通过对比分析选取最佳红外光谱间隔、光谱范围以及最必要的光谱预处理方法。利用概率神经网络对9个等级的烟叶进行分组分级,首先对选光谱数据进行减均值的预处理以消除基线漂移,然后将其作为神经网络的输入模式,相应的等级或组分作为理想输出训练网络。选择近半数的样本作为训练样本,其余为测试样本;网络对于训练样本的正确吻合率为100%,测试样本的平均正确吻合率91%以上。结果表明烟叶的红外光谱可以作为烟叶的分级特征,概率神经网络可以用于烟叶自动分级,为烟叶的自动分级提供了新方法。
关键词
烟叶分级
红外光谱概率
神经网络
Keywords
tobacco leaves grading
infrared spectrum
probabilistic neural network
分类号
TP183 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
一种基于LEACH的高效节能协议
被引量:
18
15
作者
杨伟伟
刘润杰
申金媛
机构
郑州大学信息工程学院
出处
《传感技术学报》
CAS
CSCD
北大核心
2010年第8期1153-1157,共5页
基金
河南省创新人才培养对象资助
文摘
针对无线传感器网络能量的限制,提出了一种基于LEACH的高效节能算法LEACH-EDM。新协议中簇首的选择同时考虑节点的剩余能量和簇首间距,簇首与基站之间的路由采用hopfield算法寻找一个多跳最优路径。仿真实验结果表明:与LEACH相比,该算法能有效延长网络的生存时间约50%,并且使第一个节点与最后一个节点的死亡时间差缩短在30轮内;因此该算法使负载更均衡,提高了能量的利用率。
关键词
无线传感器网络
LEACH
剩余能量
距离
多跳
Keywords
wireless sensor networks
LEACH
residual energy
distance
multi-hops
分类号
TP393 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
管道内预混气体爆燃过程的实验研究
被引量:
20
16
作者
喻健良
周崇
刘润杰
机构
大连理工大学化工机械系
出处
《石油与天然气化工》
CAS
CSCD
北大核心
2004年第6期453-455,466,共4页
基金
国家自然科学基金资助项目 (50 2 760 0 9)
博士基金资助项目 (2 0 0 1 0 4 1 0 2 6)
文摘
对预混气体在圆形管道内的爆燃过程进行了实验研究 ,根据实验结果将超压的变化过程分为前驱冲击波、升压、降压、余压四个阶段 ,将气体燃烧的变化过程分为未燃、燃烧、已燃三个阶段 ,并对各阶段中超压和火焰传播状况进行了分析。通过实验结果得到了燃烧时间与火焰传播速度之间成直线关系 ,以及实验中反应区的宽度要远大于湍流燃烧理论中的反应区宽度的结论。
关键词
爆炸超压
火焰传播
燃烧时间
反应区厚度
Keywords
explosion overpressure, flame propagation, combustion time, width of reaction region
分类号
TQ03 [化学工程]
下载PDF
职称材料
题名
多层网孔结构抑爆性能的研究进展
被引量:
17
17
作者
周崇
喻健良
刘润杰
宋占兵
阿布里提.阿布都拉
机构
大连理工大学化工机械系
日本国立弘前大学
出处
《煤矿安全》
CAS
北大核心
2004年第3期6-8,共3页
文摘
文章介绍了网孔结构对管内爆炸波的抑制作用,如:丝网的几何参数、材质、层数、间距等因素对网孔结构的淬熄性能的影响,以及利用网孔结构对横波的吸收性能来抑制爆轰波。
关键词
淬熄
抑爆
网孔
横波
Keywords
flame quenching,suppressing explosion,mesh-hole construction,transverse waves
分类号
TD235.12 [矿业工程—矿井建设]
下载PDF
职称材料
题名
下一代自动测试系统的核心:合成仪器系统
被引量:
13
18
作者
黄盛霖
沈聪辉
孙伟超
蔡翔
刘润杰
机构
海军航空工程学院
出处
《电子测量技术》
2011年第5期64-67,共4页
文摘
对传统的自动测试系统进行了简要分析,指出传统自动测试系统的不足。针对传统自动测试系统的不足,从合成仪器的硬件设计思想和软件需求两方面进行了阐述。主要介绍了合成仪器的模块化硬件结构,合成测试系统的软件组件编程思想,合成测试系统的软件算法以及合成测试系统的设计规则。
关键词
自动测试系统
合成仪器
合成仪器系统
合成测试系统
下一代自动测试系统
Keywords
ATS
SI
SIS
SMS
NxTest
分类号
TP274.5 [自动化与计算机技术—检测技术与自动化装置]
下载PDF
职称材料
题名
有机化合物在超临界流体中溶解度的模拟计算
被引量:
4
19
作者
银建中
刘润杰
魏炜
徐琴琴
机构
大连理工大学化工学院
出处
《天然气工业》
EI
CAS
CSCD
北大核心
2005年第10期130-132,共3页
基金
辽宁省自然科学基金项目资助(20031072)。
文摘
为了预测有机化合物在超临界流体中的溶解度数据,以Peng-Robinson状态方程为模型,开发了一个用于计算含超临界流体相的气-液相平衡计算程序.对于已经发表的丙烷+辛烷、氢气+正己烷、SC-CO2+柠檬精油、SC-CO2+α-蒎烯、SC-CO2+葑酮等5个二元体系共计168个实验数据,用上述程序进行了检验计算,温度范围为310~377 K,压力范围为2~12 MPa.计算结果表明,选用适当的混合规则,只考虑一个二元相互作用参数就可以获得满意的计算精度:对于丙烷+辛烷系统,液相组成的计算误差最大为3.83%,气相组成最大误差0.29%;CO2+柠檬精油系统,平均相对误差值为2.71%;CO2+α-蒎烯系统,平均相对误差值为1.18%;CO2+葑酮系统,平均相对误差值为1.69%.该程序可以为超临界流体过程开发和设计提供基础数据.
关键词
超临界流体
相平衡
计算
状态方程
程序
误差
溶解度
有机化合物
模拟计算
Peng-Robinson状态方程
Keywords
Calculations
Computer programming
Computer simulation
Equations of state
Errors
Mathematical models
Mixing
Organic compounds
Phase composition
Reaction kinetics
Supercritical fluids
分类号
O621.2 [理学—有机化学]
下载PDF
职称材料
题名
金属丝网结构对开敞空间爆燃波抑制作用的实验
被引量:
4
20
作者
宋占兵
丁信伟
喻健良
周崇
刘润杰
机构
大连理工大学
出处
《天然气工业》
EI
CAS
CSCD
北大核心
2004年第8期108-110,共3页
基金
国家自然科学基金项目 (5 0 0 76 0 0 6 )
教育部博士基金项目 (970 14 114 )资助
文摘
长期以来 ,工业上都广泛采用多层金属丝网结构阻火器 (系统 ) ,但其理论计算问题一直没有得到解决 ,全靠制造商的测试结果来决定。文中的实验旨在研究金属丝网结构对开敞空间预混乙炔—空气爆燃波的抑制效果 ,并描述了金属丝网层数、气云半径等参数对丝网结构内外两侧压差的影响。结果显示 ,在给定的气云半径以及丝网结构半径条件下 ,丝网结构内外两侧压差随着丝网层数的增加 ,先减小后增大 ,存在着一个最小值 ;特定的丝网结构 ,将对某一特定半径气云的爆燃波起到最佳的抑制效果。另外 ,通过与同样气云条件的开敞空间爆炸压力场进行比较发现 。
关键词
抑制作用
可燃气体
爆燃波
金属丝
压力
Keywords
Acetylene
Explosions
Flammability
Gas chromatography
Metals
Natural gas
Pressure distribution
Problem solving
分类号
X932 [环境科学与工程—安全科学]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于特征关联融合的图像检索方法
刘润杰
张化祥
孔文杰
《济南大学学报(自然科学版)》
CAS
北大核心
2015
2
下载PDF
职称材料
2
软交换系统话务量模型研究
刘润杰
杨放春
《通信学报》
EI
CSCD
北大核心
2004
2
下载PDF
职称材料
3
形式化开发非递归Koch曲线算法
刘润杰
申金媛
穆维新
《计算机科学》
CSCD
北大核心
2011
1
下载PDF
职称材料
4
一种改进的智能卡远程用户匿名认证方案
刘润杰
刘恒超
申金媛
《计算机工程与科学》
CSCD
北大核心
2016
1
下载PDF
职称材料
5
TD-SCDMA智能天线电磁环境测试方法研究
刘润杰
刘红欣
申金媛
《传感器与微系统》
CSCD
北大核心
2013
1
下载PDF
职称材料
6
一种新的VoIP流量模型的研究
刘润杰
杨放春
《北京邮电大学学报》
EI
CAS
CSCD
北大核心
2004
1
下载PDF
职称材料
7
计算机信息系统的验证与确认
刘润杰
薛锦云
童兆丰
吴世兴
《计算机工程》
CAS
CSCD
北大核心
1996
0
下载PDF
职称材料
8
下一代网络信令流量分析
刘润杰
杨放春
《重庆邮电学院学报(自然科学版)》
2005
1
下载PDF
职称材料
9
气波制冷机转速与动态压力的同步测量
刘润杰
朱彻
《制冷》
1995
1
下载PDF
职称材料
10
气瓶疲劳试验计算机自动控制系统
刘润杰
周一卉
由宏新
喻健良
《化工装备技术》
CAS
2004
0
下载PDF
职称材料
11
可燃气体爆炸火焰和压力波传播特性的实验研究
喻健良
周崇
刘润杰
严清华
《天然气工业》
EI
CAS
CSCD
北大核心
2004
16
下载PDF
职称材料
12
振荡管管壁轴向导热的试验研究
李学来
方曜奇
朱彻
刘润杰
《大连理工大学学报》
CAS
CSCD
北大核心
1996
11
下载PDF
职称材料
13
沙棘籽油在超临界CO_2中溶解度的测定和关联
银建中
刘润杰
魏炜
徐琴琴
《高校化学工程学报》
EI
CAS
CSCD
北大核心
2006
10
下载PDF
职称材料
14
基于红外光谱的烟叶自动分级研究
刘剑君
申金媛
张乐明
刘润杰
《激光与红外》
CAS
CSCD
北大核心
2011
18
下载PDF
职称材料
15
一种基于LEACH的高效节能协议
杨伟伟
刘润杰
申金媛
《传感技术学报》
CAS
CSCD
北大核心
2010
18
下载PDF
职称材料
16
管道内预混气体爆燃过程的实验研究
喻健良
周崇
刘润杰
《石油与天然气化工》
CAS
CSCD
北大核心
2004
20
下载PDF
职称材料
17
多层网孔结构抑爆性能的研究进展
周崇
喻健良
刘润杰
宋占兵
阿布里提.阿布都拉
《煤矿安全》
CAS
北大核心
2004
17
下载PDF
职称材料
18
下一代自动测试系统的核心:合成仪器系统
黄盛霖
沈聪辉
孙伟超
蔡翔
刘润杰
《电子测量技术》
2011
13
下载PDF
职称材料
19
有机化合物在超临界流体中溶解度的模拟计算
银建中
刘润杰
魏炜
徐琴琴
《天然气工业》
EI
CAS
CSCD
北大核心
2005
4
下载PDF
职称材料
20
金属丝网结构对开敞空间爆燃波抑制作用的实验
宋占兵
丁信伟
喻健良
周崇
刘润杰
《天然气工业》
EI
CAS
CSCD
北大核心
2004
4
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
2
…
6
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部