基于AutoCAD的线切割自动编程接口软件设计

在分析DXF文件格式、3B指令代码的基础上,提出了基于AutoCAD的线切割自动编程流程,并重点讨论了自动编程过程中的基本加工路线生成、间隙补偿、计数长度计算等关键技术。     

管理信息系统中的总体设计

管理信息系统的总体设计,是系统开发过程中重要的阶段,本文主要论述了总体设计的思想和方法,较为详细的介绍了数据流程图、代码、共享数据库及网络支持下的目录结构和权限的设计方法。     

一种嵌入式软件安全漏洞的代码加固方法

软件定义的概念和技术的发展和应用,装备嵌入式系统的功能主要由软件定义完成,导致装备嵌入式软件规模性和复杂性都在急剧增加,软件安全问题已经成为嵌入式系统乃至装备产品研制和运行维护的核心关注点.借助主流软件代码安全性检测技术,对装备嵌入式软件的漏洞行为和结构分析,建立装备嵌入式软件漏洞特征和系统不安全行为属性规约,通过对软件属性规约的逻辑演算,形成软件安全性加固需求,提出基于安全规约属性模板的漏洞加固代码生成技术,对软件代码中潜在的安全漏洞进行修复和加固,实现装备嵌入式软件强制安全保障.     

数据库应用系统中关键代码属性的设置原则

数据库应用系统中的绝大多数关键属性均以代码形式出现,其设置的规范性和设置的方法对系统的性能有很大影响。对代码属性、主文件及代码文件进行了详细的分类,对不同类型的代码给出了通用的设置原则和各自的设计规范。针对经常出现的分级代码,给出了两类设置原则。实践表明,这些原则可有效保证代码关键属性的正确设置。     

数控加工G代码程序的仿真检查

提出了一种新的检查方法 ,可以实现对G代码程序的计算机仿真检查 ,在屏幕上显示刀具轨迹 ,并将错误信息记录在文件中     

一种基于C语言的虚拟仪器系统实现方法

介绍最新技术-虚拟仪器及其开发环境LabVIEW的特点的基础上,分析了LabVIEW调用外部程序代码的途径,并着重实现了将LabVIEW与C语言接口的高级技术-CIN。实践证明,该方法高效、易行,是增强LabVIEW整体性能的一条很好的途径。     

旋转开槽圆筒式阵风发生器流场特性数值模拟

在OpenFOAM开源代码框架下开发求解器,对旋转开槽圆筒式阵风发生器的动态等效升力系数进行数值模拟,与试验结果吻合较好,验证了求解器的正确性。在此基础上,对该型阵风发生器的下游流场扰动风速进行了数值模拟和流场分析,分析了开槽圆筒旋转方向、下游流场位置、减缩频率等因素对下游流场扰动阵风的影响规律。结果表明,开槽圆筒的旋转方向对中心线上下两侧流场产生不同影响,对中心线附近的流场干扰较大。阵风幅值的变化与减缩频率有关,当减缩频率值在0.2～0.25之间时,产生阵风的正弦特性最佳。该数值模拟的结果对阵风发生器试验装置的设计具有一定的指导意义。     

采用基于模型的设计应对高复杂度挑战

洛克希德·马丁公司的F-22战斗机的嵌入式系统软件代码有200万行，波音787飞机有700万行代码，即便一辆普通的汽车也拥有千万行代码。随着系统复杂度的增加，代码量也不断增长，基于模型的设计（MBD）必将成为工程师的选择。     

适航认证中的目标码覆盖率分析工具VerOCode

监控和测试程序(测试控制和被测单元)在PPC目标机上执行,覆盖率在机器码级获得。由于目标系统提供printk函数,可在串口打印数据输出,通过超级终端或其他串口监控程序获得数据结果。一个测试运行以后,收集的覆盖率数据通过串口上传到宿主机来分析。