基于语料库文化内涵意义的探究——以“privacy”和“隐私”为例

忽略词语的语义韵和语义趋向,甚至忽略不同文化语境下词语所含载的文化沉淀信息、价值观和态度意义对语言的学习和交流产生阻隔。本文基于语料库的方法,以"privacy"和"隐私"为例,发现看似对等的英汉词汇的语境意义的异同和文化意义的差异,提出相似对等并不是绝对对等。     

进气道进口格栅电磁散射特性及试验验证

基于斜切45°规则进口直腔进气道,设计了5mm×5mm格栅、15mm×15mm格栅、进口开放和封闭4种模型。结合多层快速多极子方法(Multilevel fast multipole method,MLFMM)对格栅电磁散射特性进行仿真研究,并制作了相同的试验模型进行验证,获得了格栅特征几何参数,如格栅孔间距、格栅倾角以及格栅厚度等对电磁散射特性的影响。研究表明:(1)格栅电磁散射特性数值计算结果在角域-30°~30°范围内与试验结果比较吻合,验证了仿真计算的有效性;(2)10GHz下,格栅孔间距为λ/2时,格栅电磁屏蔽效率约为43%,而孔间距达到λ/6时,接近于完全屏蔽;(3)随着格栅倾角增大,格栅电磁屏蔽效果逐渐减弱;(4)随着格栅厚度增加,格栅电磁屏蔽效率增加,但增加的幅度逐渐减小。     

基于PE可执行文件的软件水印研究

通过对PE文件的结构分析,结合其自身特点,提出软件水印算法模型。通过在PE文件添加新节,嵌入执行控制代码,从PE文件自身特征提取,形成唯一标识软件版权的水印信息,然后对水印信息进行加密、分割并根据设计的组合表将水印信息分段嵌入到各节的冗余空间中,再对特定部分进行摘要提取,进一步实现PE文件的完整性验证。仿真表明,算法对于软件版权具有很好的保护作用。     

基于协同研制平台的构型管理技术

利用当前航空企业的信息化环境,建立 Windchill 与 CATIA 之间的构型管理协同研制平台。在此平台上,把设计生成的产品 EBOM 通过 LCA 交互到 Windchill 环境下,实施产品构型管理的各个业务流程。通过对产品结构进行构型标识,构型信息的完善和构型项的划分,生成以构型项为主的构型结构树（CIBOM）。通过协同研制平台启动实施构型的更改管理和控制,并对构型的原始状态和构型的更改状态进行详细的记录和跟踪,以生产实践中产品的生产和装配来验证构型信息的一致性和规范性,在此环境下实现构型管理的各个业务流程的循环,最终实现无纸化构型管理。     

嵌入式操作系统的形式化验证方法

对嵌入式操作系统类安全关键软件,测试、模拟、分析等传统软件验证方法不能保证其正确性,需要使用形式化方法。综述了主流商用嵌入式操作系统所采用的形式化验证方法,分析了操作系统内核不同特性的形式化验证思路。通常对空间隔离、信息流控制、系统调用、进程间通信等的证明采用定理证明方式,而对时间隔离的证明则采用模型检测方式。 seL4的通用抽象和逐层精化方法、模型检测和定理证明的混合方法在工程使用中都有前途。     

FD09风洞旋转天平试验系统研制

为了分析和预测飞机的尾旋特性,一般通过旋转天平风洞试验测定飞机模型在不同姿态角时绕风轴以不同旋转速率作等速旋转状态下的气动特性。针对上述情况,研制FD09低速风洞旋转天平试验系统,介绍该旋转天平试验系统的设计特点、性能指标,并进行SDM标模和战斗机模型对比验证。结果表明:本试验系统工作稳定可靠,试验结果与参考曲线有较好的重复性,并且本试验系统试验曲线的光滑性要更好一些,同时本试验系统给出的试验数据精度较高,可以用于开展型号试验及相关空气动力学研究。     

太阳敏感器光学信号动态激励系统设计

摘要： 基于微小型两轴转台及太阳模拟器,设计了一种太阳敏感器光学信号动态激励系统,适用于卫星控制分系统闭路验证过程.通过对光源、光路、积分器、准直镜的合理选型、设计,使得模拟光的辐照度、准直度、辐照不均匀度、辐照不稳定度达到了控制分系统闭路验证的性能要求.通过结构设计、滑环设计、伺服控制设计,实现了0.02°的转台角度控制精度,以及360°全范围的角度空间可达.综合试验结果表明,该激励系统能够实现卫星在全天球范围内运行过程中对太阳敏感器的有效信号激励,能够应用于控制分系统的闭路验证系统.     

大规模设备协同中的时间建模与验证

针对大规模设备协同系统中时间属性复杂、时间约束验证困难的特点,给出了大规模设备协同中的时间属性建模方法.针对设备操作时间和状态维持时间2种时间属性,通过在操作上附加时间属性实现了对设备操作时间的建模,通过在连接符上附加时间区间属性,实现了对状态维持时间的建模.在此模型的基础上,给出了大规模设备协同中4种基本结构的时间计算方法,并通过结构等价,将基本结构等价为一个连接符,从而实现了一个设备协同模型中所有节点的时间计算;并给出了大规模设备协同中的时间约束验证规则.通过相关比较及实验分析,验证了该方法具有更高的准确度,计算偏差较低且稳定,能够满足大规模设备协同系统的性能要求.     

碳纤维承力筒一体化结构设计及试验验证

为了减小卫星结构质量并保持良好的力学传递性能,文章在不改变原中心承力筒构型和外部接口的情况下,对碳纤维T800H树脂基复合材料的桁条加筋承力筒进行了锥柱一体化的结构设计,包括:采用可行方向法优化了承力筒的尺寸,确定了蒙皮单层铺层厚度和铺层方式,对端框进行了一体化的设计,以及各部件采用胶接的方式。优化后的承力筒结构质量减小约52.4%。对该承力筒在整星状态下进行相应的力学分析,完成了承力筒静力试验和整星的振动试验,结果表明,该承力筒的结构性能满足使用要求。