摘要：当代航空系统是复杂的安全关键信息物理融合系统(cyber-physical system,简称CPS).失效概率分配是民用航空系统及设备初步系统安全性评估过程的重要工作,AADL(architecture analysis and design language)适用于航电系统的设计开发,对AADL模型实施失效概率分配和安全性评估是不可或缺的.提出了基于AADL的失效概率分配方法,可将系统失效概率分配给子构件,作为其安全性需求.该方法综合考虑系统架构设计、模型复杂度和严酷度(severity)等级.通过结合失效概率分配方法和确定性随机Petri网(deterministic stochastic Petri-net,简称DSPN),进一步提出了基于AADL的安全性评估方法,将系统的AADL模型转换为DSPN模型,以计算子构件的失效概率,并评估子构件是否满足安全性需求,直到设计出满足安全性目标的架构模型.最后给出了失效概率分配方法与安全性评估方法的实现算法和工具结构,并通过将所提出的方法应用到飞行控制系统,表明所提方法能够有效地完成失效概率分配和安全性评估.

摘要：在模式耦合理论的基础上 ,对过模圆波导TM0 1 TE11模式变换进行了研究 .采用不同的相位重匹配方法和选择相应的结构 ,对TM0 1 TE11模式变换器进行了优化分析 ,得出了圆波导半径、弯曲圆波导曲率和频率以及频带宽度之间的变化规律 .以此结果可设计出相应的紧凑、高效。

摘要：针对彩色阵列显示设备中由于采用亚像素寻址技术引起的颜色错误问题,该文提出了一种定位和量化的方法。基于人眼空间混色特性,指出颜色误差的度量应在多尺度混色区域下进行。以亚像素矩型排布为例,从点阵理论的结构基元出发,设计多尺度混色区域的形状与大小,实现了颜色错误的定位与量化。分析和实验表明,以多尺度区域混色颜色误差为基础的自适应颜色误差消除法在弱化颜色错误的同时保持了更多原有图像的细节。

摘要：针对显示系统中应用亚像素采样技术引起的颜色混叠问题,该文提出一种基于显示设备亚像素排布的抗颜色混叠滤波方法。鉴于颜色混叠的区域及形状与亚像素排布的多样性紧密相关,在频域内通过倒晶格理论给出不同亚像素排布各基色的Nyquist频率限制图,并以此为依据设计各基色分量上的抗混叠滤波器。对图像进行滤波预处理后再经亚像素采样显示图像,达到保持图像清晰度的同时消除或减弱显示图像中颜色混叠的目的。理论分析和仿真结果表明,相对于5-tap滤波法,在无明显颜色错误的前提下,该方法可将图像亮度分量的PSNR值提高30%左右;另外,该算法简单,易于实现。

摘要：点击率（click-through rate,CTR）预测是互联网公司中重要的研究课题,预测结果与上下文、用户属性和广告属性息息相关,CTR的有效预测对提高广告公司的收入至关重要。该文在对传统逻辑回归（logistic regression,LR）模型的相关原理和参数优化算法介绍的基础上,抽离出用户特征和广告特征,将用户与广告之间特征的关联信息添加到Sigmoid函数中得到一种特征关联模型。与以往求解方法不同,该方法采用在线最优化算法FTRL（follow-theregularized-leader）提高参数计算效率,采用混合正则化来防止训练过拟合。真实的广告数据集上的实验结果表明：该方法与传统的模型和方法相比具有更好的预测精度、效率、参数敏感性和可靠性。

摘要：针对车联网传统信誉机制存在的集中式信誉服务器不可信、威胁用户隐私及检测范围单一等问题,提出区块链架构下具有隐私保护的车联网信誉模型.基于区块链技术,设计分布式可信的车联网信誉更新模型.采用多密钥全同态加密算法实现评价数据的加密与计算,降低用户隐私泄露的风险.设计回溯时间间隔自适应调整策略,防止恶意车辆基于信誉更新特性绕过检测.仿真结果表明,该方案能够有效地保护用户隐私,对不同环境下的恶意车辆都能够保持较高的检测率和较低的误报率.与传统方案相比,该方案针对车辆恶意行为的检出率提高了32%.

摘要：智能合约是运行在区块链上的计算机协议,被广泛应用在各个领域中,但是其安全问题层出不穷,因此在智能合约部署到区块链上之前,需要对其进行安全审计.然而,传统的测试方法无法保证智能合约所需的高可靠性和正确性.说明了如何使用建模、仿真与验证语言(MSVL)和命题投影时序逻辑(PPTL)对智能合约进行建模和验证:首先介绍了MSVL与PPTL的理论基础;之后,通过分析和对比Solidity与MSVL语言的特性,开发了能够将Solidity程序转换为MSVL程序的SOL2M转换器,并详细介绍了SOL2M转换器的设计思路;最终,通过投票智能合约和银行转账智能合约两个实例,给出了SOL2M转换器的执行结果.使用PPTL从功能一致性、逻辑正确性以及合约完备性这3个方面描述了合约的性质,给出了使用统一模型检测器(UMC4M)对合约进行验证的过程.

摘要：针对成像任务到指令序列转译时存在的任务失效风险,提出一种知识驱动的指令序列自适应生成方法。在指令构造阶段,将数据与逻辑相互解耦,并设计3种支持灵活修改的基本知识结构。在序列生成阶段,进一步引入图结构知识,并设计上下游压缩的序列生成及优化策略。该方法将关键数据要素从指令处理过程中分离,不仅降低了系统更新所引入的潜在风险,且提高了指令序列生成系统对需求变更的适应能力。采用历史成像任务序列进行仿真实验,结果表明,相比于现役指令处理方法,所提方法具有更高的准确率,并能有效优化指令序列长度。

摘要：现场可编程门阵列(field programmable gate array, FPGA)极易遭受由空间高能粒子辐射引发的故障,进而影响片上任务的正常执行.目前常采用三模冗余(triple modular redundance, TMR)进行容错设计,尽管可以取得较好的容错效果但存在资源开销大的问题.尤其当辐射水平较低时,对全部任务采用三模冗余方式执行能使上述资源开销大的问题更加严重.针对此,提出了一种基于动态自适应冗余的容错方法(fault tolerance based on dynamic self-adaptive redundancy, FTDSR).首先,利用片上块存储(block RAM, BRAM)对空间粒子辐射的高敏感性,设计改进了基于BRAM的辐射水平监测器,周期性监测空间环境的辐射水平;其次,以每个任务执行周期的松弛度时间和当前辐射水平为标准评估任务的可靠性等级,进而在不同辐射水平下以单个任务为粒度动态自适应地匹配冗余策略,保证片上任务成功执行,同时避免高资源开销.仿真实验表明,采用FTDSR的FPGA在不同辐射水平下具备高可靠性,与目前主流的FPGA冗余容错方法相比,在同一辐射水平条件下,片上任务完成量平均提高了57.2%.

摘要：研究了面向对象、组件、构件、面向代理等软件体系结构与风格、过程控制设计风格和面向状态设计风格;在实时设计风格的基础上,分析了面向对象风格及其系列技术在应用领域的问题域,并以车辆定位系统为例,讨论软件体系结构的理论和应用,给出了如何利用各种风格设计和开发车辆定位系统的优缺点;论述了不同的体系结构风格适应于不同的软件设计和开发阶段, 并给出了分析和设计车辆定位系统的全过程。