变量定义未使用故障的一种静态测试方法

变量定义未使用故障是C/C++程序中的可见故障,该类故障可导致计算结果错误或系统崩溃。针对C/C++语言中变量定义未使用错误类型进行了分析,并从面向具体故障的测试思想出发,给出软件测试系统设计,建立了C/C++语言中变量定义未使用的故障模型,结合静态测试特点,给出了一种静态查找此类故障的方法。该方法已用于面向故障的软件测试系统中。

基于变量使用的静态测试方法研究

基于对程序源代码的静态分析方法,针对C/C++程序中的变量定义未使用故障和变量未初始化故障,提出了一种自动测试方法。以变量定义未使用故障和变量未初始化故障的表现形式为基础,从面向具体故障的测试思想出发,并以此为基础,综合应用了抽象语法树和控制流图,提出了一种静态查找这些故障的方法。测试结果表明,该方法能够有效检测变量使用的故障,提高了测试结果的精度。

一种基于故障模型的代码静态测试方法研究

软件测试是排除软件故障,提高软件质量和可靠性的重要手段。基于故障模型的软件测试是软件编码阶段的主流测试方法之一。基于故障模型的代码静态测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点。鉴于此,本文采取一种特殊的静态分析技术来实现对代码的测试。首先讨论传统软件测试方法的缺点和局限性,给出基于故障模型的静态测试方法的优越性;然后在分析过程中,综合应用抽象语法树和控制流图,提出一种基于故障模型的软件测试方法。依据该算法开发自动化测试工具,给出实验结果和对比分析,并指出下一步的研究方向。

新型无陀螺捷联惯导系统导航方案设计及建模

针对传统无陀螺捷联惯导系统角速度求解复杂,解算效率低,惯性元件安装精度要求高等问题,提出一种新型的无陀螺捷联惯导导航方案,将8-UPS型并联式六维加速度传感器作为其惯性元件,直接测量出运载体的六维绝对加速度。基于矢量力学理论,推导了其惯导基本方程;通过数值积分运算来提取载体的线运动参量;运用空间几何理论建立姿态方程,实时更新捷联矩阵以获取载体的角运动参量,从而完成了导航建模与解算。仿真结果表明该系统能满足航行体中精度实时导航的要求,是有效可行的。与同类导航相比,该系统具有结构紧凑、解算效率高、物理模型误差敏感性低等优势。

六维加速度传感器的两类解耦算法及其对比研究

针对目前六维加速度传感器在研制过程中遇到的瓶颈,分别在位形空间内运用牛顿-欧拉方程以及在相空间内运用哈密顿正则方程推导出两类关于加速度6个分量的完全解耦算法。与传统算法相比,这两类算法均具有不依赖外部设备、不限制载体运动规律的优点。通过定性和定量对比两类算法数值求解精度、效率和稳定性,揭示了解耦机理,同时得到了六维加速度传感器解耦算法的五点选取原则。将实物样机安装在标准激振器上进行了实验测试,实验结果与理论分析相一致。

基于干扰观测器的坦克伺服系统滑模变结构控制

针对坦克伺服系统中存在的外部干扰、内部参数的不确定性问题,提出干扰观测器作为内环和滑模变结构控制作为外环的双环控制方案。在二自由度意义下分析干扰观测器系统的鲁棒性和性能,通过合理设计低通滤波器,干扰观测器可补偿大的干扰和不确定性,同时还可减少滑模变结构控制的抖振现象。滑模变结构控制器可用来消除干扰观测误差,并满足系统跟踪性能的要求。所设计的方法用于坦克伺服系统进行仿真研究。结果表明该方法能较好地满足跟踪精度的要求,同时系统具有较强的适应性和鲁棒性。

充分利用课堂引导学生上网

随着计算机特别是网络技术应用的日益广泛和深入，网络已经走人人们的生活，在一定程度上影响着人们的生活方式和习惯。作为一名高中信息技术课任课老师，如何教育学生合理利用网络，让它真正在我们的学习生活中起到更大的作用呢？本文做了一些思考，拿来与同事、家长及学生共同探讨。

谈信息技术学科教师应该怎样教学

计算机作为信息时代的主要载体，在素质教育中占据了极其重要的地位。如何挖掘学生潜能，提高学生素质，尤其是其利用计算机解决实际问题的能力，显然和计算机教师有着直接的、密切的关系。因此，信息与技术学科教师的教学艺术，应具体体现在如下几个方面：

中国低碳发展目标及协同效益研究综述

发展绿色低碳经济已经成为我国重要战略选择。更为严格的低碳发展目标在一定时期内会带来更大的社会福利影响,但低排放路径所能带来的协同效益可以抵消部分损失,加速或者以更小的成本实现中国的低碳发展目标。本文梳理了我国在总体CO2排放、能源结构、工业、农业、交通、建筑、碳汇等领域提出的2020年具体发展目标以及国家自主贡献目标,对近年来我国低碳发展的协同效益研究领域进行了回顾,主要针对协同减排污染物、健康效益、经济效益等进行分类文献梳理分析。研究发现:①学者普遍认同实施温室气体减排措施不仅能实现显著减少大气污染物和减少水耗等环境效益,同时可以带来可观的健康效益和经济效益。②现有协同效益研究已取得较大进展,未来仍需要加强区域或城市级别研究、诸多因素综合考虑的系统研究和协同效益多样化分析,改进健康损失价值、寿命损失价值、单位污染物减排量系数等关键参数估值方法和数值研究等。不同行业和地区低碳发展能够取得可观的协同效益依赖于保护生态环境、生态文明建设与应对气候变化的统筹安排、协调推进,需要建立健全强有力的法律、法规和政策保障体系和实施运行机制,严格法规标准的落实执行,更加强调通过节能和能源结构调整来实现源头减排,依靠创新驱动发展战略实现低碳发展的新型工业化和城镇化。

国家科技计划项目经费管理改革对人才激励的影响分析

科技人才是推进创新型国家建设的关键,构建合理的激励机制对提高该群体创新积极性具有重要意义。本文面向全国31个省、市、自治区的近千名科研人员,采用问卷调查与访谈相结合的方法,分析和评估国家科技计划项目经费管理改革以来的系列政策对科技人才激励的影响。结果表明,相关政策总体上对创新活力激发作用较为显著,科研项目绩效和鼓励创新创业政策的激励效果尤为突出,科研事业单位落实情况对政策实施效果具有调节作用。因此,构建差异化长效激励机制,健全事业单位法人责任制,将有利于进一步提升科技人才激励政策的实施效果。

公交车管理中的政府责任分析

文章主要针对公交车管理中的政府责任进行分析,结合当下公交车管理发展现状,从公交车管理存在的不足、公交车管理中政府的措施方面进行深入研究与探索,主要目的在于更好的推动公交车管理工作的发展与进步。

走好税务部门服务大局的五“行”之路

国家税务总局孝感市税务局积极探索和坚持五“行”之路,在学懂弄通做实上见行动、出实效,推动党的二十大精神在基层税务系统落地生根。践行习近平新时代中国特色社会主义思想“笃信笃行”。一是坚持“常学”制度,用心组织党委会第一议题、理论学习中心组第一专题等。二是强化“常讲”机制,深入开展党的二十大精神宣讲等活动。三是建好“长宣”阵地,着力打造党团活动室、廉政墙、法治长廊。通过深学践悟,不断提升广大税务干部政治判断力、政治领悟力、政治执行力。

以色列创新人才培育情况研究

以色列建立了完善的国家创新体系,高度重视创新人才培育。以色列以科技兴国为重要国策,其科技创新投入长期领跑世界其他国家,科技创新产出成就斐然。以知识为价值核心的创新支持政策、鼓励创新的奖励政策、吸引海外人才的"创新签证"计划,构成了创新的重要战略规划与政策体系。以色列拥有完善的学校教育体制、社会培训体制和国家培育体制,为建立人才培育教育体制奠定了良好基础。

加快“互联网+税收电子档案”建设初探

本文分析了税收征管电子档案的现状和问题,提出了加快推进"互联网+税收电子档案"建设的建议,并就其建设路径进行了探讨。

这里，是故乡

“关队长，清你留下来!”2016年7月，省网税局驻鄂州市刘斌村第一书记关庆军即将期满离任，30多化村民签亨按红手印联名挽留。

制造业碳排放研究的文献计量分析

随着全球对于气候变化以及碳减排问题的关注,越来越多的学者对碳排放主要产业之一制造业展开深入探究。利用文献计量方法,对制造业碳排放这一主题进行文献检索,对其发文量随时间趋势特征、国家/地区发文特征、发文机构、发文期刊、研究领域等进行了统计分析,并针对探究出的关键词分析其在时间和国家尺度的热点与趋势。通过研究发现,制造业碳排放领域在21世纪之后开始受到学者的广泛关注。虽然中国发文量较高且高发文的机构数量较多,但是国际影响力却较发达国家有差距。进一步对制造业碳排放领域热点趋势进行分析,把握制造业碳排放发展,以期对政策制定者提供参考。

党建引领税收高质量发展——访国家税务总局湖北省税务局联合党委书记、副局长胡立升

加强党对税收工作的全面领导,是新时代税收事业高质量发展的根本保证。如何充分发挥党建在税收改革发展中的引领、推动和保障作用？在刚刚完成省级国、地税合并工作的关键时点,我们采访了国家税务总局湖北省税务局联合党委书记、副局长胡立升。树立抓好党建是最大政绩的鲜明导向.

从“小”做起 激发基层干部活力

湖北省武穴市国家税务局启动“关注小人物，解决小问题，重视小点子，树立小典型，创优小环境”活动，激发干部干事创业活力，形成了基层干部身在国税、心系国税、干在国税、乐在国税的良好氛围。

典型创新国家人才创新能力评价及比较研究

对一个国家的人才创新能力进行评价研究有助于提高国家的创新实力和发展活力。参照《全球创新指数》《欧洲创新记分牌》和中国的《国家创新指数报告》《国家创新能力评价报告》等内容所构建的国家人才创新能力评价指标体系,包括3个一级指标(人才创新实力、人才创新环境和人才创新绩效),7个二级指标和36个三级指标。针对全球16个典型创新国家和中国的比较分析发现,瑞士、瑞典和美国是人才创新能力最靠前的三个国家。中国的综合得分不到位于最前列的瑞士得分的1/2,人才创新实力还有很大的进步空间;但中国的创新绩效显著,其成果产出、成果转化均名列前十。

交通信息及其高速公路机电工程分析

高速公路的信息收集及信息系统的建设应该随着现代信息时代的发展而发展,让高速公路系统建设成为时代的名片,促进经济的发展和社会的进步。基于交通信息的需求和高速公路的发展情况,阐述了高速公路信息系统的建设原则,并且为高速公路机电工程的建设进行了初步的设计。