论文部分内容阅读
电站锅炉再热安全门管座内壁龟裂的超声波探伤
【出 处】
：
无损检测
【发表日期】
：
1993年3期
其他文献
XML关键词搜索使用户可以在不了解数据结构的情况下从XML数据中检索信息。之前的大部分XML关键词搜索引擎都是采用一次性的方式来呈现搜索到的XML结果段,不能使用户对结果进行进一步的优化。在这些情况下,由于关键词查询存在歧义,如何时刻保证搜索引擎准确地返回所需信息就十分重要了。提出了一种新的XML关键词搜索引擎XWord,该引擎为有效用户交互提供全面支持,自动返回单元认证及拥有灵活的匹配排序语义。
本研究目的在于通过分析北京地区森林生态系统自然保护区的鸟类多样性状况,确定北京生物多样性的热点地区,促进北京地区生物多样性保护的发展。根据北京地区自然保护区的现状
KMV模型作为现代金融领域广泛运用于风险测度的一种模型,大量的实证研究表明,其可以较好地反映公司的真实信用状况。考虑到中国金融市场的特点,直接将KMV模型运用于中国金融
以以色列515番茄为试材,分别在定植期、生长期、幼果膨大期和果实近成熟期4个时期施用离子态水溶肥料,以常规施肥作对照,研究其对番茄长势及产量的影响。结果表明,施用离子态
作业是学科教学的延伸和补充,是对单位时间内所学知识的复习与巩固,是教师用来检查教学效果、指导学生学习的教学手段之一。教师通过作业可以及时了解学生的学习状况,并据此
以液体硅橡胶（LSR）为基材、中空玻璃微珠为填料，通过共混法制备了隔热材料，探讨了不同含量、不同粒径中空玻璃微珠对材料热导率、力学性能及填料分散性的影响。结果表明，材料的拉
目的:通过针刀对兔膝骨关节炎(kneeosteoarthritis,KOA)血清中转化因子β1(TGF-β1)和Smad蛋白表达的调控,继而探讨针刀的作用机理。方法:将6月龄日本大耳白兔40只,随机等分
研究基于MEMS的加速度传感器的原理,对组合导航系统的工作原理和关键技术进行分析。采用惯性导航算法获得三维移动的位移,并且结合GPS系统定位,研制出GPS盲区内移动目标的三维定位终端;实现了GPS盲区的较高精度和可靠性的三维移动物体定位,有较好的容错性和环境适应性,具有实际使用价值。
为实现高校学费管理业务流程的网络化、自动化,依据工作流管理系统参考模型,设计了轻量级工作流引擎,并提出基于该工作流引擎的高校学费管理系统解决方案。利用Petri网对一个典型的学费管理业务流程建模并分析所建模型的正确性。基于该工作流引擎的高校学费管理系统解决方案能够较好地满足实际应用的需要。
传统的安全性分析方法用于分析由失效引起的事故能够起到很好的作用,但是目前大多数事故是由于部件间异常的交互引起的,应用传统的分析方法已经力不从心了。因此给出基于STAMP(System-Theoretic Accident Modeling and Process)的形式化安全性分析方法。首先介绍基于STAMP的安全性分析原理及分析步骤,形式化分析工具NuSMV及CTL语言;然后提出应用形式化方法进