基于非线性模糊矩阵的代码混淆有效性评估模型

为了解决目前代码混淆评估方法对代码混淆效果区分度不高的问题,文中提出一种基于非线性模糊矩阵的代码混淆有效性评估模型MNLFM(Code Obfuscation Effective Assessment Model Based on Nonlinear Fuzzy Matrices),并证明了MNLFM具有评估合理性、单调递增性、连续性和突出性等特性。MNLFM可以明显改善当前代码混淆评估领域在混淆效果方面可区分性差的现状。通过量化评估指标、确定隶属函数和构造非线性模糊矩阵等方法进行建模。建立一个Java程序测试用例集,基于压扁控制流和多种不透明谓词代码混淆技术对此模型进行混淆有效性检验,并将其与其他代码混淆评估模型进行比较。实验结果验证了MNLFM可以比较混淆后代码之间的综合复杂度,并明确区分不同混淆算法对原代码的混淆程度。

模型及代码自动生成技术在车身控制器中的应用

车身控制器控制逻辑并不复杂,但不同的汽车厂,即便是同一厂家,不同的汽车平台要求也很不一样。这样做不仅开发时间长,工程成本高,而且每次更改也带来了引入编程错误的风险。经过对车身控制器产品特点的分析,把模型及自动代码生成技术应用到该产品软件开发上。结果证明既节约了开发成本,又开辟了提高产品质量和产品交货时间的新途径。

基于代码嵌入的二进制代码相似性分析方法

代码嵌入利用神经网络模型将二进制函数的代码表示转化为向量,在漏洞搜索等应用中展现了优势。现有的方法将函数表示为汇编指令序列、控制流图的拓扑结构或若干路径,都没有克服不同编译环境导致控制流图结构变化的干扰。为此,设计了基于基本块树(Basic Block Tree, BBT)的代码表示以及构建了对应的代码嵌入模型BBTree。首先,二进制函数被表示为一系列BBT,每个BBT被处理为指令序列;其次,BBTree利用LSTM和Bi-GRU将基于BBT的代码表示转化为向量;最后,通过计算向量间的距离去高效衡量对应函数的相似性。在代码搜索中,BBTree的平均准确率比主流工具提升了24.8%;在漏洞搜索中,BBTree的平均召回率比主流工具提升了26.1%。

基于模型设计方法的混合磁悬浮平台的控制设计及实现

基于模型的设计方法,利用Matlab/Simulink对磁悬浮系统进行浮点数字PID控制仿真,并结合定点控制器DSP2812,实现系统控制的快速构建,达到系统模型及控制设计、系统仿真和硬件实现的无缝集成,从而加速控制系统的快速开发.首先,在Matlab/Simulink环境中建立系统控制模型,并利用其自带的定点工具箱对数字控制器进行定点化处理,建立可以移植的带有数字平均滤波的Simulink代码模型.再通过RTDX功能进行算法的调试与验证,并进行代码模型的优化.最终自动生成可靠的C代码到控制器来实现对混合磁悬浮平台的控制,实现在模型仿真和系统实施的集成和统一.并由实物进行了验证.

基于RTW的2H桥逆变器SPWM目标代码自动生成

提出一种基于实时代码生成工具(RTW)的TMS320F2812型定点DSP控制系统,给出了基于Matlab/RTW的系统设计方法和开发流程。结合该集成一体化控制平台,提出了一种基于嵌入式目标代码自动生成的2H桥级联逆变器SPWM产生方法,利用Matlab/Simulink工具建立了算法模型。仿真验证算法后,给出了以TMS320F2812型定点DSP为目标的SPWM控制模型,并自动生成代码,编译、下载到目标DSP中运行,产生的波形与理论吻合。这种基于模型的设计流程,实现了工程开发过程中从算法设计到最终实现的所有阶段,提高了产品开发效率,降低了成本。

基于模型设计的自平衡车样机研发

针对提高两轮自平衡车开发效率以及降低开发成本,采用基于模型设计的方法开发两轮自平衡车样机。首先建立了两轮自平衡车的本体模型和控制器模型,并通过仿真分析验证了控制算法的有效性,接着搭建了两轮自平衡车代码模型和硬件平台,进行自动代码生成与实验验证。实车实验结果表明两轮自平衡车能够实现自平衡功能,验证了基于模型设计方法的可行性。

一种数据库代码自动生成器的设计

介绍了一种数据库代码自动生成器的设计和实现方法,该方法可以自动为SQL Serv-er数据库中的数据表生成用C#或VB.NET语言编写的读写模型控制类代码,也可以将Word中描述的文字型数据字典自动生成SQL Server数据库脚本语言,完成数据库的物理设计。经过验证,这种代码自动生成器的准确率达到95%以上,大大减轻程序员的编程工作量。

基于Java平台实现安全行为模型验证

非信任代码的安全执行是移动代码安全的重要问题之一。携带模型代码方法同时从移动代码的生产者和使用者的角度考虑,为安全执行非信任代码提供了一个系统、全面且有效的解决方案。该方法主要包括安全策略的定义、安全行为模型的生成,以及其验证和安全策略的强制实施。针对已被广泛使用的Java平台,在深入分析其基于访问控制的安全体系结构的基础上,通过对Java核心类的修改和扩展,提出了一种能增加新的安全策略,以及实现MCC方法中安全行为模型验证的方法,为提高Java安全策略的描述能力,以及基于Java平台实现MCC方法,确保更全面的安全机制提供了可行的途径。

代码自然性及其应用研究进展

代码自然性(code naturalness)研究是自然语言处理领域和软件工程领域共同的研究热点之一,旨在通过构建基于自然语言处理技术的代码自然性模型,以解决各种软件工程任务.近年来,随着开源软件社区中源代码和数据规模的不断扩大,越来越多的研究人员注重钻研源代码中蕴藏的信息,并且取得了一系列研究成果.但与此同时,代码自然性研究在代码语料库构建、模型构建和任务应用等环节面临许多挑战.鉴于此,从代码自然性技术的代码语料库构建、模型构建和任务应用等方面对近年来代码自然性研究及应用进展进行梳理和总结.主要内容包括:(1)介绍了代码自然性的基本概念及其研究概况;(2)归纳目前代码自然性研究的语料库,并对代码自然性模型建模方法进行分类与总结;(3)总结代码自然性模型的实验验证方法和模型评价指标;(4)总结并归类了目前代码自然性的应用现状;(5)归纳代码自然性技术的关键问题;(6)展望代码自然性技术的未来发展.

基于模型驱动架构的电力信息系统快速开发方法

针对电力行业信息系统建设和整合集成中存在的功能模块重复开发、系统维护代价较高的现状,文章提出一种基于模型驱动架构的电力信息系统快速开发方法,首先通过分析典型电力信息系统的共性功能抽象出电力信息系统元模型,然后以UML活动图的形式搭建系统业务流程,并通过模型-代码转换引擎将业务流程图实例化为特定平台上的业务代码,最后在电力信息系统综合业务平台中即可动态加载并运行该业务。建模实例表明,文章方法在减少重复开发工作量、降低系统维护成本方面有较好的适用性。

700L系列汽车用高强钢常见问题及模型优化

分析了河钢集团邯钢公司邯宝热轧厂700L大梁钢生产中遇到的问题,通过采取优化加热制度、微中浪轧制、层冷水精准调控、优化数模二级代码等措施,6 mm以下薄规格钢带不平度降低至6.5 mm以下,6 mm以上厚规格钢带纵切侧弯量由45 mm减少到10 mm以内,由于改判、规格变化和模型参数骤变导致的废次降量降低了80%,700L产品合格率提高到97%。

基于模型的矢量喷管控制系统设计

为实现矢量喷管控制系统正向研发"V"字模型,使用基于模型的设计方法开展矢量喷管控制系统的设计和验证。建立了包含矢量喷管液压机械单元、矢量喷管控制器及矢量偏转运动的矢量喷管控制系统模型,与发动机模型、飞机模型集成用于矢量喷管控制系统的系统综合设计。使用模型自动测试技术开展数字仿真试验,利用自动代码生成技术和实时仿真技术实现控制软件快速开发和系统半物理试验,试验结果表明了矢量喷管控制系统设计的正确性、高效性。

基于开源JVM的安全策略强制实施

非信任代码的安全执行是移动代码安全的重要问题之一.携带模型代码(Model Carrying Code)方法同时考虑了移动代码生产者和使用者对安全性的支持和需求,建立了以模型为中心的安全执行非信任代码的理论框架,其中安全策略的定义和强制实施是MCC方法的重要组成部分之一.本文针对已被广泛使用的Java移动代码,以开源JVM Kaffe和Linux操作系统为研究载体,提出了基于开源JVM的安全策略实施模型,并实现从安全策略定义到实施的整个过程.本文在安全策略规范描述,可强制实施的扩展有限自动机(EFSA)模型和进程级监视以捕获系统调用等方面都做了有益的尝试,为完善MCC方法和实现安全策略的强制实施提供很好的方案.

.NET与XDE融合的构件化信息系统

目前信息系统在各个领域已得到广泛运用,随着应用环境及用户需求的不断变化,也相应的要求开发的产品具备高力度的可移植、可扩展功能。针对传统信息系统开发方式的弊端,主要提出.NET平台的分层领域构件开发框架,在Rational XDE与.NET平台融合环境下,利用其同步开发功能,对系统构件进行建模、提取、封装设计。并以某高职院校学生管理系统为开发实例,阐述了部分模块及构件的主要设计步骤,最后分析了其优点,实例证明了在这种开发方式下系统具备可移植、可灵活扩展的功能。

空间碎片撞击概率分析软件开发、校验与应用

航天器空间碎片撞击概率分析软件是我国独立设计开发的"空间碎片防护设计软件包"的重要组成部分。本文简要介绍了撞击概率分析软件的主要功能模块的组成,以及对该软件的正确性进行的国际标准工况校验,并给出工程应用算例。

空间碎片防护设计软件包功能模块的设计开发

首先根据空间碎片防护设计软件包总体框架设计开发了软件包主程序模块,并详细介绍了主程序模块的执行控制和管理功能;然后重点阐述了软件包主要功能模块的应用功能及其框架结构、程序流程和数据接口的设计、开发与调试;最后对程序模块进行了功能级和系统级校验。

面向国产机载操作系统的IMA软件代码生成方法

随着航空电子系统复杂化的发展趋势及自主可控的要求,对这类复杂系统建模后如何自动生成面向国产机载操作系统的软件代码并验证模型/代码语义一致性具有重要研究意义。文章提出面向国产机载操作系统的航空电子软件代码自动生成方法。首先,使用AADL对综合化航空电子系统进行建模,设计AADL模型到源代码的转换规则,自动生成面向国产机载操作系统的平台相关代码及配置文件;其次,通过AGREE Annex和BLESS Annex契约对AADL模型进行形式化验证,并提出契约到C语言验证代码的转换规则,将验证代码与模型生成的源代码进行结合,部署在国产机载操作系统上进行仿真执行;最后,基于AADL开源建模环境OSATE设计并实现了代码自动生成工具,实验结果验证了方法和工具的有效性。

面向领域驱动设计的逆向建模支持方法

领域驱动设计作为一种应对领域复杂性的软件开发方法,近年来得到了广泛应用.作为其中的关键步骤,领域建模仍然面临着领域模型与程序设计之间松散的逻辑关系带来的种种问题.为了应对此问题,基于模型驱动的逆向工程,提出了一种面向领域驱动设计的代码到模型的转换方法,以更好地支持领域建模,并实现了自动化工具原型.该方法能够实时抽象出程序设计对应的领域模型,一方面有助于通过对比程序设计与领域模型的分歧来避免设计偏离模型,另一方面减少了知识消化过程中对代码实现细节的依赖,从而促进了程序设计对建模过程的反馈.案例研究部分将该方法应用于实际软件项目,结果充分表明了其有效性.

轻量级服务契约自动生成工具的设计与实现

基于契约先行的开发方式,设计并实现一种轻量级的服务契约自动生成工具。该工具可以充分降低基于WSDL服务契约开发的难度,得到内容详尽且符合标准的服务契约。解决契约先行开发方式中无法单独进行服务契约设计的问题,为整个SOA的进一步开发奠定了良好的基础。

基于OpenGL车削仿真系统的开发与研究

针对数控车削试切,检测NC代码引起的低效高耗的问题,分析数控车削特点,以Visual Studio 2015为平台,采用OpenGL开放图形库为工具,研究开发了数控车削仿真系统。将系统按功能分块,着重阐述了各模块实现的原理及方法,提出以矩阵的转换的方法实现图形的显示;分析NC栈代码的特点;规定刀具的运动轨迹;为加强系统的适用性以及扩宽性,实现了stl模型的显示,根据栈的原理达到刀具与工件的独立运动的效果;通过离散法解决毛坯形状的实时变化,以实现车削加工的仿真效果。该系统具有良好的实用性、三维图形显示能力以及良好的扩宽性。