期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
基于形式化方法的平交道口控制系统安全设计
1
作者 王霞 王恪铭 +1 位作者 徐扬 唐伟健 《西南交通大学学报》 EI CSCD 北大核心 2023年第1期109-116,共8页
铁路平交道口控制系统是一种典型的安全苛求系统,为提高铁路平交道口的安全性,提出一个能适应双线双向接车的自动控制系统.首先,分析现有铁路平交道口的作业流程,利用新的控制系统解决现有系统中常见的三个问题,即出清检查、制动距离限... 铁路平交道口控制系统是一种典型的安全苛求系统,为提高铁路平交道口的安全性,提出一个能适应双线双向接车的自动控制系统.首先,分析现有铁路平交道口的作业流程,利用新的控制系统解决现有系统中常见的三个问题,即出清检查、制动距离限制、连续接车中防护门短时间开放问题;其次,基于Event-B语言以及精化策略对设计的自动控制系统建立形式化模型;最后,检查证明义务以验证需求属性是否被满足,并应用动画器Animation展示系统功能的正确性.结果显示:相比传统的道口管理系统,本文提出的自动控制系统增加了双线连续接车功能,且使用形式化建模和验证,避免系统设计中存在的二义性,对平交道口安全管理有一定的参考意义. 展开更多
关键词 平交道口 控制系统 需求规范 安全苛求系统 形式化方法
下载PDF
Statistical extremes and peak factors in wind-induced vibration of tall buildings 被引量:4
2
作者 Ming-feng HUANG Chun-man CHAN +1 位作者 Wen-juan LOU Kenny Chung-Siu KWOK 《Journal of Zhejiang University-Science A(Applied Physics & Engineering)》 SCIE EI CAS CSCD 2012年第1期18-32,共15页
In the structural design of tall buildings, peak factors have been widely used to predict mean extreme responses of tall buildings under wind excitations. Vanmarcke's peak factor is directly related to an explicit me... In the structural design of tall buildings, peak factors have been widely used to predict mean extreme responses of tall buildings under wind excitations. Vanmarcke's peak factor is directly related to an explicit measure of structural reliability against a Gaussian response process. We review the use of this factor for time-variant reliability design by comparing it to the conven- tional Davenport's peak factor. Based on the asymptotic theory of statistical extremes, a new closed-form peak factor, the so-called Gamma peak factor, can be obtained for a non-Gaussian resultant response characterized by a Rayleigh distribution process. Using the Gamma peak factor, a combined peak factor method was developed for predicting the expected maximum resultant responses of a building undergoing lateral-torsional vibration. The effects of the standard deviation ratio of two sway components and the inter-component correlation on the evaluation of peak resultant response were also investigated. Utilizing wind tunnel data derived from synchronous multi-pressure measurements, we carried out a wind-induced time history response analysis of the Common- wealth Advisory Aeronautical Research Council (CAARC) standard tall building to validate the applicability of the Gamma peak factor to the prediction of the peak resultant acceleration. Results from the building example indicated that the use of the Gamma peak factor enables accurate predictions to be made of the mean extreme resultant acceleration responses for dynamic service- ability performance design of modem tall buildings. 展开更多
关键词 level-crossing rate (LCR) Wind-induced vibration Mean extreme response Combined resultant process Peakfactor method
原文传递
平交路口自行车放行方法研究 被引量:1
3
作者 阮守继 《安徽警官职业学院学报》 2018年第5期69-73,共5页
自行车与机动车在平交路口相互干扰,导致交通阻塞和交通事故的时有发生,是影响城市交通秩序的主要问题之一。分析平交路口自行车交通特性,采用渠化交通、信号控制等自行车交通管制措施,妥善解决平交路口自行车交通冲突,是维护城市交通... 自行车与机动车在平交路口相互干扰,导致交通阻塞和交通事故的时有发生,是影响城市交通秩序的主要问题之一。分析平交路口自行车交通特性,采用渠化交通、信号控制等自行车交通管制措施,妥善解决平交路口自行车交通冲突,是维护城市交通秩序的关键举措。 展开更多
关键词 平交路口 自行车交通 管制方法
下载PDF
高效表达重组人粒细胞集落刺激因子工程菌的发酵参数优化 被引量:1
4
作者 刘社际 刘国荣 +4 位作者 杨立明 彭如惠 帅凌燕 周建 葛永红 《生物技术通讯》 CAS 1998年第4期268-270,共3页
运用正交试验对影响重组人粒细胞集落刺激因子(rhG-CSF)在大肠杆菌DH5α中表达水平的因素进行了研究。结果表明,在培养阶段,培养温度是影响rhG-CSF表达的显著性因素;在诱导阶段,诱导pH是影响rhG-CSF表达的显著性因素。将实验得到的优化... 运用正交试验对影响重组人粒细胞集落刺激因子(rhG-CSF)在大肠杆菌DH5α中表达水平的因素进行了研究。结果表明,在培养阶段,培养温度是影响rhG-CSF表达的显著性因素;在诱导阶段,诱导pH是影响rhG-CSF表达的显著性因素。将实验得到的优化参数运用到NBS MPP-40发酵罐进行工程菌株的发酵培养,结果表明rhG-CSF表达量可占细菌总蛋白量的25.83%。 展开更多
关键词 重组人粒细胞集落刺激因子 发酵 正交试验
下载PDF
Server Workload in an M/M/1 Queue with Bulk Arrivals and Special Delays
5
作者 Percy H. Brill Myron Hlynka 《Applied Mathematics》 2012年第12期2174-2177,共4页
We consider a variant of M/M/1 where customers arrive singly or in pairs. Each single and one member of each pair is called primary;the other member of each pair is called secondary. Each primary joins the queue upon ... We consider a variant of M/M/1 where customers arrive singly or in pairs. Each single and one member of each pair is called primary;the other member of each pair is called secondary. Each primary joins the queue upon arrival. Each secondary is delayed in a separate area, and joins the queue when “pushed” by the next arriving primary. Thus each secondary joins the queue followed immediately by the next primary. This arrival/delay mechanism appears to be new in queueing theory. Our goal is to obtain the steady-state probability density function (pdf) of the workload, and related quantities of interest. We utilize a typical sample path of the workload process as a physical guide, and simple level crossing theorems, to derive model equations for the steady-state pdf. A potential application is to the processing of electronic signals with error free components and components that require later confirmation before joining the queue. The confirmation is the arrival of the next signal. 展开更多
关键词 M/M/1 QUEUE Bulk Arrivals Delay BEFORE Joining WORKLOAD Integral Equations level crossing method
下载PDF
On the Exceedance Probabilities of Extreme Drift Motions of An Offshore Structure 被引量:1
6
作者 王迎光 谭家华 薛雷平 《China Ocean Engineering》 SCIE EI 2009年第1期27-35,共9页
The response statistics of a compliant offshore structure excited by slowly varying wave drift forces is calculated by use of a numerical path integral solution method. The path integral solution is based on the Ganss... The response statistics of a compliant offshore structure excited by slowly varying wave drift forces is calculated by use of a numerical path integral solution method. The path integral solution is based on the Ganss-Legendre interpolation scheme, and the values of the response probability density are obtained at the Gauss quadrature points in sub-intervals. It is demonstrated that a distinct advantage of the path integral solution is that the joint probability density of the response displacement and velocity is one of the by products of the calculations. This makes it possible to calculate the mean level up-crossing rates, which provides estimates of the exceedance probabilities of specified response levels for given time periods. 展开更多
关键词 exceedance probabilities mean level up-crossing rates path integral solution method compliant offshore structure joint probability density
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部