This paper gives a bibliographical review of the finite-element methods (FEMs) applied to the analysis and simulation of smart materials and structures. The bibliography at the end of the paper contains references to ...
详细信息
This paper gives a bibliographical review of the finite-element methods (FEMs) applied to the analysis and simulation of smart materials and structures. The bibliography at the end of the paper contains references to papers, conferenceproceedings and theses/dissertations on the subject that were published between 1986-1997. The following topics are included: smart materials: smart components/structures;smart sensors and actuators;controlled structures technology;and other topics.
A new undergraduate computer engineering curriculum, ICED, is being introduced at the University of Rhode Island. The main feature of the curriculum is a design project spanning the last three years of the major. This...
详细信息
Within the domain of verification, validation and accreditation (VV&A) research, the automated diagnosis of model specifications has received little attention. As part of the limited effort focused on this importa...
详细信息
Within the domain of verification, validation and accreditation (VV&A) research, the automated diagnosis of model specifications has received little attention. As part of the limited effort focused on this important area, the Condition Specification represents one of the most promising model specification forms that is amenable to diagnosis. In addition, Web-based technologies now offer exciting new possibilities to extend our knowledge in this and other areas of simulation research. This paper introduces the SimDOG Project: the development of prototype tools, written in java, for the on-line and off-line (standalone) diagnosis of graph-based representations of Condition Specifications.
CSO emission is widely considered a significant pollution source to receiving waters in urban areas. The existing deterministic sewer models are not able to predict CSO emission effectively. In this study, a conceptua...
详细信息
CSO emission is widely considered a significant pollution source to receiving waters in urban areas. The existing deterministic sewer models are not able to predict CSO emission effectively. In this study, a conceptual CSO emission model SEWSIM has been developed using a powerful programming package MATLAB and SIMULINK. A sewer system consisting of an impervious catchment and a sewer network is schematised as two linear dynamic reservoirs. The following physical processes are conceptually modelled: rainfall-runoff;surface solids buildup and washoff;sewer sediment erosion and deposition. The model is suitable for both event-based and continuous simulations. Some simulation results demonstrate that SEWSIM predicts pollution load of CSO emission more effectively than deterministic models.
A new undergraduate computer engineering curriculum, ICED, is being introduced at the University of Rhode Island. The main feature of the curriculum is a design project spanning the last three years of the major. This...
详细信息
ISBN:
(纸本)9781450347365
A new undergraduate computer engineering curriculum, ICED, is being introduced at the University of Rhode Island. The main feature of the curriculum is a design project spanning the last three years of the major. This gives continuity to a student's studies: they will always know why they are learning a particular topic, and how it fits into the big picture. It also introduces them to long-term projects, and the requisite good documentation and communication habits necessary for its completion. The project to be undertaken is the design, simulation and construction of a computer and its compiler, including the design of its instruction set. Further, the various students ' computers will be networked together during the final integration phase of the project. Thus, several aspects of computer architecture are treated in depth. Students will learn to make hardware/software design tradeoffs, as well as get hands-on experience with hardware. A key element of the design experience is the use of modern CAD tools. The Mentor Graphics CAD tool suite will be used throughout the curriculum. By standardizing on one set of tools, the time for the students to learn the tools is amortized over the entire curriculum. The curriculum has received funding from the National science Foundation, and has been formally approved by the University. Students began the curriculum in Fall, 1997. This paper gives the rationale of ICED in depth, and describes the core courses, their activities and use of CAD tools, and how they interrelate to achieve the goals. The current status of ICED is also reviewed.
This paper gives a bibliographical review of the finite-element methods (FEMs) applied to the analysis and simulation of rubber and rubber-like materials. The bibliography at the end of the paper contains references t...
详细信息
This paper gives a bibliographical review of the finite-element methods (FEMs) applied to the analysis and simulation of rubber and rubber-like materials. The bibliography at the end of the paper contains references to papers, conferenceproceedings and theses/dissertations on the subject that were published between 1976-1997. The following topics are included: incompressible elasticity problems in general, mechanical and material properties, a finite-element library for incompressible materials, contact problems, fracture mechanics, machine elements/structures, material processing and other topics.
The proceedings contain 24 papers. The special focus in this conference is on Recent Trends in Algebraic Development Techniques. The topics include: From abstract data types to algebraic development techniques;members...
ISBN:
(纸本)3540642994
The proceedings contain 24 papers. The special focus in this conference is on Recent Trends in Algebraic Development Techniques. The topics include: From abstract data types to algebraic development techniques;membership algebra as a logical framework for equational specification;mapping tile logic into rewriting logic;an algebra of mixin modules;correctness of a logical system for structured specifications;the individual token approach;a method for FORTRAN programs reverse engineering using algebraic specifications;parameterised objects and inheritance;a completeness result for equational deduction in coalgebraic specification;an inductive view of graph transformation;on combining semiformal and formal object specification techniques;modular aspects of rewrite-based specifications;from algebra transformation to labelled transition systems;open maps as a bridge between algebraic observational equivalence and bisimilarity;a systematic study of mappings between institutions;colimits of order-sorted specifications;static semantic analysis and theorem proving for CASL;combining and representing logical systems using model-theoretic parchments;towards the one-tiered design of data types and transition systems;context parchments;verifying a compiler optimization for multi-threaded java and categories of relational structures.
The paper includes a description of the improved version of the combat simulation tool presented in our earlier papers (1998). This tool is able to solve a class of combat simulation games with an arbitrary start stat...
详细信息
The paper includes a description of the improved version of the combat simulation tool presented in our earlier papers (1998). This tool is able to solve a class of combat simulation games with an arbitrary start state. The paper includes a description of the architecture of the tool and its main components including Tree Constructor and Trajectory Builder. A move generator algorithm for Tree Constructor is described in details.
The widespread use of computer networking has resulted in considerable attention being paid to a variety of network-related problems, the generation of efficient multicast trees being one. While many algorithms for ge...
详细信息
ISBN:
(纸本)0818690143
The widespread use of computer networking has resulted in considerable attention being paid to a variety of network-related problems, the generation of efficient multicast trees being one. While many algorithms for generation of multicast trees have been proposed their relative effectiveness is difficult to assess. Some algorithms have never been implemented. Many have been simulated, but often using ad-hoc networking modeling and simulation tools, without consistent parameters, making direct comparisons difficult. In this paper we discuss a network topology generation tool named Bessie, written entirely in java. Bessie generates descriptions of random point-to-point and hierarchical networks, based on user-specified statistical parameters. We introduce a modification to Waxman's (1988) parameters, commonly used in grid-based network topology generators, which eliminates undesirable increases in node degree as the number of nodes in a network increases. The modification improves on proposed fixed scale factors.
This paper makes the idea of memory shadowing (Bryant and Velev, 1997) applicable to symbolic ternary simulation. Memory shadowing, an extension of Burch and Dill's (1994) pipeline verification method to the bit l...
详细信息
This paper makes the idea of memory shadowing (Bryant and Velev, 1997) applicable to symbolic ternary simulation. Memory shadowing, an extension of Burch and Dill's (1994) pipeline verification method to the bit level, is a technique for providing on-the-fly identical initial memory state to two different memory execution sequences. We also present an algorithm which compares the final states of two memories for ternary correspondence, as well as an approach for generating efficiently the initial state of memories. These techniques allow us to verify that a pipelined circuit has behavior corresponding to that of its unpipelined specification by simulating two symbolic ternary execution sequences and comparing their memory states. Experimental results show the potential of the new ideas.
暂无评论