ST及数组在DCS系统中的应用与探讨

全面介绍了在ABB公司的DCS系统软件CBF中采用ST语言编写程序及在程序中创建数组及其应用。其中对ST语言的语法和结构、数据表格的转化、数组的创建、数组元素的传递和应用进行了阐述;并对含有数组程序的自定义功能块的调用和采用ST语言编写自定义功能块、程序的细节及需要注意的问题进行了分析和强调。     

安徽省城市建筑中央空调用能现状调查报告

随着经济社会的快速发展和人民生活水平的提高,空调已比较普遍地应用于公共建筑和居民住宅。但空调在改善人们生产生活条件的同时,也消耗了大量能源。安徽省夏季空调用电负荷占夏季最大负荷的比重已达35%以上,是造成安徽夏季电力短缺的主要原因之一。调查表明,用能结构不合理、能源效率低、节能新技术应用少已经成为公共建筑空调高能耗的主要原因。推广清洁能源和高效节能技术,强化空调能效管理,既是实现节能减排目标的有效途径和手段,也是建设节约型社会的必然要求。     

《空调用电制冷机房设计与施工》图集

本图集内容包括设计选用说明、机房设计实例、典型实例、系统原理及电气控制。图集中的冷热源机房用水量、用电量、设备明细表及相关数据为机房设计提供了基础数据。图集中的工程实例，按不同系统形式、不同参数及不同规模的建筑形式进行编制，内容丰富，方案多样化。典型实例为工程设计提供了规范化的设计方案。为方便图集的选用，根据系统特点、使用范围编制了工程实例选用索引表。     

基于Event-B的自动化模块组合方法研究

Event-B共享变量和共享事件方法可将大型系统分解成多个子系统,并独立建模开发,但其需要手工干预以实现模型间事件的组合。为提高组合效率,提出一种针对模型的自动化组合理论,并开发自动化组合工具原型。为在精化模型中逐步引入模块调用,改进PROG方法,开发自动精化工具原型。通过2个应用案例,验证了自动化组合工具能自动组合事件,自动精化工具能减少调用变量的数量,从而增强系统模型的可读性和可维护性。     

基于服务分组和调用轨迹的Web服务组合验证方案

针对Web服务组合的有效性验证问题,提出了一种基于服务分组和调用轨迹的Web服务组合形式化验证方案。首先,基于服务调用顺序,利用提出的Web服务集分组(WSSG)算法将候选Web服务划分为几个子集,并结合调用轨迹编排这些子集组成WSSG图,作为系统的抽象模型;然后,推理出系统所需的预期交互规范,并利用线性时序逻辑(LTL)来描述交互规范;最后,通过检测模型是否符合交互规范来验证组合模型的可行性。实验结果表明,该方案能够有效验证Web服务组合的正确性,且避免了死锁现象。     

SE-3000的DSK调用方法

洋铭的SE-3000十六路高标清专业数字切换台具有两组DSK下游键功能，可轻松的实现节目现场添加专业字幕或者专业图文包装系统，达到节目播出的电视台标准，本教程就来一步一步地详细讲解SE-3000的DSK下游键功能的具体调用方法。     

数控车床生产加工实用技巧三例

一、GSK系统数控车床偏移工件坐标系连续多次加工法在机械车削加工中常常遇到圆柱形且长度较短的零件,这类零件采用数控加工,加工效率高,精度高,但辅助装夹毛坯时间对生产效率影响较大。如图1a所示是某企业所接到的某产品配件(旋盖),批量要求较大,产品材料为铝,可直接用空心管作为毛坯,在数控车床上加工完成。     

柘荣县气象局温室小气候系统的设计开发

随着Internet和移动通信技术的飞速发展,农业生产的自动化、信息化水平不断提高,物联网技术已经越来越为人们所重视。如何方便有效地对温室环境进行监测和控制,如何提高农业生产的信息化水平是目前可控环境农业研究的重点。本章简要说明了柘荣县气象局温室小气候系统的网络架构及数据调用软件的开发,并综述了温室环境监控技术的研究现状和发展趋势。     

柘荣县气象局温室小气候系统的设计开发

随着Internet和移动通信技术的飞速发展，农业生产的自动化、信息化水平不断提高，物联网技术已经越来越为人们所重视。如何方便有效地对温室环境进行监测和控制，如何提高农业生产的信息化水平是目前可控环境农业研究的重点。本章简要说明了柘荣县气象局温室小气候系统的网络架构及数据调用软件的开发，并综述了温室环境监控技术的研究现状和发展趋势。     

基于LabVIEW监控的伺服运动模式研究

研究伺服运动日常控制模式中最常用的点动、固定步长、扫描3种模式,并总结其规律性。同时运用LabVIEW这种先进的测控软件实现对运动的监控。控制模块简化了控制设计流程,同时还实现了远程网络多轴运动控制。多个项目的移植测试结果表明,该文分析和建立的3种独立的伺服运动模块可以在单轴运动控制中采用,也可以在多轴运动控制系统中采用。而基于LabVIEW软件的可视化界面能够运用VI动态调用的方式,提供给其他VI设计。