soundness相关论文
Research on physical and chemical properties and soundness of dry desulphurized fly ash used as a co
...
结构健壮性判定是服务组合领域的一个重要研究问题。已有研究成果通常仅对健壮性进行定性分析，难以精准对服务流程的结构质量进行评......
水泥的体积安定性是水泥的重要指标之一。文章主要依据GB／T1346—2001分析了影响水泥安定性检测的主要因素，并提出了针对性预防误判......
水泥的安定性是水泥检测项目中的重要指标之一,文章依据GB/T1346-2001《水泥标准稠度用水量、凝结时间、安定性检验方法》认真分析......
余代数为各种各样的模态逻辑提供一致的语义框架.Lutz Schr？der证明了任意自函子的余代数类都有一个rank-1的公理化.反过来,每一个r......
稿件处理流程是一个部分自动执行的业务过程。通过对稿件处理工作流实际应用环境的分析．提出了一个相对完整的基于Petri网的工作流......
归纳了流体密封和气密性试验的技术原理和主要分类,并以差压法为例分析燃气器具生产过程试验,指出对于试验要求范围内的燃气器具泄......
随着工作流系统趋于大型化,使得可达图的验证技术对于大型模型进行验证时面临着状态空间爆炸的问题。因此,在过程验证之前,对大型......
目前，工作流系统向大型化发展，这使得基于可达图的验证技术在对大型模型进行验证时面临着状态空间爆炸的问题。因此，在过程验证之前，对......
2010年11月某公司新型干法线熟料KH值正常而f-CaO含量持续偏高，以致水泥安定性不合格而不能出厂。据分析，一是煤粉质量较差（其灰高达4......
钢渣细集料具有密度大、强度高、抗渗性好等优点而大量应用于建材行业。安定性是决定钢渣制品能否工程推广的关键因素,因此有必要......
计算状态空间可达图是验证工作流正确性的主要方法，状态空间爆炸是这类方法的主要困难。文章对线性时态逻辑LTLx描述的正确性提出了......
本试验对掺MgO膨胀剂的碾压混凝土在常压90℃，绝湿养护条件下进行了混凝土安定性试验。结果显示MgO混凝土膨胀破坏主要发生在水泥石......
一致性、可靠性、完全性、不完全性是形式系统的基本概念。在厘清上述概念的基础上,对其间相互关系的梳理使我们明晰了哥德尔完全......
中介逻辑是朱梧槚先生提出的一个3-值逻辑.给出了一个命题中介逻辑,其中引入中介连接词-、反对连接词 以及蕴涵连接词→,并且定义......
采用不同热处理工艺处理钢渣,通过化学相分离方法定性、定量研究不同热处理工艺参数对热处理钢渣中MgO的含量分布,同时研究了钢渣......
语法完全性仅与一个形式系统的语法构造相关,经典命题逻辑的有代入规则的系统是语法完全的,无代入规则的系统不是语法完全的.将全......
通过测定钢渣在不同蒸养温度条件下的化学结合水和抗压强度,以及对水化产物进行XRD和SEM分析,探讨了钢渣在蒸养条件下的安定性问题......
高钙粉煤灰如果不加限制使用或没有采取预处理措施,可能会给混凝土的体积安定性带来隐患。在市场上抽取了某电厂的商品高钙粉煤灰......
针对当前天然砂资源日益匮乏的现状,采用炼钢厂的副产品——钢渣作细集料替代天然砂,但钢渣砂的体积安定性一直是制约其应用的关键......
绿色高性能混凝土要求更多地利用工业废渣,锰矿渣是冶铁产生的废渣,磨细后具有潜在活性.试验采用磨细锰矿渣粉,研究其物理性能、活......
通常的逻辑只涉及静态否定的概念。文章建立了几类动态系统来刻画动态否定概念，并引入相应的语义，然后证明这些系统相对这些语义是可......
介绍了混凝土安定性的检测方法和检测原理,结合某工程实例,对该工程混凝土安定性进行了检测和分析,指出混凝土安定性是影响工程质......
利用金相显微镜和扫描电镜对GCr15喷射成形试样的疏松、显微组织进行了分析,采用能谱分析法对试样中元素含量及分布进行了分析.提......
自动推理作为自动定理证明的扩展是人工智能研究的基础工作，许多重要的人工智能系统都是以推理系统为其核心部分，其中的tableau方法，......
高校体育的发展，高校体育课程的改革，在人类步入21世纪，面对世界性知识经济的浪潮，如何对学生施以“全方”体育教育,已成为人们有待解......
WF-net是一种工作流模型，合理性是衡量WF-net模型正确性的一个标准，不合理的工作流模型会导致运行错误．但是合理性验证问题是NP-compl......
