The proceedings contain 37 papers. The special focus in this conference is on Trends in Theory and Core Technologies. The topics include: Quantum challenges;stability of approximation algorithms for hard optimization ...
ISBN:
(纸本)354066694X
The proceedings contain 37 papers. The special focus in this conference is on Trends in Theory and Core Technologies. The topics include: Quantum challenges;stability of approximation algorithms for hard optimization problems;algorithms on compressed strings and arrays;WWW based collaboration with the BSCW system;middleware and quality of service;dynamic reconfiguration of CORBA-based applications;fast, error correcting parser combinators;java based business components, and new tools to develop applications;databases and the world wide web;exploiting formality in software engineering;biomolecular computing and programming;software change and evolution;distributed simulation with cellular automata;supporting group-by and pipelining in bitmap-enabled query processors;on interactive computation;coherent concepts, robust learning;application of artificial neural networks for different engineering problems;a new structure for pattern matching;principles of forecasting;quantum finite multitape automata;decomposable bulk synchronous parallel computers;component change and version identification in SOFA;pattern equations and equations with stuttering;garbage collection for mobile and replicated objects;randomized gossiping by packets in faulty networks;simulation problems for one-counter machines;on semantics of petri nets over partial algebra;towards possibilistic decision functions with minimum-based sugeno integrals;quantum finite one-counter automata;a performance comparison of mobile agents and RPC;cyclic cutwidth of the mesh;some afterthoughts on hopfield networks;a persistent-set approach to abstract state-space construction in verification;computational power of neuroidal nets and cellular automata with dynamically reconfigurable buses.
This paper reports on three-dimensional graphic simulations we are developing and using to explain semiconductor principles. These simulations are Web-based three-dimensional graphical models of various materials pres...
详细信息
This paper reports on three-dimensional graphic simulations we are developing and using to explain semiconductor principles. These simulations are Web-based three-dimensional graphical models of various materials presented using a Web browser's Virtual Reality Modeling Language (VRML) viewer. java programs allow animating particles within the models to show the material's electrical behavior. The java programs also provide intuitive user interfaces which allow the user to perform interactive experiments by changing parameters such as voltage and temperature. The educational aspects of creating and using these types of simulation models for semiconductor and other subjects are discussed.
The proceedings contain 36 papers. The special focus in this conference is on CG Modeling and Understanding Natural Language. The topics include: Draft proposed american national standard;essential elements for the va...
ISBN:
(纸本)3540662235
The proceedings contain 36 papers. The special focus in this conference is on CG Modeling and Understanding Natural Language. The topics include: Draft proposed american national standard;essential elements for the validation and execution of processes;user modeling as an application of actors;spatial universals as the human spatial notion;knowledge engineering with semantic and transfer links;a peircean framework of syntactic structure;a CG-based behavior extraction system;extending the conceptual graph approach to represent evaluative attitudes in discourse;implementing a semantic lexicon;analysis of task-oriented conversations into conceptual graph structures;using conceptual graphs as a common representation for data and configuration in an active image processing system;a software system for learning peircean graphs;a conceptual graph activation-based language;on developing case-based tutorial systems with conceptual graphs;CGs versus XML-based metadata languages;synergy as an hybrid object-oriented conceptual graph language;a java API for developing CG tools;modeled in a CG meta-representation language;using conceptual graphs to solve a resource allocation task;WebKB and the sisyphus-I problem;constraints and goals under the conceptual graph formalism;a pure graph-based solution to the SCG-1 initiative;contextual attribute logic;algorithms for creating relational power context families from conceptual graphs;the lattice of concept graphs of a relationally scaled context;contexts in information systems development;conceptual structures represented by conceptual graphs and formal concept analysis;a simulation of co-identity with rules in simple and nested graphs and conceptual graphs as algebras.
This paper gives a bibliographical review of the finite-element methods applied to the non-destructive evaluation of materials. The bibliography at the end of the paper contains references to papers, conference procee...
详细信息
This paper gives a bibliographical review of the finite-element methods applied to the non-destructive evaluation of 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: electrical, magnetic and electromagnetic methods, sonic methods, mechanical methods, optical methods, condition monitoring, and other methods.
Modern automated process support systems can be considered monolithic in three ways. First, they model processes top-down, usually from a single perspective, such as the organizational perspective. Second, they are pr...
详细信息
Modern automated process support systems can be considered monolithic in three ways. First, they model processes top-down, usually from a single perspective, such as the organizational perspective. Second, they are process-centered, in that they often require extensive knowledge of the users, data types, and applications in their environment. Third, they tie process implementation to a specific representation, making reuse and interoperability between process models difficult to achieve. The paper describes the application of component based techniques to process modeling across overlapping process spaces. This approach, the Open Process Components approach, encapsulates process fragments as interoperable and reusable process components. The paper motivates a vision of cooperating components for automated process support, presents an overview of the Open Process Components approach, and shows the application of this technique to W. Humphrey's (1997) Personal Software Process.
A two-dimensional fluid simulation of argon plasma in an electron cyclotron resonance source was performed and an experiment was conducted to compare the theoretical prediction and experimental measurements. Conservat...
详细信息
A two-dimensional fluid simulation of argon plasma in an electron cyclotron resonance source was performed and an experiment was conducted to compare the theoretical prediction and experimental measurements. Conservation equations for mass, momentum and energy in a multicomponent system were solved based on the finite element method in order to compute the fluid velocity field, pressure field, neutral species densities, charged species densities, and electron temperature. By using a Langmuir probe, the variations of electron temperature and electron density along chamber axis were measured for pressures in the range 0.4-7 mTorr. simulation results agreed favorably with experimental data.
This paper summarizes a length analysis of springback of the drawbend test, conducted using three sheet materials, several friction coefficients, die radii, and draw-in restraining forces. In 1997, at the last IPMM ea...
详细信息
The paper describes the advances in methodology, materials and status for an engineering undergraduate course designed to fill the gap between the basic freshman year (two years in Brazil, for five-year engineering pr...
详细信息
The paper describes the advances in methodology, materials and status for an engineering undergraduate course designed to fill the gap between the basic freshman year (two years in Brazil, for five-year engineering programs) and the following engineeringscience courses. A preliminary report on this effort has been presented at FIE-97 under the title "Formulation and Development of Mathematical Models for engineering Problems. An Experience on the Integration of Theory and the Laboratory". Up to 1997, the course had been offered as an elective in two Brazilian universities. Three different engineering schools have now incorporated the course unto their regular curriculum. The project persists on its investment on the poor integration between the so-called "theoretical courses" and 'laboratory courses': by addressing the two issues consecutively. Moreover, it opts, whenever possible, for a methodology that could be described as both inductive and active. Experiments are planned to be easily performed in class with intensive student participation without, necessarily, a prior knowledge of a theoretical approach to the phenomenon under analysis. Emphasis is given to the fundamental sequence of observation of facts or phenomena, election of parameters to quantify them, measurement and data acquisition, and finally, modeling (formulation) and simulation.
This paper describes an object-oriented distributed control environment for industrial multirobot applications. A distributed computing environment, where workpieces, robots, and other industrial devices such as a vis...
详细信息
This paper describes an object-oriented distributed control environment for industrial multirobot applications. A distributed computing environment, where workpieces, robots, and other industrial devices such as a vision sensor are defined as software objects with class inheritance hierarchy, supports human-friendly task-level programming and automated robot program generation with 3D graphic simulation, and performs supervisory and real-time sensor-based coordinated control of multirobot systems. Using object-oriented multitasking control with a preemptive rescheduler, vision-based robot positioning and pick and place operations for exchange of a workpiece are demonstrated to validate the control performance of the computing environment.
In the summer of 1997, the ITESM initiated a project to reengineer the teaching-learning process at the 27 campuses of the system. The project incorporates the fundamental aspects written in the ITESM mission statemen...
详细信息
In the summer of 1997, the ITESM initiated a project to reengineer the teaching-learning process at the 27 campuses of the system. The project incorporates the fundamental aspects written in the ITESM mission statement for the year 2005. In particular, to achieve the desired profile for the ITESM students, each course regardless of the discipline, must incorporate attitudes, values and abilities explicitly written on the mission statement. For instance, honesty, self-study, cooperative learning, autoevaluation, and critical thinking are, among others, some of the values and abilities distributed during the course. This distribution is performed adding procedural and attitudinal contents to the standard conceptual contents written in the analytical program for the course. This article presents the redesign of an introductory electronics class that is taken by junior students of the Electric and Mechanic engineering Program at ITESM, Campus Monterrey. The redesign process implies the transformation of a traditional educative process, focused mainly on teaching and centered around the professor, to an educational process focused on learning and centered around the student. The paper describes an instructional model that strengthens the knowledge-acquisition stage, and promotes the development of abilities, attitudes and values.
暂无评论