摘要：为了使对转永磁同步推进电动机结构简单,性能可靠,建立了该电机的无传感器控制系统。介绍了对转永磁同步推进电动机的结构,建立了电机的数学模型,设计了基于锁相环技术的转速跟踪观测器,提出了一种基于旋转高频电压注入的速度检测方法,可实现对转永磁同步推进电动机全速域内无传感器控制。仿真结果证明该方法能完成对转永磁同步推进电动机的调速控制,并实现扰动下的双转子转速跟随,且响应迅速,鲁棒性强。

摘要：针对一种中间定子、内外双转子形式的新型对转永磁电机内外转子转速存在差异的问题,在介绍了这种新型双转子永磁电机的工作原理基础上,从机械同步、电气同步和协调设计三个方面分析了这种电机转速同步技术及其研究进展,为新型双转子永磁电机的进一步深入研究奠定基础。

摘要：针对天基综合信息系统面临的安全威胁,结合安全需求和约束条件,面向远程空间信息支援任务想定,设计主动可控的安全防护策略规则,并研究安全策略规则的形式化描述方法,进而实现动态可配置的安全策略仿真验证系统,以安全策略规则对安全分发技术的动态部署驱动为例,迭代验证安全策略对安全技术的指导作用。为从策略层面提高天基综合信息系统安全防护部署的可动态配置能力和性能/代价提供解决思路和验证方法。

摘要：针对NoC中并行处理事务的增多,将计算机网络中的多播传输模式引入到NoC路由器的设计中来,提出了一种新颖的基于路径的多播路由器设计模式.采用数据包中带有多个目的地址及数据子包的模式,实现了数据包到多个目的节点的高效传输,同时,通过引入Hamiltonian路径的无死锁处理模式,避免了数据包传输过程中死锁的发生.采用Verilog HDL实现了该模型的RTL级设计,并用Synopsys EDA软件完成功能仿真、时序验证及综合.

摘要：应用蒙特卡罗方法对中国先进研究堆 (CARR)上的高分辨中子粉末衍射谱仪 (HRPD)的物理设计进行了模拟研究。给出了谱仪的分辨率曲线、样品处中子通量密度等主要参数的模拟计算结果 ,讨论了高分辨模式和高强度模式下的分辨率和强度变化 。

摘要：阐述了分布式InSAR目标三维定位原理,分析了干涉基线与空间状态测量之间的关系;给出了干涉基线的完整定义,将干涉基线分解为空间域干涉基线和时间域干涉基线,其中时间域干涉基线通过主星的绝对定轨结果获得,空间域干涉基线主要通过高精度星间相对定位结果获得;分析了卫星轨道速度、平台姿态测量、天线安装等误差对干涉基线测量精度的影响,讨论了不同基线测量体制对姿态精度的要求差异,为分布式InSAR的空间状态测量方案设计及相关测量手段精度指标的论证提供了技术支撑。

摘要：针对蚁群算法存在停滞现象及收敛速度慢的缺点,提出了一种融合遗传算法改进的蚁群算法,在蚁群算法中引入路径遗传运算。对蚂蚁发现的路径进行染色体编码,通过适应度函数对蚂蚁的路径做适应度评价,进行路径交叉和路径变异运算,设计了新的信息素更新策略。以对称TSP测试集为对象,将改进算法与现有算法进行测试比较。实验结果表明,改进后的算法具有优良的全局优化能力,有效防止了停滞现象。

摘要：卡尔曼滤波是组合导航系统处理数据最常用的算法。首先给出PWCS可观测性定理,然后在G矩阵选星算法的基础上,设计了基于伪距/伪距率的MSINS/GPS紧耦合系统(TCS)的卡尔曼滤波器,在上述量测方程中加入基于GPS载波相位观测量的姿态测量方程,给出了有姿态测量信息的全组合系统(CIS)。最后证明了CIS满足PWCS定理条件,即可以用离散系统的选择可观测性矩阵(SOM)代替相应的连续系统的总可观测性矩阵(TOM)对系统进行可观测性和可观测度的分析。利用奇异值分解(SVD)理论给出了不同可见卫星数时CIS的可观测性分析结果。与不加入姿态观测信息的MSINS/GPS的TCS比较,计算结果表明CIS比TCS具有更好的可观测性和可观测度。

摘要：分析了现阶段飞机研制企业对数字化研制流程的工程需求,介绍了飞机研制业务支撑环境及信息传递模型。在构建数字化协同平台的基础上,提出了基于多层次的飞机数字化研制流程模型,给出了由基于BOM的结构模型向基于PetriNet的流程模型映射的算法,这种算法以基于WBS的任务模型为映射过渡模型,最后得到了适合于不同管理部门需求的多层次流程模型。结合作业排序计划甘特图的使用,有效地实现了对复杂的飞机产品制造业务流程的控制。

摘要：基于属性加密算法因含有大量耗时的指数运算和双线性对运算,一些方案提出将加密外包给云服务器.然而这些方案并没有给出外包加密在云服务器中的并行计算方法,而且还存在用户保管私钥过多、授权中心生成用户私钥成本过大的问题.针对这些问题,提出一种基于Spark大数据平台的快速加密与共享方案.在该方案中,根据共享访问树的特点设计加密并行化算法,该算法将共享访问树的秘密值分发和叶子节点加密并行化之后交给Spark集群处理,而用户客户端对每个叶子节点仅需要一次指数运算;此外,用户私钥的属性计算也外包给Spark集群,授权中心生成一个用户私钥仅需要4次指数运算,并且用户仅需要保存一个占用空间很小的密钥子项.