检索结果-内蒙古大学图书馆

11th International Probabilistic Safety Assessment and Management Conference and the Annual European Safety and Reliability Conference 2012, PSAM11 ESREL 2012

作者： Wacker, H.D. Ugljesa, E. Boercsoek, J. Department of Computer Architecture and System Programming Faculty of Electrical Engineering /Computer Science University Kassel Wilhelmshöher Allee 71 Germany

ISBN: (纸本)9781622764365

Let there be given a safety related electronic system suffering from random failures or errors. The standard IEC 61508 contains simplified equations for the probability of failure on demand PFDavg for special system architectures, mostly without proof. In various publications PFDavg is defined by several different equations, e.g. as a Laplacian probability, as an integral mean, or by means of the average failure rate of the system. The aim of the paper is to determine PFDavgby stochastic methods and to bring together the different definitions. A formula for PFDavg is given that is valid for most universal electronic systems. The equivalence of 2 different definitions of PFDavgis shown. The special case of a koon-System is investigated, and the resulting equations improve those known so far. The basic idea is to randomize the time to failure, the down time of the system, as well as the repair time, and then, by means of the Stieltjes-Integral, determine the mean or average time as the expectation of the respective random variable.

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

New approach to predict warranty costs using a new bivariate reliability prediction model 32nd

New approach to predict warranty costs using a new bivariate...

引用

32nd European Safety and Reliability Conference, ESREL 2022

作者： Krini, Abderrahim Börcsök, Josef Engineering of Reliability and Quality Robert Bosch GmbH Germany Computer and System Programming University of Kassel Germany

ISBN: (纸本)9789811851834

An important marketing strategy of automotive manufacturers is to promote high-quality products by extending warranty periods, which inevitably generates additional costs. In general, different loads on a control unit cause a failure. Therefore, a failure can be traced back to the loads experienced. In reliability theory, the operating time t is commonly used as a reference value for describing the load acting on a system, since the electronic control units (ECUs) are only under current and voltage for the duration t and are therefore only loaded during this time. However, obtaining a suitable database is difficult. The failure data of ECUs collected during the warranty period from the supplier in the event of complaints can be regarded as complete and therefore represent a suitable database for determining reliability parameters. The warranty data are time-censored and reflect the field behaviour of the ECUs during the warranty period. As a rule, when collecting the data, the duration (production and complaint date) of the ECUs in the field is recorded in addition to the cause of failure. With a new multivariate prediction model that uses this data to forecast the expected ECU failures and knowledge of the costs of a warranty case, the expected additional costs of a warranty extension can be calculated. © 2022 ESREL2022 Organizers. Published by Research Publishing, Singapore.

关键词： Automotive industry

来源：评论

学校读者我要写书评

暂无评论

Using shared arrays in message-driven parallel programs

Using shared arrays in message-driven parallel programs

引用

25th IEEE International Parallel and Distributed Processing Symposium, Workshops and Phd Forum, IPDPSW 2011

作者： Miller, Phil Becker, Aaron Kalé, Laxmikant Parallel Programming Laboratory Department of Computer Science University of Illinois Urbana-Champaign United States

ISBN: (纸本)9780769543857

This paper describes a safe and efficient combination of the object-based message-driven execution and shared array parallel programming models. In particular, we demonstrate how this combination engenders the composition of loosely coupled parallel modules safely accessing a common shared array. That loose coupling enables both better flexibility in parallel execution and greater ease of implementing multi-physics simulations. As a case study, we describe how the parallelization of a new method for molecular dynamics simulation benefits from both of these advantages. We also describe a system of typed handle objects that embed some of the determinacy constraints of the Multiphase Shared Array programming model in the C type system, to catch some violations at compile time. The combined programming model communicates in terms of these handles as a natural means of detecting and preventing errors. © 2011 IEEE.

关键词： Molecular dynamics

来源：评论

学校读者我要写书评

暂无评论

Projections for strictness analysis 3rd

引用

3rd International Conference on Functional programming Languages and computer Architecture, 1987

作者： Wadler, Philip Hughes, R.J.M. Programming Research Group Oxford University United Kingdom Programming Methodology Group Chalmers University Göteborg Sweden Department of Computer Science University of Glasgow United Kingdom

ISBN: (纸本)9783540183174

Contexts have been proposed as a means of performing strictness analysis on non-flat domains. Roughly speaking, a context describes how much a sub-expression will be evaluated by the surrounding program. This paper shows how contexts can be represented using the notion of projection from domain theory. This is clearer than the previous explanation of contexts in terms of continuations. In addition, this paper describes finite domains of contexts over the non-flat list domain. This means that recursive context equations can be solved using standard fixpoint techniques, instead of the algebraic manipulation previously used. © 1987, Springer-Verlag.

关键词： Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

Double-averaged Turbulence Characteristics Over Hemispherical Rough Bed 1

引用

26th International Conference on Hydraulics, Water Resources and Coastal Engineering, HYDRO 2021

作者： Shounda, Jaynata Barman, Krishnendu Department of Applied Mathematics With Oceanology and Computer Programming Vidyasagar University West Bengal Midnapore721102 India

ISBN: (数字)9789811991516

ISBN: (纸本)9789811991509

This study characterized the double-averaged (time and space) turbulence parameters and local flow distributions through the experimental measurement over fully submerged artificially made hemispherical rough bed. Three different directional components of velocity data were collected by 3D micro-acoustic Doppler velocimeter (ADV) with a Reynolds number 62000. The changes of spatially averaged mean velocity profiles into specific flow layers on this rough bed were discussed corresponding with the smooth bed data. In the bottom wall region, double-averaged negative velocity components indicate the flow separation and strong recirculation zone. However, results from the double-averaged turbulent-kinetic-energy (TKE) flux and form-induced TKE flux were shown the upward and downward TKE transport throughout the flow depth. Also, TKE budgets terms turbulence production, diffusion and dissipation attain their peaks at the interfacial sub-layer of this rough bed flow. The production and dissipation rates of TKE have reached their maximum points at just above the lower extremity of form-induced sub-layer and within the interfacial sub-layer, respectively. The interfacial sub-layer has been treated as the losing zone of TKE pressure energy distribution and the zone of turbulence spreading. Moreover, the lower boundary of form-induced sub-layer shows as the energy access region. © 2023, The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： Turbulence

来源：评论

学校读者我要写书评

暂无评论

Grid resource management using lottery scheduling 11

Grid resource management using lottery scheduling

引用

Proceedings of the 12th International Conference on computer Systems and Technologies

作者： Borovska, Plamenka Aleksieva-Petrova, Adelina Gancheva, Veska Beshkov, Stefan Department of Computer Systems Technical University of Sofia Bulgaria Department of Programming and Computer Technologies Technical University of Sofia Bulgaria Experian Bulgaria Bulgaria

ISBN: (纸本)9781450309172

The GRID infrastructure provides an aggregation of a wide variety of distributed resources for solving large-scale data intensive problems in various fields. The aim of this paper is to propose a method for grid resource management based on lottery scheduling. The lottery scheduling algorithm is implemented as an extension of GridSim simulator that integrates an additional strategy for planning and resource management. © 2011 ACM.

关键词： Scheduling algorithms

来源：评论

学校读者我要写书评

暂无评论

Specification, implementation, and verification of Domain Specific Languages: A logic programming-based approach

引用

Lecture Notes in computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2002年 2407卷 211-239页

作者： Gupta, Gopal Pontelli, Enrico Applied Logic Programming Languages and Systems Lab. Department of Computer Science University of Texas at Dallas Richardson TX 95083 United States Laboratory for Logic Databases and Advanced Programming Department of Computer Science New Mexico State University Las Cruces NM 88003 United States

ISBN: (纸本)3540439595

Domain Specific Languages (DSLs) are high level languages designed for solving problems in a particular domain, and have been suggested as means for developing reliable software systems. We present a (constraint) logic programming-based framework for specification, efficient implementation, and automatic verification of domain specific languages (DSLs). Our framework is based on using Horn logic (or pure Prolog), and eventually constraints, to specify denotational semantics of domain specific languages. Both the syntax as well as the semantic specification of the DSL in question are directly executable in our framework: the specification itself serves as an interpreter for the DSL. More efficient implementations of this DSL-a compiler-can be automatically derived via partial evaluation. Additionally, the executable specification can be used for automatic or semi-automatic verification of programs written in the DSL as well as for automatically obtaining traditional debuggers and profilers. The ability to verify DSL programs is a distinct advantage of our approach. In this paper we give a general outline of our approach, and illustrate it with practical examples. © 2002 Springer-Verlag Berlin Heidelberg.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Tense in formal language syntax and cooperating sequential processes

引用

Kybernetes 1975年第2期4卷 49-55页

作者： Rine, D. Computer Science (Programming Languages) West Virginia University Morgantown W. Va. 26506 United States

There are few places in the literature on formal language syntax where tense is efficiently treated as part of the syntactical structure. In both natural languages and programming languages, cybernetically speaking, one encounters the fundamental concept of “verb phrase”. For information processing the COBOL programmer can construct the extended general form of verb commands containing tense as follows: [formula ometed]. The syntactical grammar with tense is introduced. Then, one obtains a formal language and system which makes formal conversation about same-resource oriented sequential processes truly cooperating sequential processes, time-events being fundamental in the study of these processes. © 1975, MCB UP Limited

关键词：

来源：评论

学校读者我要写书评

暂无评论

Data abstraction in GLISP 83

Data abstraction in GLISP

引用

1983 ACM SIGPLAN Symposium on programming Language Issues in Software Systems, SIGPLAN 1983

作者： Novak, Gordon S. Heuristic Programming Project Computer Science Department Stanford University StanfordCA94305 United States

ISBN: (纸本)0897911083

GLISP is a high-level language that is based on Lisp and is compiled into Lisp. It provides a versatile abstract-data-type facility with hierarchical inheritance of properties and object-centered programming. The object code produced by GLISP is optimized, so that it is about as efficient as handwritten Lisp. An integrated programming environment is provided, including editors for programs and data-type descriptions, interpretive programming features, and a display-based inspector/editor for data. GLISP is fully implemented. © 1983 ACM.

关键词：

来源：评论

学校读者我要写书评

暂无评论

On optimising shape-generic array programs using symbolic structural information

引用

18th International Symposium on Implementation and Application of Functional Languages, IFL 2006

作者： Trojahner, Kai Grelck, Clemens Scholz, Sven-Bodo University of Lübeck Institute of Software Technology and Programming Languages University of Hertfordshire Department of Computer Science

ISBN: (纸本)9783540741299

Shape-generic programming and high run time performance do match if generic source code is systematically specialised into nongeneric executable code. However, as soon as we drop the assumption of whole-world knowledge or refrain from specialisation for other reasons, compiled generic code is substantially less efficient. Limited effectiveness of code optimisation techniques due to the inherent lack of knowledge about the structural properties of arrays can be identified as the single most important source of inefficiency. However, in many cases partial structural information or structural relationships between arrays would actually suffice for optimisation. We propose symbolic array attributes as a uniform scheme to infer and to represent partial and relational structural information in shape-generic array code. By reusing the regular language to express structural properties in intermediate code, existing optimisations benefit from symbolic array attributes with little or no alteration. In fact, program optimisation and identification of structural properties cross-fertilise each other. We outline our approach in the context of the functional array language SAC and demonstrate its effectiveness by a small case study. © Springer-Verlag Berlin Heidelberg 2007.

关键词： Information analysis

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：