收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

MDF连续平压质量控制形式化建模及优化研究

王春晓  
【摘要】:人造板的重要组成部分之一的中密度纤维板(MDF)来说,传统的间歇式热压机,无论是单层或多层的都愈来愈不能满足其生产发展的要求,流水线生产中断,原材料消耗率高,产品质量不高,降等损失大,能耗较大等等。近年来,依据理算数学和形式逻辑理论的形式化方法发展迅速,针对中密度纤维板板坯在热压过程中表现出来的粘弹性所导致的成品板鼓泡分层现象,提供了一种可能的解决方法。主要完成以下工作:通过研究MDF连续平压生产工艺及其过程,对主要的工艺参数,包括热压板间距,热压压力,热压温度,压机闭合速度等进行分析,并考虑到影响热压工艺优劣的其他次要却不能忽略的因素,得到最佳的生产工艺方案。对本文的研究重点质量控制中影响因素最大的木基材料粘弹性进行了重点阐述和分析,尤其是对板坯质量的影响和其产生的原因,为抑制木基材料粘弹性所产生的不利影响提供了理论依据。将软件工程方法引入实际工业生产环节。伴随着越来越复杂的生产工艺,系统实施起来非常困难,在中密度纤维板质量控制系统中软件的作用越来越明显,越来越重要。随着系统规模的增大,传统的生产工艺系统规模已经无法满足需要,所以迫切需要引入软件工程方法来解决现在所面临的问题。本文则基于软件工程中的形式化方法对MDF连续平压质量控制系统进行建模,包括对粘弹体本构模型的建模,引入粘弹性参数蠕变柔量后的终端控制器的建模,以及对应的位移控制和压力控制建模。由于引入粘弹性参数引起的系统控制器的鲁棒性和稳定性较差,需要对系统进行优化,本文利用粒子群智能算法,对控制器终端参数进行优化,同时使用Kalman滤波器对控制过程中产生的测量噪声和控制干扰信号进行处理。通过仿真实验,波特图上幅值裕度和相位裕度是正值,证明该系统是一个稳定的系统。采用PSO-PID为单缸控制器,并对系统中的测量噪声以及控制干扰噪声使用Kalman滤波器进行降噪处理后,系统能更快地恢复到稳定,并且能够压缩液压缸输出同样位移所需要的升压时间,这将有助于减少板坯出现分层鼓泡等问题。


知网文化
【相似文献】
中国期刊全文数据库 前12条
1 魏艳鸣;;基于Real-Time Object-Z语言的铁路交叉道口系统的形式化描述[J];郑州轻工业学院学报(自然科学版);2009年03期
2 ;第12届国际形式化工程大会(ICFEM 2010)[J];计算机应用与软件;2010年09期
3 虞慧群,宋国新,邵志清;MRPII系统开发的一种形式化方法[J];华东理工大学学报;1998年03期
4 孙麒;张云华;;基于CSP的形式化方法研究[J];浙江理工大学学报;2009年04期
5 潘俊,宋国新;UML到SDL在地铁售票机系统中的应用[J];华东理工大学学报;2004年05期
6 李红臣;邓云峰;刘艳军;;应急预案的形式化描述[J];中国安全生产科学技术;2006年04期
7 梁树军;张志锋;邓璐娟;;基于构件技术和B方法的形式化需求分析[J];郑州轻工业学院学报(自然科学版);2009年05期
8 宋瑾钰,魏仰苏;基于SDL的PPP协议软件形式化开发[J];浙江理工大学学报;2005年03期
9 李新战;王晓刚;曾奕;;一种形式化知识库更新方法—修正程序[J];武汉科技学院学报;2006年04期
10 章靠;丁佐华;;基于控制流的形式化程序测试[J];浙江理工大学学报;2008年03期
11 虞慧群;许浩;刘冬梅;邵志清;;一种基于Object-Z的面向方面建模方法[J];华东理工大学学报(自然科学版);2007年03期
12 ;[J];;年期
中国重要会议论文全文数据库 前7条
1 李文健;;形式化的涵义及其认识论本质[A];1993年逻辑研究专辑[C];1993年
2 吴允曾;;关于形式化的几个问题[A];金岳霖学术思想研究——金岳霖学术思想研讨会论文集[C];1985年
3 郑宇军;石海鹤;薛锦云;;Spec#语言中的形式化特性[A];2005年全国理论计算机科学学术年会论文集[C];2005年
4 雷敏;雷友殉;;一种UML到SDL转换方法的研究与应用[A];2006通信理论与技术新进展——第十一届全国青年通信学术会议论文集[C];2006年
5 苗洁君;王克;;密码模块的形式化设计和验证研究[A];第二十一次全国计算机安全学术交流会论文集[C];2006年
6 缪道期;;评审计算机安全等级[A];第二次计算机安全技术交流会论文集[C];1987年
7 赵晓峰;;城市轨道交通自主化信号系统全面创新实践[A];中国系统工程学会第十八届学术年会论文集——A12系统科学与系统工程理论在各个领域中的应用研究[C];2014年
中国博士学位论文全文数据库 前8条
1 刘艳;互联网内容分级服务技术标准体系的形式化设计与验证[D];华中师范大学;2015年
2 钱振江;安全操作系统形式化设计与验证方法研究[D];南京大学;2013年
3 刘强;设计模式的形式化研究及其EMF实现[D];华东师范大学;2011年
4 张鹏;形式化方法在云计算中的应用研究[D];吉林大学;2014年
5 刘洋;网络式软件需求验证的形式化方法研究[D];电子科技大学;2013年
6 王迈;语言形式化原理[D];上海外国语大学;2011年
7 胡静;基于Pi-演算的Web服务形式化描述模型[D];天津大学;2013年
8 周宁;代数化符号模拟验证的应用研究[D];北京交通大学;2015年
中国硕士学位论文全文数据库 前10条
1 王春晓;MDF连续平压质量控制形式化建模及优化研究[D];东北林业大学;2015年
2 Hamza I.Bangura;基于Z规格的软件缺陷形式化方法[D];天津大学;2010年
3 钟琪;软件分析模式的形式化研究[D];西南师范大学;2004年
4 王祥兵;形式化方法的理论及其影响[D];贵州大学;2009年
5 郭忠伟;神经内分泌复杂系统的形式化研究[D];扬州大学;2009年
6 王晓帆;基于模糊数学的形式化开发方法研究[D];西安理工大学;2003年
7 闵洪军;软件工程中形式化方法研究[D];浙江大学;2006年
8 张杨;UML模型形式化转换及验证的研究[D];太原理工大学;2013年
9 匡春临;并发系统的形式化技术研究[D];华侨大学;2008年
10 白锐;ATP系统形式化开发方法的研究[D];兰州交通大学;2014年
中国重要报纸全文数据库 前1条
1 殷杰 安军 山西大学科学技术哲学研究中心;21世纪科学哲学的关键词:语境、科学理性与形式化[N];中国社会科学报;2011年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978