成像卫星任务规划系统分析与设计

针对成像卫星任务规划的操作指令自动生成问题,深入分析了成像卫星任务规划系统的特点,在基于PDDL的任务规划问题求解结构的基础上,提出了一种基于PDDL的成像卫星任务规划系统结构.该系统结构采用模块化的设计,具有良好的灵活性和通用性,能够实现系统动态的任务重规划.     

基于SOA的遥感卫星任务规划框架设计

针对当前遥感卫星数量不断增加,规划任务和约束条件日趋复杂的应用现状,迫切需要建立更加灵活的卫星任务规划系统来优化安排遥感卫星资源的使用。为了满足遥感卫星规划过程中所特有的约束和需求,同时考虑系统的可扩展性,采用了先通过专家系统进行遥感卫星的工作模式推理,再基于解修正的遗传算法完成卫星资源的优化分配的两阶段机制,设计了基于SOA的遥感卫星任务规划系统（RS4BS）框架,并通过实例进行了实验及结果分析。研究表明,该框架设计能够有效地提高规划系统的灵活性和可扩展性,降低系统后续扩展的复杂度。     

人工智能技术在卫星任务管控领域的应用

近些年来伴随着科学技术水平的不断提高,人工智能技术被广泛应用到航天领域,可有效提升系统的智能化、自动化和信息化水平。重点围绕人工智能技术在卫星运控系统中的应用,针对大规模星地资源统筹和复杂任务规划等技术难点,提出构建卫星智能化任务规划系统和星地协同系统,通过深度感知用户的任务需求偏好,精准规划卫星遥感任务,充分发挥星地协同效能,完成任务管控领域的智能管理、智能规划、智能调度和智能运行,实现卫星运控系统的高效、可靠、稳定运行,为卫星效益的良好发挥提供最佳支撑。     

基于自动机模型的平面调车软件设计方法

 平面调车是一种铁路调车过程中的离散事件系统.可靠性高、易测试的平面调车软件对保障铁路运输安全极为重要,因此需要建立一种规范模型基础上的平面调车软件设计方法.分析了平面调车系统中事件驱动过程的复杂性以及自然语言规则描述方式的缺陷,提出通过自动机模型描述平面调车系统,具体讨论了平面调车系统与时间自动机(TA)、下推自动机(PDA)和分层自动机的关系.从状态划分、数据结构设计、状态转移流程等方面说明了基于自动机模型的平面调车软件的设计方法.     

遥感卫星滚动式动态任务规划技术

面对应急任务常态化趋势,通过分析卫星任务管控系统快速响应需求,提出了滚动式动态任务规划技术方法,研究了动态任务规划问题的求解过程,分析了动态任务规划滚动时间窗口选取策略、前瞻式任务与资源处理策略和星上资源连续使用原则等。该方法在遥感卫星任务管控系统中的工程化应用将能够大大提升系统应急任务快速响应时效性,降低任务动态调整复杂度,规避星上任务频繁调整风险。该方法将为面向任务快速响应的新一代任务管控系统建设奠定技术基础。     

基于DNA有穷自动机的素性测试法

有穷自动机,一种计算能力极其有限的计算模型,具有解决素性测试的能力通过构造法得到了证明。既而提出了一种基于有穷自动机的测试一个整数是否为素数的DNA算法,并且详细描述了该有穷自动机的构造方法,将有穷自动机的状态用DNA单链分子来编码,而输入则用DNA双链分子编码,用带环的双链DNA分子来编码状态转移规则,通过限制性内切酶的切割实现状态的转移。该算法的创新之处在于它是基于有穷自动机这种计算能力极其有限的计算模型的,并且该算法不仅能判断一个整数是否是素数,还能用于素因子分解。该算法的优点是实验实现容易,所需的时间是输入的多项式函数而不是指数函数。     

基于混合观测器的非线性系统的脉冲控制

该文针对基于有限状态自动机的非线性脉冲混合动态系统,设计一种新的脉冲混合观测器,然后应用有限状态自动机理论和Backstepping方法设计了基于混合观测器的脉冲输出反馈控制器,并构造了多Lyapunov函数,通过混合系统的渐近稳定性理论以及多Lyapunov函数法给出整个闭环系统渐近稳定的充分条件,数值仿真验证了该控制器的有效性。     

低轨电子侦察卫星地面站任务调度决策方法

卫星任务调度是卫星时空资源管理的重要内容之一,其目的在于为卫星地面站系统的任务计划编制提供科学的决策依据。基于低轨电子侦察卫星的运行轨道及侦察特点,建立其任务调度的约束规划模型并提供了该模型的求解方法,并通过仿真实验证明了该模型的合理性和有效性。     

小卫星健康状态自主模糊综合评估方法

当前卫星地面测试系统实时属性突出,但由于对数据挖掘分析不足,难以实现卫星系统级的健康诊断,需人工完成综合评估,存在效率低、通用性差等问题。该文提出一种多层次异构卫星系统综合评估方法,依据数据中缓变量、急变量和关键变量的特性,分别实现基于高斯分布模型、长短期记忆模型（LSTM）和统计模型的单项评估生成单因素模糊向量,采用离差最大化方法实现层次分析法和熵权法的主客观权值向量组合,基于模糊综合评判的方法对卫星状态进行全面综合评价,实现评估流程的自动化和智能化。在小卫星半实物仿真平台进行系统验证,结果表明该评估方法能有效地对卫星系统的健康状态进行全面评估。     

基于UIO序列的类重要性度量

程序理解是测试和维护大规模面向对象程序的关键,选择程序的关键类优先开展分析是理解程序结构的一个有效的方法.为支持自动识别软件系统中的关键类,本文提出了一种基于UIO序列的类重要性度量方法.首先将软件系统抽象为一个以类为转换的有限自动机模型,随后求解该自动机的UIO序列,将该序列集合转化为状态转换树.通过递归计算状态转换树的节点复杂度求得类重要度.并在考虑异常传播的基础上改进了算法.最后通过实验验证了算法的有效性.     

基于片上可编程系统的视频车辆跟踪技术研究

针对目前具体产品中算法实现复杂且基于计算机(PC)平台的纯软件环境等问题.提出了一种视频车辆跟踪的嵌入式实现方法.利用可编程片上技术,使得视频检测摆脱PC平台的依赖.以Nios Ⅱ软核处理器和外设知识产权(IP)核为硬件平台,结合模拟/数字信号转换(A/D)和数字/模拟信号转换(D/A)的视频接口,以μC/OS为操作系...     

基于CMMI的PDM设计

为了提供目前产品数据管理(Product Dato Management,PDM)系统对产品开发过程管理的控制能力,实现产品开发过程中的实时测量与监控,提高管理质量,结合能力成熟度模型(Capability Maturity Model Integration,CMMI)在软件领域的成功经验,适应硬件产品开发领域的需要,在介绍了CMMI的主要思想之后,重点论述了以CMMI为基础定制企业PDM系统的可能性。对产品开发框架进行了分析,提出了基于CMMI的PDM系统概要设计模型。     

通信与计算机领域伪代码一致性审查研究

通信、计算机领域的发明专利审查过程中,针对权利要求书中涉及伪代码的情形存在不同的审查观点.在对伪代码与自然语言、标记性程序语言进行辨析,以及对现行发明专利审查规范进行分析溯源的基础上,提出应站在技术人员的角度,按专利审查的一般标准,判断其是否符合专利申请的撰写规定和授权条件,权利要求是否清晰,再进行一致性审查的建议,对其他领域类似情形的发明专利审查具有借鉴意义.     

基于CAS的单点登录系统应用研究

随着信息系统的迅速发展,各类信息化应用系统逐步建立,但是各应用系统之间自成体系,从而导致了每使用一个系统就要重新登录一次,给用户的使用和管理员的管理带来了很多不便.本文研究基于CAS的单点登录系统应用,很好地解决了使用和管理困难问题,介绍了基于CAS的单点登录系统应用设计研究,系统采用用户管理LDAP轻量级目录服务、CAS中央认证服务,设计了一个统一管理界面,通过Web服务传递用户参数,实现了多应用系统的整合.     

基于网络仿真探讨LTE网络规划的几个问题

我国LTE网络现处于初期建设阶段。运营商根据4G技术特征和业务特点,如何进行网络规划定位及网络部署已成为LTE网络建设的核心问题。以无线网络仿真为基本工具和方法,针对网络仿真发现的问题,反思4G技术特点、网络定位、建设策略、思路、方法性等问题,通过商用网实例和分析提出LTE网络规划问题,并针对部分问题给出相关建议,旨在引出对4G网络规划相关问题的思考,更好地定位和建设4G网络。     

互联网防御DOS/DDOS攻击策略研究

主要介绍DOS/DDOS攻击的原理与种类,并着重介绍防御DOS/DDOS攻击的应对策略,并结合专业防御系统对构建专业防御体系进行了探讨。     

一种基于OSERDES复用的信号源设计

直接数字频率合成（DDS）技术在信号处理领域有广泛应用。为产生高采样率的模拟信号源,现场可编程逻辑阵列（FPGA）利用DDS技术输出数字信号,经过MUX芯片复用提高码速率,再通过DA芯片输出模拟信号。该方案调用FPGA内部并串转换器OSERDES,采用双倍数据速率（DDR）模式。多路低速信号复用成高速信号,输出不需要MUX芯片复接,直接输出到DA芯片。该方法减少中间环节,提高了稳定性。最后通过实验验证了方法的可行性。     

基于Proteus的LCD显示研究

以由KS0108控制器控制的LCD为例,研究如何使用Proteus进行LCD显示的仿真。仿真软件Proteus在原理图设计、电路、单片机仿真及PCB电路的制作等方面都表现卓越。以一款128×64的LCD为例,一方面探讨了如何在液晶上显示,另一方面突出了Proteus软件在单片机仿真领域的应用,给出了具体的思路和调试过程,对学习Proteus的仿真有一定的指导意义。     

基于无线通信的CBTC研究综述

对基于通信技术的列车控制系统进行了全面研究,分析了CBTC系统通过车地设备间的连续、高速、双向的数据通信技术,实现列车的高精定位和控制的关键作用,并进一步介绍了CBTC的基本原理、特点和系统结构,对CBTC系统中几种常用的无线通信解决方案进行了分析和比较,总结得出采用漏泄同轴电缆和无线电台混合组网的最优解决方案,同时指出CBTC系统由于采用了先进的通信技术,其必将引领现代城市轨道交通与铁路通信信号发展的未来方向.     

基于LabVIEW的图像压缩的研究

DCT(Discrete Cosine Transform,离散余弦变换)是目前应用最为广泛的多媒体数据压缩技术之一,是近年来国际上高速海量的数据处理领域研究的热点之一。利用LabVIEW软件平台及友好的界面实现图像压缩编程。实验表明,适当选取DCT系数,能得到小的均方误差、压缩比高,同时图像效果好,符合图像与视频信息在大量存储以及传输的要求。