基于混合加密的 移动存储文件安全系统设计与实现

针对移动存储设备数据传递过程中面临的信息泄露、内容篡改等安全问题,基于多层嵌套混合加密思想,将ECC公钥密码体制与AES高级加密标准相结合,建立操作系统服务层的移动存储文件安全体系。设计了ECC密钥对存储格式、公钥离线交换机制和基于ECDH的密钥交换协议。将密钥信息以密文身份认证文件的形式随加密文件同时存储至移动存储设备中;解密时,以身份认证文件和ECC算法为依据进行解密。设计了二层混合加密和三层混合加密2种模式,使系统在安全和便捷方面具有一定的弹性,并在提高文件分发灵活度的同时,保证了系统的安全性。经严格测试,系统具有理想的安全性,能够实现对移动存储设备文件的有效防护。     

某民用飞机发动机空中起动时间对比分析

在描述风车起动和起动机起动过程的基础上,对比分析了起动机起动和风车起动的起动时间和点火时间。通过研究可知:（1）风车起动和起动机起动时间对比主要取决于起动机脱开前阶段,由于起动机的带转作用,起动机起动时间较短,但随着飞行速度增大,起动时间逐渐和风车起动接近;（2）风车起动和起动机起动的点火时间对比,主要取决于点火准备时间,起动机起动点火时间相对较长,随着飞行速度的增加,逐渐和风车起动点火时间接近。该研究可为发动机起动系统设计以及发动机空中起动试飞数据分析、排故提供参考。     

广播电视卫星高精度时间传递

介绍一种利用我国广播电视卫星进行高精度时间传递的方案,建立多个卫星电视时间发播系统,利用广播电视卫星进行双向时间比对,实现远距离卫星地面站之间的时间同步。通过测量地面站到卫星之间的距离,可实时计算出卫星的坐标位置,用户根据接收到的时间及卫星位置信息,实施高精度定时。     

面向航天异构平台的深度学习编译器加速技术优化

为了解决TVM编译器在航天应用过程中优化时间过长的问题,针对TVM的自动搜索框架Ansor,提出一种新的基于LightGBM算法的成本模型来预测代码的运行时间。LightGBM算法由于减少了分裂点数量、样本数量、特征数量,使得新成本模型有效地降低了计算量,在不损害准确率的条件下加快了模型的训练速度,缩短了优化时间。实验结果表明,在相同的优化任务下,具有新成本模型的Ansor在优化时间上提高了1.6倍,整体推理时间提高了6.1%。     

计算机信息安全评估标准

介绍了信息安全评估标准的发展过程以及TCSEC、CC等具有较大影响的安全评估标准,并对各个标准的特点及应用方式加以分析。最后,对信息安全评估标准未来的发展方向提出了自己的看法。     

原子钟时域频率稳定性计算方法

首先给出时域频率稳定性分析中各种方差的实用计算公式,并在此基础上分析各种方差特性,总结归纳其适用范围。分析表明：①阿仑方差是时域频率稳定性分析中最常用的方法,但不能区分调相白噪声和调相闪变噪声;②改进阿仑方差通过相位平滑运算能识别这2种噪声;③时间方差和时间总方差主要用于描述频率源的时间波动,主要用于分析调相噪声;④当频率漂移项较大或受甚低频噪声影响时,哈达玛系列方差能给出很好的测量特性。     

2011全国时间频率学术会议（CTFS2011）论文格式要求[中文标题]（二号黑体）

[作者姓名中文]（四号仿宋体） [作者姓名英文]（五号白正） [作者单位中文]（五号楷体） [作者单位英文]（小五号白正）     

冬日下的比基尼

当北半球的许多地方已处于冰天雪地,在赤道以南,却正值一派夏日光景。冬季能够享受温暖的阳光绝对是一种奢侈,如果你想再去找一片好风景,找一个舒服的沙滩躺下,那快跟我们上路吧。     

淘碟

1《时间规划局》未来世界走向时间决定论,人们手腕上有个生命计时器,这个计时器的时间成为当时社会的通用货币。贫富分化,富人在漫长的生命中空虚无聊,穷人却在苟延残喘,甚至要与时间赛跑来争取生命的强度。