this paper presents a novel approach to compensate periodic perturbations that occur in a vast variety of production processes. Typically, these perturbations interrupt the steady-state motion of mechanical systems, r...
详细信息
this paper presents the architecture, implementation, and performance results for the SGI Challenge symmetric multiprocessor system. Novel aspects of the architecture will be highlighted, as well as key design trade-o...
详细信息
ISBN:
(纸本)0818650508
this paper presents the architecture, implementation, and performance results for the SGI Challenge symmetric multiprocessor system. Novel aspects of the architecture will be highlighted, as well as key design trade-offs targeted at increasing performance and reducing complexity. Multiprocessor design verification techniques and their impact will also be presented. the SGI Challenge system architecture provides a high-bandwidth, low-latency cache-coherent interconnect for several high performance processors, I/O busses, and a scalable memory system. Hardware cache coherence mechanisms maintain a consistent view of shared memory for all processors, with no software overhead and minimal impact on processor performance. HDL simulation with random, self checking vector generation and a lightweight operating system on full processor models contributed to a concept to customer shipment cycle of 26 months.
In this paper, we articulate a new approach to interactive generation of 3D models with rich details by way of sketching sparse 2D strokes. Our novel method is a natural extension of Poisson vector graphics (PVG). We ...
详细信息
this paper examines the differences in narrative presented in the lore (the canonical history, aims and personality) and the digital representation of characters in the game League of Legends. We use a combination of ...
详细信息
this paper examines the differences in narrative presented in the lore (the canonical history, aims and personality) and the digital representation of characters in the game League of Legends. We use a combination of close media analysis and broader trend analysis of the champion roster in order to demonstrate this ludonarrative dissonance, alongside metanarrative discussion from the community forum. We discuss the implications of discordance between lore and implementation from a gender-power perspective, highlighting in particular the presentation of performative femininity as a design factor superseding that of narrative logic. Implications of these findings are discussed.
graphics processing units (GPUs) have rapidly emerged as a very significant player in high performance computing. Single instruction multiple thread (SIMT) pipelines are typically used in GPUs to exploit parallelism a...
详细信息
the theory of graph games with omega-regular winning conditions is the foundation for modeling and synthesizing reactive processes. In the case of stochastic reactive processes, the corresponding stochastic graph game...
详细信息
ISBN:
(纸本)9783540770497
the theory of graph games with omega-regular winning conditions is the foundation for modeling and synthesizing reactive processes. In the case of stochastic reactive processes, the corresponding stochastic graph games have three players, two of them (System and Environment) behaving adversarially, and the third (Uncertainty) behaving probabilistically. We consider two problems for stochastic graph games: the qualitative problem asks for the set of states from which a player can win with probability 1 (almost-sure winning);and the quantitative problem asks for the maximal probability of winning (optimal winning) from each state. We consider omega-regular winning conditions formalized as Muller winning conditions. We show that boththe qualitative and quantitative problem for stochastic Muller games are PSPACE-complete. We also consider two well-known sub-classes of Muller objectives, namely, upward-closed and union-closed objectives, and show that boththe qualitative and quantitative problem for these sub-classes are coNP-complete.
Cam-follower systems in industrial machinery often use air cylinders to close the cam-follower joint. these cylinders provide a nonlinear spring characteristic to the system. this study experimentally determines the t...
详细信息
Cam-follower systems in industrial machinery often use air cylinders to close the cam-follower joint. these cylinders provide a nonlinear spring characteristic to the system. this study experimentally determines the thermodynamic behavior of an air cylinder in this application and shows it to be an essentially isothermal device. Information is presented to allow the designer to properly size an air cylinder for a particular application considering valving, connections, and accumulator size.
We describe MESA, a domain-independent interactive tool for the development of reusable causal models and model-based-reasoning applications. Our current efforts are focused on developing automated sensor monitoring a...
详细信息
ISBN:
(纸本)0818650702
We describe MESA, a domain-independent interactive tool for the development of reusable causal models and model-based-reasoning applications. Our current efforts are focused on developing automated sensor monitoring applications for NASA flight projects. MESA supports model development from a component-centered approach and provides a graphical editor for rapidly prototyping components and connections from a small set of modeling primitives that describe structure and behavior (e.g., quantity, mechanism). Causal models, as used in Artificial Intelligence, contain interdependent structural and behavioral descriptions of the system being modeled. MESA also provides a model-based discrete-event simulator that can predict future behavior of the system from knowledge of the current behavior of the model. MESA thereby allows models to be tested, debugged and deployed within one generic environment.
An interactive graphic viewer, ChromoScope, was developed to explore scientific visualization of complicated genome data. Escherichia coli was selected as the test organism. An ASN.1 data set has been built for the en...
详细信息
ISBN:
(纸本)0818650907
An interactive graphic viewer, ChromoScope, was developed to explore scientific visualization of complicated genome data. Escherichia coli was selected as the test organism. An ASN.1 data set has been built for the entire E. coli chromosome, including a genetic map, a physical (ordered restriction) map, the alignment between the two maps, Kohara clones and some short repeat features. the E. coli sequence is modeled as a segmented sequence, incorporating boththe sequence and the physical map data. the alignment between the contig and the published sequences is stored as sequence history, allowing direct access to the same sequence in the public databases. the alignment is displayed graphically, with boththe sequence alignment and feature annotations. the alignment viewer also supports a detailed text display, providing information to resolution at residue level with annotated features.
In this paper we study about the requirements of web3D models and particular X3D formatted models in order to work efficiently with Deep Learning algorithms. the reason we are focusing in this particular type of 3D mo...
详细信息
暂无评论