一个基于COP的控制软件安全性增强方法

控制软件往往是安全攸关系统的核心,其正确性对系统安全起着至关重要的作用。然而由于系统面对的环境因素越来越复杂,软件设计之初不可能考虑到所有可能面对的环境变化因素,系统的安全性面临新的挑战。因此在软件维护阶段,以环境变化为中心,增量式地增强软件的安全性显得非常重要。面向上下文编程方法(Context-Oriented Programming,COP)正是一种以软件运行上下文环境为中心的编程方法。现有的支撑COP思想的运行机制可以使得系统根据精确的上下文信息动态地调整系统的行为,但是有些上下文引发的系统行为调整会导致系统执行器的现有运行被打断,对于这类影响系统执行器行为的上下文,现有的COP运行机制还没有提供有效处理方法。根据现有的COP方法,给出了一个基于软件上下文保存与恢复的控制软件安全性增强的编程模型,并在LegoNXT控制器上实现了相应的运行支撑和编程工具,通过一个产品分拣系统的安全性增强实例,初步验证了该编程模型的合理性。     

结晶器漏钢预报系统的原理分析

通过对粘结漏钢产生的原因及粘结时坯壳的特征 ,结晶器漏钢预报系统的原理进行分析 ,得出发生粘结漏钢必须满足三个必要条件 ,并得出发生漏钢预报后铸坯拉出结晶器不漏钢应满足的条件     

水电站调速器实训平台机械结构和液压系统设计

以调速器模拟用试验平台为项目背景,介绍了为南网公司新研制的调速器机械液压系统及主要液压元件,并分析了调速系统主要的液压调节功能。重点分析了调速系统在机械手动操作情况下,通过流量反馈阀参与手动调节时,接力器所具有的精确定位功能。提出了一种主配压阀衬套流量开口计算的方法并进行了主阀漏油量计算。最后通过调速系统性能试验,验证了调速器实训平台液压系统设计的正确性和机械结构设计的合理性。通过本文的理论分析和试验验证,可为水电站调速器机械液压设计提供参考。     

分离器自动排污及污水计量功能的实现和优化

分离器自动排污及污水计量功能在大天池气田得到广泛的应用。本文简要介绍了自动排污及污水计量的基本原理，阐述了这些功能的实现过程，并结合应用过程中的实际问题，以电动排污阀动作时间对自动排污的影响，污水计量起点与工艺生产要求的矛盾，液位变送器准确度对污水计量的影响，水化物的冻堵和程序等问题，采取多种优化措施，通过优化程序设计，有效地扩大了应用范围。     

基于Web的网络教学平台的设计

基于Web的网络教学平台是开展网络化学习的基础环境,它为教师、学生和教学管理人员提供一个学习和工作的网络环境。本文介绍了一个包括文章管理、课件下载、视频点播、教学论坛、离线作业、网上考试、师生交互的多媒体网络教学平台的设计,该平台采用层次化设计结构,通过提供一个个性化的门户和一系列的支持工具,将相互独立的教学服务子系统集成起来,为用户提供统一的、个性化的教学服务。全面介绍了平台的设计原则、用户分类和系统功能,并着重介绍系统结构。     

《操作系统原理》课程改革初探

《操作系统原理》是计算机科学与技术的主干课程，针对操作系统原理教学中存在着不利于培养现代高素质的有创造精神的软件技术人才的因素，文中从课程的教学结构、教学内容和教学方法，论述了课程改革的基本构想，并对课程的实验环节——课程设计的建设和实验内容的改革进行了探讨。指出重点加强基础教育、能力培养和创新活动，是适应二十一世纪信息技术发展的需要。     

连续矫直技术在板坯连铸中的应用

介绍了连续矫直技术的机理,对鞍钢股份有限公司第二炼钢厂5点矫直板坯连铸机进行了连续矫直的技术改造.采用了先进的具有两个连续矫直段的连铸机辊列曲线,对辊列进行优化设计.采用了出坯辊道面的标高不变,铸机的外弧基准线左右不移动的连续矫直改造方案,实现不停产改造,并取得明显效果,为提高板坯质量创造了有利条件.     

从载荷工况出发浅析质量技术控制点前移的作用

从美国、俄罗斯以及我国研制潜射导弹的过程和经验总结中分析,原有适合陆射导弹的一些研制程序已不能够适应目前形势下潜射导弹的研制工作,必须运用科学发展观,与时俱进,调整原有研制程序,将研制质量技术控制点前移,在研制初期充分发现和暴露问题,为确保潜射导弹研制质量和研制进度奠定坚实基础.     

浅议加强施工现场签证管理

施工现场签证工作是工程施工管理中较为重要的一项内容,它内容广泛,构成原因复杂,规律性较差,发生的时间长,其造价具有不确定性.因此,重视和搞好这项工作是建设单位正确确定工程造价、控制投资的依据之一,也是施工单位保护其应得利益的措施之一.     

空调库房温湿度控制系统中CAN总线技术的应用

介绍了空调库房温湿度控制系统中CAN总线技术的应用。采用CAN总线把每个单片机节点的信息上传到上位机控制系统,然后经过上位机的控制,通过对比设定值和采取预定的算法,输出相应的结果,并通过信息网络传送到各个节点,控制空气抽湿机或者空调机的运作从而达到调节控制空调库房温湿度的目的。