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

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

一种多码率QC-LDPC码译码结构设计与实现

为了满足在一个系统中使用多码率LDPC(Low Density Parity Check)码字的需求,设计了一个7Kbit长度多码率LDPC码的译码器,分析了各种码率之间校验矩阵的相似性,提出了复合译码结构中变量节点运算单元、校验节点运算单元以及迭代存储器单元的复用方案.通过在变量节点运算单元以及校验节点运算单元输入端增加若干选通开关,就可以使这些运算单元适于多码率的处理.通过管脚的选择,此译码器支持非规则0.4码率、非规则0.6码率以及非规则0.8码率3种工作译码模式,并用Altera公司的FPGA进行了实现.综合结果表明,所提出的复合结构在不损伤单码率译码性能的前提下,仅用略多于0.8码率LDPC码单独译码的硬件资源实现了3种码率码字的译码.      

Correction model of BDS satellite-induced code bias and its impact on precise point positioning

There are code biases on the pseudo-range observations of the Beidou Navigation Satellite System (BDS) that range in size from several decimeters to larger than one meter. These biases can be divided into two categories, which are the code biases in the pseudo-range observations of Inclined Geo-Synchronous Orbit (IGSO) satellites and Medium Earth Orbit (MEO) satellites and the code biases in the pseudo-range observations of Geosynchronous Earth Orbit (GEO) satellites. In view of the code bias of the IGSO/MEO satellites, the code bias correction model is established using the weighted least square curve fitting method. After the correction, the code biases of the IGSO and MEO satellites are clearly mitigated. A methodology of correcting GEO code bias is proposed based on the empirical mode decomposition (EMD)-wavelet transform (WT) coupled model. The accuracies of the GEO multipath combination of the B1, B2 and B3 frequencies are improved by 39.9%, 17.9%, and 29.4%, respectively. Based on the corrections above, the ten days observations of three Multi-GNSS Experiment (MGEX) stations are processed. The results indicate that the convergence time of the precise point positioning (PPP) can be improved remarkably by applying a code bias. The mean convergence time can be improved by 14.67% after the IGSO/MEO code bias correction. By applying the GEO code bias, the mean convergence time can be further improved by 17.42%.     

基于IRIG-B码的运载火箭测发流程同步的软件设计方法

为保证运载火箭在零窗口发射,提出了一种基于IRIG-B码(以下简称B码) 的运载火箭测发流程自动执行的软件设计方法,以确保点火前10min至点火之间的各系统流程的同步。本方案通过UDP网络接收B码的时间,并通过五取三冗余算法,以更新本地的B码时间。随后,再根据预设的点火时间及冗余后的B码时间,计算倒计时,以控制口令流程自动执行。     

人工智能技术在嵌入式代码审查中的应用与展望

代码审查是航天嵌入式软件开发中的重要环节.近年来，随着嵌入式软件开发需求的增多，传统以人工为主的代码审查方法逐渐不能满足快节奏的软件开发流程.为了减轻审查人员的压力，提升审查效率，研究者们逐渐将目光转向以深度学习技术为首人工智能领域，尝试寻求技术上得突破，以开发更智能的审查系统.本文对近年来人工智能技术在代码审查及程序理解中应用的相关工作进行了归纳总结.首先简要介绍了嵌入式代码审查工作目前面临的困境及解决方案.然后引出了代码审查中的一项重要活动，即程序理解.并详细阐述了目前基于人工智能的程序理解在代码审查中的应用情况.最后根据相关领域的发展情况，对未来代码审查的发展方向作了进一步的探讨.     

高动态GPS信号C/A码捕获方案及实现

为检测高动态GPS(Global Positioning System)信号,需要设计码环及载波环捕获与跟踪数字系统.尽量缩短盲捕时间,快速捕获到信号,是研制高动态GPS接收机技术的关键,而GPS信号C/A码的快速捕获是码跟踪和载波捕获与跟踪的基础.主要讨论了在高动态GPS信号C/A码捕获中,并行搜索法和串行搜索法的原理与实现,并结合GEC公司的十二通道相关器GP2021,给出基于DSP(数字信号处理器)技术用串行搜索法捕获高动态GPS信号C/A码的算法实现.     

基于Object-FMA的软件代码审查方法

针对传统代码审查方法中使用的检查单具有的两个不足:缺少从代码到检查单缺陷记录的映射方式,检查单记录的代码缺陷类型不全而导致审查时代码缺陷的遗漏,提出了一种将代码进行层次划分,并使用对不同层次代码对象进行失效模式分析来代替使用传统检查单的代码审查方法.此外,提出了一种对象失效模式分析方法(Object-FMA,Object Fail-ure Modes Analysis),用于系统地分析代码对象的失效模式,为不同层次的代码对象建立失效模式库.在某型号软件的代码审查中对该方法进行了实例应用,结果表明此方法提供了一种从审查代码对象到失效模式库的映射方式,提高了代码审查的效率,审查时不仅能发现传统检查单中记录的代码词法、语法和常见语义的缺陷,还能有效地发现代码中人为疏忽或算法设计错误而引入的代码缺陷.     

一种基于深度学习的恶意代码克隆检测技术

恶意代码克隆检测已经成为恶意代码同源分析及高级持续性威胁(APT)攻击溯源的有效方式。从公共威胁情报中收集了不同APT组织的样本，并提出了一种基于深度学习的恶意代码克隆检测框架，目的是检测新发现的恶意代码中的函数与已知APT组织资源库中的恶意代码的相似性，以此高效地对恶意软件进行分析，进而快速判别APT攻击来源。通过反汇编技术对恶意代码进行静态分析，并利用其关键系统函数调用图及反汇编代码作为该恶意代码的特征。根据神经网络模型对APT组织资源库中的恶意代码进行分类。通过广泛评估和与MCrab模型的对比可知，改进模型优于MCrab模型，可以有效地进行恶意代码克隆检测与分类，且获得了较高的检测率。      

循环冗余校验码的查表生成算法及其实现

给出了ＣＲＣ码的查表生成算法和一个码表实例，所给算法适合用软件方法快速生成ＣＲＣ码，由于计算上的复杂性，ＣＲＣ码通常用硬件来产生，限制了在一些地方的应用。在应用系统中，用ＣＲＣ码取代简单的奇偶校验码能提高数据传输的可靠性，所给算法为在应用系统采用ＣＲＣ码提供了方便的途径。     

航天器C语言软件常见编程错误分析及检测方法研究

基于软件第三方评测发现的问题,梳理并详细分析了在航天器C语言软件中6种常见编程错误.针对其中的软件安全漏洞提出了使用代码分析技术的检测方法,针对编程语言使用错误提出了通过制定编程规则并使用代码分析方法进行检测的解决方法.采用上述方法可以有效检测出上述6种常见编程错误,并可以用于检测软件的其他严重错误.     

遥测系统中的改进型AMI码

提出了一种适于遥测系统中使用的改进型AMI码.该码型利用在二进制数据流中间插入冗余,使码型中不再出现长连零的方法实现,从而达到快速可靠捕获同步码的目的.分析了其特性,包括编码效率、误码特性、功率谱、帧同步一次通过捕获特性等.该码型具有和原始AMI码类似的功率谱,尽管其编码效率不高,其快速同步捕获的特性可以避免数据的丢失,提高了数据的可靠性.给出了改进型AMI码的具体实现方法.     

Sun 3/4专用协处理器PLC系统中Common Lisp编译器的代码优化措施

在简单介绍Sun3/4专用协处理器PLC系统及Common Lisp编译器后,着重讨论了Common Lisp编译器中的代码优化措施,包括优化无用代码、优化程序结构、优化转移指令、优化函数调用环境保存及恢复指令、优化寄存器分配、优化尾递归函数调用等。实例编译结果和模拟运行结果表明:与不经优化指令相比,经过优化后的指令代码长度平均减少25％,运行速度平均提高20％,为提高PLC系统的整体性能提供了一守的保证。     

胚胎电子细胞剩余码/berger码联合编码自检方法

为了更好地实现胚胎电路的自检需求，针对地址产生模块和输入输出模块，基于基本逻辑和算术运算中操作数和结果数之间的剩余码和berger码关系，对胚胎电子细胞输入输出等价运算的构建进行了讨论分析。通过剩余码检测单个故障，berger码检测多位单向故障，设计了一种剩余码/berger码联合编码的胚胎电子细胞自检方法。给出了所提方法的流程和实现方法，分析了基于所提方法设计的胚胎电子细胞的故障检测率、自检模块自检率和硬件资源消耗。以时序逻辑电路为目标电路进行了仿真实验，验证了所提方法对胚胎电子细胞各模块的检测能力和对检测模块的自检能力。      

基于相位条纹的高精度GPS码相位测量方法

GPS接收机在测量卫星到接收机的传播距离时,通常能得到码相位和载波相位2个基本测量值。虽然载波相位测量值比码相位测量值精度高,但存在整周模糊度的问题,在实际应用中比采用码相位的技术付出的代价高很多。因此,基于相位条纹技术,提出了一种高精度的码相位测量方法。在传统码跟踪环的基础上,通过提取互功率谱相位条纹的频率,得到高精度的码相位测量值,从而组装出高精度的码伪距。仿真实验结果表明:在信噪比为-15 dB的情况下,码相位测量误差均方差约0.37 m,优于传统延迟锁定环在相同条件下约1.82 m的跟踪精度。得到了比传统码跟踪环更高的码相位测量精度的同时,不需要解算载波相位的整周模糊度,对提高GPS定位精度具有研究意义和应用价值。      

Analysis of the code and phase between-receiver inter-system biases of the overlapping frequencies for GPS/Galileo/BDS

The overlapping-frequency signals from different GNSS constellations are interoperable and can be integrated as one constellation in multi-GNSS positioning when inter-system bias (ISB) is properly disposed. The look-up table method for ISB calibration can enhance the model strength, maximize the number of integer-estimable ambiguities, and thus is preferred. However, the characteristics and magnitudes of the receiver code ISB and phase fractional ISB (F-ISB) are not well known and the wrong values of the biases can seriously degrade the positioning results. In this contribution, we first estimate the between-receiver code ISB and phase F-ISB of hundreds of the baselines up to around 25km in the European Permanent GNSS Network (EPN) and the Multi-GNSS Experiment (MGEX) for the overlapping frequencies L1-E1 (L1), L5-E5a (L5) and E5b-B2b (L7). The data collected from 1st January 2016 to 1st January 2019. Second, the receiver-type and firmware-version combinations for the receivers of Trimble, Leica, Javad, Septentrio and NovAtel are carefully classified. Results show that the Septentrio receivers have consistent code and phase ISB values for the three overlapping frequencies i.e. only one value for each frequency and no receivers are different. The Leica, Trimble and Javad receivers have two or more ISB values for at least one of the three frequencies. A few receivers with biases to the groups are also found and listed. Third, the code ISB and phase F-ISB of the groups are adjusted by the least-squares method. The root mean square errors (RMSE) of the least square adjustment are 0.240 m, 0.250 m and 0.200 m for code of L1, L5 and L7 frequencies, respectively, and are 0.0009 m, 0.0015 m and 0.0031 m for phase of L1, L5 and L7 frequencies, respectively. Finally, the effects of code ISB errors on code positing are investigated with the zero-baseline MAT1_MATZ. The distance root mean square error (DRMS) of L1-E1 code positioning can be reduced by 48.2% with 5 GPS and Galileo satellites and the DRMS degrades quickly when the code ISB error is larger.     

Modeling the charging of geosynchronous and interplanetary spacecraft using Nascap-2k

Nascap-2k is the updated version of the NASCAP/GEO spacecraft charging analysis code. In addition to packaging the physical content of NASCAP/GEO in a modern way, Nascap-2k incorporates other plasma analysis codes (in particular, the DynaPAC code) in order to extend its applicability to a wide variety of plasma environments. Nascap-2k also includes an interactive Object Toolkit for defining spacecraft surface models for analysis. In this paper we focus on the tenuous plasma charging capabilities of the code, with application to DSCS-III (geosynchronous environment), STEREO (solar wind environment) and MESSENGER (solar wind environment near 0.4 AU).     

卫星导航调制方式的非线性和兼容性分析

对比研究了最小频移键控（Minimum Shift Keying,MSK）和正交相移键控（Quadrature Phase Shift Keying,QPSK）调制信号的非线性和兼容性。首先建立MSK调制卫星导航信号的时域和频域模型,讨论了MSK调制对码片脉冲形状的影响,指出MSK调制作为卫星导航信号候选调制方式的可行性。然后建立非线性信道模型,仿真了MSK和QPSK调制卫星导航信号的带外功率损耗、相关损耗和码跟踪误差以及与同频段信号的谱分离系数。仿真结果表明,在保证信号跟踪性能的前提下,卫星导航信号采用MSK调制时的非线性和兼容性优于同参数下的QPSK调制。     

航天GPS接收机信号搜索捕获策略

航天GPS接收机的无辅助冷启动时间是一项重要指标,研究近地轨道应用的12通道C/A码导航型接收机减小冷启动时间的方法.分析GPS信号的多普勒频率和伪码相位搜索方法、捕获检测器及其参数选择、多普勒频率搜索步长和伪码搜索速率, 得到多普勒频率搜索步长为500?Hz,伪码搜索速率为475码元/s.研究轨道倾角、轨道高度、GPS天线仰角和轨道偏心率等因素对多普勒频率搜索范围的影响.阐述根据GPS卫星间夹角的统计信息选择合理的卫星分配方法.分析和仿真结果表明,根据GPS卫星间夹角的统计信息选择合理的卫星分配方法,可将冷启动时间减少25%~30%,影响多普勒频率搜索范围的因素按程度依次为:轨道倾角、轨道高度、GPS天线仰角和轨道偏心率,再考虑这些因素时可将冷启动时间减少25%~40%.     

GPS全视法时间传递回顾与展望

目前,时间传递技术正处于GPS伪码技术到GNSS多种技术组合的过渡时期,介绍了高精度时间传递技术在近年来的发展情况:首先回顾了GPS伪码共视(CV)与全视法(AV)时间传递,并证明全视法比共视法更具优越性。CCTF 2006通过,从MJD 53979,即2006九月(Circular T225)开始,使用AV法进行TAI比对。CV法需要满足共视条件,这限制了载波相位(CP)方法的应用,载波相位观测量比码观测量的观测精度可以高出两个数量级。由于CP观测数据优良,CCTF 2006推荐也可以引用CP观测数据进行时间传递。PPP方法是一种充分研究的时间传递方法,它充分地利用了载波相位信息,可以认为是伪码AV法的自然延伸。最后,给出我们的最新研究成果,即将GPS PPP和TW时间链路结合的方法,该方法结合两种时间传递链路的优点并消除了它们的缺点。     

Three-dimensional global simulation of multiple ICMEs’ interaction and propagation from the Sun to the heliosphere following the 25–28 October 2003 solar events

This study performs simulations of interplanetary coronal mass ejection (ICME) propagation in a realistic three-dimensional (3D) solar wind structure from the Sun to the Earth by using the newly developed hybrid code, HAFv.2+3DMHD. This model combines two simulation codes, Hakamada–Akasofu–Fry code version 2 (HAFv.2) and a fully 3D, time-dependent MHD simulation code. The solar wind structure is simulated out to 0.08 AU (18 Rs) from source surface maps using the HAFv.2 code. The outputs at 0.08 AU are then used to provide inputs for the lower boundary, at that location, of the 3D MHD code to calculate solar wind and its evolution to 1 AU and beyond. A dynamic disturbance, mimicking a particular flare’s energy output, is delivered to this non-uniform structure to model the evolution and interplanetary propagation of ICMEs (including their shocks). We then show the interaction between two ICMEs and the dynamic process during the overtaking of one shock by the other. The results show that both CMEs and heliosphere current sheet/plasma sheet were deformed by interacting with each other.