A new discontinuous robust control law for a rigid manipulator with bounded parameter uncertainties to track a desired trajectory, is presented. Global exponential stability is proved by the use of a natural Lyapunov function based on a transformation of the manipulator's differential equation due to Slotine and Li [2]. Convergence is to a sliding mode along which the tracking error is reduced at an arbitrary exponential rate. It is also shown how adaptation of bounds on uncertainties, and parameter adaptation, can be incorporated. For a continuous approximation of the discontinuous control law,practical stability (essentially, global uniform ultimate boundedness) of the tracking error is proved. Simulation results for the continuous control law exhibit excellent robust tracking. 相似文献
Summary The flavonoids present in ten selected samples of La Alcarria honey with different pollen compositions have been HPLC analysed in order to establish if correlations between botanical origin and flavonoid profiles are possible. A common flavonoid pattern is observed in the different samples showing that pollen is not the main source of honey flavonoids. A close correlation between the flavonoid patterns of honey flavonoids and propolis flavonoids has been found suggesting that flavonoid analysis could be more useful in geographical origin determinations than in botanical origin studies.
Flavonoide des La-Alcarria-Honigs Eine Studie ihres botanischen Ursprungs
Zusammenfassung Die Flavonoide in Proben in Alcarria-Honig mit unterschiedlicher Pollenzusammensetzung wurden untersucht, um Kortrelationen zwischen dem botanischen Ursprung und den möglichen Flavonoiden zu finden. In den verschiedenen Proben wurde ein Flavonoid-Muster gefunden, wobei der Pollen nicht die Hauptquelle der Honigflavonoide ist. Es wurde jedoch eine enge Korrelation zwischen den Flavonoid-Mustern des Honigs und des Bienenkittharzes gefunden, was für die geographische Herkunft wichtiger ist als die botanische.
The extent to which chloride ion incorporated in portland cement concrete as calcium chloride accelerator at the usual treatment levels remains dissolved in the pore solution was investigated. This was examined by direct analysis of pore solutions expressed from cement pastes. The chloride ion concentration of the pore solution remains high during the first day of hydration and only gradually declines. It appears that appreciable concentrations of chloride ion likely remain in solution indefinitely . 相似文献
This study investigates how European journalists evaluate the changes that have occurred in their profession since the Internet has been integrated in newsrooms. How do journalists perceive the features and innovations associated with the Internet? What are the principal changes in the profession? Do practitioners believe that the quality of journalism has been raised or lowered? To answer to these research questions, we carried out a survey across 11 European countries–Cyprus, Estonia, Finland, Greece, Ireland, Italy, Lithuania, United Kingdom, Slovenia, Spain, Sweden–of 239 journalists, working for 40 of the most‐read print/online news outlets in these countries. The survey shows that the opportunity to use the Internet to reinforce the social functions of journalism has not been fully recognised.相似文献
In this paper we focus on the aggregation of IDS alerts, an important component of the alert fusion process. We exploit fuzzy measures and fuzzy sets to design simple and robust alert aggregation algorithms. Exploiting fuzzy sets, we are able to robustly state whether or not two alerts are “close in time”, dealing with noisy and delayed detections. A performance metric for the evaluation of fusion systems is also proposed. Finally, we evaluate the fusion method with alert streams from anomaly-based IDS. 相似文献
Weighted Max-SAT is the optimization version of SAT and many important problems can be naturally encoded as such. Solving weighted Max-SAT is an important problem from both a theoretical and a practical point of view. In recent years, there has been considerable interest in finding efficient solving techniques. Most of this work focuses on the computation of good quality lower bounds to be used within a branch and bound DPLL-like algorithm. Most often, these lower bounds are described in a procedural way. Because of that, it is difficult to realize the logic that is behind.In this paper we introduce an original framework for Max-SAT that stresses the parallelism with classical SAT. Then, we extend the two basic SAT solving techniques: search and inference. We show that many algorithmic tricks used in state-of-the-art Max-SAT solvers are easily expressible in logical terms in a unified manner, using our framework.We also introduce an original search algorithm that performs a restricted amount of weighted resolution at each visited node. We empirically compare our algorithm with a variety of solving alternatives on several benchmarks. Our experiments, which constitute to the best of our knowledge the most comprehensive Max-SAT evaluation ever reported, demonstrate the practical usability of our approach. 相似文献
The proposed European Artificial Intelligence Act (AIA) is the first attempt to elaborate a general legal framework for AI carried out by any major global economy. As such, the AIA is likely to become a point of reference in the larger discourse on how AI systems can (and should) be regulated. In this article, we describe and discuss the two primary enforcement mechanisms proposed in the AIA: the conformity assessments that providers of high-risk AI systems are expected to conduct, and the post-market monitoring plans that providers must establish to document the performance of high-risk AI systems throughout their lifetimes. We argue that the AIA can be interpreted as a proposal to establish a Europe-wide ecosystem for conducting AI auditing, albeit in other words. Our analysis offers two main contributions. First, by describing the enforcement mechanisms included in the AIA in terminology borrowed from existing literature on AI auditing, we help providers of AI systems understand how they can prove adherence to the requirements set out in the AIA in practice. Second, by examining the AIA from an auditing perspective, we seek to provide transferable lessons from previous research about how to refine further the regulatory approach outlined in the AIA. We conclude by highlighting seven aspects of the AIA where amendments (or simply clarifications) would be helpful. These include, above all, the need to translate vague concepts into verifiable criteria and to strengthen the institutional safeguards concerning conformity assessments based on internal checks.