异步电机S函数建模及矢量控制仿真实验设计

在分析异步电机数学模型及矢量控制原理的基础上,采用S函数建立了异步电机仿真模型,并将其应用于异步电机矢量控制系统的仿真建模中。针对异步电机起动及突增负载转矩的动态过程,利用Matlab/Simulink仿真平台对矢量控制系统进行了仿真实验和分析,验证了所建立电机模型和矢量控制系统仿真模型的正确性。通过仿真实验教学改善了课堂教学效果,有利于培养学生分析问题和解决问题的能力。     

关于S族函数的一个估计

用初等方法得到单叶函数族S中函数平均模数有关的一个较精密估计,改进了现有结果.     

防火墙包过滤规则正确性验证

随着网络技术的迅速发展，应用网络技术和共享网络资源已经成为我们日常学习、工作中必不可少的部分。只要网络存在，安全问题就会作为一个极其重要和极具威胁性的问题存在。目前市场上有各种各样的安全工具，技术最成熟、最早产品化的就是防火墙，防火墙是安全策略的技术实现，包过滤系统是防火墙最基本、最重要、最核心部分。防火墙的包过滤规则是根据实际需要的安全策略来制定的，对规则集应该考虑整体是否有效、规范，而不应该是规则集中的每条规则是否有效、规范。本文实现了包过滤规则在应用之前能够进行规则的冲突检测，避免规则之间出现矛盾、冗余，便于规则的管理和维护，也便于制定较为完备的安全策略。     

关于S族函数的一个估计

用初等方法得到单叶函数族S中函数平均模数有关的一个较精密估计，改进了现有结果。     

直流电动机传递函数测定的实验研究

传递函数是控制理论中对系统进行分析、综合的基本数学工具.该文设计的实验综合了控制工程基础课程中关于系统、传递函数和一阶系统的时间响应的内容,并结合计算机仿真软件Matlab,对直流电动机系统的传递函数进行了实验测定和仿真研究,可以更加有助于对课程内容的理解和基本方法的应用.     

RGPS服务层元模型正确性验证

随着网络式软件复杂程度的日益增加,如何确保网络式软件功能和性能的正确性越发重要。根据网络式软件的特点,在RGPS需求元建模框架的指导下,提出RGPS服务层元模型正确性验证。首先用BPEL语言和WSDL语言把RGPS服务层元模型描述成BPEL模型,再用Promela语言实现BPEL模型的建模,最后输入LTL公式对RGPS服务层元模型进行安全性和活性验证分析。以城市交通出行系统为例,采用RGPS需求元模型为框架,构建城市交通出行系统服务层元模型。     

一种基于Petri网的工作流过程模型正确性的有效验证方法

随着工作流应用的日益广泛 ,工作流模型正确性验证的重要性日渐突出 .论文研究了工作流过程模型的基于Petri网的正确性验证方法及发现过程模型设计中存在的潜在错误 ,给出了一个有效的验证算法     

关于S。类函数的开始多项式

本文得到了S。类函数开始多项式Sn（z）的凸性半径及a一级星形半径，并简单地导出了S（k）类函数开始多项式Sn（z）的星形半径。     

用波动方法证明元函数的正确性定理

以计算逻辑为理论基础，采用波动方法证明了计算逻辑中的一个重要定理——元函数的正确性定理．     

共射极电路在S域中的处理与仿真

本文主要将电子技术基础、电路与系统理论、信号分析和信号处理结合在一起.从频域的角度对共射极电路进行了分析,在PSPICE里对共射极电路进行了时域、s域分析和仿真,指出了理论分析的近似性及实验仿真的可靠性.     

二阶系统传递函数实验改革与探讨

详细地探讨了二阶系统传统函数教学试验模拟的原理和方法，在此基础上改革为MATLAB仿真试验。     

传递函数的求取方法

在自动控制系统中，对于线性定常系统，可以用常系数线性激分方程加以描述.当给定输入的时间函数时，通过解微分方程，可以得出系统的输出响应.很据输出响应的数学表达式可以画出时间响应曲线，直观地反映出系统工作的动态过程.通常采用传递函数这种与微分方程等价的数学模型来研究控制系统的性能.本文主要讨论传递函数的几种求取方法.1拉普拉斯变换的定义对于实变量t的函数f(x)，如果积分为复变量）存在，则称这一积分为函数f（t）的拉普拉斯交换（简称拉氏变换），记作F（S）或，即几种典型函数的拉氏变换：（1）单位阶跃函数F（S）一去…     

基于开环对数幅频特性求系统传递函数的方法

由开环对数幅频特性求系统传递函数的问题类型较多,对这类问题的求解方法进行分析、总结,并通过例题加以说明。     

基于开环对数幅频特性求系统传递函数的方法

由开环对数幅频特性求系统传递函数的问题类型较多,对这类问题的求解方法进行分析、总结,并通过例题加以说明。     

基于双传递函数模型的线性系统仿真分析

采用单个传递函数建立的单输入-单输出线性系统模型,仅能用于分析系统的零状态响应 文中采用双传递函数建立系统模型,可全面地分析系统的零状态响应、零输入响应及完全响应     

基于ROS开发平台的服务机器人智能导航系统及仿真验证研究

对室内移动机器人的定位导航系统进行了改进设计。基于机器人操作系统(ROS)开发平台,应用树莓派控制器进行平台控制,采用激光雷达进行环境信息收集,开发了一种拥有路径规划等多种功能的软件算法。仿真结果说明该系统所构建的环境地图可以达到很高的精度,并且可以进行模块化开发和拓展,降低开发难度及费用。     

圆弧形曲梁的传递函数方法

应用传递函数方法求解圆弧曲梁,将复杂的曲梁分成若干一维子系统,轴力作为子系统的参数,通过引入状态变量,将曲梁的控制方程及边界条件改写成状态空间形式,再借鉴有限元的拼接方法,得到梁的变形解.文中的数值算例显示了此方法的可行性.     

三人裁判电路的设计与验证

裁判投票器在日常生活中应用广泛,为了实现某节目中投票器的表决功能,基于三位评委的投票晋级规则,采用理论设计法、仿真法和实验法逐步实现。首先,根据组合逻辑电路设计出对应规则的三人裁判电路。其次,通过芯片选型和电路接线,在电子电路仿真设计软件中绘制仿真图,演示过程实现了裁判电路的功能。最后,在实物演示中验证了三人裁判电路的投票功能,与组合逻辑电路的设计保持一致。通过理论、仿真和实验三种方式的互相比较,可以证明三人裁判电路设计的正确性,运用组合逻辑电路的理论设计,可以实现相应投票功能。     

基于Pi-演算的服务组合正确性验证

对于Web服务及其组合而言,保证其正确性并实现增值服务是十分必要的。Pi-演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。通过建立一个实际的模型,用Pi-演算对Web服务及其组合进行建模,并利用形式化工具对建立的组合模型是否正确以及是否满足需求进行了验证。     

Intranet安全架构模型的研究与验证

根据Intranet的特点,分析了Intranet存在的安全问题及其安全需求,提出了一个有效、可用、安全的Intranet安全架构模型.该模型体现了网络安全管理和技术并重、纵深防御和分层防护的思想,强调了人在Intranet安全中的核心作用.为该安全模型设计,部署了一个可行的方案,通过一系列的仿真实验验证了提出的Intrarlet安全架构模型.