张玉民
- 作品数:7 被引量:5H指数:1
- 供职机构:佳木斯大学更多>>
- 发文基金:佳木斯大学人文社会科学研究项目黑龙江省新世纪高等教育教学改革工程项目更多>>
- 相关领域:自动化与计算机技术经济管理文化科学更多>>
- 安全协议可视化建模和验证方法的分析与设计
- 2013年
- 统一建模语言(UML)是用于软件分析与设计的可视化建模语言,由于其缺乏精确的语义描述,因而进一步分析和验证比较困难.而形式化分析方法具有精确的数学语义和自动化验证工具的支持,可以对软件规范进行严格的分析和验证.本文提出了一种将安全协议的可视化模型转换成PROMELA规范的方法,使用SPIN工具对安全协议UML可视化模型进行了分析验证.
- 付杰闫振林张玉民息明东李升
- 关键词:安全协议形式化分析SPIN
- 基于B/S模式的多媒体教室课件系统研究被引量:1
- 2010年
- 针对教师在多媒体教室授课时课件使用中的问题,通过对课件系统相关技术分析、课件系统设计与实现,采用ASP+Access技术开发了基于Browse/Server模式的多媒体教室课件系统,实现了课件资源的网络共享与现代信息技术的教育应用.
- 闫振林付杰息明东张玉民
- 关键词:ASPBROWSE/SERVER模式课件教育信息化
- 基于.NET的地籍业务处理系统相关问题的探讨
- 2009年
- 地籍业务处理系统是针对各个城市和乡村的地籍业务处理工作的特点和要求而开发的,是为实现网上进行地籍业务处理工作,进而提高工作效率,文中讨论了基于.NET的地籍业务处理系统设计的几个相关问题,提出了对问题的解决办法和思路,阐明了.NET技术在系统中的应用,同时阐明了工作流思想在系统中的应用,论文中也总结了本系统所实现的功能。
- 马传志刘涛张玉民
- 关键词:地籍NET工作流
- ERP系统实施风险管理模型研究被引量:1
- 2013年
- 文章构建了ERP系统实施风险管理模型,针对ERP系统的动态模型提出相应的内部控制体系方法。ERP管理系统实施风险模型的研究能够给予企业管理与经营带来深刻的变化,有效解决影响企业多层次、问题多样化的内部与外部的环境,为企业提供科学的决策和理性的方法成功实施ERR,具有广阔的应用前景和现实意义。
- 张则张玉民马华泉李冰苏贵章
- 关键词:ERP系统动态模型理论架构
- 神经网络预测系统的开发
- 2012年
- 本文通过分析研究人工神经网络,利用MATLAB软件中的神经网络工具,建立了基于BP人工神经网络的轧制压力预测系统,实现了神经网络预测程序在生产环节中的应用。
- 闫振林付杰张玉民
- 关键词:神经网络MATLAB
- 基于食品安全的政府制度与企业社会责任耦合的关系被引量:3
- 2015年
- 文章分析了我国食品安全的现状,针对食品安全问题研究了政府制度与企业社会责任耦合理论基础,给出了政府制度与企业社会责任耦合效应的模式,形成政府支持、鼓励、并与企业共同参与,实现政府与企业良性互动,逐步解决食品安全问题,对改善国民营养和健康水平,推动国民经济持续、稳定、健康发展具有重要意义。
- 张则马晓君张玉民陈杰马华泉
- 关键词:食品安全政府制度企业社会责任
- 浅谈信息化社会环境下高等学校微机实验室的维护
- 2010年
- 信息化社会要求高等学校在人才培养模式和方法上采用现代化手段和先进的教学方法,为了更好地适应现代教学的要求,大量的信息化手段已经被应用到现代教学方法中,这样就给提供网络环境的微机实验室带来了更多的维护工作,同时提高了维护难度.本文将介绍局域网环境下微机实验室的维护方法.
- 张玉民闫振林解浩
- 关键词:信息化微机实验室