Al2O3—TiB2陶瓷刀具材料的高温氧化及其对刀具耐磨性能的影响

研究了Ａｌ２Ｏ３－ＴｉＢ２陶瓷刀具材料在１０００℃下的氧化行为，用ＸＲＤ、ＳＥＭ分析了氧化后的相组成及显微结构。结果表明：Ａｌ２Ｏ３－ＴｉＢ２陶瓷材料在１０００℃空气中氧化增重符合抛物线规律；随ＴｉＢ２含量的增加，该材料的抗氧化能力下降。     

基于PLC的缸体加工机床控制系统

对可编程控制器（PLC）应用于某设备缸体加工专用机床控制系统的设计思路作了介绍，对系统的硬件组成和软件设计作了较为详细的阐述，通过上位监控计算机可对生产现场的设备状态实施监控和对现场参数进行调整。     

Model checking response times in Networked Automation Systems using jitter bounds

Response time (RT) of Networked Automation Systems (NAS) is affected by timing imperfections induced due to the network, computing and hardware components. Guaranteeing RT in the presence of such timing imperfections is essential for building dependable NAS, and to avoid costly upgrades after deployment in industries.This investigation proposes a methodology and work-flow that combines modelling, simulation, verification, experiments, and software tools to verify the RT of the NAS during the design, rather than after deployment. The RT evaluation work-flow has three phases: model building, modelling and verification. During the model building phase component reaction times are specified and their timing performance is measured by combining experiments with simulation. During the modelling phase, component based mathematical models that capture the network architecture and inter-connection are proposed. Composition of the component models gives the NAS model required for studying the RT performance on system level. Finally, in the verification step, the NAS formal models are abstracted as UPPAAL timed automata with their timing interfaces. To model timing interfaces, the action patterns, and their timing wrapper are proposed. The formal model of high level of abstraction is used to verify the total response time of the NAS where the reactions to be verified are specified using a subset of timed computation tree logic (TCTL) in UPPAAL model checker. The proposed approach is illustrated on an industrial steam boiler deployment.     

Predicting dam failure risk for sustainable flood retention basins: A generic case study for the wider Greater Manchester area

This study aims to provide a rapid screening tool for assessment of sustainable flood retention basins (SFRBs) to predict corresponding dam failure risks. A rapid expert-based assessment method for dam failure of SFRB supported by an artificial neural network (ANN) model has been presented. Flood storage was assessed for 110 SFRB and the corresponding Dam Failure Risk was evaluated for all dams across the wider Greater Manchester study area. The results show that Dam Failure Risk can be estimated by using the variables Dam Height, Dam Length, Maximum Flood Water Volume, Flood Water Surface Area, Mean Annual Rainfall (based on Met Office data), Altitude, Catchment Size, Urban Catchment Proportion, Forest Catchment Proportion and Managed Maximum Flood Water Volume. A cross-validation R² value of 0.70 for the ANN model signifies that the tool is likely to predict variables well for new data sets. Traditionally, dams are considered safe because they have been built according to high technical standards. However, many dams that were constructed decades ago do not meet the current state-of-the-art dam design guidelines. Spatial distribution maps show that dam failure risks of SFRB located near cities are higher than those situated in rural locations. The proposed tool could be used as an early warning system in times of heavy rainfall.     

军用办公自动化系统的优化设计与安全

办公自动化是部队日常工作管理信息化建设的基础，对部队管理及信息化建设具有重要的作用。实现数字化办公必须要有良好的技术支撑，针对办公自动化系统的Web应用中基于高层数据接口（active data object，ADO）的数据库访问技术提出了优化方案，以及对数据库设计提出了优化方案，也为提升系统安全提出了解决方案。     

电气和自动化在工程实践中的相互交融

从技术的发展趋势论述了电气与自动化在工程实践中的关系,指出电气与自动化将互相嵌入、完全融合为一体,工程实践活动将紧密围绕整个系统所体现的电气的智能化、自动控制的彻底分散化、网络的扁平化和开放化而进行.     

CAPP系统中图形控件的设计与实现

提出一种采用控件方式设计CAPP(computeraidedprocessplanning)系统的方法,该控件底层引用Auto CAD的自动化对象,直接调用AutoCAD的DWG数据,用该方法构造的控件容易与CAPP中的属性数据进行连接,实现双向查询与操作.     

计算机数控串珠绳锯切割机

采用模糊控制技术、变频传动技术、步进驱动技术研制出计算机数控串珠绳锯切割机.该机使用带闭环的变频传动技术取代传统的伺服传动,切割精度为0.15mm.采用IPC工控机和西门子S7-200PLC为主控机,人机界面好,易于编程.改变生产品种,只需修改数控程序,而不需制做模型,大大节省了投资.