基于分离逻辑的程序分析技术

分离逻辑是John C Reynolds和Peter O’Hearn于2000年提出的基于Hoare逻辑分析程序中动态分配内存和指针别名的逻辑理论。首先回顾了分离逻辑系统的理论框架,然后讨论了分离逻辑在程序分析领域中符号执行、形态分析和并发程序分析验证这些领域中的应用成果,最后介绍了分离逻辑在程序分析技术中当前主要的研究方向。     

关于综合大学背景下加强师范教育实习基地建设的思考

教育实习基地建设工作质量直接影响着教育实习工作的质量。文章就综合大学背景下如何加强师范教育实习基地建设的问题,主要从教育实习基地建设的基本原则、有效途径、关键点等方面进行了思考。     

国外机、舰载一次性使用干扰系统发展现状

一次性使用干扰装置主要包括无源干扰物、红外诱饵和射频/红外复合诱饵等等,可机载、舰载和陆基使用。一次性使用干扰系统作为电子战的重要组成部分,在第二次世界大战和历次现代战争中都发挥了巨大作用。经过几十年的发展,今天已达到相当高的水平。本文研究了国外机、舰载一次性使用干扰系统的现状及发展趋势。     

定向越野路线设计原则与实践

近年来,定向越野因其强参与性、强挑战性在国内发展迅速,相比之下高水平的制图员和运动员的成长却十分缓慢。想要国内定向人才尽快成长,每一次的训练、每一次比赛的路线设计就显得十分重要。好的路线设计充分展现定向运动的特征,让所有参与人员受益匪浅。鉴于国内对路线设计理论的研究还不充分、不系统,本文就路线设计的原则与技巧进行了系统的探讨,旨在丰富路线设计的理论知识体系。     

公平理论在军人工资制度改革中的应用

我国现行军人工资制度存在着社会参照系缺乏时效性、增资机制不完善和对军人机会成本补偿不充分的问题,文章就此运用公平理论探讨了我军军人工资制度的改革。     

授业、解惑、传道——古代文学史教学的三重境界

在高校古代文学史教学中教学效果和学生的学习效率因教师水平的不同存在较大差距,根据研究,发现可以将教学效果归结于教师的教学境界,借用韩愈《师说》中“师者,传道授业解惑也”的说法,教师的教学境界存在授业、解惑、传道三个层次,三个层次逐次递进,对教师的要求也是逐步提高。     

苏轼书信研究

苏轼书信的内容给世人展现的是苏轼生活与内心丰满亲切的一面。对苏轼书信的研究能更充分了解苏轼,感动于他的人格魅力和生存智慧。本文仅就苏轼与同僚、亲朋、师徒之间的书信为梳理对象,试图对苏轼做一合理的诠释与理解。     

军队采购中寻租行为的防范

军队采购制度作为一项公共采购管理制度 ,是我军后勤改革中的一项重要内容 ,经过几年的实践取得了明显的经济效益和社会效益 ,但它毕竟属于新生事物 ,在实施过程中是否会产生新的寻租行为以及如何防范这种行为 ?本文试从寻租理论出发 ,就军队采购中有可能产生的一些寻租行为作一些尝试性的探讨     

小议提高师范生网络德育的实效性

近几年,网络已成为大学生生活中不可或缺的组成部分。如何全面加强校园网的建设,使网络德育的实效性得以保证,是新时期必须解决的重大德育课题。对此笔者谈几点自己的看法。20世纪90年代后期,伴随着网络技术的加速发展,“后信息时代”即“网络时代”已成为现实。面对网络巨大的