咨询与建议

限定检索结果

文献类型

  • 7 篇 期刊文献
  • 5 篇 会议

馆藏范围

  • 12 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 10 篇 工学
    • 6 篇 计算机科学与技术...
    • 4 篇 控制科学与工程
    • 4 篇 软件工程
    • 2 篇 机械工程
    • 1 篇 土木工程
    • 1 篇 船舶与海洋工程
  • 8 篇 理学
    • 5 篇 系统科学
    • 4 篇 数学
    • 4 篇 统计学(可授理学、...
    • 1 篇 物理学
    • 1 篇 化学
    • 1 篇 海洋科学
  • 2 篇 教育学
    • 2 篇 教育学
  • 2 篇 医学
    • 1 篇 基础医学(可授医学...
    • 1 篇 临床医学
    • 1 篇 公共卫生与预防医...

主题

  • 2 篇 machine learning
  • 1 篇 obsolescence
  • 1 篇 stochastic model...
  • 1 篇 quantum chemistr...
  • 1 篇 distribution fun...
  • 1 篇 differential equ...
  • 1 篇 human engineerin...
  • 1 篇 distributed comp...

机构

  • 3 篇 center for appli...
  • 3 篇 machine intellig...
  • 3 篇 laboratory schoo...
  • 3 篇 school of electr...
  • 3 篇 raygun performan...
  • 3 篇 faculty of compu...
  • 3 篇 department of co...
  • 3 篇 department of co...
  • 3 篇 institute for ma...
  • 3 篇 department of co...
  • 3 篇 school of comput...
  • 3 篇 distributed syst...
  • 2 篇 department of nu...
  • 2 篇 qm academy queen...
  • 2 篇 health managemen...
  • 2 篇 institute of pub...
  • 2 篇 center for biote...
  • 2 篇 school of comput...
  • 2 篇 research center ...
  • 2 篇 department of sc...

作者

  • 3 篇 parlikad ajith k...
  • 3 篇 arora priyansh
  • 3 篇 dustdar schahram
  • 3 篇 lutfiyya hanan
  • 3 篇 rana omer
  • 3 篇 haverkort boudew...
  • 3 篇 wu huaming
  • 3 篇 stankovski vlado
  • 3 篇 uhlig steve
  • 3 篇 kanhere salil s.
  • 3 篇 gill sukhpal sin...
  • 3 篇 buyya rajkumar
  • 3 篇 ghosh soumya k.
  • 3 篇 patros panos
  • 3 篇 abraham ajith
  • 3 篇 sakellariou rizo...
  • 2 篇 xu minxian
  • 2 篇 kaur rupinder
  • 2 篇 fuller stephanie
  • 2 篇 bahsoon rami

语言

  • 11 篇 英文
  • 1 篇 其他
检索条件"机构=Laboratory for Performance Evaluation and Distributed Systems Department of Computer Science"
12 条 记 录,以下是11-20 订阅
排序:
Semi-numerical solution of stochastic process algebra models  5th
Semi-numerical solution of stochastic process algebra models
收藏 引用
5th International on Algebraic Methodology And Software Technology, AMAST 1999, held with Workshop on Formal Methods for Real-Time and Probabilistic systems, ARTS 1999
作者: Bohnenkamp, Henrik C. Haverkort, Boudewijn R. Laboratory for Performance Evaluation and Distributed Systems Department of Computer Science RWTH Aachen Germany
A solution method for solving Markov chains for a class of stochastic process algebra terms is presented. The solution technique is based on a reformulation of the underlying continuous-time Markov chain (CTMC) in ter... 详细信息
来源: 评论
Influence of human engineering on manning levels and human performance on ships
收藏 引用
NAVAL ENGINEERS JOURNAL 1997年 第5期109卷 67-76页
作者: Anderson, DE Oberman, FR Malone, TB Baker, CC David E. Anderson:has a bachelor of science degree in environmental engineering from Florida Technological University and a master's degree in environmental engineering from the University of Central Florida. He is a graduate of the Naval Sea Systems Command's Engineer-In-Training (EIT) Program. Mr. Anderson was instrumental in introducing the collective protection system (CPS) in the U.S. Navy developing the initial forward-fit package for the USS Gunston Hall and the engineering change proposal (ECP) for the USS Wasp. In 1990 he joined the Human Systems Integration (HSI) Division (SEA 55W5) where he was task leader for auxiliary ships. He is currently the HSI manager for the future technology variant of the SeaLift ship and the future carrier. Association of Scientists and Engineers 33rdAnnual Technical Symposium 26 April 1996. Fred R. Oberman:has B.A. and M.A. degrees from the University of Chicago and Loyola University (experimental psychology) and an M.S. degree in industrial engineering and operations research from Virginia Polytechnic Institute (VPI). He has more than 30 years experience in HSI management planning research analysis design and testing in government and private sector positions. He is currently responsible for NavSea HSI generic research and tool development efforts. He is responsible for Human Engineering Specifications and Standards (Commercial Hypertext) and is the NavSea 03D7 representative on HSI in Performance Specifications and for integration of HSI within Integrated Logistic Support (ILS). He has served as DoD HSI SubTAG chair and member of the Simulation and Modeling Test and Evaluation Display and Control Systems Human Computer Interaction Specifications and Standards and Systems Design Sub Tags as a member of the Society of Naval Architects and Marine Engineers (SNAME) Systems Safety Panel and a member of NATO RSG 14 on man-machine analysis. Thomas B. Malone: CHFEP received a Ph.D. in experimental psychology from Fordham University in 1964. He is president of Carlow
The objectives of Human Engineering (HE) are generally viewed as increasing human performance, reducing human error, enhancing personnel and equipment safety, and reducing training and related personnel costs. There a... 详细信息
来源: 评论