We consider layered manufacturing as a fabrication technique for metallic, functional parts. While commercial machines still do not support metals, several research systems are already in existence in universities and...
详细信息
We consider layered manufacturing as a fabrication technique for metallic, functional parts. While commercial machines still do not support metals, several research systems are already in existence in universities and research laboratories. Such systems can create multi-material parts and can vary material composition within the layer. A key enabling technology for the automation of such layered manufacturing systems is heterogeneous solid modeling. Current CAD systems do not provide the capability to deal explicitly with material heterogeneity. We provide an overview of this new field, propose a method for modeling and representing material in addition to geometry and topology, and discuss some related research.
Timing convergence problem arises when the estimations made during logic synthesis can not be met during physical design. In this paper, an efficient rewiring engine is proposed to explore maximal freedom after placem...
ISBN:
(纸本)9781581131871
Timing convergence problem arises when the estimations made during logic synthesis can not be met during physical design. In this paper, an efficient rewiring engine is proposed to explore maximal freedom after placement. The most important feature of this approach is that the existing placement solution is left intact throughout the optimization. A linear time algorithm is proposed to detect functional symmetries in the Boolean network and is used as the basis for rewiring. Integration with an existing gate sizing algorithm further proves the effectiveness of our technique. Experimental results are very promising.
In Reverse engineering, laser scanners are commonly used since they can sample 3D data fast and very accurately relative to other systems. Laser scanner systems, however, yield an enormous amount of irregular and scat...
详细信息
In Reverse engineering, laser scanners are commonly used since they can sample 3D data fast and very accurately relative to other systems. Laser scanner systems, however, yield an enormous amount of irregular and scattered digitized point data that requires intensive processing in order to reconstruct the surface of the object. It appears that combining 3D scanned data with 2D intensity images can significantly improve the reconstruction process. This paper proposes a new adaptive reconstruction method that integrates information from a CCD camera with scanned laser data. The method is based on: (a) Detecting a 3D boundary of the parametric base surface. (b) Adaptively reconstructing a parametric base surface with a non-self-intersecting grid. (c) Calculating the parameterization of the 3D sampled points. (d) Fitting the surface by applying a least square (LSQ) approximation method with boundary constraints. The feasibility of the parameterization algorithm is demonstrated on sculptured free objects.
Formally verifying properties of signals in a circuit hasseveral applications in an equivalence checking based formalverification *** a hierarchical design, functionalityis divided across *** necessitates the useof co...
ISBN:
(纸本)9780897919203
Formally verifying properties of signals in a circuit hasseveral applications in an equivalence checking based formalverification *** a hierarchical design, functionalityis divided across *** necessitates the useof constraints on input signals of a block to avoid *** such input constraints requires assertionchecking at the outputs of modules generatingthe constrained *** this paper, we present anefficient assertion checker for combinational propertieswhich avoids the BDD explosion problem by finding anoptimal intermediate correlation free *** hasbeen successfully used in an industrial setting to uncovera number of bugs.
The CAPSE environment for computer Aided Parallel Software engineering is intended to assist the developer in the crucial task of parallel programming. The methodology of CAPSE is based on direct manipulative graphica...
详细信息
The paper reports the results of two experiments each investigating the sense of presence within visual and auditory virtual environments. The variables for the studies included the presence or absence of head trackin...
详细信息
The paper reports the results of two experiments each investigating the sense of presence within visual and auditory virtual environments. The variables for the studies included the presence or absence of head tracking, the presence or absence of stereoscopic cues, the geometric field of view (GFOV) used to design the visual display, the presence or absence of spatialized sound and the addition of spatialized versus non-spatialized sound to a stereoscopic display. In both studies, subjects were required to navigate a virtual environment and to complete a questionnaire designed to ascertain the level of presence experienced by the participant within the virtual world. The results indicated that the reported level of presence was significantly higher when head tracking and stereoscopic cues were provided, with more presence associated with a 50 and 90 degree GFOV when compared to a narrower 10 degree GFOV. Further, the addition of spatialized sound did significantly increase ones sense of presence in the virtual environment, on the other hand, the addition of spatialized sound did not increase the apparent realism of that environment.
Video mediated communication alters our perception of the way in which we interact and communicate. In contrast to face to face or audio only (e.g., telephone) communication, there is relatively little systematic rese...
Video mediated communication alters our perception of the way in which we interact and communicate. In contrast to face to face or audio only (e.g., telephone) communication, there is relatively little systematic research on the effect of video conferencing on communication within groups of people at dispersed locations (Harrison, 1991b; Harrison et al, 1992b; Sellen, 1992; Wolf, 1988; Cohen, 1982; Short, Williams, and Christie, 1976). In this paper we describe a study of how participants at three distant locations perceived differences between face to face (within site) and video mediated (between site) communication. Results indicate that participants perceived between site, mediated communication to be unnatural and uncomfortable. They felt there were problems with gaining floor control and with conversation flow. Additionally, participants perceived the between site, mediated communication to be less interactive, less social, and less enjoyable than the face to face, within site communication. The insights gained through this and other case studies, summarized here, will be used to guide our future research. This study is one in a series of field trials and controlled experiments aimed at understanding the human factors issues associated with video communication and the design of such systems.
A new model is introduced for avoiding accidents where a tugboat capsizes or trips when towing a larger vessel. The development of the Tripping Avoidance Knowledge Base (TAKB) is described in terms of the relevant des...
详细信息
A new model is introduced for avoiding accidents where a tugboat capsizes or trips when towing a larger vessel. The development of the Tripping Avoidance Knowledge Base (TAKB) is described in terms of the relevant descriptive parameters, the graphical representation of the knowledge base and its conversion to a decision matrix is also shown. As with any AI application in a new and promising area, there are many unclear points which this paper highlights. The paper closes with the authors' recommendations for future development and refinement of the knowledge base.
暂无评论