In the competitive CPU market, emphasis is placed on automations that promotes innovation and supports design of multiple CPU configuration which meets schedule and timely turnaround to market. design automation is es...
详细信息
the advancement of test system for electronic equipment must keep pace withthe complexity of modern electronic equipment. VXI bus technology has been becoming the mainstream of computer test and control, and also is ...
详细信息
Online quality detection and online laser beam control are important research topics to improve the overall quality of nowadays laser beam material processing units. In both cases innovative units are at study where t...
详细信息
We propose CLP(QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We systematically formalize and implement the semant...
详细信息
ISBN:
(纸本)9783642231957
We propose CLP(QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We systematically formalize and implement the semantics of a range of qualitative spatial calculi using a system of non-linear polynomial equations in the context of a classical constraint logic programming framework. Whereas CLP(QS) is a general framework, we demonstrate its applicability for the domain of computeraided Architecture design. With CLP(QS) serving as a prototype, we position declarative spatial reasoning as a general paradigm open to other formalizations, reinterpretations, and extensions. We argue that the accessibility of qualitative spatial representation and reasoning mechanisms via the medium of high-level, logic-based formalizations is crucial for their utility toward solving real-world problems.
the 2010 IEEE Multiconference on Systems and Control (MSC) was held in Yokohama, Japan, from September 8-10, 2010. the conference included three sub-conferences, namely, the 19th IEEE internationalconference on Contr...
详细信息
the 2010 IEEE Multiconference on Systems and Control (MSC) was held in Yokohama, Japan, from September 8-10, 2010. the conference included three sub-conferences, namely, the 19th IEEE internationalconference on Control Applications (CCA), the 10th IEEE international Symposium on computer-aided Control System design (CACSD), and the 25th IEEE international Symposium on Intelligent Control (ISIC). the technical program of the event had the unique feature of mixing CCA, CACSD, and ISIC sessions with tracks according to their topical keywords. the CACSD plenary entitled 'Modeling and Coping with Extremely Rare or Adverse Events' was presented by Mathukumalli Vidyasagar from the University of Texas at Dallas. Mathukumalli Vidyasagar discussed methods for modeling and coping with extremely rare or adverse events, which potentially occurred in several areas of science and engineering.
Hainan Ecological Software Park, as the Hainan tourist informatization industry base, is the technical support platform to ensure establishing an international tourist island. In this paper, a management model of soft...
详细信息
In this study, a method for modeling trees with rugged surfaces by simulating tree growth is proposed. the phenomena of cell division is considered for simulating tree growth. there are two types of cells that affect ...
详细信息
ISBN:
(纸本)9780769546001
In this study, a method for modeling trees with rugged surfaces by simulating tree growth is proposed. the phenomena of cell division is considered for simulating tree growth. there are two types of cells that affect the growth of trees, namely, the apical meristem cells and the cambium cells. the former cells lie at the apex of a branch and are responsible for the extension of the branch. the latter cells cover the surface of the tree and are responsible for its lateral growth. Further, knots are generated by unusual and uneven growth of the cambium cells. To simulate these phenomena, a tree is modeled as a polygon mesh which grows by displacing the vertices of the mesh. Each vertex acts as an apical meristem cell or a cambium cell. the tree growth is defined by an L-System. Subsequently, tree models with rugged surfaces, such as those including knots, are generated.
In this paper, Technology computer-aideddesign (TCAD) is used to investigate the thermal characteristic and thermal Safe Operating Area (T-SOA) of a novel 800V Multiple RESURF LDMOS with linear P-top Rings. Two metho...
详细信息
ISBN:
(纸本)9781607682356;9781607682349
In this paper, Technology computer-aideddesign (TCAD) is used to investigate the thermal characteristic and thermal Safe Operating Area (T-SOA) of a novel 800V Multiple RESURF LDMOS with linear P-top Rings. Two methods of critical temperature extraction are presented and the agreement between these two methods is proven. the effects of Initial Front Rise time (IFR) and other parameters on the thermal characteristic of the device are inspected. Finally, the simulation result has an agreement withthe analytic solution. therefore, the analytic solution can replace the 3D simulation for large device which is not able to be performed using current available TCAD tools.
Shape reinterpretation is an essential component in design generation and exploration. However, computational design tools, such as computer-aideddesign systems, offer poor support for shape reinterpretation and, as ...
详细信息
ISBN:
(纸本)9781904670308
Shape reinterpretation is an essential component in design generation and exploration. However, computational design tools, such as computer-aideddesign systems, offer poor support for shape reinterpretation and, as a result, do not provide effective support for design ideation. A key difficulty in realising systems that support shape reinterpretation is the issue of interface - how can a user guide a system with respect to their interpretations of a shape? In this paper, research is presented that explores this question through the development of a software prototype. the prototype uses identity shape rules (so-called 'useless rules') and eye tracking to support the creation and manipulation of shapes. the paper presents theoretical developments that have informed development of the prototype, including outcomes of a series of eye tracking studies. the software prototype builds on the results from these studies and uses gaze data in combination with traditional mouse-based input to restructure designed shapes based on the visual attention of the users, so that manipulation according to the users' interpretations is afforded.
A reconfigurable processor tailored for accelerating Phylogenetic Inference is proposed. In this paper, a programmable and scalable architectural platform instantiates an array of coarse grained light weight processin...
详细信息
暂无评论