军事综合电子信息系统需求描述框架及其辅助工具开发研究

需求描述是需求工程的重要组成部分,文中提出了一种军事综合电子信息系统需求描述框架,将军事综合电子信息系统需求分为作战需求、用户需求和系统需求3个层次,并简要介绍这3种需求的内容体系;最后以需求描述框架为指导,介绍了描述工具集的设计与开发思路。     

一种增强嵌入式系统安全性的安全防护技术*

由于嵌入式应用环境的多样性,单纯软件或硬件安全技术或者安全产品的功能和性能都有其局限性,只能满足某类系统的特定安全需求。因此,如何有效利用软硬件技术特点,通过协同防护来保障系统的安全已成为当前信息安全领域的研究热点。通过对嵌入式系统安全威胁和隐患的分析,在此基础上提出一种可以提高嵌入式系统安全性的软硬协同安全防护技术。该技术通过硬件检测、软件处理、综合治理的方法,可以有效地增强嵌入式系统抗击本身缺陷和恶意攻击的能力。     

卫星跳频通信系统同步切换方法研究

多波束卫星跳频通信系统中,不同的波束使用不同的跳频图案,当移动用户在波束间越区切换时,如何同步不同的跳频图案是系统设计必须面临的问题。文章提出了卫星跳频通信系统同步切换的一种方法,在详细描述该方法基础上,计算了该方法的帧效率,通过对结果的分析,指出了该方法的优缺点。     

并行程序中同步瓶颈的检测和优化方法

针对并发程序中锁的不当使用可能导致性能瓶颈的问题,提出检测和优化并发程序中同步瓶颈的方法IdeSync。IdeSync使用静态分析方法获取同步方法和同步块,构建静态同步依赖图,采用基于执行路径的动态分析技术进行同步依赖关系分析,构建同步依赖图。为了暴露性能瓶颈,在同步依赖图上通过增加程序工作负载的方式,监测临界区的性能变化,并针对检测到的同步瓶颈给出优化建议。在实验中通过HSQLDB、SPECjbb2005和RxJava等12个大型实际应用程序对IdeSync的有效性进行验证,共检测到72个同步瓶颈,根据优化建议进行优化后程序性能均有所提升。实验表明,IdeSync能够有效地检测和优化同步瓶颈。     

基于反步法的ADVP混沌系统同步在混沌遮掩中的应用

反步设计法是通过将一个系统分解为多个低阶子系统,一步步构建Lyapunov函数导出稳定的控制律,获得需要的控制器,实现同步的目的.基于Lyapunov稳定性理论,结合反步法思想为混沌ADVP系统设计了同步控制器.注意到系统参数间量级相差很大,在选择增益矩阵时,通过调节柯西不等式放大参数,使控制中系数的量级差别适当减小....     

关于扑救大跨度钢结构仓库火灾的几点思考

针对大跨度仓库火灾,分析了其火灾特点以及在实际扑救中存在的困难,并提出了切实可行的灭火措施。对今后深入研究大跨度仓库火灾的灭火技战术措施具有一定的参考价值。     

丽江古建筑火灾风险评估及防火研究

丽江古城1997年被列入＂世界文化遗产＂名录,其建筑形式主要为木构架结构,一旦发生火灾,损失巨大。依据NFPA 914工作流程,对丽江古城建筑进行分析和评价,在现有消防安全状况调查和历史建筑特征调查的基础上,分析其消防安全隐患,并运用火灾风险指数法,计算单体建筑的消防安全水平,结合其历史特征,提出改进消防安全的措施。     

Gabor框架的稳定性研究

对于Hilbert空间中的Gabor框架,定义A=inf x∈[0,a][∑n∈Z｜f（x-na）｜^2-∑k≠0｜∑n∈Zf（x-na）f^-（x-na-k/b｜]〉0,B=supx∈[0,a]∑n∈Z｜∑n∈Zf（x-naf^-（x-na-k/b）｜〈∞,通过算子放缩证明的方法,可知{Mb^mSa^nf}m,n∈Z构成L^2（R）的框架,且框架界为A/b,B/b.     

新疆中小学双语教师评价内容的审视与重构

合理的双语教师评价对于学校科学管理双语教师队伍,提升教师自身专业素养并最终提高双语教学质量具有重要价值和意义。新疆现有中小学双语教师评价内容存在思想偏差、依据不足、维度缺失、标准笼统等问题。本文以教师专业发展评价理论为基础,遵循整体性、适切性、公平性、开放性的评价原则,从双语教师专业理念、专业知识和专业能力三个维度出发,对新疆中小学双语教师评价的内容进行尝试构建。     

捷联惯导惯性系对准误差分析

针对捷联惯导晃动基座下惯性系粗对准两种不同的计算方法,分析了由陀螺常值漂移和加速度计零偏引起的漂移误差（即平台失准角）、刻度误差和歪斜误差,并推导了这些误差项与惯性元件误差之间关系的解析表达式。结果表明：两种惯性系对准算法的平台失准角具有相同的极限精度,并且与传统解析对准法的精度一致;惯性系对准法的歪斜误差很小可以忽略,但需对姿态阵正交化以消除刻度误差的影响。