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.
In order to develop a new extending edge method of potential field with reasonable and practical, this paper develops a difference method of extending edge based on the mean value theorem and the maximum value and minimum value theorem. This paper, through designing theoretical model and calculating theoretical data, processes the actual data by difference method of extending edge, analyses the differences...
People social interaction analysis is a complex and interesting problem that can be faced from several points of view depending on the application context. In videosurveillance contexts many indicators of people habits and relations exist and, among these, people trajectories analysis can reveal many aspects of the way people behave in social environments. We propose a statistical framework for trajectories...
Directional relations have been gain more attention in spatial analysis and reasoning. The conventional quantitative directional relations models are mostly based on the measure of angle. But angle-based model can not distinguish the case of the difference of the directional relations between different points in the same ray. In order to resolve this problem, we propose a new concept of directional...
With economic growth and gross domestic product increasing year by year, the electric power industry as a fundamental industry supports the development of the three industries. So to speak, no electric power industry, the rapid and stable development of the economy in our country is not continuous, stable and high-speed growth. Research in the degree of association between three major industries and...
Symbolic execution plays an important role in the area of software testing and program verification. However, there are several difficulties facing symbolic execution, one of which is how to abstract various data types in source codes. This paper addresses this problem by proposing a memory model that is based on the abstract symbol table. The abstract symbol table records names, abstract addresses...
Honeycomb paperboard has developed rapidly because of its hexagon core structure in casing area. One of the reasons is that honeycomb paper can prevent or lighten the vibration and concussion in the process of transportation. Existent anomalistic hexagon structure of the honeycomb paperboard has an impact on its antivibration characteristics. The antivibration effect of different anomalistic honeycomb...
Bounded model checking shows that satisfiability (SAT) problem can be widely used for model checking. The performance of SAT solver depends heavily on the quality of the learnt clauses in the conflict analysis process. Combining with the characters of model checking, we propose to add efficient implied clauses to the clause database to enhance the conflict analysis. Experimental results show that...
In this paper, the opinion dynamics based on the 2-dimensional Krause-Hegselmann (KH) model is discussed. The opinion of each agent is represented by a vector with real-valued components between 0 and 1. Different consensus thresholds with two confidence level sets under the situation of uniform probability distribution are studied for the opinion dynamics analysis. Two scenarios are considered to...
In recent years, with the advancement of microscopic imaging technique, cellular morphological analysis has become one of the most important branches of biomedical image processing field. Cell image analysis, an assisting method of clinical information acquisition, has played an important role in facilitating the appropriate diagnosis and treatment against some serious diseases such as cancer, leukemia...
Massively multiplayer online role playing games (MMORPGs) are computer based games in which players interact with one another in the virtual world. Worldwide revenues for MMORPGs have seen amazing growth in last few years and it is more than a 2 billion dollars industry as per current estimates. Huge amount of revenue potential has attracted several gaming companies to launch online role playing games...
An approach to static analysis and verification of linked data structures found in OO programs is to firstly infer the ldquoshaperdquo of the object/data structures that may be produced by the program, and secondly to verify that these shapes are consistent with a programmer-specified ldquocorrectrdquo data structure. A feature of the approach is that the shapes of the data structures may be graphed...
An automated structural optimization system named VCD (Vehicle Concept Design) is shown in the paper. The system is based on CAE technology and also merges some advanced technology such as template method, parametric technology and optimization technology. It can build parametric body geometry model and FEM mesh model rapidly and automatically. The body's stiffness and modal could be solved well and...
Cell morphology is an often-utilized feature in biology and medical science because changes in the shape of a cell indicate that some abnormal alterations may have occurred within the cell. However, there is little knowledge about the relationship between phenotype and genes. In this study, for determining the genetic effect on phenotypes, we designed a new algorithm called phenotype analysis with...
With the relatively recent awareness of the fragility of the natural world environment (Rio Conference "Earth Summit" in 1992), Information Systems (IS) trying to identify and help to manage biodiversity have proliferated. Given the various data that they contain, they are complex applications, hardly accessible to the general public. At the same time, new communication systems allow a more...
In online applications, there is a foreseeable explosive growth in biometric personal authentication systems which are covenant with a measurable behavioral trait. Hand written object [HO] verification is the process used to recognize an individual, which is intuitive reliable indicator. Verification of a HO as a biometric modality still is a challenging field of research, as number of online and...
Within collaborative computing, computer mediated communications are evolving rapidly thanks to the development of new technologies. The facilitation of awareness and discovery of users in the communications networks is a key requirement for the success of these collaborative systems. Besides the need for location awareness, the emergence of heterogeneous wireless environments, where users can freely...
A novel radioholographic classification method based on correlation between scattered fields of the registered and the model objects is proposed and approved.
Virtual systems for definition, analysis and application of product models are widely applied in development, production, and application of products. These systems provide outstanding performance in description of product information. At the same time, any modification of earlier decided product information needs contribution from the original decision maker. Otherwise new decision is to be made...
Simultaneous switching noise (SSN) is an important issue for the design and test and actual ICs. In particular, SSN that originates from the internal logic circuitry becomes a serious problem as the speed and density of the internal circuit increase. In this paper, an on-chip monitor is proposed to detect potential logic errors in digital circuits due to the presence of SSN. This monitor checks the...
This paper presents a novel method of contour reconstruction from dexel data solving the shape anomalies for the complex geometry in virtual sculpting. Grouping and traversing processes are developed to find connectivity between dexels along every two adjacent rays. After traveling through all the rays on one slice, sub-boundaries are connected into full boundaries which are desired contours. The...
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.