检索结果-南通市图书馆

秩函数法是循环终止性分析的主要方法,秩函数的存在表明了循环程序是可终止的.针对单分支线性约束循环程序,提出一种方法对此类循环的终止性进行分析.基于增函数法向空间的计算,该方法将原程序空间上的秩函数计算问题归结为其子空间上的秩函数计算问题.实验结果表明,该方法能有效验证现有文献中大部分循环程序的终止性.

关键词：循环程序线性秩函数增函数终止性多阶段秩函数

来源：

维普期刊数据库

同方期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

《电工电子技术简明教程》实例套件的开发与应用

引用

实验技术与管理 2012年第4期 293-295+298页

作者：王志秀曾建唐蓝波张吉月晏湧北京石油化工学院信息工程学院

在理工科课程的教学中,理论课程通常会引入实例教学突出课程的工程性和实践性。在《电工电子技术简明教程》中,数字电子秤电路作为一个融合了电工技术和电子技术的工程实例,贯穿教材,体现了教程的实践性、系统性和工程性的特点。为了在... 详细信息

在理工科课程的教学中,理论课程通常会引入实例教学突出课程的工程性和实践性。在《电工电子技术简明教程》中,数字电子秤电路作为一个融合了电工技术和电子技术的工程实例,贯穿教材,体现了教程的实践性、系统性和工程性的特点。为了在教学中突出电工学课程的实践性,开发出数字电子秤套件,在理论教学中引入实例教学,把抽象的电路模型转换为实际电路,巩固理论教学的同时,激发了学生实践的兴趣,有利于提高学生的工程实践能力。

关键词：电工电子技术教程数字电子秤套件开发应用

来源：

同方期刊数据库评论