成果/Result
- The hydrogen storage behavior of Li-decorated monolayer WS2: A first-principles study被引量:20收藏
- 作者:Song, Nahong Wang, Yusheng Ding, Songyang Yang, Yuye Zhang, Jing
- 机构:Henan Univ Econ & Law;North China Univ Water Resources & Elect Power;Zhengzhou Univ;Zhengzhou Univ;Huazhong Univ Sci & Technol
- 来源:VACUUM 2015
- 关键词:Hydrogen storage Decoration WS2 sheet
- 种群规模可变的免疫多模态函数优化被引量:3收藏
- 作者:张华伟 丁松阳
- 机构:河南财经政法大学计算机与信息工程学院
- 来源:《计算机应用》 2013
- 关键词:免疫优化 多模函数 种群规模 变化规则 局部搜索
- 摘要:为了平衡种群规模对算法搜索效率和有效性的影响,提出了一种种群规模可变的免疫克隆算法求解多模态函数优化问题。给出了种群规模的变化规则、变化幅度和变化的具体实现过程,实现了种群规模根据进化过程自适应的动态变化。此外,结合多模...
- Ball-Tree优化的密度峰值聚类算法被引量:3收藏
- 作者:丁松阳 田青云
- 机构:河南财经政法大学计算机与信息工程学院
- 来源:《计算机工程与应用》 2021
- 关键词:聚类算法 ball-tree 密度峰值聚类 分配策略
- 摘要:针对密度峰值聚类算法DPC(clustering by fast search and find of density peaks)时间复杂度高、准确度低的缺陷,提出了一种基于Ball-Tree优化的快速密度峰值聚类算法...
- GCC优化框架研究被引量:2收藏
- 作者:丁松阳 张墨华
- 机构:河南财经学院计算机科学系
- 来源:《光盘技术》 2006
- 关键词:GNU编译器集合 静态单赋值语法树 泛化树 简化树
- 摘要:在GCC新的优化框架基于静态单赋值语法树,其优点是既与前端语言无关,又与后端目标代码无关,而且能够提供在寄存器转换语言表示层很难或者无法进行的高级分析和转换。新的框架在前端使用了两个新的中间表示:泛化树和简化树,一些优化...
- 反编译数据类型恢复技术研究被引量:1收藏
- 作者:丁松阳 梁雪 赵荣彩 孙维新
- 机构:河南财经政法大学计算机与信息工程学院;解放军信息工程大学工学院计算机科学与技术系
- 来源:《河南师范大学学报:自然科学版》 2012
- 关键词:反编译 数据类型恢复 数据流分析
- 摘要:提出了利用数据流分析的方法来恢复基本数据类型,该技术首先利用数据流分析对变量进行重命名,然后使用变量推导规则推导变量的数据类型,得到的数据类型构成一个类型集合,最后根据得到数据类型集合的3种情况,选取合适的类型作为生成C...
- 基于有限域上Chebyshev多项式的Diffie-Hellman密钥协商算法被引量:1收藏
- 作者:徐刚 丁松阳 张墨华
- 机构:河南财经政法大学计算机与信息工程学院
- 来源:《郑州大学学报:工学版》 2014
- 关键词:Chebyshev多项式 有限域 Diffie-Hellman密钥协商算法 消息认证码
- 摘要:为了能够利用混沌系统构造出运行速度快、安全性高的密钥协商算法,通过研究一种已提出的基于Chebyshev多项式的密钥协商算法,利用有限域上Chebyshev多项式的半群性和消息认证码,给出了一种改进的密钥协商算法,该算法...
- 二进制翻译形式化模型被引量:0收藏
- 作者:丁松阳 张墨华
- 机构:河南财经学院计算机科学系
- 来源:《电脑与电信》 2007
- 关键词:二进制翻译 形式化 模型
- 摘要:通过对比分析静态与动态二进制翻译系统,描述了基于机器状态的二进制翻译形式化模型。该形式化模型在实践上对于二进制翻译工程具有理论指导作用,并且可为保证翻译过程及结果的正确性提供理论基础。
- 中小规模高校校园网络规划设计被引量:0收藏
- 作者:丁松阳 袁开银 李汴红
- 机构:河南财经学院计算机科学系;河南财经学院电教计算中心;河南开封教育学院学报编辑部
- 来源:《开封教育学院学报》 2000
- 关键词:异步传输模式 千兆位以太网 高校 校园网 设计
- 摘要::网络技术日新月异 ,对于中小规模高校校园网络这一特定网络环境 ,面对如此繁多的技术进行规划设计 ,要从中小规模高校校园网络的用户需求入手 ,对当前热门技术及产品作出合理的取舍 ,保证校园网络的经济性、先进性。
- 基于Ontology的数据集成新方法被引量:0收藏
- 作者:郑娅峰 丁松阳 杨风雷
- 机构:河南财经学院信息学院
- 来源:《光盘技术》 2006
- 关键词:ontology 异构数据源 映射关系
- 摘要:基于Ontology的异构数据集成的方法是近几年来解决异构数据集成问题的有效方法。本文分析了几种本体(Ontology)集成方法的优缺点,提出了一种新的本体集成方法——Extend Hybrid approaches。该...
- Key Technology Research on Dynamic Web Service Composition Based on Semantic Web被引量:0收藏
- 作者:Zheng, Yafeng Ding, Songyang Zhang, Xiaoxiao
- 机构:Henan Univ Finance & Econ
- 来源:2008 IEEE INTERNATIONAL SYMPOSIUM ON KNOWLEDGE ACQUISITION AND MODELING WORKSHOP PROCEEDINGS, VOLS 1 AND 2 2008
- 关键词:Web Service Semantic Web Composability
- The hydrogen storage behavior of Li-decorated monolayer WS2: A first-principles study被引量:0收藏
- 作者:Song, Nahong Wang, Yusheng Ding, Songyang Yang, Yuye Zhang, Jing
- 机构: College of Computer and Information Engineering; College of Mathematics and Information Science; International Joint Research Laboratory for Quantum Functional Materials of Henan; Department of Physics
- 来源:Vacuum 2015
- 关键词:Atoms - Binding energy - Density functional theory - Molecules - Lithium - Monolayers - Tungsten compounds - Gas adsorption - Calculations
- 智能建筑设计的发展研究与探索被引量:0收藏
- 作者:李丹宇 刘怡晴 丁松阳
- 机构:河南财经政法大学计算机与信息工程学院
- 来源:《中国建筑装饰装修》 2023
- 关键词:人工智能 建筑设计 设计优化
- 摘要:目前,我国建筑行业在很大程度上仍依赖传统技术手段,亟需革新和升级。通过模拟建筑在不同条件下的能耗情况,人工智能可帮助设计师选择最优的材料、结构和能源系统,降低能耗、减少环境影响。特别在建筑设计阶段,借助人工智能技术可有效...
- Recovery of Indirect Procedure Call for IA-64 Static Binary Translation被引量:0收藏
- 作者:Ding, Songyang Zhao, Rongcai
- 机构:Henan Univ Finance & Econ
- 来源:ITESS: 2008 PROCEEDINGS OF INFORMATION TECHNOLOGY AND ENVIRONMENTAL SYSTEM SCIENCES, PT 2 2008
- 关键词:Binary Translation Indirect Procedure Call IA-64
- 基于NP的千兆网络取证系统数据包转发研究被引量:0收藏
- 作者:张墨华 丁松阳
- 机构:河南财经政法大学计算机与信息工程学院
- 来源:《郑州轻工业学院学报:自然科学版》 2010
- 关键词:网络入侵取证 网络处理器 数据包转发
- 摘要:在高速网络环境下,为了使网络入侵取证系统(NIFS)对数据包过滤分析处理达到线速,在深入研究网络处理器的基础上,通过对现有网络入侵取证系统的体系结构进行重新设计,提出了在网络底层实现网络入侵取证的新的硬件体系结构,采用网...
- 无线移动传感器网络节点自定位控制仿真研究被引量:0收藏
- 作者:丁松阳 梁雪
- 机构:河南财经政法大学计算机信息与工程学院
- 来源:《计算机仿真》 2012
- 关键词:传感器网络节点 节点自定位 灰色系统 距离预测 移动性
- 摘要:研究移动节点确认自身位置信息的节点自定位问题,传感器节点的移动部署和数据通信容易受外界环境的干扰,造成网络节点自定位精度低。为解决上述问题,提出了一种改进的灰色系统预测移动节点定位技术。改进方法采用跨层设计,利用灰色系统...
- 静态二进制翻译中间接过程调用恢复技术研究被引量:0收藏
- 作者:丁松阳 赵荣彩
- 机构:解放军信息工程学院计算机科学与技术系;河南财经学院计算机科学系
- 来源:《计算机工程与应用》 2007
- 关键词:静态二进制翻译 间接过程调用 解释器 代码间隙
- 摘要:间接过程调用的恢复问题是静态二进制翻译中的难点之一。针对使用c后端的静态二进制翻译框架,提出并实现间接过程调用恢复方法,该方法结合代码间隙分析,在后端c代码生成过程中插入映射源过程地址到目标机过程地址的代码。相对于使用解...
- 建筑领域的命名实体识别研究被引量:0收藏
- 作者:汪梦祎 陈珂锐 丁松阳
- 机构:河南财经政法大学计算机与信息工程学院
- 来源:《价值工程》 2023
- 关键词:命名实体识别 数据集 建筑全生命周期 标注方法 研究模型
- 摘要:命名实体识别(Named Entity Recognition,NER)可以从建筑领域的非结构化文本中抽取结构化的命名实体,其应用可以为建筑行业的不同决策者提供便利。近年来,NER的应用十分广泛,但在建筑领域NER的应用...