O-表达式的性质定义与规范（英文）

在所提出的程序设计方法中,赋值是物理对象上的操作,而程序则是这种操作的表达式。给出了此类表达式（O-表达式）的安全性和进展性性质的形式化定义,用实例说明了基于这些性质的形式化程序规范的模式。具有明确运行目标的O-表达式称为独立O-表达式（stand-alone O-expression,saloe）。一个完整的程序可能由若干个saloe组成。给出了一个定理,指出如何从这些saloe的性质导出完整性程序的性质。用大量实例阐明了程序性质的形式定义。     

计算机技术在数字设备上的应用分析

实际的生产过程中，数字设备的使用非常普遍与传统的模拟设备相比，数字设备的性能更加优越，可以极大的提高生产的效率，但是由于数字设备的操作性更强，可以根据使用领域的不同，编写相应的控制程序，本文在我国计算机技术应用现状的基础上，对应用计算机技术，能够提高数字设备的自动化以及实现物联网等，进行了深入的研究。     

电子电路故障诊断与预测技术分析

近年来,电子产品技术在我国的应用越来越广泛。并且随着电子设备的规模在不断的扩大,复杂程度也越来越高,故障诊断问题日渐凸显。本文通过对故障种类的分析,给出了故障诊断的方法。     

基于B/S模式的EMS系统在企业节能工作中的应用

本文以燕京啤酒集团顺义生产厂为例,详细叙述了企业能源管理信息系统的结构设计、功能和运行方式等,该系统基于B/S模型和实时数据库技术构建,管理人员通过浏览器就可看到生产现场的实时数据,解决了啤酒生产企业管理层过去无法实时了解生产现场状况,及时对能源生产和计划作出合理安排与调整的问题。同时,该企业能源管理信息系统(EMS)所建立的企业信息平台,能满足未来MES(制造执行系统)、ERP(企业资源计划)等信息管理系统对生产现场信息数据的要求,为企业实现生产管理信息化起到示范     

基于PLC的酿造车间CIP清洗系统设计

酿造车间有各种罐体、管道、板式换热器等设备,都需要定期进行清洗。CIP清洗是目前啤酒酿造车间主流的清洗方式,对生产效率有较大影响。CIP清洗应在保证卫生的前提下,提高安全性和效率等。通过广西某啤酒厂酿造车间的CIP项目,该文具体讲述了CIP自动控制系统的实现及控制结构。     

基于神经网络方法的嵌岩桩承载特性研究

本文首先基于已有的嵌岩桩实测数据，通过神经网络方法，以样本集知识体系为基础，建立了各样本与承载特性的因果关系。再利用学习成功的神经网络中神经元的连接权重，定量分析比较了长径比，嵌岩比、土性、岩性等因素对嵌岩桩承载特性的影响。研究发现：嵌岩段性和长径比是影响嵌岩桩承载特性的主要因素。     

振动孔隙水压力对桩竖向承载力的影响

本文分析了地震作用时振动孔隙水压力对桩竖向承载力的影响，提出了基于有效应力原理的桩－土相互作用计算方法，并分析了某单柱式桥墩桩竖向承载力与振动孔隙水压力的关系。     

聚氨酯乳液涂饰剂研制的探讨(摘要)

<正> 聚氨酯乳液涂饰剂用于皮革涂饰,具有优良的耐磨性、耐热性、耐曲挠、耐划伤、粘着力好、遮盖力强、光泽度好等性能。由于其生产工艺较复杂,技术难度较大,因此至今国内尚未广泛应用。 本文是对研制阴离子型中磺酸型聚氨酯乳液涂饰剂的探讨。 原材料是:甲苯二异氰酸酯(TDI),聚丙二醇(PPG),二甘醇(DEG),硫酸(98％),三乙胺,甲苯、丙酮,无离子水。 合成原理为: 1.预聚:将聚丙二醇和过量的甲苯二异氰酸酯反应生成带异氰酸酯端基的预聚物。     

深基坑工程施工中几个问题的探讨

以上海某深基坑工程为背景 ,对土压力计算时c、φ取值 ,基坑降水以及施工监测等问题进行了总结探讨 ,提出了自己的观点     

水土耦合SPH数值模型的正则化修正及其应用

传统光滑粒子流体动力学(smoothed particle hydrodynamics,简称SPH)方法的光滑粒子近似在粒子数量不足的区域可能导致场函数及其梯度的不合理评价,从而引起物理量的非正常波动,即张力不稳定问题(tensile instability)。针对当前研究较少关注岩土工程SPH方法精度问题的现状,提出了一种基于正则化修正的水土耦合SPH数值模型,较好地避免了张力不稳定问题。在提出的模型中,根据Biot固结原理将固相(土骨架)和液相(孔隙水)分配到不同的计算层,同时通过状态方程计算液相的压力变化,采用弹性模型描述土骨架的应力–应变关系。在三维水体溃坝模型的模拟、无地下水和有地下水的堤防自重应力分析中应用了提出的SPH模型,并对比分析了有限元、未修正SPH和修正SPH计算结果,表明基于正则化修正的SPH模型较未修正模型具有更好的精度,为SPH方法在岩土体渐进式破坏问题上的应用提供了重要的参考意义。