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

IEEE International Symposim on high Assurance Systems engineering

作者： M. Brockmeyer F. Jahanian E. Winner C. Heitmeyer B. Labaw Department of Electrical Engineering and Computer Science University of Michigan Ann Arbor MI USA University of Michigan Ann Arbor MI US Naval Research Laboratory Center for High Assurance Computer Systems Washington D.C. DC USA

The testing and validation of formal specifications of high assurance real time systems requires an extensible simulation environment with support for users to generate events, customize displays, and monitor event traces. The paper describes MTSim, a customizable simulation platform for the Modechart Toolset (MT). MTSim provides support for "plugging in" user defined viewers as well as user participation in the generation of simulations by allowing users to inject events into the execution trace. Moreover, MTSim provides monitoring and assertion checking of execution traces and the invocation of user specified handlers upon assertion violation. The paper also introduces a MTSim component called WebSim, a suite of simulation tools for MT, and an application specific component of MTSim, which displays the cockpit of an F-18 aircraft and models its bomb release function.

关键词： Formal specifications System testing DC generators Debugging Displays Computational modeling computerized monitoring Real time systems Laboratories computer simulation

来源：评论

学校读者我要写书评

暂无评论

Developing a prototype concurrent design tool for composite topside structures

引用

NAVAL ENGINEERS JOURNAL 1997年第3期109卷 279-290页

作者： Dirlik, S Hambric, S Azarm, S Marquardt, M Hellman, A Bartlett, S Castelli, V Steve Dirlik:began his career at the Naval Surface Warfare Center Carderock Division in 1981 as an aerospace engineer co-op student. He completed his bachelor of science degree in aeropace and ocean engineering from Virginia Polytechnic Institute and State University in 1985 and his master of science degree in aerospace engineering from the University of Maryland in 1990. Mr. Dirlik recently completed a master of science program in applied physics at The Johns Hopins University and currently works in the Radar Cross Section and Target Physics Branch of the Signatures Directorate at the Naval Surface Warfare Center Corderoke Division. He has worked on Navy low observable programs since 1990. Stephen Hambric:is a research associate at the Applied Research Laboratory at The Pennsylvania State University. He received his B. S. and M.S. degree in mechanical engineering from Virginia Polytechnic Institute and State University and his D. Sc. in mechnical engineering from the George Washington University. He has worked on several computer aided multidiscikplinary design and optimization projects over the years including an automated propeller design system and a structural acoustic optimization capability. Dr. Shpour Azarm:is currently working as an associate professor with the Design and Manufacturing Group of the Department of Mechanical Engineering at the University of maryland at College Park. Dr Azarm's expertise is in the areas of optimization-based designed and concurrent design and optimization of multidisciplinary systems. He was a consultant at Black & Decker Corporation (summer 1996) and worked as a Navy senior summer faculty fellow (summer 1995) and a NASA summer faculty fellow (summer 1994). He was a visiting scientist at NASA Langley Research Center for Multidisciplinary Analysis and Applied Structural Optimzatiom at the University of Siegen in Germany (spring 1992) and the Design Institute of the Technical University of Denmark (summer 1990). Dr Azarm was an associate technical editor of the ASME Jour

A prototype concurrent engineering tool has been developed for the preliminary design of composite topside structures for modern navy warships. This tool, named GELS for the Concurrent engineering of Layered Structures, provides designers with an immediate assessment of the impacts of their decisions on several disciplines which are important to the performance of a modern naval topside structure, including electromagnetic interference effects (EMI), radar cross section (RCS), structural integrity, cost, and weight. Preliminary analysis modules in each of these disciplines are integrated to operate from a common set of design variables and a common materials database. performance in each discipline and an overall fitness function for the concept are then evaluated. A graphical user interface (GUI) is used to define requirements and to display the results from the technical analysis modules. Optimization techniques, including feasible sequential quadratic programming (FSQP) and exhaustive search are used to modify the design variables to satisfy all requirements simultaneously. The development of this tool, the technical modules, and their integration are discussed noting the decisions and compromises required to develop and integrate the modules into a prototype conceptual design tool.

关键词： Warships

来源：评论

学校读者我要写书评

暂无评论

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 are other benefits that are thoroughly consistent with the direction of the Navy of the future, chief among these is reduction of required numbers of personnel to operate and maintain Navy ships. The Naval Research Advisory Committee (NRAC) report on Man-Machine Technology in the Navy estimated that one of the benefits from increased application of man-machine technology to Navy ship design is personnel reduction as well as improving system availability, effectiveness, and safety The objective of this paper is to discuss aspects of the human engineering design of ships and systems that affect manning requirements, and impact human-performance and safety The paper will also discuss how the application of human engineering leads to improved performance, and crew safety, and reduced workload, all of which influence manning levels. Finally, the paper presents a discussion of tools and case studies of good human engineering design practices which reduce manning.

关键词： Human engineering

来源：评论

学校读者我要写书评

暂无评论

Operational systems, logistics engineering and technology insertion

引用

NAVAL ENGINEERS JOURNAL 1997年第3期109卷 205-220页

作者： Grubb, MJ Skolnick, A Michael J. Grubb:has perfomzed naval engineering at the Crane Division Naval Surface Warfare Center (NSWC) for more than twenty-five years. He currently the program manager for the Sustainable Hardware and Affordable Readiness Practice Program (SHARP). is a Navy-wide logistics research and development prgram aimed at the successful transiton of proved technologies inot the fleet. SHARP focuses on reducing acquisition performance capability reliability maintainability and readiness of these systems. Mr. Grubb has served as a department director for the past eleven years. His most recent assignment was as director of the Tactical Computer Resources and Test Equipment Department. This organization provided acquisition and in-service engineering support of the Navy's tectical embedded computers priphirals displays and mass memory storage devices. The organization also provided a complete range of product engineering and metrology engineerig services for SSP NevSeaSysCom and the Trident Program. Prior to this appointment Mr. Grubb was deptuy director psysical security programs department and site responsible for program management and system integration of ashore integrated security systems. Mr. Grubb holds a B.S. degree in industrial engineering from Iowa State Universtiy an M.S. degree in industrial engineering from Purdue University and has copleted the course work (Dec.'96 for a master's degree in public and environment affairs at Indiana University-Purdue Univeristy Indianapolis. Dr. Alfred Skolnick operates System Science Consultants (SSC) specilizing in strategic planning technical program definiton technology assessment and engineering analyses on selected matters of national interest. He has taught physics mathematics and management sciences at University of Virginia and Marymount University and is currently adjunct professor of mathematics at Northern Virginia Community College. Form 1985 to 1989 he was president of the American Society of Noval Engineers. Dr. Skolnick served at Applied Physic

In an era of fiscal austerity, downsizing and unforgiving pressure upon human and economic capital, it is an Augean task to identify resources for fresh and creative work. The realities of the day and the practical demands of more immediate fleet needs can often dictate higher priorities. Yet, the Navy must avoid eating its seed corn. Exercising both technical insight and management foresight, the fleet, the R&D community, the Office of the Chief of Naval Operations (OpNav) and the product engineering expertise of the Naval Surface Warfare Center (NSWC) are joined and underway with integrated efforts to marry new, fully demonstrated technologies and operational urgencies. Defense funding today cannot sponsor all work that can be mission-justified over the long term because budgets are insufficient to support product maturation within the classical development cycle. However, by rigorous technical filtering and astute engineering of both marketplace capabilities and currently available components, it is possible in a few select cases to compress and, in effect, integrate advanced development (6.3), engineering development (6.4), weapon procurement (WPN), ship construction (SCN), operation and maintenance (O&M,N) budgetary categories when fleet criticalities and technology opportunities can happily meet. In short, 6.3 funds can be applied directly to ''ripe gateways'' so modern technology is inserted into existing troubled or aging systems, sidestepping the lengthy, traditional development cycle and accelerating practical payoffs to recurrent fleet problems. To produce such constructive results has required a remarkable convergence of sponsor prescience and engineering workforce excellence. The paper describes, extensively, the philosophy of approach, transition strategy, polling of fleet needs, technology assessment, and management team requirements. The process for culling and selecting specific candidate tasks for SHARP sponsorship (matching operational need with t

关键词： Naval vessels

来源：评论

学校读者我要写书评

暂无评论

Using ZPL to develop a parallel chaos router simulator 96

Using ZPL to develop a parallel chaos router simulator

引用

1996 Winter Simulation Conference (WSC 96)

作者： Richardson, W Bailey, ML Sanders, WH Department of Electrical and Computer Engineering University of Arizona Tucson AZ Computer Science Department University of Arizona Tucson AZ Center for Reliable and High-Performance Computing Coordinated Science Laboratory University of Illinois at Urbana-Champaign Urbana IL

ISBN: (纸本)0780333837

This paper reports on our experience in writing a parallel version of a chaos router simulator using the new data-driven parallel language ZPL. The simulator is a large program that tests the capabilities of ZPL. The (parallel) ZPL program is compared with the existing serial implementation on two very different architectures: a 16-processor Intel Paragon and a cluster of eight Alpha workstations. On the Paragon, the simulator performs best when simulating medium- to large-sized routers, and on the Alpha cluster, it performs best when simulating large routers. Thus a user can choose the parallel platform best suited to the router size.

关键词： Parallel processing systems

来源：评论

学校读者我要写书评

暂无评论

Virtual memory versus file interfaces for large, memory-intensive scientific applications 96

Virtual memory versus file interfaces for large, memory-inte...

引用

Proceedings of the 1996 ACM/IEEE conference on Supercomputing

作者： Yoonho Park Ridgway Scott Stuart Sechrest High Performance Computing Center University of Houston Houston TX Software Systems Research Laboratory Department of Electrical Engineering and Computer Science University of Michigan Ann Arbor MI

ISBN: (纸本)9780897918541

Scientific applications often require some strategy for temporary data storage to do the largest possible simulations. The use of virtual memory for temporary data storage has received criticism because of performance problems. However, modern virtual memory found in recent operating systems such as Cenju-3/DE give application writers control over virtual memory policies. We demonstrate that custom virtual memory policies can dramatically reduce virtual memory overhead and allow applications to run out-of-core efficiently. We also demonstrate that the main advantage of virtual memory, namely programming simplicity, is not lost.

关键词： custom policies

来源：评论

学校读者我要写书评

暂无评论

Fault avoidance and recovery for distributed multimedia multicast

Fault avoidance and recovery for distributed multimedia mult...

引用

International Workshop on Multi-Media Database Management Systems

作者： Y. Xu D.A. Adjeroh C.U. Orji Department of Computer Science University of Southern California CA USA Department of Computer Science and Engineering Chinese University of Hong Kong Hong Kong China High Performance Database Research Center School of Computer Science Florida International University Miami FL USA

We present a fault avoidance and recovery algorithm designed for distributed multimedia multicast. Our algorithm is focused on fault avoidance to provide heterogeneous quality of service (QoS) guarantees to applications. We adopt a receiver-oriented approach to fault avoidance and recovery to achieve scalability. The receiver-oriented approach also addresses the heterogeneity of distributed multicast. The QoS of an application is used as an important parameter for fault detection. Both the fault avoidance and fault recovery aspects of the algorithm are based on the estimate of the QoS parameter. To suppress the overhead of multicast, a two-phase commit protocol is used in the algorithm. The key contribution of the algorithm lies in combining proactive and reactive control: (1) to avoid congestion in the network prior to the occurrence of error; (2) to provide heterogeneous QoS to applications by QoS-based fault detection and control; (3) to achieve scalability of distributed multimedia multicasts by receiver-oriented fault control and message suppression. Our algorithm makes very few assumptions about the underlying network, hence it can be easily integrated with popular multicast protocols.

关键词： Broadcasting Unicast Multicast algorithms Quality of service Multicast protocols computer science Telecommunication network reliability Scalability Fault detection Telecommunication traffic

来源：评论

学校读者我要写书评

暂无评论

Virtual Memory versus File Interface for Large, Memory-Intensive Scientific Applications

Virtual Memory versus File Interface for Large, Memory-Inten...

引用

Supercomputing Conference

作者： Yoonho Park R. Scott S. Sechrest High performance computing center University of Houston Houston TX USA Software Systems Research Laboratory Department of Electrical Engineering and Computer Science University of Michigan Ann Arbor MI USA

关键词： Memory Operating systems Control systems

来源：评论

学校读者我要写书评

暂无评论

Parallel algorithms for force directed scheduling of flattened and hierarchical signal flow graphs

Parallel algorithms for force directed scheduling of flatten...

引用

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

作者： P. Prabhakaran P. Banerjee Center for Reliable and High-Performance Computing Coordinated Science Laboratory University of Illinois Urbana IL USA Center for Parallel and Distributed Computing Department of Electrical and Computer Engineering Northwestern University Evanston IL USA

In this paper we present some novel algorithms for scheduling hierarchical signal flow graphs in the domain of high-level synthesis. There are several key contributions of this paper. First, we develop a novel extension of the force directed scheduling problem which naturally handles loops and conditionals by coming up with a scheme of scheduling hierarchical signal flow graphs. Second, we develop three new parallel algorithms for the scheduling problem. Third, our parallel algorithms are portable across a wide range of parallel platforms. We report results on a set of high-level synthesis benchmarks on 8-processor SGI Challenge and a network of 4 SUN SPARCstation5 work stations. Finally, while some parallel algorithms for VLSI CAD reported by earlier researchers have reported a loss of qualities of results, our parallel algorithms produce exactly the same results as the sequential algorithms on which they are based.

关键词： Parallel algorithms Flow graphs Processor scheduling Concurrent computing Scheduling algorithm Contracts Cost function Broadcasting

来源：评论

学校读者我要写书评

暂无评论

Intermodulation analysis of FET resistive mixers using Volterra series

Intermodulation analysis of FET resistive mixers using Volte...

引用

Microwave, MTT-S International Symposium

作者： S. Peng P.J. McCleer G.I. Haddad Computer & Communication Research Laboratories Industrial Technology and Research Institute Taiwan Center for High Frequency Microelectronics Solid State Electronics Laboratory Department of Electrical Engineering and Computer Science University of Michigan USA

We have implemented the Volterra-series method to analyze intermodulation (IM) distortion in FET resistive mixers. The nonlinearities of the channel conductance of a NE71000 MESFET and a NE32400 HFET were first characterized using a low-frequency harmonic power measurement. The data was then used in a simulation program and results for two-tone IM distortion in X-band were compared with the measured data for both MESFET and HFET resistive mixer circuits. Very good agreement was achieved in each case. We have also shown by simulation that the two separate contributions to the third-order IM distortion from the mixing between the input signals themselves and the mixing between the input signals and the second-order mixing products have a very strong cancellation, which results in the low IM distortion in the FET resistive mixers observed in measurements.

关键词： FETs Harmonic analysis Intrusion detection HEMTs MODFETs Distortion measurement Frequency MESFETs Power system harmonics Power measurement

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：