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.
MCrypton is an ultra-lightweight symmetric cryptographic algorithm, which is designed to adapt to the resource constrained computing scenarios, such as RFID tags and sensor networks, etc. With the continuous development of Internet of things (IoT), the application of this kind algorithm becomes increasingly popular, so the implementation security of the algorithm has correspondingly become an imperative...
The traditional decision methods are always relying on priori knowledge and expert knowledge. Aiming at these shortcomings, we propose a novel decision-making method based on weighted formal context. Firstly, we use weight to evaluate object's importance level and attribute's frequency level. Secondly, we calculate the arithmetic mean value of the object's attribute weight to express corresponding...
With the emergence of mobile Internet, Internet of things and cloud computing, the domain of information security is in a rapid development. As a result, a constant stream of compound-words describing new concepts and new technologies has arisen. However, the existing dictionary does not collect those new compound-words in time, so it cannot identify them correctly. In order to solve this problem,...
Formalization of Ontology is one of the hotspot and difficulty in the study of Ontology. For the order sorted logic can better reflect the different understanding of the natural languge, it is in favor of the formal reasoning of Ontology. So construct an Ontology formalized model using the order sorted logic. It has an important practical significance for the realization of automatic web resources...
University examination timetabling problem is a complicated, multi-constraint combinatorial optimization problem. The current grouping genetic algorithm could get a better optimistic solution. Although the block encoding technique was applied in, the probabilities of crossover and mutation operation were still based on simple genetic algorithm. So the universality of this algorithm is not very well...
Mild thermal upgrading before coal utilization was an efficient method for sulfur removal as well as the quality upgrading. Two coal samples with high sulfur content from Guizhou province were selected in this study to investigate the releasing mechanism of different forms of sulfur under different atmospheres during mild thermal upgrading. The study showed that sulfur in coal can be divided into...
Requirements verification for complex software system has become more and more important in requirements engineering and it is one of the most helpful strategies for improving the quality of software system. Related work shows that requirement elicitation and analysis can be facilitated by semantic technologies and domain ontology. A new methodology for verifying software requirements with structural...
This article did some innovations and exploration in the planning and exploiting course of individuation study system: in the subjective judgment module, we present the prefix and suffix BM algorithm. This algorithm imported the prefix comparative thought and the next character's information in QS algorithm, and when there are no matched characters in the matching course from right to left, it will...
This paper presents a teleoperation system to control mobile robot remotely. A wireless serial communication card is used to propagate information. RF single chip is used to build the serial communication card. As a translucent communication parts, this card connect the control computer with the executive motors under control. Finally the effectiveness of the teleoperation system is illustrated by...
Distributed systems have been used to solve some complicated problems. In order to make better use of resources in distributed systems, people have designed many approaches and developed many systems to manage processes in distributed systems, but most of the management systems are paid little attention on reliability of them. There may be some attacks in complex network environment. Therefore the...
In a dynamic heterogeneous environment, such as pervasive computing, context-aware adaptation is a key concept to meet the varying requirements of different clients. However, this newfound versatility poses difficult challenges for user-interface design. The traditional UI development measures seem insufficient toward this situation. As the concept of design pattern in architecture and software engineering,...
As the foundation of service discovery, match, and composition, the solution to semantic description of Web services is the primary issue in semantic Web services. Aiming at adding semantic description to Web services, and solving problems of similarity calculations in Web services semantic annotation, an improved annotation method was developed: using similarities between WSDL and ontology to annotate...
This system is a small electronic commerce system- On-line bookstore system based on JSP and JavaBean, has self-contained onstage and background processing function, can make readers register and login, query and scan booklist, order and modify order form, view and issue message and so on, may provide convenient on-line shopping environment for the user, conforms to domestic popular electronic commerce...
Resource discovery is very critical in mobile computing technology. With wireless grid technology advances, an increasing number of resources, how to find the necessary resources accurately and efficiently for users in a large mobile grid environment, has become a problem has to be solved in grid technology. In this article, we mix the two distributed technology mobile grid and mobile agent together,...
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.