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.
Big Data Analysis (BDA) has attracted considerable interest and curiosity from scientists of various fields recently. As big size and complexity of big data, it is pivotal to uncover hidden patterns, bursts of activity, correlations and laws of it. Complex network analysis could be effective method for this purpose, because of its powerful data organization and visualization ability. Besides the general...
This paper presents a modular designed dynamic positioning (DP) experiment system. Three modules are designed for the DP experiment system, which are onboard computer module, position sensing module and onshore control computer module. The hardware system and software are introduced. A PC/104 computer is used as the main controller of the onboard computer system, and an ARM microcontroller is used...
The development of the Internet and telecommunication urges researchers to look for a better way to secure online users' private information. This study is rooted in online user account protection, measuring the effect of QR codes on fear appeals and authentication protection. This study contributes to the extant literature by integrating two theories — protection motivation theory and the theory...
From the model established, running and the data post-processing, the operation of GT POWER is in GT-ISE and the method is simple and efficient. In order to solve the problem of reducing repeat - work in GT-POWER operation, intuitively correspond and alter of the model parameter also and the secondary development of software and modularization of background of software development which is accord...
One major objective of software testing is to reveal software failures such that program bugs can be removed. Random testing is a basic and simple software testing technique, but its failure-detection effectiveness is often controversial. Based on the common observation that program inputs causing software failures tend to cluster into contiguous regions, some researchers have proposed that an even...
This paper discusses the applications of computer technology to the college mathematics' education. The computer technology education takes the computer as the main tool, merging audiovisual media (voice and image) and computer media (file, image and animation) as one teaching system, to carry out the educational activities. Computer technology represents the great advantage in teaching. The paper...
Agile software development is a kind of lightweight development method, which can satisfy to the changes of requirements. This paper applies formal methods into agile software development, and investigates the method to adopt the rCOS in agile software development through convincing examples to improve software trustworthiness.
In order to solve the problems of verifying the inconsistency of the requirement specification in the natural language, and automatically transforming the requirement specification in natural language description to formal models, this paper proposes a modeling method of use case specification in XML and a method of verifying inconsistency in the specification. Furthermore, we design a corresponding...
In this paper, we present the formal semantics of sequence diagrams. The semantics of a sequence diagram is interpreted as a consecutive execution of steps in UTP. The semantics clearly captures the consistency between the design class diagram and sequence diagrams. This may underpin development of model consistency checking functions in UML CASE tools. It may also be used to reason about the correctness...
This study investigated the history of free and open source software (FOSS), comparative analyzed notions of free software and open source software, further studied on support forces and development status of free and open source software. Based on comprehensive review, we aim to suggest that free and open source software has a very bright development prospects.
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.