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.
At present, most of 3D reconstruction algorithms only use the range history of scatters for ISAR frame. The reconstruction algorithm that utilizes both range and cross range data is proposed to replace of the method using only the range, which improves the reconstruction accuracy and decreases the least image quantity for the successful reconstruction. The 3D Euclidean distances between points are...
In this paper, we propose a novel method for the annotation of the multispectral satellite images by incorporating a new graphical model. In order to obtain the annotated image, first, we use a set of images with defined semantic concepts to represent the training set. Second, the images are represented by several visual words based on the image features. At last, the model of discrete infinite logistic...
With the rapid increase of Web Service applications, the reliability of web service and service composition has drawn particular attention from researchers and industries. Many methods for testing and verifying the reliability have been discussed, however, the existing methods are weak in test automation and therefore difficult in tackling the dynamic features of modern SOA based application. The...
Machine-to-machine (M2M) communications has recently become a growth area for wireless technologies. In this paper, we analyze the advantages of using CDMA2000 1x technologies for M2M communications and present a set of enhancements to its air interface that have been standardized in 3GPP2 (Rev F). Through simulation studies on real-world applications, we show that these enhancements can achieve significant...
In this paper, we deal with an assembly line with limited-cycle multiple periods with two kinds of workers. Skills of workers are assumed to be different. We consider an optimization problem for finding an allocation of workers to the line that minimizes total expected cost satisfying the demand. Then we propose a theorem of the property of the optimal worker allocation and discuss the other properties...
To increase the vibration energy-harvesting capability of the piezoelectric generator based on a cantilever beam, the authors' research group had proposed the internal impact type vibration energy harvester (IITVEH) that employs a proof mass at the tip of a cantilever beam to hit the frames of the IITVEH on the two sides of the proof mass. In this work, we study the effect of the structure topology...
This paper presents the design, test and analysis of a thickness non-uniform piezoelectric beam for impact vibration energy harvesting. The piezoelectric beam has three evenly spaced rectangular grooves of identical size, and three identical rectangular piezoelectric patches. Each piezoelectric patch has the same central position as its corresponding groove, and the three piezoelectric patches are...
Model checking provides a way to automatically verify hardware and software systems, whereas the goal of planning is to produce a sequence of actions that leads from the initial state to the desired goal states. Recent research indicates that there is a strong connection between model checking and planning problem solving. In this paper, we investigate the feasibility of using different model checking...
Robustness of single kernel based visual tracking is unsatisfactory in real cases because the similarity surface is not sharp enough near the attractive basin. The searching procedure stops before reaching the correct location of the object's model, generally, in the flat area near the peak. To solve this crux as one of the tools in real time application, a modified kernel based target representation...
Software Architecture plays an essential role in the high level description of a system design. Despite its importance in the software engineering practice, the lack of formal description and verification support hinders the development of quality architectural models. In this paper, we present an automated approach to the modeling and verification of software architecture designs using the Process...
Detection of the visual salient regions is a challenging and significant problem in computer vision. In this paper, we propose a boundary based prior map and a soft-segmentation based convex hull to improve the saliency detection. First, we present to utilize the boundary information to obtain the coarse prior map. Then a convex hull improved by soft-segmentation is proposed to form the observation...
Many wireless sensor networks are intended to operate in an unattended manner after deployment, failing nodes cannot be replaced or repaired during field operation. Therefore, by designing the network to be fault-tolerant, we can ensure that a wireless sensor network can perform its surveillance and tracking tasks even when some nodes in the network fail. This paper demonstrates a brief overview of...
The Nd-TiO2 photocatalyst samples were prepared by sol-gel method for improving the photocatalytic activity of TiO2. The resulting materials were analyzed by XRD, SEM, and DRS. The photocatalytic activity of the catalysts was evaluated by degradation of methyl orange under UV irradiation. It was found Nd doping retard the growth of crystalline size and the phase transformation from anatase to rutile...
Digital TV set-top box has become the best “bridge” of the transition from analog television to digital television. This article discusses the design and realization of EPG (Electronic Program Guide) system and GUI (Graphics User Interface), which is based on Linux embedded operation system and ST7109 platform supporting high-definition digital TV decoding. Firstly, this article briefly introduces...
Interactive genetic algorithms (IGAs) are effective methods of tackling optimization problems involving qualitative indices by incorporating a user's evaluations into traditional genetic algorithms. The problem of user fatigue resulting from the user's evaluations, however, has a negative influence on the performance of these algorithms. Substituting the user's evaluations with various surrogate models...
Based on the C-NCAP side impact test results and component tests of a type of car, two typical type of pelvic-thorax airbag sub-models was developed using MADYMO and LS-DYNA software. They are single-chamber airbag with one inflator and dual-chamber airbag with two inflators. Based on the analysis of parameters of the single-chamber airbag, the factors that influence the dual-chamber airbag are determined...
With the development of Web Service composition, more and more diversified and complex business demands are satisfied. But the logical validity cannot be guaranteed. After a short view of recent research efforts of formal modeling and verification about Web Service, this paper proposes a new formal model for WS-BPEL described Web Service composition. The specification language of the model is LOTOS...
As the lack in business process information, the EPC(Electronic Product Code) data in RFID((Radio Frequency Identification) network miss its readability. Focus on the challenge this paper proposes a kind of method and technology for composing and decomposing business process information with EPC data in RFID network. By abstracting the transaction information with its EPC data and composing both into...
When we focus on events analysis, such as studying the event burstiness and monitoring the event trends, we have to face a great number of similar events that had happened in the history, i.e. event sequences, usually spanning more than 10 years. Burst detection is a popular technique of sequence analysis. Today there are several burst models and detection algorithms based on different burst definitions,...
Based on the theory of educational ecology and quantitative and qualitative research methods, this thesis investigates and analyses non-English major students' learning adaptability in the web-based language learning environment, expecting to bring unprecedented interpretations and suggestions to learners' learning adaptive problems emerged in the new teaching mode from the ecological prospective.
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.