首页> 美国政府科技报告 >Behavioral simulation as specification: Case study: The CDF muon trigger.

【24h】

Behavioral simulation as specification: Case study: The CDF muon trigger.

机译：行为模拟作为规范：案例研究：CDFμ子触发器。

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

The unambiguous specification of large systems is a significant requirement for current and future high energy physics detectors. Natural languages are susceptible to interpretation ambiguity, leading to implementation inconsistency. Thus, an executable specification is being examined. The muon trigger for the Collider Detector Facility at Fermi National Accelerator Laboratory is being used as a specific test case to evaluate the use of a computer simulation as an accurate and practical description of a detector subsystem. 6 refs., 2 figs., 1 tab. (ERA citation 15:035656)

著录项

作者
Haney, M. J.; Downing, R. W.; Thaler, J. J.; Hughes, E. R.; Detert, J. C.;
展开▼
作者单位

展开▼
年度 1990
页码 1-8
总页数 8
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
CDF; Specifications; Computer Architecture; Computerized Simulation; Muon Detection; Trigger Circuits; EDB/440104;

机译：CDF;规范;计算机体系结构;计算机模拟; muon检测;触发电路; EDB / 440104;

相似文献

外文文献
中文文献
专利

1. Comments and Reply on: "Study of multi-muon events produced in pp? interactions at vs = 1.96 TeV"; T. Aaltonen et al. (The CDF collaboration) [J] . Bethke S., Aaltonen T., Adelman J., The European physical journal, C. Particles and fields . 2010,第1a2期

机译：评论和答复：“对在vs = 1.96 TeV的pp？相互作用中产生的多介子事件进行研究”; T.Aaltonen等。（CDF合作）
2. Comments and Reply on: “Study of multi-muon events produced in [equation] interactions at [equation] TeV”; T. Aaltonen et al. (The CDF Collaboration) [J] . Siegfried?Bethke, T.?Aaltonen, J.?Adelman, European physical journal . 2010,第1a2期

机译：评论和答复：“对[等式] TeV的[等式]相互作用中产生的多介子事件的研究”; T.Aaltonen等。（CDF合作）
3. Study of multi-muon events at CDF [J] . F. HAPPACHER Il Nuovo Cimento della Societa Italiana di Fisica, C. Geophysics and space physics . 2009,第5a6期

机译：CDF的多介子事件研究
4. Simulation-Assisted Elicitation and Validation of Behavioral Specifications for Multiple Stakeholders [C] . Gabrysiak Gregor, Hebig Regina, Giese Holger 21st IEEE International WETICE Conference . 2012

机译：多个利益相关者的仿真辅助启发和行为规范验证
5. Physics validation studies for muon collider detector background simulations. [D] . Morris, Aaron Owen. 2011

机译：μ子对撞机探测器背景仿真的物理验证研究。
6. Random-Effects, Fixed-Effects and the within-between Specification for Clustered Data in Observational Health Studies: A Simulation Study [O] . Joseph L. Dieleman, Tara Templin 2010

机译：观察性健康研究中的随机效应，固定效应和聚类数据之间的规范：一个模拟研究
7. Comments and Reply on: “Study of multi-muon events produced in $par{p}$ interactions at $sqrt{s}=1.96$ TeV”; T. Aaltonen et al. (The CDF Collaboration) [O] . Siegfried Bethke, T. Aaltonen, J. Adelman, 2010

机译：对以下内容的评论和答复：“对在$ sqrt {s} = 1.96 $ TeV的$ p bar {p} $交互中产生的多介子事件的研究”； T.Aaltonen等。（CDF合作）

Behavioral simulation as specification: Case study: The CDF muon trigger.

摘要

著录项

相似文献

相关主题

期刊订阅