In this paper, we derive the impulse response of the fractional distributed order low-pass filters. Based on the derived analytical impulse response, a method on how to perform the discretization of the above distribu...
详细信息
In this paper, we derive the impulse response of the fractional distributed order low-pass filters. Based on the derived analytical impulse response, a method on how to perform the discretization of the above distributed order low-pass filters is presented. Time and frequency domains illustrations are provided.
Automatical verification of time sensitive protocols is a difficult research topic in formal analyses, with the key problem being how to simply and efficiently check time constraints led by time stamps. TSPVT, which a...
详细信息
Automatical verification of time sensitive protocols is a difficult research topic in formal analyses, with the key problem being how to simply and efficiently check time constraints led by time stamps. TSPVT, which automatically verifies time sensitive protocols, was developed from the SPVT(security protocol verifying tool) in the Objective Caml language. TSPVT takes time sensitive protocols in an extended π-like calculus model with time events as its input model, then translates the π-like calculus model into a Horn logic model P extended by the time constraint system. The Horn logic model P is composed of a set of rules for honest participants as well as another set of rules for attackers. In the verification period, TSPVT computes the fix point of P when the tool needs to process the X-resolution among rules within the time constraint system and then verifies the authentication of the protocol based on the fixed point. A simplified description of the verification process using TSPVT is given in detail using the Denning-Sacco protocol as an example, with the results showing the validity of the verifier.
Extracting or estimating skeletal hand/finger forces using surface electro myographic (sEMG) signals poses many challenges due to cross-talk, noise, and a temporal and spatially modulated signal characteristics. Norma...
详细信息
Extracting or estimating skeletal hand/finger forces using surface electro myographic (sEMG) signals poses many challenges due to cross-talk, noise, and a temporal and spatially modulated signal characteristics. Normal sEMG measurements are based on single sensor data. In this paper, array sensors are used along with a proposed sensor fusion scheme that result in a simple Multi-Input-Single-Output (MISO) transfer function. Experimental data is used along with system identification to find this MISO system. A Genetic Algorithm (GA) approach is employed to optimize the characteristics of the MISO system. The proposed fusion-based approach is tested experimentally and indicates improvement in finger/hand force estimation.
Improving the control of shading blinds, lights, natural ventilation, and HVAC systems while satisfying human comfort requirements can result in significant energy cost savings with time-of-day electricity pricing. Tr...
详细信息
Improving the control of shading blinds, lights, natural ventilation, and HVAC systems while satisfying human comfort requirements can result in significant energy cost savings with time-of-day electricity pricing. Traditionally, the above-mentioned devices are controlled separately. In this paper, a novel formulation for the integrated control and the corresponding solution methodology are presented. The problem is to minimize daily energy costs of lights and HVAC systems while satisfying equipment capacities, system dynamics, and human comfort. The problem is complicated since 1) individual rooms are coupled as they compete for the HVAC with limited capacity and nonlinear characteristics, and 2) the problem is believed to be NP-hard in view that decision variables are all discrete. A solution methodology that combines Lagrangian relaxation and stochastic dynamic programming is developed within the surrogate optimization framework to obtain near-optimal strategies. These strategies are further refined to become novel control rules for easy practical implementation. Numerical simulation results show that both of the above strategies can effectively reduce the total energy cost, and that the integrated control works better than selected traditional control strategies.
Infrared images are firstly analyzed using the multifractal theory so that the singularity of each pixel can be extracted from the images. The multifractal spectrum is then estimated, which can reflect overall charact...
详细信息
Infrared images are firstly analyzed using the multifractal theory so that the singularity of each pixel can be extracted from the images. The multifractal spectrum is then estimated, which can reflect overall characteristic of an infrared image. Thus the edge and texture of an infrared image can be accurately extracted based on the singularity of each pixel and the multifractal spectrum. Finally the edge pixels are classified and enhanced in accordance with the sensitivity of human visual system to the edge profile of an infrared image. The experimental results obtained by this approach are compared with those obtained by other methods. It is found that the proposed approach can be used to highlight the edge area of an infrared image to make an infrared image more suitable for observation by human eyes.
This study presents an adaptive neural fuzzy network (ANFN) controller based on a modified differential evolution (MODE) for solving control problems. The proposed ANFN controller adopts a functional link neural netwo...
详细信息
Decoy states have been proven to be a very useful method for significantly enhancing the performance of quantum key distribution systems with practical light sources. Although active modulation of the intensity of the...
详细信息
Decoy states have been proven to be a very useful method for significantly enhancing the performance of quantum key distribution systems with practical light sources. Although active modulation of the intensity of the laser pulses is an effective way of preparing decoy states in principle, in practice passive preparation might be desirable in some scenarios. Typical passive schemes involve parametric down-conversion. More recently, it has been shown that phase-randomized weak coherent pulses (WCP) can also be used for the same purpose [M. Curty et al., Opt. Lett. 34, 3238 (2009).] This proposal requires only linear optics together with a simple threshold photon detector, which shows the practical feasibility of the method. Most importantly, the resulting secret key rate is comparable to the one delivered by an active decoy-state setup with an infinite number of decoy settings. In this article we extend these results, now showing specifically the analysis for other practical scenarios with different light sources and photodetectors. In particular, we consider sources emitting thermal states, phase-randomized WCP, and strong coherent light in combination with several types of photodetectors, like, for instance, threshold photon detectors, photon number resolving detectors, and classical photodetectors. Our analysis includes as well the effect that detection inefficiencies and noise in the form of dark counts shown by current threshold detectors might have on the final secret key rate. Moreover, we provide estimations on the effects that statistical fluctuations due to a finite data size can have in practical implementations.
This paper presents an efficient immune symbiotic evolution learning (ISEL) algorithm for the compensatory neuro-fuzzy controller (CNFC). The proposed ISEL method includes three major components-initial population, su...
详细信息
In recent years, evolutionary methods have shown great success in solving many combinatorial optimization problems such as FIR (Finite Impulse Response) filter design. An ordinary method in FIR filter design problem i...
详细信息
In this paper, the information consensus filter (ICF) is adapted to non-linear process and measurement models by employing an extended information filter (EIF). The nonlinear ICF is a decentralized estimator, where ea...
详细信息
暂无评论