张志锋
- 作品数：59 被引量：54H指数：5
- 供职机构：郑州轻工业学院更多>>
- 发文基金：国家自然科学基金河南省教育厅科学技术研究重点项目河南省高校新世纪优秀人才支持计划更多>>
- 相关领域：自动化与计算机技术文化科学经济管理化学工程更多>>
- 基于B的UML形式化需求分析被引量：6
- 2007年
- 为了消除软件需求中存在的不完整性、二义性和不一致性,可以用形式化方法描述软件需求;但是,形式化描述需要很强的专业知识,这样严重阻碍其广泛应用。为了使形式化描述简单、易行,提出了一种从UML试图转化为B形式化需求的一种新的实现方法,该方法通过在实际的项目中应用,取得了一定的效果。
- 张志锋徐洁邓璐娟任雪利
- 关键词：形式化方法B方法统一建模语言
- 基于J2EE技术的教务管理系统分析与设计被引量：1
- 2008年
- 为了提高高校各院系的办公效率和办公质量,提高管理水平,本文分析和设计了该系统,该系统提高了教务管理的效率,实现了人性化的教育教学管理。
- 刘秀梅王文冰张志锋
- 关键词：教务管理
- 基于DSH架构的软件缺陷跟踪管理系统
- 2014年
- 针对传统软件缺陷跟踪管理系统中用户体验差、业务效率低等问题,设计并实现了一个基于DSH架构的软件缺陷跟踪管理系统.系统采用Dorado展现中间件和Spring,Hibernate等Java Web主流技术,基于B/S模式构建,实现了项目管理、用户管理、缺陷跟踪管理、缺陷数据统计分析、报表输出等功能.应用实践表明,本系统改善了页面图形显示和用户体验,可扩展性和可维护性高,适用于中小规模软件开发过程中的缺陷跟踪管理.
- 马军霞张志锋
- 极限学习机优化方法在蛋白质折叠类型识别中的应用
- 2013年
- 传统的机器学习方法在处理蛋白质折叠类型识别问题时需要花费大量的时间来调节最佳的参数。利用一种新的极限学习机(Extreme Learning Machine,ELM)分类优化方法(Extreme Learning Machine for Classification,ELMC)对蛋白质折叠进行识别,仅需调节很少的参数值就可达到很好的测试精度。与支持向量机(Support Vector Machine,SVM)和推荐相关向量机(Relevance Vector Machine,RVM)相比,ELMC能获得更好的泛化性能,而且在寻找最优解的训练时间比较上,ELMC比SVM平均要快35倍,比RVM要快12倍。
- 张志锋范乃梅
- 关键词：多类分类
- 采用经典一阶逻辑的混合系统仿真逻辑验证法
- 2015年
- 针对混合系统难以分析和验证的问题,提出了一种采用经典一阶逻辑的混合系统仿真逻辑验证法.首先给出了混合程序、混合系统仿真逻辑公式、仿真逻辑的命题形式和含义、混合仿真、混合程序仿真语义、仿真逻辑公式的值等定义,然后在经典一阶逻辑、混合程序仿真语义和仿真逻辑公式的值的基础上给出仿真逻辑形式推演规则.最后通过煮鸡蛋的例子验证了混合系统的活性.
- 卢中宁付金华张志锋
- 一种计算机主板防震安装结构
- 本实用新型公开了一种计算机主板防震安装结构，包括箱体和设置在箱体内部的两个安装块，所述安装块与箱体的内侧壁固定连接，所述安装块的侧壁开设有活动槽，所述活动槽的内侧壁固定连接有橡胶垫，所述活动槽的内部设置有复位机构，所述箱...
- 谷培培邓璐娟张志锋马军霞
- 文献传递
- 一种混合云环境中安全性约束的任务调度方法和装置
- 本发明提供一种混合云环境中安全性约束的任务调度方法和装置，任务调度方法包括如下步骤：当有未被调度任务时，判断本地云是否存在空闲服务器；如果本地云存在空闲服务器，将未被调度任务调度给本地云的空闲服务器；如果本地云不存在空闲...
- 王博王昌海张世征张志锋崔霄曹洁
- 文献传递
- 三维随机海浪的实时仿真被引量：1
- 2013年
- 随着对自然现象模拟的不断发展,海浪的可视化日益受到关注。本文通过研究线性海浪理论的线性叠加法,实时获取三维海浪数据。基于海浪的分形特征及分形理论中的随机中点位移法原理,提出海面的模拟生成算法,并实现了三维海浪的实时仿真。文中提出了海浪实时仿真方法和关键技术,较好地满足了实时性显示的要求。
- 范乃梅张志锋李丹明
- 关键词：虚拟现实海浪仿真
- 一种自动化火警检测系统
- 本发明公开了一种自动化火警检测系统,包括火警预警管道、烟雾检测器、温度检测器、吸风机、报警灯、启动电机和响铃报警器，所述火警预警管道连接有吸风机，所述火警预警管道的内部固定设有启动电机，所述启动电机电性连接烟雾检测器和温...
- 田二林张建伟张志锋李祖贺于泽琦
- 文献传递
- 多智能群体计算技术及其在工业物料平衡计算中的应用
- 宋胜利张志锋郑倩马军霞谷培培胡春晖刘亦坚
- 项目主要技术内容：流程工业企业中物料平衡计算一直是制约企业精细化生产和产品质量提高的关键技术瓶颈，建立合理有效的模型是实现计算的重要基础。该项目根据社会学和仿生学中群体的智能行为，研究多智能群体计算技术的改进思想与机制，...
- 关键词：
- 关键词：生产工艺
