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.
The scale of RDF graph grows very rapidly. Managing huge scale RDF graph distributively is becoming increasingly important. Partitioning RDF graph is a vital pre-processing step for the goal. When applying graph partitioning algorithms developed over past decades to RDF graph represented using well known RDF model such as Directed Labeled Graphs, Bipartite Graph, the vertices which a triple depends...
The main object of workflow description is to map business requirements quickly and accurately mapped to business process. An approach of business semantic-oriented workflow description method is proposed aiming at the current workflow description method lack of resource allocation means oriented business staff. It provides a description way that business staff familiar with through which business...
Photovoltaic (PV) generation technologies, often deemed a viable solution for reducing greenhouse gases and decreasing electricity demand, have become increasingly prevalent in their deployment. Particular progress in their implementation has been evidenced in residential areas characterized by rooftop-mounted PV arrays. Aside from the known advantages provided by residential PV generation, one noteworthy...
Good computational model design has always been a key factor in determining whether it will be a successful system. a new approach was proposed to formally specifying and proving the Grid jack computational model design which uses architectural description language WRIGHT together with the process algebra CSP. Formal specification in WRIGHT provides a convenient way to modeling the complex overall...
Motivated by the fact that individual unit of complex systems is not able to operate when it is isolated from the original plant. Functional duplicated platform of the original system based on CAN-Bus and hardware simulation is addressed in this study. the platform can provide all environmental stimulation signals for offline detection and diagnosis of individual unit. Meanwhile, based on dataflow,...
The concept of "determinism" of parallel programs and parallel systems has received a lot of attention since the dawn of computing, with multiple proposals for formal and informal definitions of deterministic execution. In this paper, we present precise definitions of two related properties of program schemata -- determinacy and repeatability. A key advantage of providing definitions for...
The problems of computer model simulation of CaO-SiO2-Al2O3 system are considered. The phases trajectories in fields of liquidus CaO, 3CaO·SiO2, 3CaO·Al2O3 are analyzed. The crystallization stages for given compositions are illustrated by the mass balance diagrams.
Aiming at the difficulty of large weapon equipment operation training simulation, GL Studio software tool was adopted based on VR technology. A hierarchy structure was put forward to simulate all kinds of integrating equipment system, single equipment and operation unit. Key technologies including Model database structure optimization, LOD, operation unit motion simulation based on DOF and screen...
For solving difficulty of running sluggishly and system overload in 3D simulation based equipment operation simulation system, 3D model optimization technologies including polygon simplification, instance reference and LOD are adopted combing with system characteristics of EOSS. Finally, 3D model optimization examples consists of single equipment and integrated equipment are also presented to prove...
Hardware in the Loop Simulation(HILS) plays an increasingly important role in the development and test system of missile. This paper describes the structure and function of a typical HILS Platform for missile testing. The platform has a double computers structure, which consists of the control computer and the simulation computer. The paper analyses the hardware and software requirements and gives...
The constructing and updating of user interest model, determines the accuracy of the user information representation, and directly influences the service quality for the users. This paper will show you by introducing some browsing action data into user interest model updating strategy, carrying on the experiment by using the designed system, and obtaining the reasonable values of browsing behavior...
Data Structure is the core course in the computer specialty, which aims to cultivate undergraduates' abilities of selecting appropriate data structures to develop high quality application programs. CDIO teaching model has already become one of hotspots and effective solutions to improve teaching quality and teaching effect. By learning advanced CDIO model of engineering education and analyzing the...
In this paper, the current situation on the course of The Fundament of Database Application was analyzed. Based on an example about the experiment of data querying, it presents the content of this experiment and analyses its significance in this course. By studying the problems of data querying experiment, it shown the structure of knowledge and the cognition model for this course, and some advices...
RBAC model has provided a framework for access control and it has also been successfully applied in many fields. However, the access-division granular in RBAC model is not fine enough and its role hierarchy mechanism cannot response agilely as required. To deal with these two disadvantages, the object-oriented thoughts and the RBAC model are combined and then the Object-oriented Fine-grained RBAC...
While end-users enjoy the data service mashup with high convenience and flexibility, how to achieve the best performance with minimum maintenance cost is a challenging problem. In this paper, the data maintenance problem is analyzed, and the maintenance cost model for the data service mashup is built. The model measures the response cost and update cost of a group of data service mashups in terms...
The data flow technique is a multiprocessor technique which enables parallelism to be found without being explicitly declared. One of the most important steps based on the dynamic data flow model is direct operand matching. The concept of direct operand matching represents the elimination of the costly process (in terms of computing time) related to associative searching of the operands. This paper...
The power consumption of data centers has been increasing at a rapid rate over the past few years. Many of these data centers experience physical limitations on the power needed to run the data center. This paper attempts to maximize the performance of a data center that is subject to total power consumption and thermal constraints. We consider a power model for a data center that includes power consumed...
The primary objective of Data Leakage Prevention (DLP) is to control the data usage by authorized users. Traditional control mechanisms are mostly implemented based on security domains and deploy strict polices on actions spanning different domains which will decrease the usability and flexibility of the system. The Chinese Wall Policy combines discretionary and mandatory aspects of access control...
Effective rehabilitation requires a graduated exercise, existing mathematical models based on average data. The task is to identify the specific model organism.
This paper proposes a method of automatically determining the parameter needed to digitally process compensation for the creep error generated by a load cell. The method determines the appropriateness of the currently set creep compensation parameter using an output value that has been used to compensate for the creep immediately after unloading, and then automatically adjusts the parameter if necessary...
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.