生物技术专业实验模块化教学创新探索

为培养生物技术专业学生的科学素养、创新潜能和解决实际问题的能力,遵从生物学实验的规律和现代实验技术特点,将生物技术专业实验内容设计为三大教学模块。其教学内容更具系统性、层次性和实用性。通过模块化实验教学模式的探索与实践,使学生在科学研究和技术开发方面的科学思维方式和创新技能得到了更有效的培养训练,取得了良好的实验教学效果。     

星务管理软件框架设计与实现

星务管理软件是星务管理系统的灵魂,而星务管理软件框架为星务管理软件提供一个通用、标准的软件平台。结合微纳探测器软件功能集中化的需求,卫星各分系统的管理软件基本都集中在星载计算机内运行,对星务管理软件进行一体化设计;星务管理软件功能复杂,为便于用户软件的可复用和可移植,对星务管理软件采用模块化设计。最终实现星务软件功能一体化管理,各功能模块任务按预定模式在星载计算机中运行。     

量子力学中的傅立叶变换算符

利用坐标、动量本征态和相干态构造了三种不对称投影算符,并利用IWOP技术证明了这三种投影算符就是量子力学中的傅立叶变换算符．该算符可以实现坐标与动量本征态之间的傅立叶变换,以及坐标与动量算符之间的幺正变换．     

面向方面的模块化推理框架研究

3.贵阳学院物理与电子信息科学系, 贵州 贵阳 550005)〖GK2*2]摘要：模块化推理在程序分析和程序验证领域得到了广泛的关注与应用,其应用范围涵盖了程序静态分析、程序进化、程序验证等方面。由于面向方面程序设计(aspect-oriented programming, AOP)存在量化和易忘性等特点,违反了传统程序方法学中的模块化原则,从而容易引起方面干扰问题,使对面向方面程序进行模块化推理更加困难,严重影响了AOP的应用前景。本文阐述了面向方面程序的模块化推理目标和类型,描述了常用的面向方面程序的模块化推理方法,总结了面向方面程序的模块化推理尚存在的一些问题,指出了可能的研究方向。     

求自由模Z（n）的子模的基的新方法

求Z^（n）的子模的基,传统的方法是用λ-矩阵,计算量较大.以模方阵为工具,给出纯数字矩阵的新的求基法,并给出全部基的公式.     

符号函数在一些分片函数及其导数计算中的解析表示

利用3种符号函数研究分片函数及其导数的解析表示.首先,利用实例和第1种符号函数的特性讨论一元分段函数及其导函数的表示,并给出了连续可导的分段函数及其导数的一般解析表达式.其次,利用实例及第2种符号函数的特性研究多元分片函数的偏导数及其简化表示.最后,借助第3种符号函数探究单增跳跃函数广义导数的解析表示.     

“即插即用”型IT人才培养模式探索

随着我国信息化的深入,对应用技术型人才的需求不断增加,要求也越来越高。但目前的IT教育却陷入困境,培养的学生不能满足社会的需求。文章首先分析了IT人才培养所面临的主要问题,针对存在问题探讨了IT人才培养模式改革方向,并提出了动态模块化课程体系设置、实训培养、认证考核等IT教育的新模式。     

模块式实验课程体系构建探索

对生物技术大实验进行了教学改革,实行模块式课程体系,为学生构建清晰的理论专业知识和实验操作框架,使学生认识每个独立实验在整个实验过程中所处的地位和作用。实践证明该项措施可以加深学生对专业知识的掌握,培养具有创造性思维和开拓精神的科研人才,激发学生的实验兴趣,有利于掌握正确的科研思维和实验技能。     

一种改进的MMC电容电压均衡控制方法

电容电压排序法是一种简单有效的MMC电容电压均衡方法,传统的排序算法会导致子模块反复投切,造成器件开关频率过高,增加了MMC的运行损耗.为此提出了一种改进的方法,即由允许的电容电压偏差大小和桥臂电流计算出维持子模块电压均衡所需的最小排序频率,并将排序频率控制在该最小值处,减少了不必要的子模块投切次数,从而在较低的开关频率下维持各子模块电压的均衡.在Simulink中搭建了MMC仿真模型,对改进前后的两种方法进行对比,仿真结果表明:改进的排序法能够有效降低开关频率,降幅可达70%.     

模李超代数Ω的结合型与限制性

讨论了李超代数Ω的内蕴性质,给出并证明了李超代数Ω具有非退化结合型的充分与必要条件,进而确定了所有限制Ω型李超代数.