Electric Automation 电气自动化 ELECTRIC AUTOMATION DEVICE AND METHOD FOR ADJUSTING THE FUNCTIONS OF THE ELECTRIC AUTOMATION DEVICE The invention relates to an electric automation device comprising a control unit that is controlled by a In order to create an automation device that can be set to predefined functions in a particularly flexible manner while requiring less testing， a computer hardware component (2) is provided with control software comprising a basic functional area which includes an operating system (3)， a device driver (4)， and communication modules (5) so as to form a basic automation device (1) while the basic automation device (1) is complemented with any application modules (7a， 7b， 7c， 8， 9) that can be connected to the basic functional area via a software interface (6) in order to obtain the automation The invention also relates to a method for producing or adjusting the functions of such an electric automation 电气自动化专业介绍 一、专业概况 随着高新技术的发展和生产自动化程度的提高，我国国民经济发展，正在和继续需要大批技术应用型实用人才。电气自动化技术是现代制造技术中不可缺少的重要技术门类，也是一个国家科技实力乃至综合竞争力的综合反映，在工业发展中具有前导地位。电气自动化技术，集机、电、计算机、信息处理等多学科于一体，是多学科相互交叉、渗透、结系淖酆涎Э疲?诠?窬?媒ㄉ柚姓加兄匾?牡匚弧R虼耍?梢运档缙?远??际跏嵌ヌ炝⒌氐氖乱担?枪?窬?梅⒄购腿嗣裆?钏?教岣叩奈镏侍跫?? ?br> （一）、培养目标本专业培养德、智、体、美、劳全面发展，具有良好职业道德和综合业务素质，具备较强的创新意识和创业能力，掌握电气自动化技术、计算机控制技术的基础理论，能在生产、建设、管理、服务第一线从事常用电气自动化设备、常用电气设备、供配电系统和装置、计算机控制系统、PLC控制系统的安装、调试、运行和维护的实用型高技能专门人才。 （二）、培养要求及职业能力分析 1、培养要求：本专业主要学习电气自动化的专业技术知识，应具有较强的本专业技术应用能力。 2、职业能力分析 （1）具有良好的身体素质、职业道德和人文素质，较强的语言文字表达能力和一定的社会交往能力及继续学习能力。 （2）具有较强的用英语进行人际和人机交流能力，具有阅读和翻译本专业有关英文资料的能力。 （3）具有较强的在信息化社会中工作、学习、生活所必备的计算机应用能力；熟练使用电子电气CAD软件；掌握一门程序设计语言。 （4）具有分析和测试常见的电工电子线路，能设计一般电工电子应用线路，能熟练使用常规电工电子仪器、仪表，具有熟练的电工基本操作技能。 （5）熟悉常用低压电器的基本原理及使用；能熟练阅读电气控制线路的原理图与接线图；具有对常规电气设备、供配电设备等电气控制系统进行安装、调试、维护能力。 （6）具有正确选用、安装、调试、维护电力电子装置和典型交、直流调速系统的能力。 （7）具有熟练的可编程控制器应用能力。 （8）具有以嵌入式计算机数字控制技术为核心的新技术基本应用能力，对相应控制系统具有调试维护能力。 （9）具有对一般的机械零件图、产品装配图与机械、液压和气压传动系统回路的识读能力，了解常用机械设备的结构特点及工艺过程，了解常见的机械和电气的配合关系。 （10）了解企业管理的基本知识，具有一定的质量意识。 （三）、课程设置 课程设置共分五部分：公共必修课、专业必修课、专业限定选修课、专业选修课及公共选修课。 1、公共必修课包括：思想道德修养、法律基础、邓小平理论、马克思主义哲学、体育、英语、高等数学、计算机操作基础等。 2、专业必修课包括：电工基础、模拟电子技术、数字电子技术、电机及拖动基础、机械制图及公差、机械工程基础、嵌入式计算机原理及应用、C语言程序设计、自动检测与转换技术、现代电力电子技术、可编程序控制器应用、自动控制原理与系统、C语言、工厂电气控制技术、电子电气CAD、变配电技术、变频调速原理与应用、工业控制网络、DSP原理与应用及专业英语等。其中主干课程为：电工基础、模拟电子技术、数字电子技术、电机及拖动基础、嵌入式计算机原理及应用、自动检测与转换技术、现代电力电子技术、可编程序控制器应用、自动控制原理与系统等。 3、专业限选课包括：计算机控制技术、工业自动化仪表、控制电机、智能控制等。 4专业任选课包括：电工电子工艺、多媒体技术、楼宇自动化、计算机系统仿真、计算机维修、程序设计（VB）等。 5、公共选修课包括：包括两个能力模块：经济管理科学类和人文与社会科学类。 （四）、实践教学环节 1、专业主要实践教学包括：电工实验、模拟电子技术实验、数字电子技术实验、电机与电力拖动实验、可编程序控制器应用实验、嵌入式计算机原理实验、现代电力电子技术实验、电工基础课程设计、电子技术课程设计、嵌入式计算机原理课程设计、可编程序控制器应用课程设计、自控系统课程设计、综合系统实训、金工实习、电工电子实习、专业参观、综合生产实习、毕业设计等。 2、非专业实践教学包括：入学教育、军训、暑期社会实践、社团活动、体育活动、文艺活动等。 （五）、职业技能证书 本专业证书包含三个方面： 1、公共必修证书：PET、计算机一级证书。 2、专业必修证书：CAD初级、维修电工中级。 3、任选证书：CET四级证书、计算机三级证书(单片机方向）、CAD中级证书、维修电工高级证书、气液电控制技术。 （六）、本专业师资力量 学院拥有一支学术造诣高、教学经验丰富、实践能力强的师资队伍。电气自动化技术专业现有师资26人，其中副高职称以上有17人，“双师型”教师10人。能够满足公共基础课、专业基础课和专业课的理论及实践教学的需要。 二、职业前景 1、对口行业 电气自动化技术是传统而具有新内涵的专业，本专业培养拥护党的基本路线，德、智、体、美等全面发展，具备从事电气自动化技术所需要的理论知识和职业技术能力，主要在生产、建设、服务和管理等第一线工作的高级技术应用性专门人才。本专业的毕业生可就职于国防、航天、航空、航海、铁道、机械、轻工、化工、电子、电力、电信、钢铁、石油、矿山、煤炭、地质、勘测等广泛的工业、农业、科学研究领域，也可就职于现代物流及现代服务业。 2、就业前景 在上海市经济委员会的《上海制造业战略升级的行动纲要》中指出：加快推动制造业的战略升级是贯彻党的十六大精神，坚定地走新型工业化道路，实现向制造业强国转变的国家战略需要，也是上海建立新型产业体系，提高城市综合竞争力，坚持“四个中心”的客观要求。上海制造业战略升级的重点包括：高新技术产业重点发展电子信息和现代生物与现代医药制造业；交通运输设备制造业重点发展汽车、轨道交通、船舶、民用飞机；装备制造业重点发展大型成套设备、电站设备、新能源和新型环保设备制造业；原材料制造业重点发展石油化工和精细化工、精品钢材制造业；生产性服务业重点发展制造业物流、技术服务等产业；大力发展就业广、清洁型的都市型工业。根据电气自动化的内涵，上述产业无不包含电气自动化技术，同时也对电气自动化技术专业的人才提出了更高的要求。据上海市政府组织的《面向新世纪上海紧缺人才需求趋势与开发研究对策》的报告显示，复合型技术人才是紧缺的专业人才，而电气自动化技术专业是培养复合型技术人才的有效载体。可以预见在未来数年内，电气自动化专业毕业生就业前景良好。
Abstract are getting a rapid development with the development and application of science and technology， electrical engineering， automation control， electrical engineering construction of power system operation quality in some extent plays a decisive In order to ensure the healthy development of the overall electrical engineering， enhance electrical engineering and automation control level of the industry as a whole， intelligent technology is referenced to the electrical engineering automation control and Now mainly on intelligent technology theoretical basis， technical superiority and in electrical engineering and automation control in the process of practical application in are analyzed and
参考下吧。Electrical Engineering and Automation tentacles all walks of life， small to a switch designed to study aerospace aircraft， has its Health professionals can be engaged in the electrical engineering and operation of the system， automatic control， power electronics technology， information processing， testing technology， research and development， economic management， and electronic and computer technology applications in areas such as the work is "complex" high-level engineering and technology High-level talents in the field of high It is estimated that with the entry of large foreign enterprises in the fields of expertise will be a big gap， then there is likely to personnel Electrical Engineering and Automation of electrical information professional is an emerging field of science， but because of people's daily lives and industrial production is closely related to the extraordinarily rapid development of relatively more mature High-tech industry has become an important component of the widely used in industry， agriculture， national defense and other fields， in the national economy is playing an increasingly important Control theory and electrical network theory is a professional electrical engineering and automation of the base， power electronics technology， computer technology is its main technical means， but also includes a system analysis， system design， system development and system management and decision-making There are some characteristics of the profession， that is， combining the strength of power， electrical and electronic technology， software and hardware combined with a cross-disciplinary nature， electricity， electronics， control， computer integrated multi-disciplinary， so that graduates with strong adaptation
This paper shows that automatically synthesized simulators are a competitive alternative to handcrafted simulators for binary code model While the generation of hardware simulators from hardware descriptions has been long used in different fields， our work is new in that it highlights and approaches the need for automatic integration of abstraction techniques in order to tackle the state-explosion As shown in the case study， only the smallest programs can be verified 本文显示采用自动合成模拟系统替代手工模拟器对二进制编码模型进行检验是极具竞争性的一种方式。源自硬件描述的硬件模拟器尽管已在不同的领域中经久使用，但我们的研究工作具有新意因为它强调并探讨提取技术自动集成的需要，以便应对状态爆炸的难题。犹如个案研究所示，只有最小的程序可被证实不那样。Clearly， the work calls for further investigation of abstraction techniques that can be integrated automatically， and also， the synthesis of hardware-specific static analyzers from SGDL Moreover， even though we believe that SGDL and the underlying synthesis system are general enough to handle different kinds of microcontroller platforms， we further want to investigate its applicability by synthesizing simulators for16-bit microcontrollers such as the Renesas R8C/显然，研究工作主张对可自动合成的提取技术，以及从SGDL代码进行硬件特定静态分析器的合成作进一步的研究。此外，虽然我们相信SGDL及其基础合成系统可通用于处理各种不同的微控制器平台，但我们通过合成例如Renesas R8C/23的16位微控制器模拟系统，来进一步研究它的适用范围。 注：SGDL – Sudoku Game Design Language 数独游戏设计语言【英语牛人团】
