河南省产学研合作创新的现状分析 被引量：1

1

作者 焦科研 卢方元 《创新科技》 2015年第1期31-32,共2页

本文以《中国科技统计年鉴》为数据来源,对河南省规模以上工业企业、科研机构、高等院校三个部门之间产学研合作创新的发展状况进行系统的数量分析,以找出河南省产学研合作创新过程中出现的问题以及存在的优势和不足,为政府和相关部门... 本文以《中国科技统计年鉴》为数据来源,对河南省规模以上工业企业、科研机构、高等院校三个部门之间产学研合作创新的发展状况进行系统的数量分析,以找出河南省产学研合作创新过程中出现的问题以及存在的优势和不足,为政府和相关部门制定促进产学研合作创新运行的政策措施提供参考。 展开更多

关键词 产学研 合作创新 数量分析

在线阅读 下载PDF 职称材料

河南省科技创新建设的现状分析

2

作者 李瑾 焦科研 《河南科技》 2014年第12期192-194,共3页

采用统计分析方法,从河南省的创新资源、知识创造、经济效益以及创新环境4个方面,全面、系统地对河南省目前科技创新能力建设的现状进行详细剖析,揭示河南省科技创新在不同方面存在的优势和不足。结果表明:河南省科技创新能力各指标的... 采用统计分析方法,从河南省的创新资源、知识创造、经济效益以及创新环境4个方面,全面、系统地对河南省目前科技创新能力建设的现状进行详细剖析,揭示河南省科技创新在不同方面存在的优势和不足。结果表明:河南省科技创新能力各指标的总量水平都有不同程度的增加,排名基本都在全国中上游位置,然而,多数指标的相对量均低于全国水平。 展开更多

关键词 科技创新 现状分析 定量研究

在线阅读 下载PDF 职称材料

一种基于重置协方差矩阵的波束形成优化方法 被引量：5

3

作者 郑恩明 张恩宾 +2 位作者 孙长瑜 陈新华 余华兵 《振动与冲击》 EI CSCD 北大核心 2015年第17期185-190,共6页

低信噪比情况下,针对波束形成方位历程图显示效果较差问题,提出一种重置协方差矩阵的波束形成前置预处理方法。该方法依据协方差矩阵中主对角线元素相比其他元素所含噪声能量差别较大、信号能量基本一样的特点,利用协方差矩阵主对角线... 低信噪比情况下,针对波束形成方位历程图显示效果较差问题,提出一种重置协方差矩阵的波束形成前置预处理方法。该方法依据协方差矩阵中主对角线元素相比其他元素所含噪声能量差别较大、信号能量基本一样的特点,利用协方差矩阵主对角线邻近元素绝对值对主对角线元素进行重置,降低主对角元素所含噪声对方位历程图的影响,改善方位历程图显示效果。计算机数值仿真和海上实验数据处理结果表明,高信噪比情况下,该方法对方位历程图显示效果无影响;低信噪比情况下,该方法可以很好地改善方位历程图显示效果;该方法同样可以结合其他后置处理技术同时使用,进一步改善方位历程图显示效果。该方法可为改善方位历程图显示效果提供一个参考。 展开更多

关键词 信息处理技术 前置预处理 波束形成 方位历程图

在线阅读 下载PDF 职称材料

云环境下基于环签密的用户身份属性保护方案 被引量：5

4

作者 李拴保 傅建明 +3 位作者 张焕国 陈晶 王晶 任必军 《通信学报》 EI CSCD 北大核心 2014年第9期99-111,共13页

身份属性泄漏是最严重的云计算安全威胁之一,为解决该问题,提出了一种基于环签密的身份属性保护方案。该方案以云服务的数字身份管理为研究对象,论述了去中心化的用户密钥分割管理机制,用户自主选择算子在本地生成并存储密钥,从而令注... 身份属性泄漏是最严重的云计算安全威胁之一,为解决该问题,提出了一种基于环签密的身份属性保护方案。该方案以云服务的数字身份管理为研究对象,论述了去中心化的用户密钥分割管理机制,用户自主选择算子在本地生成并存储密钥,从而令注册管理者(registrar)无法获得用户完全私钥,达到消除证书管理负载的目的。另外,本方案以用户访问权限为中心设计身份属性盲环签密验证机制,令用户和CSP组成环,基于环和自身属性用户可对消息子线性盲签密以及非交互公开密文验证,用以阻止多个CSP共谋导致的身份属性泄露场景,从而保护身份属性的完整性和机密性。最后,给出密文和属性强不可伪造、盲性机制的证明结果,在DBDH困难问题假设和适应性选择密文攻击下,方案中的用户可生成3个完全私钥组件,成功阻止环成员身份伪装。为验证系统有效性,围绕身份属性保护方案的综合负载问题对盲环签密算法进行性能评估,并对比同类算法以证实系统优化结果。 展开更多

关键词 数字身份管理 无证书 强不可伪造性 盲性

在线阅读 下载PDF 职称材料

一类带干扰的多险种风险模型 被引量：1

5

作者 成军祥 鲁丽萍 王亚兰 《河南理工大学学报（自然科学版）》 CAS 北大核心 2014年第3期402-404,共3页

在经典带干扰模型的基础上,假定保费收取、个体退保以及理赔过程均为二项过程,建立一种含干扰项的多险种复合二项风险模型.利用收敛定理和鞅分析方法对保险公司风险模型进行研究,得出该模型的破产概率表达式及Lundberg不等式.

关键词 退保事件 干扰项 鞅

在线阅读 下载PDF 职称材料

软件测试方法及面向对象软件的测试 被引量：5

6

作者 董洁 孙惠娟 《河南科技》 2011年第9期45-46,共2页

一、软件测试方法概述 1.软件测试的概念。软件测试就是利用测试工具按照测试方案和流程对产品进行功能和性能的测试,甚至根据需要编写不同的测试工具,设计和维护测试系统,对测试方案可能出现的问题进行分析和评估。执行测试用例后,需... 一、软件测试方法概述 1.软件测试的概念。软件测试就是利用测试工具按照测试方案和流程对产品进行功能和性能的测试,甚至根据需要编写不同的测试工具,设计和维护测试系统,对测试方案可能出现的问题进行分析和评估。执行测试用例后,需要跟踪故障,以确保开发的产品适合需求。 展开更多

关键词 软件测试方法 面向对象软件 测试方案 测试工具 测试系统 测试用例 产品

在线阅读 下载PDF 职称材料

描述逻辑ALC基于RBox的推理 被引量：1

7

作者 王雪瑞 李拴保 《湘潭大学自然科学学报》 CAS 北大核心 2014年第2期104-108,共5页

针对RBox表达能力受限于简单角色的问题,研究了在角色包含公式中允许出现一类由合取和析取构造子连接的复杂角色,并且TBox和ABox均为空集的情况下ALC概念的可满足性问题,设计了可满足性检测表算法,分析了算法的终止性,证明了可靠性和完... 针对RBox表达能力受限于简单角色的问题,研究了在角色包含公式中允许出现一类由合取和析取构造子连接的复杂角色,并且TBox和ABox均为空集的情况下ALC概念的可满足性问题,设计了可满足性检测表算法,分析了算法的终止性,证明了可靠性和完备性,最后讨论了复杂度.理论分析表明,此时ALC概念的可满足性问题是可判定的,并且复杂度为ExpTime. 展开更多

关键词 描述逻辑 角色包含公式 可满足性 表算法 复杂度

在线阅读 下载PDF 职称材料

电子地图的应用及存在问题分析 被引量：7

8

作者 李爱红 《河南科技》 2006年第6期44-45,共2页

关键词 电子地图 应用模块 地理信息系统 数据采集模块 计算机存储器 地图数据库 全球定位系统 网络技术 电子屏幕 通信技术

在线阅读 下载PDF 职称材料

基于小波变换的抑制心电信号噪声方法研究 被引量：1

9

作者 郑晓婉 董洁 苗维普 《郑州轻工业学院学报（自然科学版）》 CAS 2012年第4期9-11,共3页

针对在采集心电信号的过程中容易产生多种多样噪声的问题,利用小波函数的多尺度多分辨分析的特性,采用小波变换分解重构的方法,选用4尺度对心电信号进行滤波处理.仿真结果表明,该方法对于50 Hz工频干扰、肌电干扰、基线漂移有较好的抑... 针对在采集心电信号的过程中容易产生多种多样噪声的问题,利用小波函数的多尺度多分辨分析的特性,采用小波变换分解重构的方法,选用4尺度对心电信号进行滤波处理.仿真结果表明,该方法对于50 Hz工频干扰、肌电干扰、基线漂移有较好的抑制作用,为心电信号QRS波的识别奠定了良好的基础. 展开更多

关键词 小波变换 多尺度 分解重建 心电信号噪声抑制

在线阅读 下载PDF 职称材料

基于概念格理论的语义相似度模型研究及验证 被引量：1

10

作者 张小红 《郑州大学学报（工学版）》 CAS 北大核心 2011年第5期80-83,共4页

将语义相似度计算模型定义为域、概念、属性组成的三维空间模型,并结合领域本体集,从概念格理论的角度考虑了该模型对语义相似度计算的影响.该模型通过对不同的向量加不同的权值来调节其对语义相似度计算的贡献,使计算结果达到最优,从... 将语义相似度计算模型定义为域、概念、属性组成的三维空间模型,并结合领域本体集,从概念格理论的角度考虑了该模型对语义相似度计算的影响.该模型通过对不同的向量加不同的权值来调节其对语义相似度计算的贡献,使计算结果达到最优,从而提高语义相似度计算的准确度.实验结果表明,与单方面计算相似度的方法相比,该方法能有效地提高语义相似度计算的查全率和查准率. 展开更多

关键词 语义相似度 概念格 领域 概念 属性

在线阅读 下载PDF 职称材料

Caputo型分数阶微积分求解及其误差估计 被引量：1

11

作者 李瑾 《华侨大学学报（自然科学版）》 CAS 北大核心 2015年第6期721-725,共5页

研究Caputo型分数阶微分函数的正解情况,考察其正解的唯一性问题,进而研究其数值求解的误差估计,所得结果拓展了Wyss的研究成果.

关键词 分数阶微积分 Caputo型 CHEBYSHEV多项式 误差估计 唯一性

在线阅读 下载PDF 职称材料

分段常数变量Logistic模型解的全局吸引性

12

作者 沈会焘 鲁丽萍 李雪臣 《河南理工大学学报（自然科学版）》 CAS 北大核心 2014年第5期692-696,共5页

考虑一类具分段常数变量的Logistic模型的正平衡点的全局吸引性,利用离散Lyapunov函数方法获得了该模型的正平衡点全局吸引性的一个新的充分条件.所得结果放宽了已有文献对内禀增长率小于或等于2的限制.

关键词 分段常数变量 LOGISTIC模型 全局吸引性

在线阅读 下载PDF 职称材料

n-m-k商人渡河问题解的存在性及算法实现

13

作者 付艳玲 刘高峰 张伟 《工程数学学报》 CSCD 北大核心 2013年第4期561-568,共8页

本文将商人渡河问题推广到最一般情况,即n-m-k商人渡河问题,建立了该问题的多步决策数学模型.首先,根据该数学模型得到一棵状态空间树,设计了采用递归和回溯方法遍历该状态空间树的算法步骤.其次,根据部分运行结果,分析了该问题的算法... 本文将商人渡河问题推广到最一般情况,即n-m-k商人渡河问题,建立了该问题的多步决策数学模型.首先,根据该数学模型得到一棵状态空间树,设计了采用递归和回溯方法遍历该状态空间树的算法步骤.其次,根据部分运行结果,分析了该问题的算法复杂度.最后,分析了该问题解的存在性,并给出了若干定理及其证明.本文已将商人渡河问题扩展成为广泛的经典例子,有利于解决实际生活中的问题. 展开更多

关键词 商人渡河问题 算法实现 解的存在性

在线阅读 下载PDF 职称材料

有界变差函数的小波级数的部分和的收敛性

14

作者 刘红敏 张恩宾 《江南大学学报（自然科学版）》 CAS 2009年第4期492-494,共3页

文中给出有界变差函数的定义,并证明至多有可去间断点的单调函数和满足利普希茨条件的函数都是有界变差函数;建立了有界变差函数的小波级数的部分和的收敛性与收敛速度,并得出至多有可去间断点的单调函数与满足利普希茨条件的函数的小... 文中给出有界变差函数的定义,并证明至多有可去间断点的单调函数和满足利普希茨条件的函数都是有界变差函数;建立了有界变差函数的小波级数的部分和的收敛性与收敛速度,并得出至多有可去间断点的单调函数与满足利普希茨条件的函数的小波级数的部分和的收敛性和收敛速度的推论。 展开更多

关键词 小波级数 收敛性 有界变差函数

在线阅读 下载PDF 职称材料

基于相关分散搜索的基因表达数据双聚类

15

作者 孙俊玲 《高技术通讯》 CAS CSCD 北大核心 2014年第3期228-235,共8页

为了发现来自基因表达数据的双聚类,提出了一种相关分散搜索方法,分散搜索是一种进化技术,它以按质量和多样性指标选择的一个小解集进化为基础。该算法所用适应度函数是基于基因之间的线性相关性来检测基因的移动和缩放模式,同时为了选... 为了发现来自基因表达数据的双聚类,提出了一种相关分散搜索方法,分散搜索是一种进化技术,它以按质量和多样性指标选择的一个小解集进化为基础。该算法所用适应度函数是基于基因之间的线性相关性来检测基因的移动和缩放模式,同时为了选择正相关基因,采用了一个改进方法。该算法已用酵母细胞周期数据集、人类B细胞淋巴瘤数据集和酵母应力数据集三个真实数据集进行了测试,同时与使用基因本体数据库的CC,OPSM,ISA,BiMax和Samba等方法进行了比较。实验结果表明该算法能发现大量移动和缩放模式双聚类。 展开更多

关键词 双聚类 分散搜索 微阵列技术 移动模式 缩放模式

在线阅读 下载PDF 职称材料

一类四阶强阻尼非线性双曲方程的Cauchy问题

16

作者 琚莉 《河南理工大学学报（自然科学版）》 CAS 北大核心 2013年第1期122-124,共3页

讨论了一类四阶强阻尼非线性双曲方程utt-uxx-uxxt-uxxtt=f(u)的初值问题,证明了局部广义解的存在唯一性.

关键词 类四阶强阻尼非线性双曲方程 初值问题 局部解的存在性

在线阅读 下载PDF 职称材料

内存数据库事务管理器研究

17

作者 孙惠娟 《数字技术与应用》 2015年第8期119-119,121,共2页

事务保证了数据库的一致性,线程作为系统运行的组成部分,与事务的运行存在相似性。在用java语言设计的内存数据库中,将事务作为一个线程运行,提出了适合内存数据库的事务模型及状态图。该方法能满足事务的ACID属性,事务的并发控制度较高... 事务保证了数据库的一致性,线程作为系统运行的组成部分,与事务的运行存在相似性。在用java语言设计的内存数据库中,将事务作为一个线程运行,提出了适合内存数据库的事务模型及状态图。该方法能满足事务的ACID属性,事务的并发控制度较高,采用了结合多种并发控制实现技术优点的锁实现机制和死锁处理方法。 展开更多

关键词 内存数据库 事务 JAVA 线程

在线阅读 下载PDF 职称材料

IPv4/IPv6过渡技术比较 被引量：1

18

作者 炊昆 《河南科技》 2009年第6期53-53,共1页

随着互联网在社会生活各个领域的广泛应用和商业化的深入发展,IPv4协议由于本身所存在的缺陷已经逐渐成为限制下一代网络发展的瓶颈。尤其是地址空间问题更显突出,据估计,现在未分配的IPv4地址将在二十年后耗尽：针对此种情况，IETF设计... 随着互联网在社会生活各个领域的广泛应用和商业化的深入发展,IPv4协议由于本身所存在的缺陷已经逐渐成为限制下一代网络发展的瓶颈。尤其是地址空间问题更显突出,据估计,现在未分配的IPv4地址将在二十年后耗尽：针对此种情况，IETF设计了IPv6协议并且已完成IPv6的标准化工作。同IPv4相比，IPv6在地址空间、网络安全、地址自动配置、 展开更多

关键词 IPV4/IPV6 过渡技术 IPV4地址 IPV4协议 IPV6协议 地址自动配置 下一代网络 社会生活

在线阅读 下载PDF 职称材料