欠驱动刚性航天器时间最优轨迹规划设计

应用伪谱法解决欠驱动刚性航天器的时间最优轨迹规划问题.首先建立欠驱动刚性航天器的动力学和运动学模型,对于给定的初末姿态,选取机动时间最短为待优化的性能指标,并考虑到实际控制输入受限,将其转化为优化过程中的不等式约束条件;然后应用Legendre伪谱法,将优化问题离散化为非线性规划问题进行求解.仿真结果表明,应用伪谱法规划得到的欠驱动航天器最优轨迹,能够较好地满足各种约束条件,而且计算精度高、速度快,具有良好的实时性.     

基于节点失效的弹性供应链应急管理策略

研究网络正常运行和有单一节点失效情况下供应链的应急调度问题,建立了在有限资源约束下单目标成本优化数学模型,以实现供应链运行总成本最小．采用ＣＰＬＥＸ 软件求解模型,得到应急调度计划方案．数值仿真结果表明了应急调度方法的有效性和实用性．     

基于VMWare构建虚拟网络实验室的研究

在计算机网络实验室的实践教学中,常常遇到难以满足安装操作系统、组网、测试网络软件等需求的难题.介绍了VMWare的工作原理,分析它的优势和特性,提出基于VMWare建立虚拟网络实验室的思路.通过VMWare创建多个虚拟子系统,在其中安装Linux、Windows Server 2003等不同种类的操作系统.这些虚拟子系统通过多种方便、灵活的方式进行通讯,形成复杂和多变的测试环境,可以完成各种复杂的网络实验.VMWare在实践中使用方便、性能强大,能很好地满足计算机网络实验室的要求.     

异性棉纤维智能检测和除杂方法研究

文中在研究国内外异性棉纤维检测方法的基础上提出智能异性棉纤维检测和除杂系统。该系统主要有智能机器视觉、智能反馈、智能除杂等三个重要环节,智能机器视觉是利用不同异性纤维在不同波段的光谱特征通过智能图像融合提取杂质信息,智能反馈系统主要是根据检测信息智能处理反馈信号,智能除杂系统主要针对杂质的分布情况智能处理各喷头的风力。同时采用复杂适应系统理论解决多智能体之间的协同配合问题。实验结果表明该方法能大大提高检测效率和除杂精度。     

出具证明编译器中线性整数命题证明的自动生成

近年来,出具证明编译器作为构建高可信软件的重要途径,逐渐成为编译器理论和形式化验证的研究热点.在其理论框架中,编译器需要借助自动定理证明技术,自动地证明验证条件并生成机器可检查的证明项,因此好的自动定理证明器对出具证明编译器至关重要.本文基于Simplex算法在出具证明编译器的框架内设计并实现了一个支持线性整数命题求解的自动定理证明器,并且提出一套证明项构造方法,将其应用于自动定理证明器中可生成Coq可检查的证明.     

一种用于无人机着陆的地平线提取算法

针对着陆场不同天地场景中的地平线提取问题,结合Ostu方法与Hough变换,提出一种用于无人机着陆的地平线分步提取算法。在确定初始地平线的基础上,对其做粗化处理,得到目标地平线所在子图像域,在子图像域中完成最终目标的地平线提取。实验结果表明,该算法能准确有效地提取不同天地场景中的地平线。     

Windows证书保护机制的缺陷分析

研究Windows操作系统下证书的保护机制,分析私钥导出标志位、私钥访问提示保护和密码保护3种主要安全措施的工作原理,采用正向分析和逆向工程相结合的研究方法,证明软件形式的证书在Windows操作系统中存在安全隐患。指出可以利用与专用硬件相结 合的方法提高证书的安全性。     

基于CUDA的3G视频清晰度评估方法

针对传统视频清晰度评估方法实时性较差的问题,利用统一计算架构(CUDA)高度并行性的特点,提出一种基于CUDA的3G视频清晰度评估方法。实验结果表明,与传统的视频清晰度评估方法相比,该方法能在保证准确评估视频清晰度的同时缩短算法的执行时间,计算速度约是传统串行算法的30倍。     

一种粗糙集属性约简算法

基于粗糙集理论提出一种新的属性重要度的度量方法,引入决策强度的概念,克服经典粗糙集理论约简定义的不完备性及无法获得最优属性约简的缺陷,改进基于信息熵的启发式属性约简算法,通过对既有线CTCS-2级车站列控中心软件测试平台的测试数据的实证分析,成功获得最优属性约简,发现数据之间的潜在联系及规律,给出决策规则,使决策分析更为高效。     

基于使用控制模型的防恶意下载系统

为了对恶意下载行为实施有效控制,研究通用访问控制框架和使用控制模型(UCON),提出基于流量的UCON。设计并实现基于UCON的防恶意下载系统,阐述其关键技术和实现方法。实验结果表明,该模型能有效控制用户下载行为,具有高安全性和较强的操作灵活性。