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.
We present V.PhyloMaker, a freely available package for R designed to generate phylogenies for vascular plants. The mega‐tree implemented in V.PhyloMaker (i.e. GBOTB.extended.tre), which was derived from two recently published mega‐trees and includes 74 533 species and all families of extant vascular plants, is the largest dated phylogeny for vascular plants. V.PhyloMaker can generate phylogenies...
The hardware system of ternary optical computer (TOC) is becoming increasingly complete. In order to facilitate the use of this new type of computer under the user programming, all the differences between this computer and traditional electric processor are shielded by using the file called "Computing-Data File". Thus a cooperative processing model between two types of computer can be formed...
Traditional Markov reliability model used to predict the total number of errors in the software and the failure interval, but did not consider the impact of the severity of the error. However, in some cases, such as software trustworthiness, we must consider not only the total number of software errors and failure interval, but also consider the severity of the error on the impact of the credibility...
In this paper, an efficient control system development method based on real-time virtual hardware-in-the-loop simulation is presented. Instead of developing and testing control system after physical prototype is produced, it can be conducted immediately after concept of controlled system is designed by developing a pure software real-time simulator. In this simulator, all the hardware is virtual....
The problem of belief revision and specification evolution has been studied for years. Different methods have been proposed to solve this problem. However, the problem of efficiency has not been solved well. Therefore, this paper proposes a revision algorithm based on assignment equivalence classes to improve the efficiency of the delegate model based algorithm. The new algorithm follows the same...
ON/OFF aggregation model is one of the efficient and accurate models for self-similar network traffic generation. In this paper we propose and compare three algorithms of implementing ON/OFF aggregation model, based on Cavium OCTEON CN3860 network processor, aimed to achieve high-bandwidth and real-time network traffic generation. The model is implemented in a multi-thread approach, in a token-bucket...
Problem of belief revision and specification evolution has been studied for years. Researchers have proposed ACM theory and R-calculus to solve the problem. This paper concerns with the revision of proposition logic and proposes a revision algorithm which can automatically find out a revision of given sets. The correctness of the algorithm is proved and concepts such as basic proposition, assignment...
Network traffic generation has always been a hot spot in network measurement and simulation research. However, traditional methods of generating network traffic are either insufficient in fulfilling bandwidth requirement or matching the characteristics of a real network. In this paper we propose a platform of generating high bandwidth real-time network traffic with self-similarity characteristic....
Achievements of network traffic simulation provide realistic, feasible and accurate methods of measuring bandwidth, latency, jitter and so on. However as the development of networking technology, traditional manners are becoming insufficient to provide high bandwidth matching the real network, nor accurate statistics characteristic such as self-similarity. In this paper we propose the Network Traffic...
To create reliable, safe, and high quality software is the primary purpose of software testing. With the development of software engineering, functional software testing is one essential part of software testing. This paper explains that back-propagation neural networks can be used for functional software testing efficiently and significantly. In here we established a method which is sufficient to...
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.