The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
For developing a surgical simulation platform that not only accords with software design standards but also conforms with clinical professional requirements; proposed designing and developing surgical simulation platform using COM (Component Object Model) component technology. Surgical simulation platform based on COM designed three core module: model management; surgical planning; surgical evaluating;...
Digital factory is a new technology to construct a virtual plant framework to integrate manufacturing process planning with manufacturing execution. Object-Oriented technology is introduced to simulate complicated discrete production system. And a virtual factory is constructed in digital environment. In this paper, manufacturing resource library is built to manage manufacturing equipments and all...
Relevance feedback (RF) proved an effect way to improve the precision and recall of 3D model retrieval. Unfortunately, through existing methods of RF, it is straightforward to find out whether a model is similar or not, but it is impossible to find out which local part is similar or not. The new partial method of RF proposed in this paper provides a good solution, in which not only the similar models...
Conceptual data models, being the tool of design databases, have been proposed. Information in real world application is often vague or ambiguous. Currently, less research has been done in modeling imprecision and uncertainty in conceptual data model. The UML (Unified Modeling Language), being a set of OO modeling notations and a standard of the Object Management Group (OMG), can be applied for many...
With the increase in the number of motor vehicles, according to the traffic capacity problem in our country now days, 3DS MAX is used in the field of traffic simulation. This paper takes single intersection as a subject of research. Firstly, the car model, single intersection, lane and so on are created with 3DS MAX. Then, the simulation of cars that are passing the single intersection is realized...
Effectively choosing the WorkShop Management Systems (WSMS) to manage the plan execution and product manufacturing of workshop has become the problems which the decision-makers of enterprise have to face. But when integrating with other system, most of WSMS are indicative of the phenomenon of their instability, discontinuity and the difficulty of information exchange. By means of the characteristics...
The growth of urban areas into forested and agricultural lands is a local and global planning issue of great concern. The proposed model is hence based on the raster data model. The raster-based GM is implemented using object-oriented Microsoft Visual C++ programming under the Microsoft Windows environment. To satisfy more analysis methods expended for this system, such as CA and neural network models,...
Based on virtual reality technology, the paper does some researches and developments for virtual grinding system. A friendly human-computer interaction interface and virtual machining environment are programmed with Visual C++ and OpenGL, and their characters of interaction and immersion are embodied completely. Physical model of virtual grinding wheel and mathematical model of contact between abrasive...
The paper presents a method to reconstruct a controllable 3D head and face model for a specific person. The 3D grid-muscle head and face model of the certain person is created after selecting key feature points from a front face photo and a left side face photo of the person, deforming the grid points and muscle vectors of a basic model. Then after texture mapping, we reconstruct the special person's...
The verification of termination is a difficult problem. While most of the recent work on automated termination proofs focuses on the construction of linear ranking functions for unnested loops, we present an algorithm based on region graphs to prove termination of nested loops. The method can prove the termination of terminating nested loops that may not have linear ranking function. For the programs...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.