XYZ系统在电信领域中的应用

最近几年，在软件工程界内部有一种趋势，这就是开发以面向具体领域的ＣＡＳＥ环境．作为这样的一种ＣＡＳＥ工具，ＸＹＺ系统是由一时序逻辑语言ＸＹＺ／Ｅ和一组基于该语言的工具集构成．在ＸＹＺ系统中有很多的工具，它们被用来满足不同的需要．众所周知，ＳＤＬ（ｓｐｅｃｉｆｉｃａｔｉｏｎａｎｄｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ）是电信领域中的一个国际标准语言，而且有关基于该语言的环境已在开发，但是有关该语言的验证工作，特别是利用有关时序逻辑语言进行验证的工作还不多．作为一种尝试，本文将利用ＸＹＺ系统中的一个子系统ＸＹＺ／ＶＥＲＩ，对ＳＤＬ所描述的有关电信领域中的例子进行验证．     

提升钢丝绳在线监测装置的研究与应用

提升钢丝绳是煤矿提升系统中的最关键部件之一,它的安全状况直接关系着人的生命和设备的安全,所以日常如何对钢丝绳进行检查及保证检查质量尤为重要。采用钢丝绳在线实时监测系统,能够准确地判断出钢丝绳的各部位的状况,且具有实时性,对煤矿的安全提升具有重要的意义。     

旋转填充床反应器流体流动可视化研究进展

旋转填充床反应器是一种典型过程强化装置,对化工过程中的传质与混合过程具有较好的强化作用。流体流动作为旋转填充床反应器中最为基础的性质,对研究、优化旋转填充床反应器的结构和性能至关重要。光学成像技术与数值模拟作为研究旋转填充床反应器中流体力学性质的重要手段在近年来得到了飞速发展。对近三十年来,旋转填充床反应器可视化研究进行了综述,从早期光学成像开始,在此基础上引入早期计算流体力学模拟,直至现在高速数码摄像可视化和基于真实结构的模拟。对旋转填充床的可视化观测从填料表面逐渐向填料内部发展,对其数值模拟从初步的数学模型发展到包含详细填料几何结构、详细流体特性的流动模拟。现有研究已对填料区、空腔区中的流体流动有了较为详细的描述。     

关于室内混响时间的计算问题

室内混响时间的计算公式只是在“理想”状况下实用,由于室内空间结构、吸声材料和使用环境的复杂性,因此在利用公式进行计算中,要特别注意一些“量”的修正,才能使计算值比较准确。     

罐笼内简易自动式阻车器的设计与应用

针对目前立井提升系统罐笼内曲轨阻车器的使用现状及存在的弊端进行了分析,自行设计了一种简易自动式罐笼阻车器,介绍了此种阻车器的设计原理、基本结构、工作过程和使用效果。     

快速检查黑白电视机的行输出电路

当黑白电视机出现有伴音而无光栅时,主要原因是显像管、显像管电路及其亮度控制系统和行扫描系统出了故障,下面介绍快速检查行输出电路的方法,供初学者参考。一、先测行输出管的基极电压,如果基极有0.1～     

脆硫锑铅矿的低温熔盐冶炼工艺及机制研究

研究了以ZnO为固硫剂，碳粉为还原剂，Na₂CO₃、NaCl混合物熔盐为熔炼介质，对脆硫锑铅矿进行固硫还原反应制备锑铅合金，并探讨了冶炼机制。结果表明：在900～1 000℃下，固硫还原反应可以进行；熔渣中有ZnS生成，起到了固硫作用；在熔炼温度900℃、熔炼时间90 min、ZnO用量为矿石质量1.05倍、碳粉用量为矿石质量0.3倍、熔盐为反应物总质量3倍、熔盐组成为Na₂CO₃和NaCl质量比6∶4条件下，锑铅合金直收率达79%,其中锑质量分数为42%,铅质量分数为46%;该法可将矿石中的S元素以ZnS形式固定，避免了含硫废气的排放，且作为熔盐的Na₂CO₃和NaCl可再次回收，有利于实现环境友好和资源回收利用。     

基于Delphi法的公路隧道风险分析

以山区高速公路工程建设大发展以及网络化运营的需要为背景,以正在运营的典型长大公路隧道为依托,借助于风险分析理论,采用Delphi法,对调研的公路隧道结构病害进行风险分析。调查表明调研隧道中,隧道结构渗漏水、衬砌裂损及腐蚀、衬砌背后松动及空洞为严重型风险问题,而路面破损为不可忍受型风险问题。为此提醒隧道相关部门应采取措施,对这几类风险进行严格防治,对已出现的风险问题进行维修与治理,对还没发生并极有可能发生的风险尽早排除。     

石油磺酸钠胶束溶液在增注中的应用

本文主要介绍用国内新研制的石油磺酸钠同柴油和水混合配得的胶束溶液的持性及用于水井增注的矿场试验结果。