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

Simulation Winter Conference

作者： M.A.F. Wagner S. Sevinc O. Tanir P.L. Haigh J.D. Arthur R.E. Nance H.D. Schwetman SysTech Software Solutions Annandale VA USA Knowledge Systems Group Basser University of Sydney Australia Quality Engineering and Research (QER) Group Longueuil QUE Canada High Performance Software Inc. Dayton OH USA Systems Research Center Department of Computer Science Virginia Polytechnic Institute and State University Blacksburg VA USA Mesquite Software Inc. Austin TX USA

ISBN: (纸本)9780780321090

The concept of a simulation environment combines different aspects of the simulation process into one complete powerful tool. The environment should provide the necessary state-of-the-art advances and concepts that a modeler may require during the simulation development and execution process. The "environment" requirements must address the end user needs while minimizing the necessity of learning a new language. The requirements must specify the useful features, independent of different platforms and implementation languages. Hence the opportunity exists for standardization of environments. The paper opens a discussion on challenges and rewards awaiting the simulation community with the advent of a standard environment.

关键词： Power system modeling Computational modeling computer simulation Standardization Knowledge based systems Australia Knowledge engineering software performance Drives computer science

来源：评论

学校读者我要写书评

暂无评论

The impact of an Ada run-time system’s performance characteristics on scheduling models 12th

The impact of an Ada run-time system’s performance characte...

引用

12th Ada-Europe International Conference, 1993

作者： Burns, A. Wellings, A.J. Hutcheon, A.D. Real-time and Distributed Systems Research Group Department of Computer Science University of York United Kingdom York Software Engineering Ltd United Kingdom

ISBN: (纸本)9783540568025

When analysing hard real-time systems for their performance properties, most scheduling models either ignore the timing characteristics of the underlying run-time support kernel entirely or have a very simple model of its behaviour. However, when engineering an actual implementation, it is necessary to tailor the scheduling theory so that the actual performance characteristics of the run-time system are adequately addressed. Failure to do this may result in a "guaranteed" task missing its deadline. In this paper we investigate an actual Ada run-time kernel and give performance measures for clock handling and delay queue manipulation. The impact these measures have on the scheduling models are discussed. © Springer-Verlag Berlin Heidelberg 1993.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

FunBase: a function-based information management system 93

FunBase: a function-based information management system

引用

Proceedings of the second international conference on Information and knowledge management

作者： Wafik M. Farag Toby J. Teorey Software Systems Research Laboratory Department of Electrical Engineering and Computer Science The University of Michigan Ann Arbor MI

来源：评论

学校读者我要写书评

暂无评论

Model-based formal specification directed testing of abstract data types

Model-based formal specification directed testing of abstrac...

引用

IEEE Annual International computer software and Applications Conference (COMPSAC)

作者： X. Jia Institute of Software Engineering Department of Computer Science and Information Systems DePaul University De Paul University Chicago IL USA

A model-based formal specification directed software testing approach is presented. It provides a test oracle and introduces a new coverage criterion for the functional (black-box) testing based on formal specifications. Given the source code of an implementation, its formal specification, and the retrieve functions, a test driver can be generated to conduct, evaluate, and measure the functional test. Although the complete specification conformance of an implementation cannot be established by testing alone, our approach provides a strong necessary condition of complete specification conformance.< >

关键词： Formal specifications software testing System testing software systems Concrete software engineering computer science Information systems Application software Specification languages

来源：评论

学校读者我要写书评

暂无评论

Temporal modules: an approach toward federated temporal databases 93

Temporal modules: an approach toward federated temporal data...

引用

Proceedings of the 1993 ACM SIGMOD international conference on Management of data

作者： X. Sean Wang Sushil Jajodia V. S. Subrahmanian Department of Information and Software Systems Engineering George Mason University Fairfax VA Department of Computer Science University of Maryland College Park MD

ISBN: (纸本)9780897915922

In a federated database environment, different constituents of the federation may use different temporal models or physical representations for temporal information. This paper introduces a new concept, called a temporal module, to resolve these differences, or mismatches, among the constituents. Intuitively, a temporal module hides the implementation details of a temporal relation by exposing its information only through two windowing functions: The first function associates each time point with a set of tuples and the second function links each tuple to a set of time points. A calculus-style language is given to form queries on temporal *** modules are then extended to resolve another type of mismatch among the constituents of a federation, namely, the mismatch involving different time units (e.g., month, week and day) used to record temporal information. Our solution relies on “information conversions” provided by each constituent. Specifically, each temporal module is extended to provide several “windows” to its information, each in terms of a different time unit. The first step to process a query addressed to the federation is to select suitable windows to the underlying temporal modules. In order to facilitate such a process, time units are formally defined and studied. A federated temporal database model and its query language are proposed. The query language is an extension of the above calculus-style language.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Temporal modules

引用

SIGMOD Record 1993年第2期22卷 227-236页

作者： Sean Wang, X. Jajodia, Sushil Subrahmanian, V.S. Department of Information and Software Systems Engineering George Mason University FairfaxVA22030 United States Department of Computer Science University of Mardland College ParkMD29742 United States

In a federated database environment, different constituents of the federation may use different temporal models or physical representations for temporal information. This paper introduces a new concept, called a temporal module, to resolve these differences, or mismatches, among the constituents. Intuitively, a temporal module hides the implementation details of a temporal relation by exposing its information only through two windowing functions: The first function associates each time point with a set of tuples and the second function links each tuple to a set of time points. A calculus-style language is given to form queries on temporal *** modules are then extended to resolve another type of mismatch among the constituents of a federation, namely, the mismatch involving different time units (e.g., month, week and day) used to record temporal information. Our solution relies on "information conversions"provided by each constituent. Specifically, each temporal module is extended to provide several "windows"to its information, each in terms of a different time unit. The first step to process a query addressed to the federation is to select suitable windows to the underlying temporal modules. In order to facilitate such a process, time units are formally defined and studied. A federated temporal database model and its query language are proposed. The query language is an extension of the above calculus-style language. © 1993 ACM.

关键词： Query languages

来源：评论

学校读者我要写书评

暂无评论

Determining cost-effective multiple issue processor designs

Determining cost-effective multiple issue processor designs

引用

IEEE International Conference on computer Design: VLSI in computers and Processors, (ICCD)

作者： T.M. Conte W. Mangione-Smith Department of Electrical and Computer Engineering University of South Carolina Columbia SC USA Corporate Software Systems Research Laboratory Motorola Inc. Rolling Meadows IL USA

Several commercial processors, including the Motorola 88110 and the DEC Alpha, are capable of issuing multiple operations per clock cycle. Optimization of the pipeline depth and number of function units in these processors has been largely ignored due to limited semiconductor resources. Recently, advances in feature size and packaging technologies have removed these limitations. It is possible that next-generation processor designs may benefit from multiple function unit copies and optimize pipeline depths. The paper investigates the feasibility of performing synthesis at the architectural specification level. The design space is optimized for performance constrained by a hardware model of silicon area. The results of this study indicate that cost-effective high performance can be achieved with the addition of small amounts of function unit duplication. These results are also used to comment on the validity of the "benchmark suite" approach to performance evaluation and machine design.< >

关键词： Process design Pipelines Space technology Clocks Design optimization Hardware Semiconductor device packaging Constraint optimization Silicon software systems

来源：评论

学校读者我要写书评

暂无评论

HIGH-LEVEL software SYNTHESIS

引用

INCOSE International Symposium 1993年第1期3卷 207-214页

作者： Brackett, John W. Pyster, Arthur B. Software Productivity Consortium and Department of Electrical Computer and Systems Engineering Boston University 44 Cummington Street BostonMA22015 United States Software Productivity Consortium 2214 Rock Hill Road HerndonVA22070 United States

High-Level software Synthesis (HLSS) is an advanced model-based, product-line-oriented software development process being developed by the software Productivity Consortium (Consortium). The HLSS process is based upon thorough requirements- and design-level validation through the use of models that can predict important properties of the software to be built. The HLSS process is designed to enable an organization to produce members of an embedded system product line at reduced cost, with higher quality, and more rapidly than conventional software production methods. © 1993 The Authors.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

STATISTICAL PROCESS-CONTROL FOR software IN THE MAINTENANCE PHASE

引用

NAVAL ENGINEERS JOURNAL 1993年第3期105卷 192-200页

作者： LUKE, SR JACOBS, DA REED, BM Stephen R. Luke:is a registered professional engineer in the Commonwealth of Virginia. He received his B.S. in mechanical engineering from Virginia Polytechnic Institute in 1983 and is presently pursuing a master's degree in engineering management at Old Dominion University. Mr. Luke is experienced as a test engineer at the Norfolk Naval Shipyard (1978–1989) and as a reliability/quality engineer at the Naval Undersea Warfare Center Detachment Norfolk (1989-Present). Currently he is the group leader of the RMA/QA group for the AN/SQQ-89(V) Antisubmarine Warfare System at Naval Undersea Warfare Center Detachment Norfolk. Mr. Luke is a member of ASNE IEEE (Reliability Society) and ASQC and is an ASQC certified quality engineer and reliability engineer. Derya Alasya Jacobs:is an assistant professor in the Engineering Management Department at Old Dominion University (ODU). She has a B.S. in computer science and an M.S. and Ph.D in engineering management from the University of Missouri-Rolla. Prior to joining ODU Dr. Jacobs worked as a research engineer at the Center for Technology Transfer and Economic Development at the University of Missouri-Rolla. During the same period she served as a consultant in software development for Missouri Enterprise Rolla Missouri. Dr. Jacobs' research interests are in the areas of applied artificial intelligence decision support systems operations research and computer integrated manufacturing. Billie M. Reed:is an assistant professor in the Engineering Management Department at Old Dominion University. He received a B.S. degree in mechanical engineering from Auburn University in 1971. After completing undergraduate studies Dr. Reed was commissioned as an officer in the U.S. Navy where he served in the nuclear submarine force until 1982. Following his military career Dr. Reed worked for nine years as a systems engineer and human-machine interface designer of complex interactive computer based systems for use in aircraft space and ship systems. He received his M.S. and Ph

As technology advances and our dependency on software increases, the requirement to develop the correct means to improve quality in both the deveiopment phase and the maintenance phase of software life cycle support becomes increasingly significant. The focus of this paper is on the dilemma facing software engineering in maintaining quality within the constraints of the maintenance phase. The paper further proposes that the software maintenance process can also be analvzed and improved using statistical process control (SPC) techniques. The methods discussed in this paper have been proposed for use in the software Maintenance project at NUWC Detachment Norfolk. Upon successful testing at NUWC Detachment Norfolk, they will be forwarded to the AN/SQQ-89(V) (interagencv) software Quality Evaluation Committee for use by other agencies which are developing and maintaining AN/SQQ-89(V) software.

关键词：

来源：评论

学校读者我要写书评

暂无评论

SHIPBOARD DAMAGED STABILITY ASSESSMENT - THE FLOODING CASUALTY CONTROL software

引用

NAVAL ENGINEERS JOURNAL 1993年第3期105卷 152-166页

作者： ZAHN, PB ROSBOROUGH, J CARLSTROM, R Peter B. Zahn:is a section chief in the Naval Architecture Department at Advanced Marine Enterprises. He is responsible for software development and special trials support. He has led the Flooding Casualty Control Software (FCCS) development effort since joining AME in 1989. He is also responsible for the material handling strikedown and stowage (MHS&S) software development program as well as special trials support for the ACVLAP and T-AGOS 19 programs. Prior to joining AME Mr. Zahn spent nine years with various companies of the ARCTEC Group. His experience includes field trials in venues from the Caribbean to the Bering Sea as well as model tests and engineering design and development efforts. Mr. Zahn received his B.S. in naval architecture and marine engineering from Webb Institute in 1980 and has published various papers on pollution prevention offshore systems and icebreaker design and performance. He is a member of ASNE and SNAME. John Rosborough:has been a naval architect for the Naval Sea Systems Command (NavSea) for the past 15 years. He is currently assigned to the Hydrodynamics Division with responsibility for aircraft carrier stability evaluations and as a task leader for computer-aided ship design development. In the Stability Division he was previously responsible for stability analyses on various amphibious ships SWATHs and foreign ships. He manages the upgrade and augmentation of SHCP at NavSea and is the Navy's technical point of contact for evaluating shipboard stability software and transitioning technology to the fleet. Mr. Rosborough received his B.S. in naval architecture and marine engineering from the University of Michigan in 1977. He is a member of USNI and the Association of Scientists and Engineers at NavSea. Richard Carlstrom:is a naval architect with Advanced Marine Enterprises. He has been responsible for software development in support of a variety of major programs including FCCS and SHCP and is a specialist in stability evaluations for complex ships such as CVs CVNs

The Flooding Casualty Control software (FCCS) was developed under the auspices of the Naval Sea systems Command (NavSea) and is currently being deployed on a variety of ships in the neets of both the U.S. Navy and the U.S. Coast Guard. The primary objective of FCCS is to enable damage control personnel to identify critical stability conditions, especially when related to the loss of reserve buoyancy due to battle damage and the destabilizing effects of large quantities of firefighting water, in a timely manner. FCCS was initially deploved in 1990. It utilizes the standard algorithms of the Ship Hull Characteristics Program (SHCP). The user interface was designed to allow quick familiarity for shipboard users, primarily the damage control assistant (DCA) and his staff. Intact stability evaluations include the effects of topside icing, high winds, personnel crowding, heavy lifts over the side, high speed turns, and towing. FCCS also supports ballasting analysis for amphibious ships as well as providing bottom reaction and beached stability data for grounding incidents. Bv providing a tool for the ''fuel king'' and DCA to generate the required daily updates on the current ship load and liquids status, FCCS is assured of an accurate baseline in the event of damage. The design allows the evaluation of the ultimate ship stability status for a damage event using simple compartmentation and flooding status inputs. Evaluation of the adequacy of resulting stabilitv, as well as identification of such critical stability parameters as off center loading, margin line immersion, and negative GM, are accomplished by the program. Guidance is provided for the user to initiate appropriate flooding related damage control activities. Initially fitted on USS Oliver Hazard Perry Class frigates, FCCS databases have been for the USCG Hamilton class high endurance cutters, USS Arleigh Burke class Aegis destroyers, and a variety of other U.S. Navy and U.S. Coast Guard ship classes. The progra

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：