关于高职实验课目标教学模式优化的探索

实验课教学改革是高职院校实现其培养目标的重要一环，高职实验教学必须以素质教育理念为指导，构建模式体系。本文以目标教育理论为依据，阐述了实验教育目标体系的确立、实验教学内容体系的整合以及实验测评体系的构建等内容，并据此提出构建以培养学生综合素质为核心的实验模块式目标教学新模式。     

电站仿真器数学模型辅助建模工具

本文运用软件工程的理论和方法对ＡＴＭＰＳ系统进行了设计。论述了该软件的功能和设计，ＡＴＭＰＳ系统由三个子系统组成：模块库管理系统、模型生成系统和模型试验系统。ＡＴＭＰＳ系统支持用户进行模块开发，模型生成和仿真试验等方面的工作，有效地加快了电站仿真器的研制进程。     

阶化Cartan型李代数的诱导模及其扩张的一点注记

在广义限制李代数的意义下,证明了W,S,H型系列的阶化Cartan型李代数的"修正"诱导模为余诱导模.得到了诱导模和余诱导模之间的关联,从而推广了Rolf Farnsteiner和Helmut Strade在限制李代数情形下关于诱导模与余诱导模之间的关联.进而证明了W,S,H型系列的阶化Cartan型李代数的所有具有广...     

可信模块与强制访问控制结合的安全防护方案

基于可信计算思想,通过在现有移动终端中加入移动可信计算模块,并在核心网中加入安全服务提供者和安全软件提供商,构架了面向移动终端的统一安全防护体系,为用户提供安全服务.该方案有效利用了移动终端操作系统的特性,将基于角色的访问控制与可信验证相结合,实现了高效的可信链传递,使没有授权证书的非法软件和非法进程不能在系统中运行,...     

相对余闭主投射模

作为拟主投射模的推广,引入了相对-余闭主投射模的概念,讨论了相对-余闭主投射模的基本性质.在内射模条件下,证明了M-循环余闭子模的内射性.     

多准则数控机床模块谱系聚类的划分方法研究

为了提高数控机床模块设计中的制造周期及性价比,通过求解数控机床功能模块、构建功能模块与结构模块的映射关系来划分数控机床模块.基于自顶向下的模块划分原则,采用层次分析法构建相关度权重判断矩阵,综合考虑了功能元之间的功能、装配、空间、动力、设计、信息和工艺等多个相关准则,采用谱系聚类法对子功能进行了聚合.应用公理化设计理论,采用功能-原理-结构相互对应的原则完成了功能模块与结构模块的映射,得到了模块的划分方案.最后,以精密卧式机床为例,验证了该方法的有效性与可行性.     

EAN-13条码图像整形方法分析以及模块中值法的理论研究

在数字图像识别条形码过程中,整形是很重要的环节。分析了EAN-13条码采集并二值化后图像的噪音特点,结合EAN-13条码的构造,从理论上研究了模块中值法。这是一种利用条形码的构造特点,降低二值化后图像噪音,并易于后续条形码识别的整形方法。     

基于新能源汽车远程监控系统的数据采集和传输研究

分析新能源汽车远程监控系统的工作原理,结合GPS数据格式和车辆状态数据格式,本文研究了车辆定位信息和车辆状态信息的采集和处理.为了服务器端数据解析的方便,将全部数据统一到一种制定的空中协议.然后研究GPRS的数据传输流程,编程实现数据实时传输到服务器端,并通过测试验证方法的可靠性.     

关于ω阶Euclid模

左R-模M称为ω阶Euclid模,如果对任何a,b∈M,a≠0,存在k阶可除链(k∈N),使得ф(mk)<ф(a),其中ф:M→NU{0}且满足:ф(m)≥0对任何m∈M;ф(m)=0当且仅当m=0.文章证明了:ω阶Euclid模存在着有限的可除链;每一个单模是ω阶Euclid模且ω阶Euclid模的子模是循环的;ω阶Euclid模的同态核与同态象仍是ω阶Euclid模,但后者的逆命题不成立,并构造了一个适当的反例.     

多核微处理器加速平台RAMP研究

微处理器向多核和众核方向的发展给计算机体系结构带来了新挑战.针对这一挑战,多核处理器加速平台RAMP应运而生,通过采用多FPGA模拟,用FPGA以硬件的速度级来模拟高度并行体系结构,给并行和多核体系结构的研究带来了新的途径和手段.分析了RAMP平台的体系结构和设计框架,简介了当前主要的RAMP研究项目,并从RAMP架构...