递阶混合控制系统的分析,综合与证明

提出两类离散事件域的自动机作为控制分析与综合的中间模型，基于广义受控对象的等价事件模型，递阶型的控制器可被系统地综合。为了保证系统分析和综合的正确性，利用Ｈｏａｒｅ逻辑得到一些验证规则。最后以一级倒立摆的控制为例加以说明。     

基于混合自动机的PSL模型研究

基于SPICE的计算机仿真方法在混合信号电路验证应用中具有较大的计算开销,讨论基于属性描述的建模方法减小计算开销的问题。通过分析PSL(property specification language)对系统属性的形式化描述方法,并分析混合自动机理论对混合信号系统抽象能力,提出了适合于混合信号电路系统快速验证的PSL模型。结合混合自动机对PSL进行了基于混合自动机语义特点的扩展,使用巴克斯—诺尔范式对其拓展后语法进行规范,提出具有描述混合信号电路行为特性的HAPSL(hybrid automata-base     

基于"互联网+BOPPPS"混合教学模型的教学设计

本文通过对BOPPPS教学模式、混合教学模式的阐述,分析其特点以及在教学过程中所具备的优势,融合BOPPPS教学模式和混合教学模式的优势,设计BOPPPS+混合教学模式教学模型,并把教学模型应用教学实践中,进而提出教学反思,针对教学反思以及展现出的问题,提出相应的对策,优化BOPPPS+混合教学模式教学模型.     

基于混合自动机的Post-WIMP界面的建模

Post-WIMP界面作为继当前的主流界面范式——WIMP界面后的下一代界面范式,它和WIMP界面有着很大的不同,通过使用虚拟现实、语音交互、手势交互等技术,它能够提供更加自然高效的交互方式.然而,它却难以构造.为了有效地构造Post-WIMP界面,在构造之前不考虑实现细节,而在一个抽象的层次上描述它是一个较好的方法.首先,分析了Post-WIMP界面的交互本质,交互混合性是Post-WIMP界面一个最为重要的特点.从形式化系统的角度分析Post-WIMP界面,通过将Post-WIMP界面抽象为混合系统能够更为准确和严格地分析Post-WIMP界面的特性.混合自动机是用于描述混合系统的形式化工具,将Post-WIMP界面建模为一组相互协作的混合自动机.设计了一基于混合自动机理论的半形式化语言LEAFF作为Post-WIMP界面的描述工具.LEAFF通过结合文本描述和图形描述描述Post-WIMP界面中的交互行为,能够准确地反映交互中的控制关系、时序关系.给出了对两个典型Post-WIMP界面——虚拟现实交互和笔式交互的描述实例,同时讨论了Post-WIMP界面中交互并行性的描述、交互实时性的验证和从描述到实际交互系统构造的转换.     

混合控制系统及其分析与设计方法

混合控制系统是指那些由实时产了系统和实时数值反馈子系统组成的系统，这类系统的特点是事件变量和时间变量的演化在不同系统内并行，实时地进行，本文基于对混合控制系统以往研究框架的分析，给出了混合控制系统的一个新框架，并提出了混合动态系统的分析和设计方法，混合控制系统的包括系统性能指标的分解，决策子系统的设计和实时数值反馈子系统的设计，其分析则分为离散时间域和离散事件域分析，文中采用了煤气炉系统作为例子说     

基于强化学习方法的悬浮车停车混合控制设计

强化方法是一种通过行为学习,得到最佳控制策略的方法.本文研究利用这种方法实现项目中超导悬浮车运动过程最佳停车问题.通过模型的建立,转化为求导系统的最优化问题;超导磁悬浮车的控制由于会受到电磁干扰、悬浮高度等的影响,用传统的方法求解控制方法将需要求得精确的控制模型;而利用Q-Learning 方法,通过多次样本的学习.寻求最佳的控制策略,则可求得在不同速度下的最佳控制策略.最后,使用Q-Learning方法的控制策略在仿真中得到了很好的效果,该控制方法将进一步应用于超导模型悬浮车的控制.     

基于DSP的混合动力车辆综合控制系统设计

混合动力车辆已经成为汽车技术研究的热点,而总线通讯技术和分布式控制网络在汽车电子领域应用日益广泛。为实现混合动力车辆的能量管理和运动控制,设计开发了基于TI公司TMS320LF2407型号DSP的综合控制系统。在系统拓扑结构设计的基础上,实现了DSP片外存储单元的扩展,实现了通过CAN总线与整车分布式控制网络的通讯。实车实验表明,该综合控制系统能够实现对混合动力车辆实时性的驱动控制,硬件系统工作可靠,软件系统具有移植性;CAN总线通讯可以满足车辆实时性控制的要求。     

MPI+TBB混合并行编程模型在分子动力学中的应用

为了提高分子动力学模拟在对称多处理(SMP)集群上的计算速度,在分子动力学并行方法中引入MPI+TBB的混合并行编程模型。基于该模型,在分子动力学软件LAMMPS中设计并实现混合并行算法,在节点间采用MPI及空间分解技术实施进程级并行,节点内采用TBB及临界区技术实施线程级并行。在SMP集群中的测试表明,该方法在体系较大以及节点数较多时可以明显减少通信时间,使加速比在纯MPI模型上提高45%。结果表明,MPI+TBB混合并行编程模型可促进分子动力学并行模拟且效率明显提升。     

一种基于混合自动机模型的节点动态功耗管理机制研究

为了降低传感器节点的能耗,从而延长传感网络的使用寿命,本文将传感器节点的工作状态划分为四种,并设计了一种基于混合自动机的节点工作状态转换模型.为降低事件丢失率,文中定义了温度和相对湿度两种环境变量,该模型根据这两种环境变量是否跳变来决定节点进入何种工作状态;同时该模型考虑了节点的剩余能量,提高了节点能量使用的均衡性.仿真实验结果表明:该方法是有效的.     

一个数值天气预报模式的并行混合编程模型及其应用

提出了一个适用于数值天气预报模式的并行混合编程模型,归纳出混合并行算法设计的特点.依据该模型,针对国内发展的区域数值天气预报模式,开发基于MPI/OpenMP的并行版本.通过对五种并行方案的并行性能分析比较,发现其结果同抽象模型的分析结论是一致的.     

基于DSP的工业机器人控制器的设计与实现

提出了一种基于DSP技术的工业机器人控制器的设计，该控制器采用一台工业PC机以 及一块DSP多轴运动控制卡，较好地实现了机器人的实时控制，提高了机器人控制器的运动 控制性能，最后给出了相关的实验和结论．     

基于混合核平滑自编码器的分类器设计

自编码器是一种重构输入数据的神经网络,具有较强的特征学习能力,被广泛地应用在各种分类任务中。为了将自编码器应用于分类任务中,研究一种基于混合核平滑自编码器的方法进行手写数字和人脸图像的分类。对不同核函数的权重进行比较,同时还将结果与稀疏自编码器进行比较。实验结果表明基于混合核的平滑自编码在一定的比例下可以获得比单个核函数更好的分类效果。     

基于反馈线性化的磁悬浮控制器设计

对于磁悬浮模型的稳定控制,工程上常用的方法是将非线性磁悬浮模型在工作点附近进行泰勒展开,忽略高阶项以后,得到线性化模型,但这会影响到系统的稳定.本文建立了磁悬浮系统的动态模型,并采用状态反馈精确线性方法对其进行线性处理.设计了以电流作为输入控制量的闭环控制器,并通过Matlab仿真实验,证明了该方案的可行性、实用性.     

基于改进蛙跳算法的PID控制器的优化设计

针对多变量、非线性、强耦合性的倒立摆系统,首先建立其数学模型,然后对该模型分别进行PID控制。在PID控制中,参数K p、K i和K d的选取直接影响倒立摆的动力反应和控制力。目前主要依靠人工经验调整来确定K p、K i和K d组合以获得较好的控制效果,这种参数选择方法存在较大的主观性和盲目性。采用改进蛙跳算法对PID控制器的K p、K i和K d进行全局优化是一种新的人工智能优化方法。仿真实验表明,该算法能有效地获得最优的参数组合,使PID控制效果能够满足结构性能要求。     

基于混沌搜索的模糊控制器参数最优设计

基于混沌变量，本文提出一种模糊控制器最优设计方案．离线优化采用混沌算法，将混沌因子引入到模糊控制器参数域的优化搜索中，用载波方式将优化变量转变成混沌变量，再利用混沌运动的遍历性和随机性直接寻优，得到模糊控制器参数的全局次优解．在线优化采用共轭梯度下降法，把混沌搜索后得到的全局次优值作为梯度下降搜索的初始值，实现混沌全局粗搜索和梯度下降局部细搜索相结合的优化目的，能很快找到模糊控制器参数的全局最优解．最后对算法的收敛性进行了证明．     

一种基于Cache机制的嵌入式Flash控制器设计

嵌入式Flash(e Flash)在SoC中的运用日益广泛,而Flash较慢的读取速度与处理器高频取指之间的矛盾愈发突出。针对该问题,在Flash控制器中引入Cache机制,并运用组相联映射、优化的"最近最少使用"LRU(Least Recently Used)替换算法、流水预填充结构对Cache进行多方面优化。与未加入Cache机制的Flash控制器相比,加入Cache机制的Flash控制器可使处理器取指时间节省38%。     

SATA及ADMA控制器Linux操作系统驱动的设计与实现

信息时代,数据的存储及远程备份尤为重要。为了满足用户对存储系统产品的高性能及低费用的需求,设计和实现了一种新型存储外设的操作系统驱动,该存储系统采用SATA磁盘及ADMA控制器并基于Linux系统。着重于如何驱动SATA磁盘及ADM／,控制器并实现一些关键功能,以大幅提升数据存储性能。实验结果表明,性能已远超过采用IDE磁盘的存储系统,对于大批量数据存取,性能更为显著。     

基于迭代学习控制的PID控制器的设计方法

研究了迭代学习控制在前馈和反馈环节上的结构原理,克服了迭代学习控制必须在有限时间区间上实现完全跟踪的限制,依据迭代学习控制的特点,提出了两种拟合PID控制器参数的新方法.并进行了仿真实验,充分证明了该方法具有一般性和实用性.     

NONLINEAR CONTROLLER DESIGN BASED ON OPTIMAL MATRIX ASSIGNMENT

Matrix assignment of linear control design is extended to nonlinear control. Linear and nonlinear controllers based on higher powers in the state variable are used for solving this optimization problem. The method presented addresses a scanning operation in the state-space region under consideration and minimizes the maximum deviation to the linear control design target. In addition, emphasis is put on Lyapunov conditions for stability and on controller norm restrictions.     

基于MVC的Web控制层的开发模型设计

本文就B／S结构下的Web开发进行了分析，提出了一种基于MVC的Web控制层的开发模型，介绍了该模型的设计和具体功能。利用该模型开发时，具有开发灵活、易扩展、维护方便等优点，简化了Web控制层的开发过程。