提高静态缺陷检测精度方法

误报率和漏报率是静态缺陷检测的关键技术指标,提高分析精度是降低误报和漏报的主要手段.文中介绍了缺陷模式及其有限状态机描述,提出基于传统数据流分析的缺陷检测方法.采用变量抽象取值来近似地表示程序动态执行信息,通过状态条件中的变量抽象取值范围为空来判断不可达路径,以实现路径敏感分析;使用缺陷相关的函数摘要来表示缺陷检测所需函数调用信息,其中缺陷相关的函数摘要包括前置约束信息、后置约束信息和函数特征信息三部分,实现了上下文敏感的跨函数分析.文中方法已在缺陷检测系统DTS中实现,在大型开源软件分析中的实验结果表明,该方法能减少误报和漏报.     

利用数据库技术优化民办高校财务系统

高等学校的财务管理体系已经不能很好地满足当前高校的快速发展,因此高校优化财务管理体系是很有必要的,尤其是民办高校财务管理体系因其自身的特点,优化更为必要。在利用数据库触发器和存储过程技术优化民办高校财务管理系统方面进行探讨。     

防空导弹姿态控制系统终态滑模变结构设计

针对防空导弹垂直发射姿态调转时的快速性要求,研究了快速姿态调转的控制问题.首先基于一类多输入多输出高阶非线性系统的Teminal(终态)滑模变结构控制方法,对垂直发射防空导弹的滚动和俯仰、偏航通道所呈现的非线性、强耦合性进行了分析,并设计了一种新型滑模控制器.控制器设计方案消除了滑模控制的到达阶段,系统的初始状态始终保持在滑模面上,确保了系统的全局鲁棒性和稳定性,且能在有限且可控时间内使跟踪误差趋近于零.最后通过数字仿真验证了系统在不确定因素情况下具有强鲁棒性和适应性,可用于防空导弹短时间姿态调转控制.     

磁盘隐藏技巧

通过实践摸索出了硬盘隐藏的几点技巧.     

同思想,异方略——“同题异构”开篇语

"整合点专栏"开设八个月以来,以其独特的教学设计视角和极富借鉴意义的课例展示,受到了广大读者的关注和欢迎。从本期开始,"整合点专栏"将重点关注东北师范大学理想信息技术研究院组织开展的基于"整合点"的"同题异构"研究。"同题异构"是一种深入研究教学的有效方式,但因其对参与人员的数量、质量,组织机构的物质与人力投入等方面的高要求而乏人问津。东北师范大学理想信息技术研究院凭借庞大的"整合点课题"实验学校的支持,以优质课大赛为平台,历时几年,积累了大量的优质课例和一支专业化的教师、学者团队,为"同题异构"研究的深入开展创造了良好的条件。本期,除对"同题异构"研究的初衷和策略做简单介绍外,还展示了对初中数学《勾股定理》不同教学设计的分析,是"同题异构"研究的初步成果。     

用信息技术“点亮”物理实验——信息技术与物理实验课程整合的方法研究

●物理实验教学应用信息技术现状、存在问题及发展趋势 1.现状 当前,信息技术与课程整合取得了一定进展,探索出一些网络环境下教与学的模式,并且开发了大量的信息化教学资源.信息技术在物理实验教学中的应用一直受到中学物理教师的重视,也涌现出一些优秀作品.     

信息技术与高中历史教学的有效整合

<普通高中历史课程标准(实验)>指出:"普通高中历史课程的设计与实施有利于学生学习方式的转变,倡导学生主动学习,在多样化、开放式的学习环境中,充分发挥学生的主体性、积极性与参与性……有利于教学方式的转变,倡导灵活运用多样化的教学手段和方法,为学生的自主学习创造必要的前提."     

同思想，异方略——“同题异构”开篇语

信息技术在教学中的作用毋庸置疑,但如何将信息技术与学科课程有效整合是一线教师特别关心的问题.目前,专家对整合的研究更多停留在理论层面,而学科教师在如何整合的问题上存在很大的盲目性,原因是没有有效整合可借鉴的模式和方法.     

《原子结构》教学设计

教材分析 本节内容选自人民教育出版社新课标教材<物质结构与性质>(选修3)第一章<原子结构与性质>的第一节<原子结构>.     

立式数控铣削刀具半径补偿功能的运用

在数控铣床零件加工过程中,由于刀具的磨损、现场实际刀具尺寸与编程时规定的刀具尺寸不一致和更换刀具等原因,都会直接影响最终加工尺寸,造成加工误差.为了最大限度地减少因刀具尺寸变化等原因造成的误差,目前数控铣床通常都具有刀具半径补偿功能,根据输入的修正补偿量和程序自动地加工出优质零件,否则,很难保订加工精度.同时,使用刀具半径补偿,实现了根据零件轮廓直接编程的巨变,大大简化了编程工作量.冈此,理解刀具半径补偿并能正确灵活地使用刀具补偿功能,将起到事半功倍的效果,将刀具补偿和变量编柞结合使用,还可实现一些复杂曲面的加工,在数控切削加工中有较强的实用价值.