基于康奈尔笔记法的Nyquist判据教学方法研究

针对“自动控制原理”Nyquist稳定判据教学中存在的应用条件复杂、奈氏图环绕判断抽象等问题,给出一种基于康奈尔笔记法的Nyquist稳定判据教学方法。依据康奈尔笔记法对Nyquist稳定判据的使用条件及准则进行5R归纳,总结为与系统开环频率特性相关的Nyquist曲线起点、终点及奈氏图与(-1,j0)点的影响关系,给出应用旋转矢量代替回环以及正负穿越判定的特定应用准则,突出判据的数学机理分析。实际教学效果验证了所提方法的有效性与可行性。     

汉语动词的意愿范畴及其句法表现——对自主范畴的再认识

马庆株(1988)把[士自主]作为一个基本语义特征对汉语动词进行分类,我认为[ 自主]还可以细分为[ 意愿][ 可控](能力),两种因素对动词的句法行为也有重要的制约作用.分析表明,对[±自主]的这种分解能够充分解释动词自主义隐现的条件和原因、主动与被动的对立.意愿情态(willingness)是意志情态(volition)的子类,以往对情态的研究集中在助动词上,本文则认为意愿情态可以作为普通动词的语义特征并对动词的句法功能有影响,是一种普遍存在于动词中的语义范畴.     

使用NWA对组合web服务进行可达性分析

为了提高组合web服务的设计和实现质量,使用形式化方法对其进行建模并对其关键性质进行验证.使用web服务接口控制流自动机（WCFA）对web服务进行建模,主要描述其控制流及与其他web服务的交互关系.组合web服务由一组交互的WCFA组成.使用嵌套字自动机（NWA）对组合web服务的整体行为进行建模.将一组WCFA转换为嵌套字自动机（NWA）的算法是深度优先搜索算法的变种,算法中使用路径相关的可达性分析计算NWA的每个节点的状态公式和调用栈.安全性相关性质、调用栈相关性质及服务调用的前置和后置条件都可以用断言来描述,然后使用一个自动的可满足性（SAT）求解工具对这些断言进行验证.     

用Winsock控件编写客户/服务器通信程序

网络编程日益成为人们编程的一个重要内容.本文介绍了如何使用Winsock控件以及用它编写客户/服务器通信程序的方法.     

谨防非洲大蜗牛在思茅境内传播危害

非洲大蜗牛是一种繁殖迅速的外来入侵动物。近年来，思茅境内发现有非洲大蜗牛分布，文中就非洲大蜗牛的生物学特性、传播、危害及防治进行了讨论。     

PLC在水塔水位控制系统中的应用

设计和实现了一种采用SATTCONTORL-PLC_5可编程序控制器为主控制机的多泵恒压供水控制系统。该控制系统是在传统水塔/水箱供水的基础上,加入了PLC、变频器以及压力变送器等器件组成,能够实现恒压供水。详细论述了系统硬件结构、操作流程和控制方法,以及各器件之间的协调控制方法,实现了对供水的恒压自动控制,提高了供水质量。     

基于四轴运动控制教学平台的多元实践体系改革

针对高等教育教学中重理论、轻实践,未注重学生创新能力以及综合能力培养等问题,设计了一款可模拟实际工业检测分类装置的运动控制教学平台。该平台不但能够很好地模拟实际的工业场景,实现基本的运动控制功能,还具有很好的开放性和可扩展性。运动控制教学平台既可用于随堂常规实践,也可用于注重学生创新能力及综合思维能力培养的课程设计和毕业设计,形成多元化的实践教学体系。在加深学生对所学知识理解的基础上,充分锻炼他们的创新能力、解决问题的能力以及工程实践能力,培养真正适应于社会的工程应用型人才。     

一种新型变压器保护测控装置的设计

介绍了一种新型的变压器保护测控装置,结构上采用一体化结构设计方法,ARM DSP的多CPU架构为硬件核心,CAN现场总线为通信总线,以uClinux和C语言为软件开发平台,实现对牵引变电所主变压器的保护、测量、控制、通信等功能,具有可靠性高、智能化程度高、结构合理、成本低等特点,适合作为牵引变电所的新型主变间隔装置。     

基于微程序技术的CPLD程序控制系统设计

分析程序控制系统在计算机组成原理仿真实验中的特点，重点介绍了系统基于微程序技术的设计过程及CPLD的总体结构，最后给出用ABEL语言对系统进行描述的部分程序。     

工程量清单下的成本控制

通过工程量清单报价的新模式,本文讨论如何规范工程量计算,提高管理水平.