The stabilization problem of networked control systems with bounded packet loss is addressed. We model such networked control systems as a class of switched systems, and present sufficient conditions for the stabiliza...
详细信息
ISBN:
(纸本)9781424431236
The stabilization problem of networked control systems with bounded packet loss is addressed. We model such networked control systems as a class of switched systems, and present sufficient conditions for the stabilization by using a packet-loss dependent Lyapunov function. Moreover, different from existing results, we propose the design for packet-loss dependent stabilizing controllers for two types of packet-loss processes: one is a arbitrary packet-loss process, and the other is a Markovian packet-loss process. Several numerical examples and simulations are worked out to demonstrate the effectiveness of the proposed design technique.
A high performance liquid chromatography(HPLC) method was proposed to monitor the synthesis and purification of the 1-alkyl-3-methylimidazolium ionic liquid precursors from alkylation of 1-methylimidazole with alkyl h...
详细信息
A high performance liquid chromatography(HPLC) method was proposed to monitor the synthesis and purification of the 1-alkyl-3-methylimidazolium ionic liquid precursors from alkylation of 1-methylimidazole with alkyl halides and determine the purity of final *** results showed that separation of 1-methylimidazole from the precursors could be obtained under the HPLC performance conditions such as cation exchange column,acetonitrile/KH2PO4 aqueous solution and 209 nm *** content of unreacted 1-methylimidazole in the precursors could be easily calculated from their corresponding HPLC peak areas with the calibration curve of *** retention times of the 1-alkyl-3-methylimidazolium ionic liquid precursors decreased with their increasing alkyls,and the ionic liquids with the same cation and different anions had almost the same retention times.
We model the sum and product riddle in public announcement logic, which is interpreted on an epistemic Kripke model. The model is symbolically represented as a finite state program with n agents. A model checking meth...
详细信息
We model the sum and product riddle in public announcement logic, which is interpreted on an epistemic Kripke model. The model is symbolically represented as a finite state program with n agents. A model checking method to the riddle is developed by using the BDD-based symbolic model checking algorithm for logic of knowledge we developed in [7]. The method is implemented by extending the model checker MCTK [7] and then the solution of the riddle is verified successfully.
A capacity using covert channel mitigation method (CUCCMM) was proposed. This method uses capacity as metric for channel danger measure according to trusted computer system evaluation criteria (TCSEC) and multiple pro...
详细信息
A capacity using covert channel mitigation method (CUCCMM) was proposed. This method uses capacity as metric for channel danger measure according to trusted computer system evaluation criteria (TCSEC) and multiple probabilities based protocol selection policy (MPBPSP) to guide die application of secure concurrency control protocol. The algorithms of channel's capacity measure and policy's parameter computing are also presented. Experimental results show that CUCCMM implements the restriction criterion on channel's capacity effectively and accurately, and the MPBPSP significantly decreases the influence of restriction operation on real-time performance.
In this paper, we propose the basic framework of point- wise topological logic on completely distributive lattices and explore approximate reasoning in it. The logic of this paper is based on pointwise characterizatio...
详细信息
In this paper, we propose the basic framework of point- wise topological logic on completely distributive lattices and explore approximate reasoning in it. The logic of this paper is based on pointwise characterization, therefore the pointwise conception is pervasive. We explore approximate reasoning in abstract logical framework Fl on completely distributive lattice L. We propose the structure of point- wise topological logic F TL , the structure of matching function sigma. and the structure of matching neighborhood group. We investigate approximate reasoning in pointwise topological logic F TL with matching function sigma, develop pointwise topological algorithm of simple approximate reasoning, introduce the essential characteristics of this scheme.
The velocity profiles and temperature distributions of gas flow in microchannels, for Knudsen numbers ranging from 0.01 to 0.20, are investigated with pseudo-particle modeling (PPM). It has been found that the velocit...
详细信息
The velocity profiles and temperature distributions of gas flow in microchannels, for Knudsen numbers ranging from 0.01 to 0.20, are investigated with pseudo-particle modeling (PPM). It has been found that the velocity profiles are mainly affected by Knudsen number and the external force fields applied. When Knudsen number was increased, the slip velocities on the walls increased at the beginning, and then decreased. The temperature distributions were also significantly affected by the external force. The Darcy friction factor increased with increasing Knudsen number, and its variation with Mach number under increased Knudsen number was similar to the so-called premature laminar-turbulent transition observed in experiments.
In the high speed range, vector control of rotor flux orientation of an induction machine implements good performance. However, the performance in low speed rang deteriorates because of the inaccurate estimation of ro...
详细信息
The effects of heat treatment on the microstructure and phase constitution of Ti-3Zr-2Sn-3Mo-15Nb(TLM) alloy were investigated by optical microscopy,X-ray diffractometry and transmission electron microscopy. The wear ...
详细信息
The effects of heat treatment on the microstructure and phase constitution of Ti-3Zr-2Sn-3Mo-15Nb(TLM) alloy were investigated by optical microscopy,X-ray diffractometry and transmission electron microscopy. The wear resistance of TLM alloy was tested by sliding wear in comparison with as-annealed Ti-6Al-4V and as-aged Ti-13Nb-13Zr. The results show that the specimen cooled from α+β dual phase region is mainly composed of β,α and α″ phases,while the specimen cooled from β single phase region is mainly composed of β and α phases,in which β phase is predominate. The coefficient of friction of TLM alloy treated at 680 ℃,1 h,AC+510 ℃,6 h,AC is smaller than that of others,thereby TLM alloy has a better wear resistance which is also proved by the surface topography after wear test.
暂无评论