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.
With the increasing popularization of low-cost smart mobile devices, which have the capability of short-range wireless communication, opportunistic networks aimed to meet different requirements start to put into practice. However, because of the mobility of nodes, links in opportunistic networks is intermittent and dynamic, which results in the problems of long delay time and low success rate of delivery...
With the TM images in 1990 and 2005 and in the support of RS and GIS techniques, this paper applies the maximum likelihood classification and the Fragstats3.3 calculation software to calculate and analyze 9 landscape indices in three counties, Heng dong County, Hengshan County and Hengyang City. The studies have shown that: 1. For the three studied cities, the reduction of woodland is largest than...
Nowadays, cognitive radio technology is an intelligent spectrum sharing technology. In order to ensure the licensed users will not be interfered, cognitive(unlicensed) users must be able to detect the spectrum vacancy fast and reliably. For several existing multi-node detection schemes didn't take the test results' reliability of the cognitive users in different locations into consideration, this...
Some program structures in modern programming languages can not be reasoned about symbolically. Lazy symbolic evaluation as proposed in this paper introduces a lazy evaluation strategy into traditional symbolic execution in order to address the issue. Constraint variables in path constraints generated by lazy symbolic evaluation may be input or intermediate variables. To eliminate the latter, concrete...
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.