非圆曲线的数控处理及程序实现

引用优化设计中一维搜索和黄金分割法,针对数控加工中非圆曲线的处理,给出实用、简洁和新颖的宏程序实现方法,解决在数控系统中求解方程组的问题,是数控用户快速解决相关应用问题的有效手段。     

C语言源程序的自动评判系统

自动评判系统为通过编译C语言源程序生成的可执行程序创建进程,输入适当的测试数据,对输出结果与预设答案进行比较和评判。提出了通过匿名管道进行数据输入输出的实现方法,分析了自动评判机制中的主要问题及解决方法,重点对分级评判进行了探讨,进而提出了四级评判机制。     

基于Java内存模型的并发程序模型检测

为了提高性能,Java内存模型允许编译器在优化过程中改变代码的执行顺序,同时该技术也会造成共享数据的更新顺序与本来的执行顺序不同。在多线程Java并发程序中,这些代码乱序执行会引起很多难以发现的错误。现有的Java程序模型检测技术并没有考虑这些顺序改变的问题。因此,本文提出了一种建立包含多线程交互及线程内代码乱序执行的完整模型,并利用模型检测工具进行穷举检测的算法。该算法可以发现原有技术无法发现的新问题,更好地检测高可靠性要求的Java并发程序。     

Approximation algorithms for partially covering with edges

The edge dominating set (EDS) and edge-cover (EC) problems are classical graph covering problems in which one seeks a minimum cost collection of edges which covers the edges or vertices, respectively, of a graph. We consider the generalized partial cover version of these problems, in which failing to cover an edge, in the EDS case, or vertex, in the EC case, induces a penalty. Given a bound on the total amount of penalties that we are permitted to pay, the objective is to find a minimum cost cover with respect to this bound. We give an 8/3-approximation for generalized partial EDS. This result matches the best-known guarantee for the {0,1}-EDS problem, a specialization in which only a specified set of edges need to be covered. Moreover, 8/3 corresponds to the integrality gap of the natural formulation of the {0,1}-EDS problem. Our techniques can also be used to derive an approximation scheme for the generalized partial edge-cover problem, which is -complete even though the uniform penalty version of the partial edge-cover problem is in .     

软件安全漏洞的静态检测技术

软件安全漏洞问题日益严重,静态漏洞检测提供从软件结构和代码中寻找漏洞的方法。该文研究软件漏洞静态检测的两个主要方面：静态分析和程序验证,重点分析词法分析、规则检查、类型推导、模型检测、定理证明和符号执行等方法,将常用的静态检测工具按方法归类,讨论、总结静态检测技术的优势、适用性和发展趋势。     

一种基于C#的通用软件安装程序的架构设计与实现

可以说每个商业化软件都必须具备安装工具,使用系统软件自带的打包程序有时很难满足实际需求,为此提出了一种基于C#的通用软件安装程序的架构,给出了实现这一架构的设计方法和关键代码.通过该架构,可以非常容易地实现安装程序的功能扩展和代码维护.     

Windows电脑安全防护方案

针对Windows操作系统计算机提出简单实用的安全防护措施和安全配置方法。     

基于ARM的真彩LCD驱动程序设计

该文首先研究了SAMSUNG S3C2440 ARM芯片的LCD控制模块及液晶屏的接口,然后研究了NEC NL2432 3.5寸LCD真彩液晶屏的逻辑及成像原理。在此基础上,基于LINUX操作系统,对LCD驱动程序进行研究和实验,实验结果表明:本文研究出的LCD驱动程序适应性好,能够适应上述硬件芯片环境;系统稳定性好,能够得到清晰稳定的真彩画面。     

探讨VB程序设计课程的教学方法

VB语言具有很强的理论性与实践性,如何教好该门课程成为摆在广大计算机教师面前的一道难题。该文结合近几年来VB的教学经验,对VB程序设计课程的教学方法做了有益的探讨。     

C语言程序设计教学方法探析

语言是一种被广泛应用的计算机语言,它已成为高校计算机教学的重要内容。本文结合教学实践,探讨C语言教学中培养学生编程能力的途径,探索C语言程序设计的教学方法,解决C语言程序设计存在的问题,旨在进一步提高C语言程序设计教学效果。