浅谈CAI在数学教学中的运用

计算机辅助教学(CAI)在数学教学中能帮助教师突破教学难点,协助学生加深对数学概念的理解,为教材改革提供教学手段上的保证。通过对中学数学教学改革需要 CAI 和 CAI 如何走进课堂的介绍,提出了数学教学中要大力推进 CAI 的应用。     

参考安全补丁比对的软件安全漏洞挖掘方法

Windows操作系统作为目前全球使用最广泛的桌面操作系统,一旦其漏洞被利用将造成严重后果,所以对Windows操作系统的漏洞发掘意义重大。当前对软件安全漏洞的发现更多的是依靠安全研究人员的经验和运气,缺乏系统且有效的方法指导。为了找到一种能够快速发现Windows一类漏洞的方法,本文从安全补丁的修补方法入手,分析了漏...     

一种机器人任务多线程异步解释器

本文介绍了一种机器人任务程序解释技术 在分析了机器人指令和程序格式的基础上,讨论了任务解释器的功能和性能需求,进而提出了多线程异步解释的方案.文章详细介绍了这一方案的核心及技术实现细节,并给出了两级线程处理函数的基本框架 该方案在两种机器人控制器中的良好性能证明了其较强的通用性和先进性     

基于动态规划的自动向量化方法

由于SLP自动向量化算法使用的启发式策略会丢失一定的向量化机会,本文提出一种基于动态规划的自动向量化方法DPSLP,该方法采用比SLP更加激进的策略在基本块内寻找候选的SIMD指令分组,依据动态规划方程计算指令分组的代价并从众多指令分组中选择最优的分组进行向量化转换.实验结果显示,DPSLP与SLP相比测试程序的运行时间平均减少了8%,静态指令代价平均减少10%,平均向量宽度增加66.4%.      

横向合成背景的面向对象概念格的生成

针对多形式背景合成的概念格生成,提出了一种多背景横向合成的面向对象概念格的生成方法。首先利用各个子形式背景中的每个概念的外延通过相关运算得到合成背景的面向对象概念格的外延集,然后将得到的外延集通过近似算子运算得到合成背景的内涵,并进一步得到合成背景的概念格。用理论证明该方法的有效性和完备性,并通过实验表明该方法时间效率较好。     

两种抗缓冲区溢出硬件机制的设计与实现

随着嵌入式系统的广泛使用,这些普遍被应用于捕获、存储、处理及访问敏感数据的微控制系统．其安全性能正以不同形式成为系统设计中必不可少的规划要求．文章以缓冲区溢出这一典型的系统漏洞为例。详细分析了这类漏洞的特征,提出并设计实现了2种基于硬件机制的安全策略,为嵌入式系统设计中安全问题的研究提供了新的角度．相关仿真数据表明,上...     

电子商务系统形式化分析与验证技术综述(Ⅱ)

应用形式化分析技术对电子商务系统模拟与验证，可以查找系统设计中的错误和不足，确保系统的正确性和健壮性．本文将目前用于电子商务系统的形式化方法划分为四大类，综合分析并比较了各类方法的应用特点，并指出了进一步地研究工作．     

8051虚拟机的设计与实现

为了建立嵌入式软件全数字仿真测试环境,利用宿主机平台上丰富的资源和工具来对嵌入式软件进行测试,就必须在宿主机中仿真目标机.文章以MCS-51系列8051CPU为例,介绍了8051虚拟机的工作原理与实现,并仿真了8051的指令集、定时器、串口、中断等,使得嵌入式软件能够运行在宿主机上,从而能够在宿主机上完成嵌入式软件的动态实时测试、覆盖测试.     

一种认证安全性的分析与设计逻辑

针对BAN逻辑的局限性,在BSW逻辑的基础上,提出了一种针对认证安全性的分析与设计逻辑.同时,以Needham-Schroeder公钥协议及X.509三消息协议的分析与再设计为例,证明了该逻辑的正确性和有效性.     

浅议多媒体教室的建设和管理

随着现代教育技术的发展，多媒体辅助教学越来越受到老师的欢迎，因而多媒体教室的建设和管理也越来越受到重视，多媒体教室的建设必须科学规范，管理必须立章建制、责任到人．