- 上一篇：户用光伏发电控制系统文献综述和参考文献
- 下一篇：酒店业务管理信息系统文献综述和参考文献
文献[12]:控制器设计常常因为某些附加条件的限制而失败。比如，降低成本在许多系统中是一个主要的因素。在机械和电气设计阶段的折衷往往会涉及传感器和执行器。减少传感器、执行器的数目以及使用低精度传感器和低能耗执行器是一些节约成本的标准方法。这些影响对控制系统是附加的，有时会带来冲突性的限制。
文献[13]:The widespread use of embedded systems requires the creation of industrial software technology that will make it possible to engineer systems being correct by construction. That can be achieved through the use of validated (trusted) components，verification of design models, and automatic configuration of applications from validated design models and trusted components. This design philosophy has been instrumental for developing COMDES—a component-based framework for distributed embedded control systems. A COMDES application is conceived as a network of embedded actors that are configured from instances of reusable, executable components—function blocks (FBs). System actors operate in accordance with a timed multitasking model of computation, whereby I/O signals are exchanged with the controlled plant at precisely specified time instants, resulting in the elimination of I/O jitter. The paper presents an analysis technique that can be used to validate COMDES design models in SIMULINK. It is based on a transformation of the COMDES design model into a SIMULINK analysis model, which preserves the functional and timing behavior of the application. This technique has been employed to develop a feasible (light-weight) analysis method based on runtime observers. The latter are conceived as special-purpose actors running in parallel with the application actors, while checking system properties specified in Linear Temporal Logic. Observers are configured from reusable FBs that can be exported to SIMULINK in the same way as application components, making it possible to analyze system properties via simulation. The discussion is illustrated with an industrial case study—a Medical Ventilator Control System, which has been used to validate the developed design and analysis methods.
综述
现代技术发展日新月异，各学科发展相互影响相互促进。数控机床作为一种高精度的自动化机床，综合应用了电子、计算机、自动控制和机床制造等领域的先进技术。相信随着单片机等微电子技术的发展以及更加先进的控制理论和控制技术的出现，机床在加工精度和加工速度以及开放性和联网管理等方面都会迎来不错的发展前景。
参考文献
[1]梁迎春，陈国达，孙雅洲，等.超精密机床研究现状与展望[J].哈尔滨工业大学学报，2014 ,46（5）：29-46.
[2]祁雷,周建平,许燕,等.基于C8051F020单片机埋弧自动焊接机床专用运动控制器设计[J].机床与液压，2011，39（10)：94-98.
[3]王军.基于FPGA交流伺服定位控制系统的研究[D].杭州：浙江工业大学，2011.
[4]蔡晓雯.基于MCX314的运动控制器的研究与设计[D].湘潭：湘潭大学，2008.
[5]孙正鼐，李婷，张虹.基于步进电机的机床进给系统运动控制研究[N].机床与液压，2009-05（05).
[6]王海峰.基于单片机的电机控制系统设计[J].黑龙江科技信息，2014，（17）：0-1.
[7]龙泽明，王桂莲，刘献龙.基于单片机的机床数控系统的发展[J].佳木斯大学学报，2005， 23（4）:559-562.
[8]阚宏林.基于单片机的交流伺服电机运动控制系统研究与开发[D].西安理工大学：2005.
[9]朱昌.数控机床运动控制器设计[J].科技创业，2012,(5):195-196.
[10]韩龙义，张兴军.数控机床主机运动控制技术发展趋势[J].产品与技术，2006，（2）：81-83.
[11]胡旭，孔宪光，魏庆涛.现代机械工程控制原理及应用研究[M].中国水利水电出版社，2013.