“生产计划与控制”课程混合式教学探索与实践

“生产计划与控制”是高等工科院校工业工程专业必修的一门重要专业基础课,掌握其相关理论及方法对于学生将来的实际应用具有重要的现实意义。针对该课程在传统教学中存在的概念知识庞杂,计算分析公式多、参数多,学生过程参与度不足、知识获得途径单一等问题,从教学内容、教学方法、过程考核等方面对该课程进行升级与优化,并依托智慧树平台,对该课程的线上线下混合教学模式进行了探索与实践,以期为该课程的教学改革提供借鉴。

新景矿带压开采技术研究

新景矿的煤层都具有良好的隔水层,但是在开采时仍有突水的可能性。因此,为了保证开采的安全性,需要对新景矿的地下水带压开采进行评价。在带压开采评价时,采用了五图-双系数法,双系数的取值均为0.06 MPa/m。研究结果表明,3^(#)、8^(#)、9^(#)、15^(#)煤层带压开采时,在井田内双系数均小于0.06 MPa/m,正常情况下,发生突水的可能性极小。可以为煤矿带压开采提供一定的参考。

一种针对JVM运行时库安全策略的全自动检测方法

JVM运行时库通过调用自身库函数的安全管理器类能够实现多种安全策略,其中非常重要的一条安全策略是保证程序在执行敏感操作之前必须进行相应的访问控制权限检查.传统上依赖于人工分析来确保JVM运行时库满足该安全策略,由于Java标准类库涵盖上千个类,上万个方法,且处于快速发展和演化过程中,人工分析费时费力,容易出错.本文提出一种全自动、高效、快速的模型检测方法评估JVM是否遵守这一安全策略,扫描Java标准类库字节码文件,将类的成员方法生成控制流图,通过定义检验模型,结合污点分析计算出方法摘要,自动检测出风险方法.

领航跟随法和势函数组合的船舶编队控制

多船舶作业在海上越来越盛行,最常见的运行方式就是船舶编队协控,本文考虑领航跟随法过于集中控制的不足,将船舶编队分为领航–跟随控制阶段和跟随–跟随控制两个阶段.在第1个阶段使用多输入滑模控制以及船舶响应模型进行控制律分配;第2阶段引入势函数方法,结合图形拓扑来约束跟随船舶间的间距,提高队形的稳固性,弥补单一领航跟随法的不足,并通过Lyapunov函数验证系统控制的稳定性.后期通过直线和曲线路径的仿真验证,得到编队船舶的各状态历时趋势,船舶间状态最终达到一致性,实现队形保持的目标,得出良好效果,验证了算法的有效性.

含新能源直流电网的状态反馈控制

为适应直流电网智能、高效、经济地运行,实现网络中不同分布式电源、客户端的协同运行,基于六端树状直流电网物理仿真平台需求提出了一种适用于含新能源并网的电网系统级控制策略。将该六端电网视为一个多输入多输出的系统,利用键图方法提取出网架的状态空间方程,分析该系统的动态特性后确定闭环极点配置的优化目标,并提出用线性系统综合的方法设计了状态反馈控制器。最后,在Matlab/Simulink仿真平台中搭建了该模型,并与传统主从裕度控制方法做了仿真对比。结果显示所提状态反馈控制器对新能源带来的电压波动具有明显抑制效果。

基于复杂网络的微博网络舆情图谱分析方法研究

本文针对微博网络舆情的控制和引导问题,提出一种基于复杂网络的图谱分析方法。本文以微博用户间转发和评论某一话题下用户关系数据作为基础研究数据,生成用户节点网络关系图谱,通过对微博网络模块化图谱、路径图谱和中心性图谱分析,定性和定量评估出对舆情活跃度高、传播范围广、传播速度快的微博用户节点,作为控制微博舆情的传播、引导舆情舆论导向的关键用户节点。本文以某一微博社区为样本数据,采用复杂网络分析工具Gephi,验证了基于复杂网络的图谱分析对识别舆情控制中关键用户节点的正确性和有效性。

主元统计法与符号有向图模型相结合的故障诊断方法

符号有向图(SDG)深层知识模型具有好的完备性和较强故障解释能力,将主元统计法(PCA)和SDG两种方法结合起来,用SDG模型包含的过程信息来解释PCA方法产生的残差贡献图,能有效辨识故障,减少诊断时间,增加诊断过程自动化的程度;同时利用PCA分析建模可以消除变量间的非线性关系,降低噪声影响,有效地避免了传统SDG在确定节点状态和阈值时的单变量统计的缺点。案例研究表明:PCA-SDG定性定量方法可以进行有效的诊断。

液压转向系统功率键合图模型的研究

依据功率键合图原理,研究BZZ5型液压转向器和负荷传感全液压转向系统的建模方法。这种功率键合图模型较通常使用的传递函数和方块图模型更接近于真实的非线性的物理系统,并比传递函数和方块图使用方便,且便于修改,可用来对液压转向器及液压转向系统进行更有效的计算机仿真和优化设计。

干线交叉口的信号协调控制

依据干线交叉口信号配时的基本原理,选取公用信号周期和各交叉口信号的绿信比来确立最初的配时方案,用相位差对方案进行调整,使生成时空图上的绿波带宽度能够达到最宽,从而使干线各交叉口能够最大限度地满足交通流的通行。

基于关联关系图的复杂产品设计迭代控制方法及应用

针对飞机产品设计过程中存在的多参数高度耦合问题,建立了产品设计关系网络图模型,给出了参数关联值的定义,提出了设计迭代控制方法,借助参数关联密度和关联深度,得出了最优设计路径的评价指标。并将该方法用于某飞机机翼的迭代设计过程中,获得了提高中央桁强度的最优设计迭代路径,极大地提高了设计效率。

关于多机器鱼编队优化控制的研究

多机器鱼的编队控制问题,是研究多机器鱼作为一个群体向特定目标或者方向运动,在运动过程中机器鱼相互之间建立并保持指定的几何形状,同时又要适应环境约束。为了实现多机器鱼的编队优化控制,提出了一种领导者-跟随者编队策略和一致性理论相结合的编队控制方法,首先基于图论法,在三维坐标系下应用领导者-跟随者策略,使不同初始位置的多个跟随鱼移动至合适位置,与领导鱼形成指定的几何图形编队;再采用一致性理论实现多个跟随鱼与领导鱼的速度和加速度同步,形成稳定移动的编队。在Matlab环境下进行了3D仿真,仿真结果表明提出的编队优化控制方法是可行的,并具有容易控制和控制稳定的特点。

基于SED1330液晶控制器的多种显示技术及其实现

介绍了液晶显示屏开发中的各种显示技术,实现了汉字的图形方式显示、数字及符号的文本方式显示,静态图片显示、实时曲线的动态显示等多种显示方式的软件设计,提出了一种便于观察整体趋势的曲线压缩技术及其关键编程技术,使测控系统中对被测参数的精确显示及参数趋势的形象化观察得以实现。

AutoCAD在施工测量内业中的应用

阐述了将设计图纸转化为对应的CAD中的“数控图形”的方法 ,论述了AtuoCAD在施工测量内业计算中的应用和特点。

环境监测3种不确定度评定方法的比较——以水中化学需氧量的测定为例

利用环境监测实验室积累的数据,通过线性拟合法、GUM法和控制图法对水中化学需氧量的不确定度进行了评定。结果表明:3种不确定度评定方法的评定结果相似。在量化过程中存在两种主要不确定度评定的类型:一种是不确定度的正向传播,另一种是模型不确定度和参数不确定度的反向评定。GUM法明显是正向的不确定度,线性拟合法和控制图法是反向不确定度。GUM法应用复杂且烦琐,操作性差;相比,控制图法和线性拟合法更加简单实用,可代替GUM法来评估监测实验室的不确定度。

复杂液压换向系统的数字仿真与试验研究

应用键台图－状态空间分析法为 Ｍ７１２０Ａ型平面磨床液压换向控制系统建立了数 学模型。针对“刚性方程”问题，在建立和求解数学模型时采用了“状态分段法”，有 效地减少了仿真计算时间；在数学模型中保留了主要的非线性因素，使理论分析的精 度提高，对系统的换向过度过程进行了数字仿真及试验验证，两者结果基本吻合。用此 数学模型分析了系统诸参数对动态特性的影响，在此基础上提出了改善原系统动态特 性的措施。

悬挂式绘图机器人系统设计与实现

针对当前绘图机器人体积较大、绘图平面小、只能工作于水平面等不足,提出了一种基于伺服电机驱动的悬挂式绘图机器人系统设计方法。该系统采用悬挂式设计,由电机驱动模块、图像处理模块和WIFI传输模块构成。基于系统的硬件架构,建立了绘图机器人的几何坐标系,通过对电机力矩及转速分析确立了绘图机器人的运动方程。所要绘制的目标图形经二值化、边缘细化、连续曲线检测等系列处理后转换为适合机器人执行的矢量图,下载至执行机构后便可执行绘图操作。本设计采用了带编码盘的N20金属齿轮电机,以MKR1000单片机作为电机控制器,在Matlab平台下开发了图像处理及控制程序,通过WIFI实现主机与单片机之间的无线通信。实验结果表明,设计的系统可在竖直的白板或墙壁上灵活绘图,具有绘图精度高、绘制面积大、结构简单、体积小、重量轻、成本低等特点。

面向C程序的环形复杂度自动化计算方法

为准确度量软件复杂程度,提出一种环形复杂度计算方法。借助于Mc Cabe度量法,针对C语言程序,通过对源程序进行预处理,提取其中含有控制流信息的关键语句后对其进行分情况处理,从而无须借助控制流图即可实现程序环形复杂度的自动化计算。实验结果表明,该方法可以准确、高效地计算出程序的环形复杂度。

液压系统的快速混合建模与鲁棒控制

为了减少液压系统建模时的推导过程,利用键图法和电路网络法2种建模方法的优点为液压系统建模.先将液压系统绘制成键图,再将该键图转换成等效的电路图,然后由电路网络法直接写出该系统的传递函数的数学模型.最后给出了所建的液压系统模型的鲁棒控制,仿真结果良好,控制的鲁棒性较强.

结构图法数字仿真中初值的确定

在连续系统面向结构图数字仿真中,若选择为典型环节,仿真阶跃响应时,被仿真的系统结构是有条件的,本文通过对阶跃响应初值一般公式的求解,去掉了这一条件,从而拓宽了这一方法的应用对象。其方法是将含有奇异函数的微分方程组转化为可以数值求解的微分方程组。

类的数据流分析方法研究

本文把类的操作划分成三个不同的级别,采用增量算法分别对不同级别的操作进行数据流分析,相应得到三种不同的定义-引用对,根据生成的定义-引用对就可以进行基于数据流的测试。如何对有调用关系的操作之间进行快速有效的数据流分析是对类进行数据流分析的一个难点,本文对该问题进行了深入研究,并提出了相应的解决方法。