气象软件设计模式的研究与实现

介绍现有气象软件系统设计模式,分析国内气象业务特点和功能需求,提出一种新的设计模式。给出该模式下的数据转换和质量控制模型、组件封装模型、专业模块插件模型、总体框架模型。阐述在数据存储、组件开发、接口设计中实现技术共享、业务变化和技术更新的方式,解决系统低层和高层间的资源与技术复用问题,实现资源共享、集约化的系统设计。     

基于J2ME和蓝牙技术的中国象棋游戏的研究

在支持J2ME技术的手机上,结合JSR82技术规范可以实现适合手机用户使用的蓝牙联网游戏,从而增强了游戏的互动性.以J2ME平台和Java蓝牙无线API为基础,分析了博弈树搜索、棋局局面评估等核心技术,设计并实现了一个既能单机智能引擎又可以双人联网游戏的蓝牙手机游戏--中国象棋.系统运行结果表明,该游戏具有运行稳定,所占资源少等优点.     

基于随机性和文件块相似性的结点选择策略

为了提高对等网文件共享系统的服务性能,增强文件共享过程的延续性,通过对比分析目前典型的P2P网络应用BitTorrent和基于临近节点聚类的Bit Torrent文件共享系统中的邻居节点选择策略的优点和不足,提出了一个优化的邻居结点选择策略,服务器tracker为结点优先选择与其具有相近文件块数的结点作为其邻居结点的同时,采用基于随机性的策略来提高文件共享过程的延续性.最后,模拟实验结果表明,该策略提高了共享系统的延续性和服务性能,具有很好的文件共享效率,有效地抑制了"搭便车行为".     

混合仿人智能图式的无人艇自主驾控系统设计

针对高度动态、不可预测的海洋环境,开展了无人艇智能运动控制系统的设计研究.首先本文利用认知学科的"图式"概念来分析人体运动控制系统的结构,提出一种混合式分层递阶结构,把人类的先验知识、专家经验融入到该结构中,并在实践中不断学习和完善,则形成了一种混合仿人智能图式;然后根据该图式的思想,设计了自主驾控系统的体系结构,并编制成简单实用、逻辑性强、能实时运行的控制流程;最后进行了无人艇的航线跟踪和安全自主航行的半实物仿真试验,仿真结果表明该无人艇可以安全的避开其他船舶并尽量跟踪航线.     

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

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

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

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

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

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

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

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

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

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

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

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