张新林
- 作品数：21 被引量：58H指数：4
- 供职机构：湖南科技学院计算机与通信工程系更多>>
- 发文基金：新世纪高等教育教学改革工程国家级大学生创新创业训练计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 分布式系统进程通信的研究被引量：6
- 2006年
- 分析了通信类型的各种组合方案,对比RPC,RM I和消息队列等通信方式的属性,得出各种进程通信模型的适用环境和选择条件.
- 陈旭日张新林
- 关键词：分布式系统中间件RPCRMI
- 线性时态逻辑中的特性模式被引量：11
- 2006年
- 在模型检查应用中,需要使用线性时态逻辑对软件具备的特性进行描述。虽然,不同应用背景涉及不同方面的特性描述,但是线性时态逻辑描述软件特性方式上具有共性。本文从两个方面抽取这种共性,首先,按照线性时态逻辑所描述性质划分,常见性质包括活性、安全性等;其次,按照线性时态逻辑公式的作用范围划分。通过对共同问题,找到共同的描述方法得到线性时态逻辑的特性模式。最后介绍了线性时态逻辑特性模式在SPIN中的应用。
- 黎升洪缪淮扣张新林
- 关键词：线性时态逻辑SPIN
- Web导航行为范畴模型一致性与安全性研究被引量：1
- 2012年
- 范畴理论为各数学学科提供了一种公共的语言、工具、思维方法和研究手段,其中作为形式结构的素描是一种基于图的规范,是形式建模和验证的有效方法.文章给出了Web导航行为的线性素描,构建一个基于范畴理论的形式模型,这一模型符合由素描所描述的要求和规范,提出了通过建立自由范畴来检验模型一致性的方法,讨论了导航模型的安全性,并给出了一些相应的安全性规则和检查方法.
- 张新林尹向东
- 关键词：线性素描WEB导航
- Prolog与C程序连接的实现技术被引量：1
- 1998年
- 在图形用户界面广为流行的今天，人工智能程序设计大多仍基于文本方式，通过程序连接的方式，人工智能程序也可以具有漂亮的ＧＵＩ界面．Ｐｒｏｌｏｇ是逻辑程序设计语言，Ｃ是过程型语言，Ｐｒｏｌｏｇ程序与Ｃ程序的连接为Ｐｒｏｌｏｇ提供了更强的计算能力和ＧＵＩ功能，也为Ｃ语言的应用提供了智能推理能力．基于ＴｕｒｂｏＰｒｏｌｏｇ２．０和ＴｕｒｂｏＣ２．０，本文结合程序实例介绍了Ｐｒｏｌｏｇ程序和Ｃ程序的接口程序设计和连接实现技术，为通过程序连接进行人工智能程序的用户界面开发打下了基础．
- 李刚孙华张新林
- 关键词：人工智能C程序PROLOG程序程序设计
- “1+2”动态培养模式之“专业实习”的研究与实践
- 2007年
- 在“1+2”动态培养模式中,讨论了计算机专业的专业实习模式的特点,并对2006届专业实习模式进行了分析和研究。结果表明,这个模式适应了计算机专业的特点,紧贴市场需求,直接提高了学生的就业竞争力,对培养学生的全面素质有着直接的意义。
- 张新林李连胜蒋亚军
- 关键词：课程设计
- 物联网校企合作实训教学方案改革与实践被引量：2
- 2015年
- 该文通过分析目前物联网的市场应用,发现主要是在线监测与控制、传输与组网两个方向,根据市场的应用需求,结合高校物联网相关专业实训教学的特点和发展现状,并且与相关企业合作进行了物联网实训教学方案设计,包括物联网数据采集与控制实训方案,物联网组网与通信实训方案;在这些方案的基础上,通过两个方向的校企合作实训项目的训练,使学生可以熟练掌握市场上企业所需要的物联网开发技术,并且通过熟练所学技术在实训教学中有好的实最。
- 尹向东张新林陈旭日
- 关键词：物联网校企合作实训教学教学改革
- 一种安防监控系统
- 本实用新型公开了一种安防监控系统。该系统包含一个到多个安防主控节点、多个安防探测节点，以及一个公用的能量发射装置，探测节点和安防主控节点中均设置有能量接收模块和能量储存模块。该系统的探测节点和安防节点使用了无线通信技术和...
- 张新林
- 文献传递
- C语言音乐谱曲技巧
- 2011年
- 讨论了乐曲的C语言表示,给出了一种巧妙的,适合人机交流的音调表示方法。探讨了基于C语言的乐曲演唱编程技巧,提出了一种通过插入休止音来维持音乐节奏的方法。讨论了多曲谱存储与演奏的编程技术,提供了一种以文件系统为后台数据库的实现方法。
- 张新林尹向东
- 关键词：编程技巧C语言
- 一种物联网网关
- 一种物联网网关，位于物联网感知层与网络层之间，所述的网关设备采用太阳能和风能组合供电，可同时接收各感知层节点装置的RF信号和RS485信号，支持zigbee，支持GSM/GPRS、TDSCDMA、WCDMA和CDMA20...
- 张平陈旭日张新林韦美雁邵金侠
- 文献传递
- 计算机应用型人才的培养——浅析“1+2”动态人才培养模式的应用被引量：3
- 2007年
- 现在每年都有近百万的毕业生涌进人才市场，如果光有扎实的理论知识而欠缺实践能力，或只会做事不会做人，都很有可能被用人单位拒绝或被淘汰。所以一般本科院校如何办好计算机科学与技术专业，培养适应社会需求的应用型人才，是近些年来我们一直在探讨和摸索解决的问题，也是我国高等教育改革的重任之一。
- 唐君张新林
- 关键词：计算机科学与技术专业应用型人才高等教育改革本科院校
