课程文献中心 更多>>

关键词： 形式验证   模型检验   SAT   E—CNF   标志子句  

摘要： 基于SAT的运算电路查错方法将被验证系统中系统规范成立与否的问题转换为布尔公式和数学公式的混合形式E-CNF,通过采用了标志子句技术的E-SAT求解器进行求解.实验表明该方法自动化程度高,能处理大规模的运算电路,有较强的查找错误能力.

关键词： 解题方法   运算   曲线运动   非常规解法   中学物理   平抛运动   运动物体   高中数学  

摘要： 平抛运动是中学物理中典型的曲线运动，处理该运动，要求灵活地运用运动的分解和合成知识，而对于求解平抛运动物体离斜面最大距离的问题，方法则是见仁见智的比如下面一题就是这类习题的典型例子，本文试利用高中数学中函数和几何方面的知识来寻求对这类题目的非常规解法。

关键词： CISC   RISC   时钟周期   优化技术   CPU  

摘要： 计算机指令系统是计算机发展中一个非常重要的研究课题,是计算机设计中的重要内容之一.指令系统的发展是伴随计算机硬件和软件的发展而演变的.RISC(精简指令系统)是继CISC(复杂指令系统)之后产生的指令系统.为了提高处理器的执行和运算速度,精简指令系统采用了各种优化技术.对这些技术进行分析和研究,对于精简指令系统的进一步发展有着重要意义,在现代高档的计算机设计中也是一个相当重要的环节.

关键词： 教学改革   汇编语言   指令系统  

摘要： 在多年汇编语言程序设计课教学实践的基础上,结合我校计算机专业学生的培养目标,提出对计算机专业汇编语言程序设计课教学改革的设计。提出将汇编语言程序设计课的教学过程分为课堂教学、实验教学和课程设计三大部分,分四个阶段进行,即:基本语法规则重点讲授阶段、难点与精华部分详细讲授阶段、高级汇编语言技术、输入输出与中断调用程序设计方法介绍阶段和课程设计阶段,并给出了课时安排表。

关键词： 曲线问题   运算量   数学解题能力   优化解题过程   引导学生   解题方法   思维品质   教学  

摘要： 在数学中，解题方法是否得当，常常是导致解题的难易、简繁程度悬殊的主因．而学生往往是顺题而解，常在繁杂的运算中越陷越深、不能自拔．因此，在教学中有必要引导学生探求优化解题过程、降低运算量的方法与技巧，这对培养学生的思维品质，提高数学解题能力很有好处．本文以二次曲线问题为例，介绍几种降低运算量的方法与技巧，以供参考．

关键词： 模糊线性规划   模糊规划   目标函数   约束条件  

摘要： 讨论了一类带取大号∨或取小号∧的规划问题的求解方法,采用约束区域分割法,将该类模糊规划问题转换成一般的普通规划问题,并运用约束区域分割法对一个实例进行了求解.

关键词： 高压间隔控制单元   开关站   电气控制系统  

摘要： 扬州第二发电有限责任公司Ⅰ期2×600MW机组500kV开关站电气联锁控制系统是由SIEMENS公司采用传统二次硬接线方式实现电气联锁分散式控制，系统非常复杂和庞大，随着500kV开关站一次设备的增加，按原有模式所构成的全站式电气联锁系统将无法正常工作，因此对目前使用的500kV开关站电气联锁控制系统进行改造十分必要。\n 本文设计的电气联锁控制系统采用了SIEMENS公司的智能化6MD66系列高压间隔控制单元来替代原机械式电气联锁控制单元，将间隔内每个操作控制对象-断路器、隔离开关、接地刀闸的位置信息接入6MD66高压间隔控制单元，用SIEMENS公司DIGSI软件编程完成所有联锁控制逻辑、控制命令的接受和输出，实现间隔内每个被控对象的控制操作；整个系统采用IEC61850通讯规约及冗余式100M以太光纤双环网的通讯结构，相临间隔联锁控制信息的采集由模拟硬接线方式改为通过光纤双环网数字化方式获得，通讯结构具备良好的扩展性，能满足500kV一次系统扩大后的二次系统扩展要求，可接入其它符合IEC61850协议IED设备。\n 与原来的联锁控制系统相比，整个电气联锁控制系统不依赖于后台计算机及任何监控软件即可实现电气联锁控制功能，具有二次系统结构简单、电缆接线大大减少、抗干扰能力极强、安装调试更加方便、运行维护更加简单等诸多优点；经过连续运行及500kV系统电气一次设备的多次实际倒闸操作检验，证明它是一种安全、先进、经济的电气控制系统，对整个电力系统都有推广的价值和借鉴的意义。

关键词： 原式   有理数   运算律   巧用   初中数学   结合相   学生创新能力   基本的   运算方法   行计算  

摘要： 有理数运算是初中数学中最基本的运算,掌握常规的运算方法固然重要,但是在运算中,若能根据原式特点,巧妙地运用有关运算律、或者对算式适当变形、然后再进行计算,不仅可以使运算简捷,而且还有利于学生创新能力的培养.这里介绍几种运算技巧,供同学们参考.

关键词： “算法多样化”   计算数学   运算方法   自我选择   新课程   自由化   学生   教师  

摘要： 计算教学中,新课程倡导"算法多样化"。在实践中,教师已经普遍能鼓励学生积极探索运算方法,并自我选择合适的运算方法。但又带来了两种倾向:一是盲目求"异",为"多样化"而"多样化";二是鼓励"自由化",你喜欢怎么算就怎么算。究竟算法多样化的初衷和归宿是什么呢?在鼓励算法多样化的同时,要不要算法的优化呢?

关键词： 有源电力滤波器   ip-iq法   数字信号处理   数字低通滤波器   仿真  

摘要： 有源滤波器是一种消除电网谐波污染的重要装置,提出了一种基于ip-iq运算方式的双滤波结构的谐波电流检测方法。该方法用DSP实现用于分离直流分量的低通滤波器时,降低了其采样频率,提高了谐波电流检测的精度,增强了实时性。理论分析与仿真结果表明该方法具有较好的谐波检测性能,且设计简单、易于实现,具有一定的实用价值。