嵌入式C代码释放后重用缺陷检测

C代码中的释放后重用缺陷严重影响着嵌入式系统的鲁棒性与可靠性.针对此类漏洞的现有检测方案多针对于计算机系统及应用程序,无法为复杂多样的嵌入式程序提供支持.静态代码分析可以在没有代码运行环境的前提下进行代码缺陷检测.因此,基于LLVM编译框架设计了静态污点追踪方案,实现了针对释放后重用缺陷代码特征的自动化检测.实验结果证...     

代码重用技术在财务管理系统开发中的应用

本文结合作者在多个财务管理系统开发中积累的经验,讨论了当前财务管理系统开发中代码重用方法,详细分析了利用VC＋＋进行财务软件开发过程中实现代码重用的技术和方法,通过代码重用,提高了财务软件开发的生产率,降低了财务软件开发难度和成本,缩短了开发周期。同时,可重用技术有利于改善财务软件质量,有利于财务软件的升级与维护。     

代码级软件重用技术的实现

软件重用技术可以大幅度提高软件生产率和软件质量，本文从代码级软件重用技术的模块重用，结构重用和数据重用进行论述。     

基于可执行内存不可读属性的防代码重用技术

为了防止代码重用攻击,经典的方法是通过代码随机化或者重构,使其地址无法被准确定位。然而,通过内存泄露攻击可以实时读取可执行内存,实现利用代码的动态构建。深入分析了内存泄露攻击的本质特征,提出了基于可执行内存不可读属性的防代码重用技术。该技术将可执行内存的属性设置为不可读,在保证程序正常执行的前提下,防止代码被作为数据读取。由于当前Intel x86和ARM处理器不支持内存“可执行但不可读”（XnR）的属性,通过软件模拟实现了XnR的功能。基于Linux平台的测试结果显示,XnR带来的额外开销只有2.2%,具有良好的可行性和实用性。     

OPenGL实用编程技巧两则

对OpenGL及其基本功能做了简要介绍。着重讨论了在Visual C 环境下,如何运用面向对象的思想,对传统的OpenGL编程习惯进行改进,将OpenGL函数和代码进行封装、重载,创建了可重用的OpenGL的图形类,实现了对这部分代码的共享,大大减少了程序的冗余代码,增加了程序的可维护性。还介绍了如何利用OpenGl中的纹理映射和融合调整技术,在某一块景中生成具有真实感的任意形状的光栅图像,所生成的图像运行效果良好。     

MetaHDL:面向自动推断和参数追踪硬件描述域特定语言

针对利用工业标准的硬件描述语言(HDL)进行可配置参数化系统芯片(SoC)设计工作繁琐、代码不易维护的问题.提出域特定语言MetaHDL,用于可配置数字集成电路的可综合功能描述,范围从面向逻辑的底层模块设计到IP集成的SoC设计.MetaHDL利用自动推断和参数追踪技术,针对电路结构功能描述作了专门的语法优化,提高了语言的描述力和表现力,进而提升了代码的可读性和可维护性,并达到65%以上的代码精简;通过封装寄存器传输级(RTL)设计规则,降低了RTL描述的复杂度,提高了团队工作质量和工作效率;由MetaHDL预处理器和参数追踪机制构成的二级代码配置体系,大大简化了面向重用的可配置参数化模块的设计和IP集成过程.MetaHDL被应用在"统一威胁管理"芯片设计项目中,很好地应对了复杂重用环境下代码配置的设计挑战,提高了项目开发的效率和质量.     

基于算法组合模型的军标符号的设计与实现

针对目前军标符号系统扩展难、代码重用性低的问题,提出采用基于算法的图元组合方案对军标符号进行描述,以XML文本方式构建图元算法特征库并以此为基础实现了静、动态军标符号的绘制。该方法在提高符号库的开放性、可扩展性及代码重用性上具有优势。     

支持多程序语言的静态信息提取方法

为了满足代码分析对多语言静态信息提取的需求,克服当前构建单语言提取重用率低、过程复杂等不足,采用直接修改GCC特定解析阶段源代码的方法建立统一的提取接口.针对所需静态信息的不同,按CCC内部机制,提出了运行改入点与内部辅助函数重用相结合的提取方法,具体包括类型和函数声明信息的采集、函数体内程序语句的遍历以及多语言统一中...     

C＋＋中的面向对象技术

主要论述了面向对象技术,以及它的对象、类、继承性、封装性以及类库;并以实例论述了C＋＋中的面向对象技术,证明较传统的面向过程的程序设计具有很多优点,如代码的重用性、健壮性、可维护性。     

元数据驱动的可重用通信软件的设计

软件重用在降低软件开发成本、提高软件生产率以及提高软件可靠性方面有着巨大的潜力．在大多数程序设计语言中,严格的类型匹配是设计重用软件的最大障碍,重用应建立在抽象的数据类型之上．基于这一思想,文中介绍了元数据的概念和元数据的抽象方法,给出了基于元数据技术设计和实现的ＴＣＰ／ＩＰ通信软件程序．     

数学优化方法在新安江模型参数率定中的应用分析

以3种数学优化方法及新安江(三水源)模型的理论为依据,介绍了优化方法在新安江三水源模型参数率定中的应用.将率定成果与API模型进行了对比,说明这3种优化方法在大宁河流域参数率定中应用效果良好,具有很好的参考和推广价值.     

齿轮—五杆机构的轨迹特性研究

采用计算机机构动画仿真的方法，对齿轮五杆机构的轨迹特性进行了研究。分析了该机构双曲柄存在的条件，两连杆铰接点Ｃ的轨迹曲线可到达的区域及该轨迹曲线形状随机构结构参数的不同而变化的规律，从而为齿轮五杆机构的轨迹综合提供了重要依据。     

唐代服饰中袖式的研究

研究服饰中的袖式在唐代服饰中的发展变化,分析其社会功能及文化内涵．研究表明,（1）中国是一个“衣冠大国”“礼仪之邦”,她具有自己民族服饰特色,并将其自身的魅力影响着其他国家服饰,这在世界上也是少有的．（2）袖式的变化不仅反映了服饰的变革,更体现了社会的变革,特别是传统礼教、民族意识与民族关系以及文化的变革．（3）唐代袖式的变化和丰富除了它本身的功能性的发展以外,它与领型的搭配也使装饰功能达到了极至,服装所体现出的层次美、线性美、动感美都通过袖式的变化淋漓尽致地表现出来．     

高等学校固定资产计提折旧问题探讨

中国现行会计制度规定,高等学校的固定资产不计提折旧。随着经济的发展和高等教育的改革,高等学校的经济成分越来越复杂,固定资产管理和核算中暴露出来的问题越来越突出。针对现行高校固定资产计价模式存在的问题,提出了对高校固定资产计提折旧的设想,研究了高校固定资产折旧的范围、折旧年限、折旧方法及会计处理办法。     

物联网演进路线的探究

分析研究物联网的起源及发展路线,并从人和物二个角度探讨网络的技术特征,给出物联网的演进模型。分析结果显示,虚拟世界与物理世界对信息通信的探索将会融合,物联网发展的终极目标是网络的泛在化。据此结论,从公共物联网和系统应用角度对我国物联网的发展与研究提出两点建议。     

电导法测定聚氯乙烯的脱氯化氢速率

电导法测定聚氯乙烯的脱氯化氮速率,具有测试精度高、再现性好、检测公差低(10~(-6))、试样用量少等特点,并可连续测定聚氯乙烯的脱氯化氢速率,是研究聚氯乙烯早期热降解行为的有效方法。本文对该方法的实验原理、误差来源以及在研究聚氯乙烯降解过程中的应用进行了详细论述。     

服装松量的成因分析

从人体形态结构、运动机能及皮肤伸缩方面入手,分析研究了影响服装松量的主要成因,为合理地设计服装的松量提供了有效的方法和理论依据,以使服装的功能性和美观性达到有机结合,松量的研究对服装产品的设计及生产具有实际的意义.     

高校辅导员队伍建设的探索与实践

在长期的辅导员队伍建设过程中,“非职业化”、“非专业化”的普遍现象从根本上制约了辅导员队伍的建设。必须合理设定辅导员岗位角色,将学生事务管理与学生思想政治教育适度分离并相互促进,加快辅导员队伍建设的专业化、职业化和专家化进程。     

一类非线性椭圆方程组解的存在性

将一类非线性椭圆方程组的求解问题化归为一给定泛函的临界点问题．利用变分法、经典的极值理论和山路引理证明了给定泛函在各种不同条件下临界点及非平凡临界点的存在性，从而得到了这类非线性椭圆方程组的解及非平凡解．     

装备采购信息发布的问题及对策

完善装备采购信息发布工作,对安全、平等、高效地传递装备采购信息,打破军工行业垄断,加快装备竞争性采购进程具有十分重要的意义。揭示了装备采购信息发布工作存在的问题及成因,分析了完善装备采购信息发布工作的必要性,提出了完善装备采购信息发布工作的4点对策。