浅谈如何做好工程施工监理日记的编写工作

监理日记的编写是监理工作的重要内容,是工程建设实施监理过程中最直接、最真实的工作证据;是编写人的工作态度、素质、能力和水平的反映。文章叙述了监理日记应包括的主要内容及编写时应注意的问题。     

基于TDR的特性阻抗测量的数据处理

针对特性阻抗的频域测量难以满足工业生产需求的问题,提出了一种基于TDR的特性阻抗的时域测量方法。文中采用TDR模块Agilent54754A,测量标准件电路板的特性阻抗,并将实验测量的文本数据从示波器导入电脑,作为计算电路板特性阻抗的实测数据。然而时域测量方法得到的实测数据容易受到时基抖动和微波反射等的影响,论文采用PDF反卷积法有效去除了数据中的时基抖动,并根据IPC TM 650规程选择最佳测量区域,有效地去除了微波反射,而且将两种方法综合应用来处理实验数据。将处理过的电压值变换成阻抗值,结论表明,测量数据处理结果十分接近被测件的标定值。     

OFR和SBR联合工艺处理医药废水的研究

利用自行研制的氧化絮凝复合床处理了医药废水。实验了各种催化剂对废水中有机污染物去除率的影响,选取了最佳催化剂,同时我们对后续生化处理也进行了研究。结果表明,氧化絮凝复合床法与后续生化法串联处理工艺经济实用,处理后水质完全符合排放标准。     

一个基于智能的MAS模型及其方法论

为了得到好的体系结构模式来将模式驱动的方法用于多智能体系统(MAS)的设计,必须有形式上抽象但是技术上细化的方法论.基于智能思想的提出,使得以智能作桥梁将AO,PO和OO的优点融合,并以此提出一种覆盖了从事务分析到Agent组织系统实现全过程而又比较技术化的方法论IB.同时提出一个基于智能的智能系统模型(MIBIS),通过模型的构造过程来叙述方法论.因为模型以及构造过程的形式化和整个过程的技术化,所以使得该模型和方法论能够被用于体系结构模式的归纳,也能用于工程的实用.而且该模型所表达的结构有良好动态组织性、实用性、实时性、扩展性和重用性.     

有界模型检测和串空间模型相结合的安全协议验证

提出用BMC和串空间结合的方法对安全协议进行验证.首先是通过串空间的出测试理论先构造不安全协议的部分丛结构,通过该丛结构来约束协议运行的的规模和角色行为;然后用BMC对该丛结构进行建模,建立起对应的有限状态自动机和LTL验证规范,进行验证,有效减轻状态空间爆炸问题;利用不安全协议丛结构的特点,对BMC的下界进行优化.这种方式结合了模型检测和定理证明的优点,通过典型的安全协议的分析和实验,验证了本方法较传统的模型检测方法在验证安全协议时,验证效率提高明显.     

复杂条件下软土基坑支护的设计与施工

本文介绍了家路大酒店软土基坑支护工程的设计方案及实施效果,提出了在复杂环境及不良工程地质条件下进行基坑开挖与支护的具体施工技术。