共查询到20条相似文献,搜索用时 62 毫秒
1.
阐述了形式推导方法的基本理论和基本思想.程序的形式推导方法是一种基于程序正确性证明理论的程序开发方法,它使得程序的开发与证明同时进行. 以实例说明了程序形式推导方法的使用. 相似文献
2.
本文提出了一种有关对圆周运动的推导,这种推导方法与通常所见的物理教科书上的有关推导有明显的不同,而且清晰、易懂。本文还对其他圆周运动加速度的推导进行了介绍和比较。 相似文献
3.
本文提出了一种有关对圆周运动的推导,这种推导方法与通常所见的物理教科书上的有关推导有明显的不同,而且清晰、易懂.本文还对其他圆周运动加速度的推导进行了介绍和比较. 相似文献
4.
酶促反应是一类特殊的重要反应,它的动力学方程式和推导一般都基于稳态法.本文介绍了矩阵方法和图形方法.并就两种方法的本质联系作了详尽的推导。 相似文献
5.
《聊城大学学报(自然科学版)》2013,(3)
考虑曲面的结构方程的推导方法问题.引入了一种从矩阵方程出发整体推导曲面结构方程的方法.此方法以矩阵乘法运算代替繁杂的张量符号变换,不仅使推导过程简化,而且也使推导的整体思路更为清晰. 相似文献
6.
提出了一种热力学关系推导过程的直接方法,该方法不仅可以简化推导的过程,而且可以提高学生对数学基本概念和热力学规律的认识. 相似文献
7.
8.
9.
介绍了支持复杂协议形式化并行推导的PDS协议衍生推导系统和IKE协议.给出了使用PDS形式化衍生IKE协议的核心认证部分的方法. 相似文献
10.
11.
尔古打机 《西南民族学院学报(自然科学版)》2011,(Z1):162-165
相比于传统条件下线性代数的课堂教学模式和方法,多媒体环境下线性代数的教学模式和方法迎来了新的机遇和挑战.如何在这种新机遇和挑战并存的条件下进行有效的线性代数课堂教学工作,从而有效提高线性代数的课堂教学效率成了线性代数教学中亟待解决的难题.本文着重探讨了这种新形式下有效提高线性代数课堂教学效率的模式、方法和技巧. 相似文献
12.
谢红兵 《西南民族学院学报(自然科学版)》2011,(Z1):30-33
AutoCAD电气设计是计算机辅助设计与电气设计结合交叉学科.随着电气技术的发展,AutoCAD电气设计已经形成一个独立的领域,得到了广泛的应用.本文针对AutoCAD电气设计的操作技巧及常见问题,总结教学中积累的经验和方法,为设计人员提供常见的绘图技巧和方法,对提高绘图效率有所帮助,并对AutoCAD电气设计中常见的问题进行了研究,提出了各种解决的办法. 相似文献
13.
结合我校实际情况探讨了通信原理课程教学改革的思路和途径,重点从课程的教学内容、考核方法、实验教学等方面提出了自己的观点和看法,并对课程改革进行探讨. 相似文献
14.
从毕业生供需矛盾、综合素质、职业生涯规划教育、社会资源四个方面分析了民族大学工科毕业生就业问题;从提高毕业生就业竞争力、加强就业指导、拓展就业市场三个方面探讨了加强和改进民族大学工科毕业生就业工作的方法和途径. 相似文献
15.
赵玉峰 《甘肃联合大学学报(自然科学版)》2011,(Z1):20-22
就如何减轻高中学生学习数学的负担和提高高中数学教学的实效性做了探讨.通过对高中学生数学思维障碍的成因及突破方法的分析,希望能对提高高中数学教学的实效性和高效性提供有意义的参考. 相似文献
16.
本文根据当今集中式多机器人协作系统的特点,提出了一种新的可以运用到目标物追踪过程中的多机器鱼协作方法.设计了基于ZigBee和RFID构建的多机器鱼协作系统,并通过进一步研究分析,得出该系统扩大了机器鱼系统的视觉范围,提高了机器鱼完成任务的效率,从而达到了协作优化的目的. 相似文献
17.
吴双 《西南民族学院学报(自然科学版)》2011,(Z1):117-119
科学技术的发展日新月异,作为一名大学老师必须随着科学技术的发展不断充实、更新自己的知识,提高自身的科学素质.开展科学研究是提高老师科学素质最有效地的方法,科研可以促进老师及时了解当今科学技术发展的动态和前沿,使老师的知识随着时代的发展、随着科学技术的发展不断充实、更新和提高,同时也使老师传授的知识具有当前科学技术发展的信息和元素,丰富了教学内容,提高了教学质量. 相似文献
18.
赵康 《西南民族学院学报(自然科学版)》2011,(Z1):140-143
太赫兹(THz)波是指频率在0.1—10THz(波长为3 000—30μm)范围内的电磁波,它在电磁波谱中占有很特殊的位置,处于电子学向光子学的过渡区域.THz辐射具有很多优越的特性,具有重要的学术价值和应用价值.本文介绍了太赫兹探测技术的研究与发展概况,简要阐述了太赫兹波的探测方法、主要特点、重要的学术应用价值和主要产品,并综述了国内外在太赫兹波领域的研究进展,对未来的发展与应用进行了乐观的展望. 相似文献
19.
20.
Matlab是一个功能非常强大的工具软件,具有良好的开放性和运行可靠性,专家和学者们在众多领域以Matlab为基础开发的实用工具箱更极大丰富了Matlab的内容,从而使该软件受到了多个专业工程人员的青睐.对于电力行业的工程技术人员来说,在进行工程实践之前迫切需要先在计算机上对系统进行仿真,而在Matlab中,有专门用于电力系统仿真的工具箱,因而,对于电气工程及其自动化专业的学生来说,Matlab是一门非常重要的专业课程.本文通过对Matlab教学方法的探讨,力求找到一种好的方法以期提高本课程的教学质量,达到良好的教学效果,进而提高学生的实际动手能力. 相似文献