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 traditional teaching, teachers transmit knowledge, and students receive the information passively in the classroom. There are few opportunities as well as proper situations for students to apply the acquired knowledge, in other words, students do not know how to use what they have learned in their daily lives. In this study, we designed a system for learning by authoring scripts, setting stage,...
We introduce a novel technique for verification and model synthesis of sequential programs. Our technique is based on learning an approximate regular model of the set of feasible paths in a program, and testing whether this model contains an incorrect behavior. Exact learning algorithms require checking equivalence between the model and the program, which is a difficult problem, in general undecidable...
Focus surface message includes focus of the lens and the situation of the real image plane in the focus plane range or not. Testing the focus surface message is an important prerequisite to ensure the high quality image of aerial camera. A auto-testing system of the focus surface message is proposed, and the measuring principle, constitution and the software of system are described. The focus surface...
Recent studies have shown that intermediate frequency alternating electric fields stimulation is a promising alternative treating strategy for proliferative diseases including tumors. This article presents a safe electronic device which is capable of generating low intensity electric fields of sine, square, triangle wave from 100 kHz to 1MHz. The electric fields are generated by a waveform generator,...
Large gap of supply and demand for mineral resources brings an urgent need to develop technology and methods for mineral exploration. Metallogenic prediction plays a leading role in mineral exploration. In consideration of current software platform we used and characteristics of specific metallogenic prediction method, the efficiency and quality of metallogenic prediction are not so satisfactory....
The Fuel Transfer System (FTS) has been developed to transfer new nuclear fuel assemblies or spent nuclear fuel assemblies during the refueling of pressurized water reactor between the RX and KX. This paper summarizes the mechanical structure of the system in the whole. Considering the safety and reliability for the high radioactivity environment, we propose a distributed control system with two levels...
The key techniques to implement system for mine gas disaster prevention are introduced. Based on the sensitive indexes of predicting coal and gas outbursts, the reasoning knowledge models for the regional prediction and working face prediction of coal and gas outbursts are built. Making advantage of the developing tool of SuperMap Objects, an integrated system based on GIS for mine gas disaster prevention...
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.