Java源代码字节码剽窃检测方法及支持系统

提出一种Java源代码和字节码都适用的剽窃检测方法并实现了支持系统,该方法以类的Java文件或class文件为比较单元,从中抽取代表程序语法和语义特征的5种特征向量,综合计算产生两个类文件之间的相似度,可用于帮助判断两个类文件之间是否存在全部或部分剽窃现象.在人工修改程序的场景下进行的对比实验结果和剽窃检测实验结果表明,该方法可有效检测程序代码的严格拷贝和近似拷贝,有较高的检测性能,并且能够识别程序剽窃行为中对Java源文件所做的大部分类型的代码变换.     

基于量化分析的软件测试过程的控制技术

论述了软件测试的基本过程以及涉及的文档、角色和活动.在此基础上重点讨论了如何通过在测试过程中提取的有效数据来对整个测试过程进行监督、控制和管理的技术,如对测试进度变化、软件问题分布、人力资源情况、软件问题处理时间以及软件问题重现等情况进行分析的技术.为保证被测系统的质量、提高效率、降低成本和改善测试过程提供支持和帮助.      

基于模型检验的飞机系统安全性分析方法研究

传统的安全性分析方法,受到分析人员自身技能和经验等因素的影响,容易疏漏系统的失效状态或误判失效的影响。模型检验利用遍历算法,既可以从数学上保证搜索出系统的所有状态,不会发生疏漏;又可以利用计算机检验工具,实现自动分析过程,减少对分析人员技能和经验的依赖。将模型检验引入飞机系统安全性领域,提出了一种基于模型检验的安全性分析方法,以SAE ARP 4761标准附录中的机轮刹车系统为例,利用模型检验工具NuSMV对其安全性进行了分析,自动识别出导致某系统顶事件发生的最小失效组合,完成了传统故障树分析的目的。     

壳体动响应阻尼系数的ALE数值反演研究

圆柱壳体作为航空航天工程中的主要结构构形,对其在空气中运动的阻尼特性进行研究具有重要意义。首先运用有限元软件LS-DYNA的任意拉格朗日欧拉算法（ArbitraryLagrangian-Eulerian,简称ALE）模块对不同几何尺寸的圆柱壳体在空气中的运动历程进行动响应计算分析,并通过不同尺度大小空气域对数值计算的准确性进行验证;然后采用粘性阻尼模型模拟空气作用,用Isight优化软件进行最佳逼近,反演出与空气对圆柱壳体作用等效的质量阻尼系数和刚度阻尼系数,并应用于加筋模型和缩小尺寸模型进行验算。结果表明：用反演系数计算的结果和ALE结果吻合良好,质量和刚度的改变对阻尼系数没有明显影响。     

社群化工厂的内涵、体系架构与运行逻辑探讨

在当前社群化制造背景下,结合信息物理系统CPS与社交网络技术,提出一种信息-物理-社交互联的、面向个性化产品生产的社群化工厂概念。给出了社群化工厂的相关定义,研究了社群化工厂的体系架构与运行逻辑,进而讨论了社群化工厂的关键使能技术。通过一个案例验证了社群化工厂实施的可行性。社群化工厂对揭示社群化制造在制造节点层面的组织形态、配置机理、运行逻辑等方面具有指导意义,并为未来工厂的构建提供了一种思路。     

GH4169车削过程的热力耦合作用及残余应力场研究

镍基高温合金GH4169是一种拥有优良的机械性能及抗腐蚀能力的耐热合金,被广泛应用于航空航天工程等领域,其切削过程因热力耦合作用产生的残余应力对零件的疲劳性能有重要影响.本文采用GH4169车削试验及Deform-3D仿真模拟相结合的方法,通过试验的切削力和仿真的温度-应变场对残余应力场的形成机理进行研究.结果表明:刀具磨损对主切削分力和车削温度的影响非常显著,在刀片磨钝过程中,主切削分力由538N增大到756N,剪切区温度由552℃增高到654℃,工件表面的应变由3.3升高到3.5;刀具磨损导致切削力和的温度-应变的增大,致使表面圆周和进给方向的残余拉应力峰值由517MPa、242MPa增大到860MPa、442MPa;表层残余压应力峰值-696MPa、-356MPa增大到-756MPa、-456MPa;残余应力层深度由72μm增大到85μm.     

电磁监测试验卫星离子漂移计定标实验研究

离子漂移计用于探测离子垂直轨道方向的漂移速度.离子漂移计的定标实验包括电子学定标和等离子体环境定标.通过对自行研制的电磁监测试验卫星离子漂移计的电子学定标方法研究,测试得到离子漂移计的噪声、电流测量范围、增益和修正系数以及温漂等电子学定标参数.测试结果表明,离子漂移计的电子学性能优于设计要求,满足科学探测需求.此外,借助于意大利INAF-IAPS等离子体测试实验设备模拟电离层等离子体环境,对离子漂移计的等离子体环境定标问题进行了分析研究.等离子体环境下的测试结果表明,该离子漂移计在特征点处测量结果满足仪器指标要求,能够正确探测离子横向速度,且其相对精度满足设计要求.      

民机冲压空气系统流动特性仿真研究

民机冲压空气系统通过机身蒙皮开口引入外界空气为飞机空调系统、辅助冷却系统和惰化系统提供合适压力与流量的冷源,其性能的优劣影响飞机的经济性与舒适性。冲压空气系统包括了进排气口、换热器、风扇和管路等部件,其内部的复杂流动特性决定了冷源流量在各个用户系统中的分配。为了在冲压空气系统的设计过程中根据各用户系统的需求完成合适的流量分配,需要通过冲压空气系统流动特性的三维仿真计算来获得。针对冲压空气同时受到机外环境和内部部件影响的特点,建立了机外远场和内部各部件仿真计算模型,通过CFD方法实现了冲压空气系统内部三维流动趋势的计算,获得了冲压空气系统流量分配结果和流道内的压力分布,为冲压空气系统的整体设计提供了参考。     

鸭式布局飞行器的翼体摇滚特性风洞试验

为研究鸭式布局飞行器摇滚特性,设计了一种包括鸭翼、脊型前体、边条翼、主翼和垂尾的模型,进行了自由滚转、扰动滚转、静动态测力和烟线流场显示多种技术手段相结合的风洞试验。通过自由滚转和扰动滚转试验得到了该模型翼体摇滚的时间历程,静态测力和动导数测定验证了非极限环运动形式摇滚的发生。结果表明该鸭式布局模型摇滚不仅同侧存在多个摇滚平衡点,而且在临界俯仰角,摇滚过程中可能出现从一摇滚平衡点跳动至同侧另一摇滚平衡点的突变。通过流场显示技术得到该鸭式布局模型复杂流场的基本形态分布,并对滚转角为0°时的全机涡系干扰和摇滚形成机理进行了简要分析。     

基于APP的卫星地面遥控系统安全性设计

目前,我国绝大部分卫星的遥控指令上行操作必须在专用测控网内进行,当卫星发生在轨异常时,相关支持人员必须赶赴测控中心现场进行集中处置,非工作时段时效性较低,不利于紧急情况下的异常快速处置.对基于APP的卫星地面遥控系统安全应用方案进行了研究和设计,旨在为我国未来卫星高效运行管理提供一种新的手段,通过原型系统的仿真测试,验...