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.
In the past few years, SAT-based methods in propositional logic have been widely used to tackle practical problems in electronic design automation, software testing and hardware verification. However, lots of industrial problems can naturally be transformed to certain decidable fragments of first-order logic (FOL), which are more expressive than propositional logic. In this paper, we propose a novel...
This paper briefly introduces the Aihara chaotic neural network, and then deduces and simplifies its original dynamics equation. Based on the idea of pipeline model, we established an Aihara chaotic neural network of four nervous. By the way of Altera Dsp Builder generating code, we made the simulation and hardware implementation on FPGA platform. Finally, we analyzed the output of the network and...
The Holocene Quaternary pore confined aquifer at Hankou district; Wuhan city is suitable for operation of groundwater heat pump (GWHP). At the basis of the actual hydro-geological conditions and the appropriate assumptions, Flow Heat Software is used to analysis well spacing of this aquifer by means of water and thermal simulation method. The most appropriate well spacing is 33 ∼ 60 m.
This paper investigates fountain communication over discrete-time memoryless channels. Fountain error exponent achievable by linear complexity concatenated fountain codes is derived.
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.