排序方式: 共有51条查询结果,搜索用时 125 毫秒
1.
2.
UML时间顺序图的实时系统建模及验证 总被引:2,自引:1,他引:1
实时系统中的一点疏漏可能导致灾难性后果,故确保该类系统正确性和可靠性是至关重要的,而建模无疑是一种很好的解决办法.形式化建模方法使用具有严格数学语义对系统进行描述,但是形式化模型不够直观,形式化规格难以理解.扩展UML顺序图实现对实时系统的建模及形式化验证,并给出实例. 相似文献
3.
非声学公共建筑中的声品质 总被引:2,自引:0,他引:2
本文分析了在八种公共建筑类型中的声学专题研究结果, 包括火车站、商城、图书馆、开敞式办公室、足球场、游泳空间、用餐空间、及教堂, 旨在考查主观评价和客观指标之间的关系, 并且探索在非声学建筑中创造舒适的声环境的原则和框架。分析表明了声品质在这类非声学建筑中的重要性, 另外, 即使客观指标例如声压级和混响时间相同, 声舒适度亦可能完全不同。其它关键因素包括社会背景、心理调节、声音喜好、声学处理的接受程度, 声学与其他环境因素的相互作用、以及不满意的声品质可能造成的健康影响。 相似文献
4.
溶胶凝胶法制备的Mn系氧化物热敏薄膜的尺寸效应 总被引:1,自引:0,他引:1
本文阐述了用溶胶凝胶法制备CoMnCuO等热敏薄膜的方法,研究了它们的电学性质。结果表明,薄膜的R-T特性基本符合R=Roexp(B/T)关系。在本文样品厚度的范围内,厚度对电阻率(pt)和材料常数(B)有较大的影响。利用扩展电阻仪分析了电阻率随深度的变化,用俄歇电子能谱分析了组分随深度的变化,在此基础上对尺寸效应作出了相应的解释。 相似文献
5.
吸声降噪的主观评价实验 总被引:1,自引:0,他引:1
吸声降噪与其它降噪方法有一不同之处,即其不仅有声级的变化,而且有混响时间的变化.这样,吸声降噪的主观感觉有可能和一般的声级变化与主观感觉的关系有所差异.这一点在一些实际工程中已有所体现.本文拟通过主观评价实验来定量地考察几个有关吸声降噪主观感觉的问题,具体包括: 相似文献
6.
填料-高压微雾复合式直接蒸发冷却空调机组的探讨 总被引:1,自引:0,他引:1
针对国家提出节能减排及近年来出台的采用蒸发冷却空调技术的相关措施。提出了一种新型的填料一高压微雾复合式直接蒸发冷却空调机组。该机组与传统的喷水室、填料式喷水室空调机组相比具有高效、节能、净化等优点。而且广泛适用于核电站设备间、机房等室内显热量比较大,散湿量比较小的场所。本文分别介绍喷水室的特点以及填料式喷水室和高压微雾的工作原理和特点,将填料式直接蒸发冷却空调与填料一高压微雾进行对比。而且在本文中对填料一高压微雾与高压微雾一填料在该复合式直接蒸发冷却空调机组中的不同布置形式进行了对比分析。 相似文献
7.
农药废水高级氧化处理技术的研究现状及发展 总被引:1,自引:0,他引:1
随着我国农药产量的逐年提高,农药废水的处理形势也日益严峻,农药废水处理的新工艺、新法成为科研工作者研究的热点。本文概述了臭氧类氧化、Fenton试剂氧化和光催化氧化三种农药废水催化氧化处理技术的原理和研究现状,并对未来的技术发展趋势进行了展望。 相似文献
8.
9.
用缩尺模型来研究厅堂影响已有五十多年历史。大量对比实验表明了这种方法的可用性。但此方法尚须向更快速、简捷、准确发展,本文即试图做一些方法上的探讨。 相似文献
10.
用多变量频域稳定性判据,分析了自适应激光谐振腔系统的稳定性,针对千瓦级CO2激光非稳腔和五通道弱关联自适应光学系统的计算机模拟结果表明,多变量频域法研究自适应光学动力学系统的稳定性是有效的。 相似文献