构建新课程理念下的数学说课评价体系

数学新课程标准的实施逐步提升了说课教研活动的地位,人们也更加关注数学说课评价,为进一步发挥说课评价的导向和激励功能,在新课程理念指导下研究了说课评价的内涵、原则和立足点,构建了适合新课程标准的数学说课评价体系．     

基于软件历史仓库和抽象语法树的相似缺陷识别方法

软件开发过程中,软件开发人员常常通过搜索软件历史仓库(historical software repository, HSR),再经复制/粘贴以实现软件复用。HSR中会保存被复用的代码的缺陷及修复信息,辅助处理相似缺陷。基于此,提出一种基于HSR挖掘的相似缺陷识别方法。首先,基于变更日志的分析,从HSR中提取出已知缺陷的模块,建立bug模块库。然后,采用基于抽象语法树(abstract syntax tree, AST)的相似代码检测方法,识别待测试软件与bug模块库中相似的代码,并借助HSR中保存的相应缺陷及修复信息,完成待测试软件中可能包含潜在缺陷的模块的识别。同时,为提高相似代码的识别精度,优化基于AST的代码特征度量。在18个C程序、164对克隆代码上进行实验,结果表明所提方法能够识别出全部相似代码且性能优于已有工具。在人工构建的bug模块库上验证了代码相似性对相似缺陷识别的作用。最后,在8个真实的大型C项目上进行验证,平均缺陷召回率达到94%,表明挖掘HSR可以有效地为跨项目传播的相似代码提供缺陷理解支持。     

线性规划模型的一种表上矩形作业法

线性规划模型的成熟算法是单纯形法.在单纯形法的基础上,提出一种表上矩形作业法.该方法在简化的单纯形表上,首先确定以枢元及需要更新元素为对角构成的矩形,然后通过矩形顶点元素的运算求得更新元素值,以此求出所有的非枢轴元,进而求得枢轴元和枢元,得出新的单纯形表.例子说明方法形象直观,求解过程简捷有效.     

让电子政府“固若金汤”

电子政务作为国家信息化战略重要组成部分,具有先导和示范作用,其信息安全保障事关经济发展、国家安全、社会稳定、公众利益和社会主义精神文明建设。如果电子政务信息安全得不到保障,电子政务的便利与效率便无从保证。     

构建新课程理念V的数学说课评价体系

数学新课程标准的实施逐步提升了说课教研活动的地位,人们也更加关注数学说课评价,为进一步发挥说课评价的导向和激励功能,在新课程理念指导下研究了说课评价的内涵、原则和立足点,构建了适合新课程标准的数学说课评价体系.     

让电子政府“固若金汤”落实电子政务中的信息安全等级保护

电子政务作为国家信息化战略重要组成部分,具有先导和示范作用,其信息安全保障事关经济发展、国家安全、社会稳定、公众利益和社会主义精神文明建设。如果电子政务信息安全得不到保障,电子政务的便利与效率便无从保证。