基于UML/OCL的C4ISR效能概念建模分析

为了统一描述军事电子信息系统(command control communication computers intelligence surveillance and reconnaissance, C4ISR)系统功能和效能两方面的需求,提出了一种基于统一建模语言/对象约束语言(unified modeling language/object constraint language, UML/OCL)的C4ISR效能概念建模和形式化验证方法。首先,利用效能相关概念扩展了DoDAF 2.0能力元模型,构建一个能够同时引导C4ISR能力的功能分析和效能分析的元模型;将该元模型描述为UML Profile,形成一种基于UML的C4ISR效能概念建模语言,并支持C4ISR效能概念模型检验;最后借助一个假想案例分析说明了该建模语言对C4ISR能力的功能和效能概念建模及模型验证的能力。该方法可弥补UML建模技术在特定领域效能分析方面的不足。     

一种模型驱动的嵌入式控制软件设计技术研究

针对当前嵌入式控制软件开发方法的不足,研究了一种将常规模型驱动开发技术与基于模型系统设计方法相结合的嵌入式控制软件模型驱动开发技术,首先分析了其应该具备的功能、特征并给出了方案实施步骤;然后,详细研究了方案中的PIM模型设计方法、PSM模型(代码)层次结构及OXT框架,并开发了针对Arm-Linux平台的适配器;最后,给出了基于该方法设计的微型飞行器控制软件运行测试实例.     

面向CPU+GPU异构计算的SIFT

依据图形处理器(GPU)计算特点和任务划分的特点,提出主从模型的CPU+GPU异构计算的处理模式.通过分析和定义问题中的并行化数据结构,描述计算任务到统一计算设备架构(CUDA)的映射机制,把问题或算法划分成多个子任务,并对划分的子任务给出合理的调度算法.结果表明,在GeForce GTX 285上实现的尺度不变特征变换(SIFT)并行算法相比CPU上的串行算法速度提升了近30倍.     

对人教版语文教材《羚羊木雕》一文的质疑

语文学习材料特别是语文教材应突出语文课程丰富的人文内涵。人教版七年级上册第五单元《羚羊木雕》一文,存在种种硬伤,其原因之一是作者用成人的视角和思维,生硬地模仿儿童的情感和心理;之二是作者写了两个看似真实、却是自己没有经历过的故事。成人和儿童、真实和虚拟之间的混乱和错位造成主题的模糊和偏差。     

高职院校计算机应用技术专业立体化教材建设探究

面对高职计算机应用技术专业教材建设数量多、质量差、不规范等问题,国家教育部提出了立体化教材建设方针,立体化教材建设以服务学生为宗旨,走学校、企业、出版机构三方面结合之路,使教材建设向多元化、多形态、多层次方向发展.     

中美数学教材设计的一项比较研究——以“勾股定理及其逆定理”为例

中小学数学教材中对知识的设计和处理方式在数学教学中起着重要作用.通过比较美国教材《发现几何》与国内人教版《初中数学》在"勾股定理及其逆定理"设计上的差异,发现2本教材在设计上各有优势,前者设计注重学生的动手操作,侧重学习者的个性学习,力求在做中学,关注学习者对几何的兴趣;后者设计注重知识的完整体系,对演绎推理的要求比重明显大于对合情推理的要求,关注学习者和教师严谨、准确的数学体验.     

浅析职业高中物理校本教材的开发

从职业高中物理教学的实践出发,探讨推广"校本教材"的意义、实现途径以及利用校本教材实现有效课堂、有效学习的方法.     

县区级政府网站群建设管理新模式探讨

通过分析现阶段县区级政府网站建设中存在的资源浪费、缺乏共享、功能单一、缺乏安全等问题,提出采用统一部署、数据共享、功能整合、集中管理、规范发布的方法建设管理县区级政府网站群,并详细描述了集中统一政府网站群的结构与设计以及站群系统的开发实现。     

运用统一强度理论分析预应力组合圆筒分层半径和过盈量

运用双剪统一强度理论,考虑拉、压异性和中间主应力的影响,对受工作内压作用时预应力组合模具的分层半径和过盈量进行了详细的分析,得到了计算组合圆筒分层半径和过盈量计算的表达式。分析结果表明:分层半径只跟组合圆筒内外径相关,与运用的强度理论和材料特性没有关系;过盈量不但与组合圆筒内外径相关,同时与运用的强度理论和材料特性也有关系。     

对外汉语初级精读课教材练习的设计探讨

以6套20本初级精读课教材为考察样本,对练习题型、练习内容、练习方式和练习题量进行统计与分析,梳理、探讨初级精读课教材练习设计与教材编写理论两者之间的关系,提出初级精读课教材练习设计应注意的一些问题。