μC/GUI图形界面在SOPC系统中的移植研究

图形用户界面(μC/GUI)以其友好的人机交互界面,在各种嵌入式系统中得到广泛应用。文中介绍了μC/GUI在以Nios II处理器为核心的SOPC系统中的移植过程和应用方法。分析了SOPC系统架构和μC/GUI的组织结构,构建了LCD控制器和触摸屏驱动,实现了中文显示。μC/GUI运行结果表明,LCD上图形显示效果良好,体现了μC/GUI在SOPC系统中应用的优越性。     

基于分离逻辑的程序分析技术

分离逻辑是John C Reynolds和Peter O’Hearn于2000年提出的基于Hoare逻辑分析程序中动态分配内存和指针别名的逻辑理论。首先回顾了分离逻辑系统的理论框架,然后讨论了分离逻辑在程序分析领域中符号执行、形态分析和并发程序分析验证这些领域中的应用成果,最后介绍了分离逻辑在程序分析技术中当前主要的研究方向。     

一种支持并行离散事件仿真建模和并行模型检验的建模语言

并行离散事件仿真(Parallel Discrete Event Simulation,PDES)模型的正确性和可信度对PDES应用的发展起着决定性作用.然而,现有的并行离散事件仿真开发环境都没有提供仿真模型检验功能.并行模型检验(Parallel Model Checking,PMC)方法以其完备性、高效性已经在工业...     

制约在校大学生应征的因素及对策

2002年9月,国家教育部、公安部、民政部和解放军总参谋部、总政治部联合下发了《关于进一步做好从全日制普通高等学校在校生中征集新兵工作的通知》,对做好在校大学生入伍工作起到了较好的推动作用。但从近几年的征兵工作看,制约在校大学生应征入伍积极性的因素还有很多。     

努力提高国防生管理效能

根据有关文件规定,依托普通高等院校培养的国防生(人称“地方高校的军校生”),将成为未来我军军官队伍的重要来源。因此,加强国防生管理,提高国防生管理效能,保证国防生培养质量的实现,对军队现代化建设具有重要意义。管理就是设计并保持一种良好环境,使人在群体里高效完成既定目标的过程。国防生管理是指国防生管理者通过有效履行领导、计划和控制等职能,充分调动国防生的积极性和能动性,建立正规的国防生军政教学训练和活动秩序,创造有利于培养国防生综合素质与能力的良好环境,保证培养目标实现的活动过程。从国防生“寓军于地”的特点看,…     

北纬53度

在数学里,53这个数字很普通;在地理学上,北纬53度也没有什幺特殊之处。甚至在如今密密匝匝的数字群里,它几乎普通到了无人问津的地步。但就是这个普普通通的数字,好像从它诞生之日起,就在自己美丽的胴体上烙上了"不平凡"的印记,让它与世界的历史粘贴在一起无法分割,与中国的轮廓交织在一起无法脱离。     

变论域策略在导弹模糊制导律设计中的应用

比例导引律因结构简单而在实践中得到了广泛应用,但当目标机动逃避时,尤其是获得的目标机动信息不精确时,会产生较大的脱靶量.利用模糊逻辑不依赖对象精确数学模型、对知识具有很强的综合表达和逻辑推理等特点,设计了模糊制导律;并利用变论域策略,使输入模糊变量的论域随着输入变量值的变化而自适应地调整,相应的隶属函数也因此自动调整....     

模糊聚类分析在舰炮射击目标处理中的应用

舰炮对岸射击中射击目标选取比较复杂,用基于AFS逻辑的模糊聚类分析数学方法对射击目标进行处理,是一种评估战场目标选取的新方法。基于AFS逻辑的模糊聚类分析不仅与人类的思维逻辑类似,而且便于计算机将数据库中的记录转化为人类容易理解和操作的模糊集。作为在数据挖掘中的应用,又给出了基于AFS模糊逻辑的一个新的模糊聚类方法,通过具体的数学模型仿真表明这是一种行之有效的方法。     

适应全面普及的新形势 努力开创学生军训工作的新局面

从2005年起,所有普通高等学校和高级中学,都要开展学生军训工作。面对这一新的形势和任务,学生军训工作应坚持以科学发展观为指导,认真贯彻党中央、国务院、中央军委关于加强学生军训工作的决策指示,围绕国家人才培养战略和国防后备力量建设的需要,更新思想观念,突出工作重点,改进训练方式,搞好协调保障,军地共同努力,大力加强学生军训工作质量建设,努力开创学生军训工作的新局面。一、提高思想认识,增强做好学生军训工作的责任感和自觉性学生军训,是国家人才培养和国防现代化建设的一个战略问题。新中国成立初期,毛泽东亲自批准在高等学校…     

大气层内燃气动力与气动力复合控制方法探讨

对采用燃气动力(直接力)与气动力复合控制技术的控制方式、姿控发动机控制周期、点火逻辑及姿控发动机启控策略等进行了初步探讨。重点对采用燃气动力/气动力复合控制方式中舵系统的工作模式进行了探讨及仿真研究,对姿控发动机控制周期及控制回路工作周期对制导精度的影响进行了初步仿真研究。通过仿真研究表明:在末制导阶段,采用燃气动力/气动力复合控制方式可提高导弹的快速性,进而提高导弹的制导控制精度。