排序方式: 共有7条查询结果,搜索用时 15 毫秒
1
2.
监理日记的编写是监理工作的重要内容,是工程建设实施监理过程中最直接、最真实的工作证据;是编写人的工作态度、素质、能力和水平的反映。文章叙述了监理日记应包括的主要内容及编写时应注意的问题。 相似文献
3.
针对特性阻抗的频域测量难以满足工业生产需求的问题,提出了一种基于TDR的特性阻抗的时域测量方法。文中采用TDR模块Agilent54754A,测量标准件电路板的特性阻抗,并将实验测量的文本数据从示波器导入电脑,作为计算电路板特性阻抗的实测数据。然而时域测量方法得到的实测数据容易受到时基抖动和微波反射等的影响,论文采用PDF反卷积法有效去除了数据中的时基抖动,并根据IPC TM 650规程选择最佳测量区域,有效地去除了微波反射,而且将两种方法综合应用来处理实验数据。将处理过的电压值变换成阻抗值,结论表明,测量数据处理结果十分接近被测件的标定值。 相似文献
4.
5.
本文介绍了家路大酒店软土基坑支护工程的设计方案及实施效果,提出了在复杂环境及不良工程地质条件下进行基坑开挖与支护的具体施工技术。 相似文献
6.
一个基于智能的MAS模型及其方法论 总被引:2,自引:0,他引:2
为了得到好的体系结构模式来将模式驱动的方法用于多智能体系统(MAS)的设计,必须有形式上抽象但是技术上细化的方法论.基于智能思想的提出,使得以智能作桥梁将AO,PO和OO的优点融合,并以此提出一种覆盖了从事务分析到Agent组织系统实现全过程而又比较技术化的方法论IB.同时提出一个基于智能的智能系统模型(MIBIS),通过模型的构造过程来叙述方法论.因为模型以及构造过程的形式化和整个过程的技术化,所以使得该模型和方法论能够被用于体系结构模式的归纳,也能用于工程的实用.而且该模型所表达的结构有良好动态组织性、实用性、实时性、扩展性和重用性. 相似文献
7.
提出用BMC和串空间结合的方法对安全协议进行验证.首先是通过串空间的出测试理论先构造不安全协议的部分丛结构,通过该丛结构来约束协议运行的的规模和角色行为;然后用BMC对该丛结构进行建模,建立起对应的有限状态自动机和LTL验证规范,进行验证,有效减轻状态空间爆炸问题;利用不安全协议丛结构的特点,对BMC的下界进行优化.这种方式结合了模型检测和定理证明的优点,通过典型的安全协议的分析和实验,验证了本方法较传统的模型检测方法在验证安全协议时,验证效率提高明显. 相似文献
1