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.
Mobile robots are capable of performing spatial displacement motions in different environments. These motions can be computed based on the sensorial data (autonomous robot) or given by an operator (tele operated robot). This paper is focused on the latter providing the control and software architecture that bridges the tele operator, the sensorial data from the task circumstance and the robot's locomotion...
Marine electromagnetism survey which is divided into the natural field source (MT) and artificial field source (CSEM) is one of the hot spots in the field of offshore oil and gas exploration, especially in the deep sea. Low frequency, wide band and weak electric field signal acquisition which generally uses Ag/AgCl non-polarized electrode and ultra-low noise amplifier is one of the key technologies...
Developers often take much time and effort to find buggy program elements. To help developers debug, many past studies have proposed spectrum-based fault localization techniques. These techniques compare and contrast correct and faulty execution traces and highlight suspicious program elements. In this work, we propose constrained feature selection algorithms that we use to localize faults. Feature...
The hardware and software design of a new measure and control system of power grid (MCPG) is introduced in this paper. This new system is based on communication technology. It serves as a platform for the utilities of many measure and control applications. By the integration of the hardware and software resources in this platform, further developments of measure and control systems for a particular...
Traditional methods of generating test data may result in redundancy of test data, which brings many troubles to software testing. In order to solve the redundancy of test data, this study proposed a novel approach of generating test data by reducing target statements based on dominant relations. First, basic concepts and principles concerning dominance are listed. Then, an approach is proposed to...
CC2430 is a highly integrated RF chip, adapted to the ZigBee protocol, working at the band of 2.4GHz, accompanied by inductors and capacitors which form the RF modules, then matched with the interface, a various kinds of sensors and peripherals to form a wireless sensor node, which can be used to form a wireless sensor network. This article will mainly present the design of wireless sensor nodes based...
Both SNMP and Netflow have advantages and disadvantages in traffic collect and manage, by study, introduced a new network traffic management combining Netflow based on Hash aggregation with SNMP, use hash aggregation to combine the large number of original Netflow data, achieved the compression store of original traffic data and efficient network system management, make full use of the advantages...
UML sequence diagrams are widely used as a behavioral modeling language for interactive systems for their concise and intuitive expression, especially a few high security systems. However, UML sequence diagrams lack precise formal description of semantics when they are used in modeling of the interactions between objects. To solve the problem, this paper proposes a solution by translating the UML...
The influence of the software, and its interaction and interdependency with the hardware in the creation and propagation of hardware failures, are usually neglected in reliability analyses of safety critical systems. The software operation is responsible for the usage of semiconductor devices along the system lifetime. This usage consists of voltage changes and current flows that steadily degrade...
State charts is widely used as a behavioral modeling language for reactive systems for its concise and intuitive expression, especially a few high security system. However, the lack of formal semantics makes it difficult to analyze and validate the system which it described. The paper proposed a formalization method based on temporal description logic. Firstly, temporal description logic (TDLs) is...
In this paper, we introduce a full 3D simulation for light power distribution of an InGaN/GaN MQW LED with textured surface. Device simulation was performed by APSYS software to get power distribution of light source inside the LED. Based on this, ray tracing simulation was carried out to get light power distribution outside the LED. During the process of ray tracing, the textured surface was treated...
LASTIP software was applied to simulate a classical GaN-based blue laser diodes (LD) emitting at about 410 nm. Considering effects of polarization charge (PC) in this LD, theoretical simulation showed accordant results with that in experiments. On the other hand, without regard to PC, threshold voltage and current are lowered, while laser characteristic temperature is enhanced, which indicates that...
High speed machining technology is used in a broad range of applications to machine ferrous metals and nonmetallic material. Based on its application, a motorized high speed, high power/torque spindle is the key technology that drives high speed machining. Performance monitoring determines if the equipment is operating as expected. This paper presents a new motorized spindle performance monitoring...
This paper introduces an electrical fire control system which is composed of stand-alone electrical fire detector and electrical fire monitoring equipment. The detector with fieldbus communication technologies uses MCU to realize the main route leakage protection for low-voltage 3-phase 4-wire system; at the same time, finish the measure, display and control of voltage, current, power, electricity,...
In our country, the research of feature modeling technology for reverse engineering has two types, which are based on solid and based on line-surface. This paper studies the feature modeling technology for complex product which uses dot image of slicing contour as original information based on solid feature. The feature modeling system consists of two parts: programming software of automatic modeling...
This paper expatiates on the basic concept about reverse engineering. It puts forward a new working mode which takes innovation as the core. According to 3D reconstruction of complex product as the goal, it analyzes the working process of reverse engineering. The mode and process constructs CAD solid model of complex product under universal CAD software environment and lays a good foundation for product...
This paper presents firstly the structure and working principle of car sunroof. Then the reverse engineering and software CATIA were used to build the 3D model of motion mechanism of a car sunroof. Finally the 3D model was imported into software ADAMS to build the virtual Prototype. By applying with the software ADAMS the kinematic and dynamic character of sunroof motion mechanism components during...
This paper presents a novel system for shock and vibration measurement, which consists of three main parts: acceleration sensor, analog signal processing and digital signal processing. It can measure and record the shock and vibration acceleration signal output from the acceleration sensor, and the data can be preserved in memory even system power is exhausted. After working process is completed,...
We fetch facial digital vision information from 98 healthy persons using digital camera. With functional help of NIKON CAPTURE NX's software point U key technology, we catch black, white and neutral color control points. We correct the color differences of facial digital vision with self-improved facial functional software. According to the principle of Adaboost objective category, we improve the...
UML is a universal, standard modeling language. It can be applied to the modeling of any system with static framework and dynamic action. However, UML lacks precise semantics which might lead to problems, such as inconsistencies, redundancies and so on. In order to detect the UML behavior diagrams, a dynamic description logic and a sound and complete tableau-based satisfiability-checking decidable...
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.