In order to strengthen the traditional information system's capacity of describing practical problems, preference relation is introduced into information system and the concepts of preference information system, p...
详细信息
In order to strengthen the traditional information system's capacity of describing practical problems, preference relation is introduced into information system and the concepts of preference information system, preference decision table, and information utility function are offered in this paper. In addition, the existence theorem of information utility function and several applications of information utility function in knowledge acquisition are provided.
Radio frequency identification (RFID) is a technology where a reader device can "sense" the presence of a close by object by reading a tag device attached to the object. To guarantee the coverage quality, mu...
详细信息
This paper presents a method to detect vehicles from a moving camera. The detection component involves a cascade of modules. First, motion estimation of singular points in video sequences is used to detect moving vehi...
详细信息
A remote debugging system for OpenMP parallel program is presented in this paper. The system consists of two parts, namely, an integrated debugging environment running on the clent-side and a background daemon running...
详细信息
ISBN:
(纸本)9781457717000
A remote debugging system for OpenMP parallel program is presented in this paper. The system consists of two parts, namely, an integrated debugging environment running on the clent-side and a background daemon running on the server-side. Information exchange between the two sides is accomplished through the socket-based network communication technology. The remote debugging function is realized by the automatic instrumentation technology at code level based on syntax tree. Instance tests show that the system can provide remote users with correctness checking, performance analysis and other debugging functions for OpenMP parallel programs. The user interface is simple and very easy to use.
In this paper, the recent advances of sensors incorporated in pacemakers are presented. Based on the functions and operations of modern pacemakers, a variety of sensors are described with their rationales, features an...
详细信息
In this paper, the recent advances of sensors incorporated in pacemakers are presented. Based on the functions and operations of modern pacemakers, a variety of sensors are described with their rationales, features and applications. Further improvements and future trend of body sensors are pointed out. The comparison of the sensors' features is performed.
The present study used electroencephalography to examine mu rhythm suppression (a putative index of human mirror neuron system activation) at frontal sites (F3, Fz and F4), central sites (C3, Cz and C4), parieta...
详细信息
The present study used electroencephalography to examine mu rhythm suppression (a putative index of human mirror neuron system activation) at frontal sites (F3, Fz and F4), central sites (C3, Cz and C4), parietal sites (P3, Pz and P4) and occipital sites (O1 and O2), while subjects observed real hand motion (real hand motion condition) and illustrative depictions of hand motion (drawn hand motion condition). Experimental data revealed that mu rhythm suppression was exhibited in the mirror neuron system when subjects observed both real and drawn hand motion. Moreover, the mu rhythm recorded at the F3, Fz, F4, and Pz poles was significantly suppressed while observing both stimulus types, but no obvious mu suppression occurred at the O1, 02 and 03 poles. These results suggest that the observation of drawings of human hand actions can activate the human mirror neuron system. This evidence supports the hypothesis that the mirror neuron system may be involved in intransitively abstract action understanding.
Arithmetic coding is a widely applied compression tool with superior coding efficiency to other entropy coding methodsHowever, it suffers from the error resilience and complexityIn this paper, the integer implementati...
详细信息
Arithmetic coding is a widely applied compression tool with superior coding efficiency to other entropy coding methodsHowever, it suffers from the error resilience and complexityIn this paper, the integer implementation of binary arithmetic coding with forbidden symbol for error resilience is studiedCoding redundancies for employing different quantization coefficients in probability representation and cost effective backtracking distance in bits for maximum a posteriori(MAP) decoding are studied in depthWe observe that the optimal quantization coefficients are independent of forbidden symbol and the probabilities of source and the cost effective backtracking distance is related to the source entropy and the given forbidden symbol probabilitiesSuch observations are also demonstrated by extensive experiments.
This paper introduces an automatic Web service composition method based on logical inference of Horn clauses and Petri nets. The Web service composition problem is transformed into the logical inference problem of Hor...
详细信息
This work presents a method to detect the size and location of tumor in soft tissues using ultrasound. Quantitative ultrasound is utilized to allow an ultrasound signal to be sent from a transmitter to multiple receiv...
详细信息
This work presents a method to detect the size and location of tumor in soft tissues using ultrasound. Quantitative ultrasound is utilized to allow an ultrasound signal to be sent from a transmitter to multiple receivers. This received signal is analyzed for echogenic and echolucent tumors to differentiate between the two along with non-tumor sample and also studied for the delay to determine the size/location of the tumor. The proposed system utilizes Low Transient Pulse (LTP) technique and is implemented using Field Programmable Gate Array (FPGA) and Digital Signal Processor (DSP) technologies. In this co-design architecture, DSP carries out the analysis of received demodulated signal at a lower speed while FPGA runs at a higher one to generate LTP signal and demodulate bandpass ultrasonic signal. This work elaborates the implementation of Quadrature Amplitude Modulation (QAM) receiver on FPGA for the received signal from an ultrasound detector. LTP is applied to the tumor samples through the transmitter and the received signal at an ultrasonic receiver is passed through QAM to obtain different maxima that are then further used to compute the location and the size of the tumor using DSP. This dual platform co-design demonstrates a good application of a FPGA/DSP platform for the LTP generation and received signal processing.
Li and Zhou propose an important concept for Petri nets: elementary siphons. They partition siphons into elementary and dependent ones. The controllability of the latter can be ensured by the former's proper contr...
详细信息
Li and Zhou propose an important concept for Petri nets: elementary siphons. They partition siphons into elementary and dependent ones. The controllability of the latter can be ensured by the former's proper control. They give a sufficient condition to decide whether a dependent siphon is controlled by its elementary ones in S 3 PR. However, this condition is so loose that in many cases the controllability of a dependent SMS cannot be determined although it is actually controlled. In this paper, we propose an improved condition to decide the controllability of strongly dependent SMS.
暂无评论