动态

民政部：将建立村民自治管理信息系统；浙江：“数字浙江”建设成效显著；广西：实现服务效能电子临察和服务行为视频监控双重监督；安徽省：省直组织机构代码一站式办结；云南省各级森林公安信息化工作迈出新步伐     

基于传统冲床的数控送料改进系统设计

介绍了一种基于传统冲床改进的送料系统。详细说明了系统的体系结构、运动控制系统、送料台架的设计原则,阐明了基于PC、运动控制卡控制2轴伺服电机的设计方法,板材版面自动排版的设计思路,并具体给出了软件G代码的解释、执行方法。     

VB创新教学探索——问题与对策

本文针对VB初级编程教学中普遍存在的"代码编写难下手"这一问题,结合自己多年的教学实践,提出了引导学生利用逆向思维找突破口的方法,并总结出了有效的编程"三部取",对教学效果的改进大有帮助。     

圆周率π在c语言课程中的应用

本文循序渐进地介绍四种用c语言实现的近似计算圆周率π的算法，几个小程序涵盖C语言课程的重要章节．同时引出对高校实验课教法的思考与探索。     

程序设计课程活代码教学法

提出了适合计算机程序设计课程教学的＂活代码教学法＂,说明了这种教学方法的有关概念、特点、理论依据、教学效率、适用范围以及应该注意的问题。     

EPC与EPCglobal

<正>EPC系统是一个非常先进的、综合性的复杂系统,其最终目标是为每一单品建立全球的、开放的标识标准,EPC系统由全球产品电子代码(EPC)的编码体系、射频识别系统及信息网络系统3部分组成.     

迭代法可以消除机构动画中的障碍

把机构运动简图做成动画可以提高对机构的认识,但在使用代码时遇到了解方程组的障碍。这一障碍的解决只有借助于迭代法。使用迭代法处理方程组能很快达到动画的精度要求,再配合flash代码,使动画达到完美的地步。     

基于局域网的考试服务器设置系统研制

随着计算机技术的发展,特别是计算机网络技术的飞速发展,将计算机技术应用于考试中,改变了传统的以纸笔为工具的考试手段,特别是给计算机类考试带来了巨大的变革。本文提供了一种在局域网环境下,用代码完成对考试文件服务器的文件系统和用户系统进行设置的方法,可使系统管理员准确快速地完成对考试文件服务器的设置工作。文中提到的技术已成功应用于《全国高校计算机水平考试（安徽考区）上机考试服务器设置系统》中,目前在安徽省内几十所高校中广泛使用。     

一种基于一阶逻辑的软件代码安全性缺陷静态检测技术

软件代码安全性缺陷是可能引发软件系统高危后果的一类重要缺陷,针对该类缺陷的自动化检测和定位技术在软件维护和演化研究领域具有重要意义.本文提出并实现了一种形式化检测方法——基于一阶逻辑的软件代码安全性缺陷静态检测方法,利用命题逻辑和谓词逻辑定义模式路径公式,引入多个与依赖关系相关的谓词构造逻辑函数表达式,作为模式路径节点产生的制导条件,实现了对多类软件代码安全性缺陷的形式化描述,把安全性缺陷检测问题转化成在中间代码对应的有限状态空间中是否存在相应模式路径公式的判定问题.实验结果表明,该方法能适用于大多数类型的软件代码安全性缺陷检测,在对openssl,wu-ftpd等13个开源程序的测试中,准确重现了10个已公开安全漏洞,发现2个未公开安全漏洞.并且,与现有的模型检验等形式化静态分析方法相比,该方法的测试时间和代码规模成渐近线性关系.     

基于词向量模型的漏洞检测方法

针对漏洞检测领域面临的实验平台不统一、数据集异构等问题,研究词向量模型在C/C++函数漏洞检测方面的应用.用5种词向量模型对源代码生成的抽象语法树结构进行知识表示,用6种神经网络模型进行漏洞检测,实验结果表明,函数级代码具有浅层的语义关系,代码块内部联系紧密.