安全应用系统的形式化规范与求精过程研究

形式化方法是提高系统安全等级必不可少的保障技术。然而,由于诸多原因,它在安全应用系统开发过程中的应用尚不普及。本文将以Z语言为依托,以Mondex电子钱包系统为范例,探讨形式化方法在安全应用系统开发过程中的应用方法和过程。     

电子装配行业的MES体系结构及技术实现

针对电子装配行业的特点和制造执行系统（MES）的需求,采用基于SOA的设计方法和理念,提出基于Web服务的MES软件体系结构,建立基于工作流的电子装配过程实时可视化、实时生产排程、实时生产过程跟踪技术框架。提出基于WebServices技术和J2EE平台的软件体系结构技术实现框架。开发的MES系统应用在某SMT车间,证明该系统具有较好的实时、可配置、可重构、可集成性能。     

基于XML技术的电子目录解决方案的研究

在基于HTML的电子目录应用系统开发的基础上,提出了采用XML技术取代HTML建立电子目录应用的设想,并进行了基于XML技术的电子目录系统解决方案的设计,将电子目录应用提高到解决方案层次上。     

正邦集团“生猪食品溯源系统”成功案例

四川凯路威电子有限公司设计开发实施的"生猪食品溯源系统"已成功应用于正邦集团。该系统以 RFID电子标签为主要信息载体,依托计算机软件、网络通信、系统集成及数据库应用等技术,在企业内部建立整套信息化系统,实现生猪在屠宰环节生产全流程的电子档案管理,最终实现终端销售的"正向可查询,逆向可追踪"。     

基于Silverlight的海洋环境监测信息平台设计与实现

遵循完整性、先进性和开放性的系统开发原则,系统采用VS.NET开发平台,利用微软最新的Silverlight 技术以及其核心的Deep Zoom图像处理技术,以电子海图为基础,设计实现了全新的海洋环境监测信息平台.该系统已成功应用于南通市海洋与渔业信息系统中,实际应用表明该系统运行稳定可靠,在行业中具有较好的应用推广价值.     

SIMATIC S7-300 PLC在烟草机械电控系统中的应用

随着电子通信技术的发展成熟,PLC技术也越来越先进,并且逐步实现了在工业自动化控制等领域雄踞一方的局面。其中西门子电子公司开发的SIMATIC S7-300 PLC技术最为先进,目前已经占据了PLC市场的大部分份额。本文主要讨论西门子PLC技术在烟草机械电控系统中的应用。以西门子PLC技术为研究主要对象,分析其工作特点和优势,阐述其在烟草控制系统中的四种应用模式。希望给有关技术人员以启发。     

基于J2EE的系统构件集成平台研究与应用

介绍面向服务架构（SOA）、WebService技术和构件化技术背景;提出基于J2EE的系统构件集成平台构建方案并对平台中各组件和技术路线进行总体介绍;最后以OA（办公自动化）系统为案例进行应用设计,包括OA系统总体设计方案、OA系统可复用构件的提取并以电子表单构件的设计、实现和请求服务为例作详细介绍。实践证明,基于本文所述的平台构建方案和业务系统构件化设计方案,对构件复用、系统进一步解耦、降低复杂指数、提高开发效率、降低开发和维护成本等方面具有明显优势。     

MPC555微控制器与汽车电子

介绍32位微控制器MPC555及其应用开发系统的技术特点,并分析比较国内外软硬件集成开发平台的应用现状。同时,对MPC555嵌入式系统在汽车电子领域的应用进行了总结和预测。     

基于人脸识别技术的考勤管理分析系统开发研究

考勤管理分析系统应用人脸识别技术,通过无感知多摄像头的综合布点,结合可交互式智能电子显示屏,可编程电磁锁,实现智能化交互与显示、课堂出勤率的实时统计与分析。从系统需求、系统工作原理与流程、系统设计、代码开发几个方面对系统的开发研究进行说明。     

工程建设领域电子招投标系统的开发和应用

随着计算机水平的快速发展,信息网络技术的日益革新,电子招标投标在工程建设领域的应用也越来越广泛.本文主要结合招标投标现状及电子招投标系统的应用情况,分析了电子招标投标在建设领域的重要意义和作用,研究了电子招投标系统在建设领域的开发和实现以及在整个建设领域的重要发展趋势.     

一种嵌入式运动控制系统的硬件设计

运动控制技术是制造业中的一项重要技术,它的发展将极大地提高现代制造业的整体水平。本文分析了在工业运动控制器中经常用到的关键技术,并设计了一套嵌入式运动控制系统的硬件结构。     

A Biochip Microarray Fabrication System Using Inkjet Technology

An automated biological fluid dispensing system for microarray fabrication using inkjet technology is presented in this paper. The hardware of the system consists of a high-precision motion system, a robotic material handling system, computer control systems, and extensive vision systems. The system software includes algorithms to handle control, communication, and manufacturing process information. This fluid dispensing system has been successfully used to produce cDNA microarrays and in the investigation of protein microarray manufacturing.     

A computer integrated business control system for an SME

CIM technology — appropriate to the requirements of an SME specialising in the manufacture of mechanical actuation systems — was introduced as a low-cost phased implementation of software and hardware systems that exploit a database to integrate its design, manufacturing and business operations. The company's investments were based on a prudent assessment of its current and planned product range, existing and planned manufacturing facilities, the scale of its operations and business objectives. The impact of this manufacturing control system on the business operations of the company and its influence on the evolution of its product range are discussed.     

一种传感器虚拟检测系统的开放实验研究

介绍了一种基于虚拟仪器技术的角度传感器检测系统开发的开放实验设计方案,分析了线性角度传感器的电器特性,阐述了实验的详细设计方法。该开放实验可由学生根据企业需求来设计开发,并已经应用于角度传感器的工业生产及应用检测中,该虚拟系统具有运行稳定、价格低廉和使用便捷等特点。     

虚拟仪器环境下PXI总线远程测控系统研究

为了实现制造业的网络协同监控服务,以旋转机电系统为被测对象,采用PXI总线技术和虚拟仪器技术,结合网络技术研究开发了一套基于PXI总线的远程测控系统。介绍了该系统的硬件、软件组成和网络监控的实现方法。给出了该系统网络监控实现的具体实例。实验表明整个系统兼容性好,具有灵活性、实时性和开放性等特点,具有实际应用与推广价值。     

Technology of the unmanned operation of flexible manufacturing systems

In this paper the hardware structure of a flexible manufacturing system and the information flow for operation of the system are reviewed first. Then the technology required for the unmanned operation of the system, especially monitoring the machining state, control of the geometrical accuracy of a workpiece and monitoring the machine operation are described in detail. Finally the technical and social tasks required for development of a flexible manufacturing system in the future are discussed.     

永磁同步电机矢量控制系统的研究

电机控制技术是实现高性能伺服驱动的核心,也是体现先进制造技术的标志技术之一。基于永磁同步电动机矢量控制理论,介绍了永磁同步电动机的数学模型和基于=0的矢量控制方法,建立了基于空间矢量的永磁同步电动机矢量控制系统Matlab仿真模型,并给出了仿真结果和系统软、硬件设计。硬件系统以TMS320F2812为核心,实现了电流、速度双闭环的矢量控制。仿真结果与理论分析一致,表明设计方案和控制策略的正确性。     

Manufacturing plant control challenges and issues

Enterprise control system integration between business systems, manufacturing execution systems and shop-floor process-control systems remains a key issue for facilitating the deployment of plant-wide information control systems for practical e-business-to-manufacturing industry-led issues. Achievement of the integration-in-manufacturing paradigm based on centralized/distributed hardware/software automation architectures is evolving using the intelligence-in-manufacturing paradigm addressed by IMS industry-led R&D initiatives. The remaining goal is to define and experiment with the next generation of manufacturing systems, which should be able to cope with the high degree of complexity required to implement agility, flexibility and reactivity in customized manufacturing. This introductory paper summarizes some key problems, trends and accomplishments in manufacturing plant control before emphasizing for practical purposes some rationales and forecasts in deploying automation over networks, holonic manufacturing execution systems and their related agent-based technology, and applying formal methods to ensure dependable control of these manufacturing systems.     

基于虚拟仪器技术的模拟视频自动测试系统

文章介绍了一套基于虚拟仪器技术的模拟视频自动测试系统。详细论述了该系统的设计思路、硬件配置、软件操作界面设计以及实现方法。系统实现了各种格式、制式模拟视频信号的自动测试,大大提高了工作效率,并具有良好的扩展性,已经在某装备的生产和制造中得到应用。     

生物酶膜反应器实时监控系统

介绍了基于单片机PIC18F448、按照RS485总线协议构建而成的生物酶膜反应器实时监控系统,描述了该系统的组成和基本工作原理,并对系统的硬件设计和软件设计作了较为详细的说明.实际应用证明,该系统工作性能稳定可靠,解决了传统设备在生产过程中控制精度低、自动化程度差的问题,实现了测控技术与生化工程的良好结合.