Consideration was given to the problem of controlling a system of ordinary differential equations under incomplete information about the phase states. Given was an algorithm to solve it on the basis of a combination o...
详细信息
Consideration was given to the problem of controlling a system of ordinary differential equations under incomplete information about the phase states. Given was an algorithm to solve it on the basis of a combination of the "real-time" reconstruction processes and feedback control.
ONE POPULAR HARDWARE DEVICE FOR PERFORMING FAST ROUTING LOOKUPS AND PACKET CLASSIFICATION IS A TERNARY CONTENT-ADDRESSABLE MEMORY (TCAM). WE PROPOSE TWO algorithms TO MANAGE THE TCAM SUCH THAT INCREMENTAL UPDATE TIMES...
详细信息
ONE POPULAR HARDWARE DEVICE FOR PERFORMING FAST ROUTING LOOKUPS AND PACKET CLASSIFICATION IS A TERNARY CONTENT-ADDRESSABLE MEMORY (TCAM). WE PROPOSE TWO algorithms TO MANAGE THE TCAM SUCH THAT INCREMENTAL UPDATE TIMES REMAIN SMALL IN THE WORST CASE.
A chemometrics-based data analysis concept has been developed as a substitute for manual inspection of extracted ion chromatograms (XICs), which facilitates rapid, analyst-mediated interpretation of GC- and LC/MS(n) d...
详细信息
A chemometrics-based data analysis concept has been developed as a substitute for manual inspection of extracted ion chromatograms (XICs), which facilitates rapid, analyst-mediated interpretation of GC- and LC/MS(n) data sets from samples undergoing qualitative batchwise screening for prespecified sets of analytes. Automatic preparation of data into two-dimensional row space-derived scatter plots (row space plots) eliminates the need to manually interpret hundreds to thousands of XICs per batch of samples while keeping all interpretation of raw data directly in the hands of the analystsaving great quantities of human time without loss of integrity in the data analysis process. For a given analyte, two analyte-specific variables are automatically collected by a computer algorithm and placed into a data matrix (i.e., placed into row space): the first variable is the ion abundance corresponding to scan number x and analyte-specific m/z value y, and the second variable is the ion abundance corresponding to scan number x and analyte-specific m/z value z (a second ion). These two variables serve as the two axes of the aforementioned row space plots. In order to collect appropriate scan number (retention time) information, it is necessary to analyze, as part of every batch, a sample containing a mixture of all analytes to be tested. When pure standard materials of tested analytes are unavailable, but representative ion m/z values are known and retention time can be approximated, data are evaluated based on two-dimensional scores plots from principal component analysis of small time range(s) of mass spectral data. The time-saving efficiency of this concept is directly proportional to the percentage of negative samples and to the total number of samples processed simultaneously.
This study proposes an algorithm for generating the associated Boolean expression in VHDL, given a ladder diagram (LD) as the input. The purpose of the algorithm is to implement of field-programmable gate array-(FPGA-...
详细信息
This study proposes an algorithm for generating the associated Boolean expression in VHDL, given a ladder diagram (LD) as the input. The purpose of the algorithm is to implement of field-programmable gate array-(FPGA-) based programmable logic controllers (PLCs), where an effective conversion from an LD to its associated Boolean expressions seems rarely mentioned. Based on this core thought, the conversion process of the algorithm first involves abstracting and expressing the encountered LD as an activity-on-vertex (AOV) graph. Next, an AND-OR tree in which AND-nodes and OR-nodes connote the series and the parallel relationships between the vertices of the AOV graph is constructed based on the AOV graph. Therefore, by a traversal to the AND-OR tree, the associated Boolean expression, as the output of the algorithm, can be easily obtained in VHDL. The proposed algorithm is then verified with an illustrative example, wherein a complicated LD is given as the input.
The area of metaheuristic optimization algorithms has been attracting researchers for many years. These algorithms have built in capability to explore a large region of the solution space, are computationally robust, ...
详细信息
The area of metaheuristic optimization algorithms has been attracting researchers for many years. These algorithms have built in capability to explore a large region of the solution space, are computationally robust, efficient and can avoid premature convergence. They have been extensively tested and applied on many hard optimization problems where conventional computing techniques perform unsatisfactorily. They are capable of solving general N-dimensional, linear, nonlinear and complex global optimization problems. One of the latest entrants in this field is the Bat algorithm which is based on the echolocation behaviour of bats. It has been proven to have good convergence properties on different benchmark functions and seems promising for dealing with optimization problems. The aim of this paper is to provide a survey of the state of the art on Bat algorithm. A concise effort has been made so that the readers get a rapid insight into some of the applications upon which bat algorithm has been applied till date in specialized fields of science and engineering. Some of the variants of the bat algorithm as reported in the literature have also been discussed.
The visual information obtained from a camera and an image processing unit is incorporated in an adaptive control algorithm to make a robotic manipulator grasp a moving object. Because of the inherent time delay cause...
详细信息
The visual information obtained from a camera and an image processing unit is incorporated in an adaptive control algorithm to make a robotic manipulator grasp a moving object. Because of the inherent time delay caused by the image processing, the motion of the moving target is predicted in real-time and is used in the on-line planning of the trajectory for the manipulator motion. Since the dynamics of the target are assumed to be unknown, the prediction is accomplished by means of an auto-regressive (AR) discrete-time model. On the basis of the predicted motion of the object, the planner determines on-line at each control sampling instant the desired trajectory point (subgoal) for the controller. The subgoal point is tracked by controlling the end-effector with self-tuner until grasping occurs. A simulation study and laboratory experiments are presented to demonstrate the performance of this visual feedback system.
The paper presents a cascade generalized predictive controller. The cascade control task is performed by one predictive controller and the cascade feature is incorporated in a special predictor. Simulation results are...
详细信息
The paper presents a cascade generalized predictive controller. The cascade control task is performed by one predictive controller and the cascade feature is incorporated in a special predictor. Simulation results are presented comparing the performances of the proposed control algorithm to traditional cascade loops including two PI or two GPC controllers. The paper investigates the effects of noise filter on the robustness of the control loops in the cascade control structure. It shows, that with the proposed predictor it is possible to adjust independently the robustness of the inner and outer loops, meanwhile in the traditional cascade loop there are cross effects in this sense. Finally a real time application of the proposed algorithm is presented: the cascade GPC was tested in the oxygen control loop of an experimental fluidized bed boiler.
This paper investigates the satisfiability of Propositional Projection Temporal Logic (PPTL) with infinite models. A decision procedure for PPTL formulas is given. To this end, Normal Form (NF) and Labeled Normal Form...
详细信息
This paper investigates the satisfiability of Propositional Projection Temporal Logic (PPTL) with infinite models. A decision procedure for PPTL formulas is given. To this end, Normal Form (NF) and Labeled Normal Form Graph (LNFG) for PPTL formulas are defined, and algorithms for transforming a formula to its normal form and constructing the LNFG for the given formula are presented. Further, the finiteness of LNFGs is proved in details. Moreover, the decision procedure is extended to check the satisfiability of the formulas of Propositional Interval Temporal Logic. In addition, examples are also given to illustrate how the decision procedure works.
In many network and IT (information technology) systems, users submit loosely defined (or "fuzzy") requests to obtain answers, solutions, or resources. Fuzzy requests are often presented in problem tickets a...
详细信息
In many network and IT (information technology) systems, users submit loosely defined (or "fuzzy") requests to obtain answers, solutions, or resources. Fuzzy requests are often presented in problem tickets and processed by an IT service management system. In such a system, problems are typically reported using vague user-generated descriptions of the symptoms (e. g., "my e-mail is not working"). Making use of the reported symptoms, the incident management system is then responsible for identifying the component causing the problem. An accurate and quick diagnosis from the fuzzy symptoms becomes critical for an efficient and timely resolution of the problem. In this paper, we propose a system for automated incident management using historical information (AIM-HI), a framework for autonomous routing of requests in large-scale IT global service delivery. AIM-HI incorporates historical request resolution information and frequency, together with queue bouncing trends to extrapolate algorithms for streamlining and automating the dispatch of requests or work among support groups and IT specialists. The simplicity and scalability of AIM-HI should lead to deployment in actual real operational systems in the future.
Smart homes (SHs) are crucial parts for demand response management (DRM) of smart grid (SG). The aim of SHs based demand response (DR) is to provide a flexible two-way energy feedback whilst (or shortly after) the con...
详细信息
Smart homes (SHs) are crucial parts for demand response management (DRM) of smart grid (SG). The aim of SHs based demand response (DR) is to provide a flexible two-way energy feedback whilst (or shortly after) the consumption occurs. It can potentially persuade end-users to achieve energy saving and cooperate with the electricity producer or supplier to maintain balance between the electricity supply and demand through the method of peak shaving and valley filling. However, existing solutions are challenged by the lack of consideration between the wide application of fiber power cable to the home (FPCTTH) and related users' behaviors. Based on the new network infrastructure, the design and development of smart DR systems based on SHs are related with not only functionalities as security, convenience, and comfort, but also energy savings. A new multirouting protocol based on Kruskal's algorithm is designed for the reliability and safety of the SHs distribution network. The benefits of FPCTTH-based SHs are summarized at the end of the paper.
暂无评论