Control Lyapunov functions for adaptive nonlinear stabilization

For the problem of stabilization of nonlinear systems linear in unknown constant parameters, we introduce the concept of an adaptive control Lyapunov function (aclf) and use Sontag's constructive proof of Artstein's theorem to design an adaptive controller. In this framework the problem of adaptive stabilization of a nonlinear system is reduced to the problem of nonadaptive stabilization of a modified system. To illustrate the construction of aclf's we give an adaptive backstepping lemma which recovers our earlier design.     

Very true operators in effect algebras

We introduce the concept of very true operator on an effect algebra. Although an effect algebra is only partial, we define it in the way which is in accordance with traditional definitions in residuated lattices or basic algebras. This is possible if we require monotonicity as an additional condition. We prove that very true operators on effect algebras can be characterized by means of certain subsets which are conditionally complete.     

Predicting Missing Items in Shopping Carts

Existing research in association mining has focused mainly on how to expedite the search for frequently co-occurring groups of items in “shopping cart” type of transactions; less attention has been paid to methods that exploit these “frequent itemsets” for prediction purposes. This paper contributes to the latter task by proposing a technique that uses partial information about the contents of a shopping cart for the prediction of what else the customer is likely to buy. Using the recently proposed data structure of itemset trees (IT-trees), we obtain, in a computationally efficient manner, all rules whose antecedents contain at least one item from the incomplete shopping cart. Then, we combine these rules by uncertainty processing techniques, including the classical Bayesian decision theory and a new algorithm based on the Dempster-Shafer (DS) theory of evidence combination.     

A case of using the Semantic Interoperability Framework for custom orthopedic implants manufacturing

The efficiency and effectiveness of the daily practice in orthopedic surgery depend on the availability, interoperability and unique access to a wide set of information, related to the patient’s medical record and diagnosis, domain knowledge and available resources and staff. The most important of the tangible resources, needed for the therapeutic or preventive actions are orthopedic implants. In some cases, the implants may be highly complex and customized products, which need to be manufactured (assembled) on basis of the above information in a shortest possible timeframe. In this paper, the case of the custom orthopedic implants manufacturing is described from the perspective of the collaborative enterprising, with special consideration of the interoperability issues of the involved enterprise collaboration. It is shown how the previously developed Semantic Interoperability Framework can be used to improve the efficiency of the manufacturing and other relevant processes.     

NICE h : a higher-order explicit numerical scheme for integration of constitutive models in plasticity

The article introduces, as a result of further development of the first-order scheme NICE, a simple and efficient higher-order explicit numerical scheme for the integration of a system of ordinary differential equations which is constrained by an algebraic condition (DAE). The scheme is based on the truncated Taylor expansion of the constraint equation with order h of the scheme being determined by the highest exponent in the truncated Taylor series. The integration scheme thus conceived will be named NICE ^h , considering both principal premises of its construction. In conjunction with a direct solution technique used to solve the boundary value problem, the NICE ^h scheme is very convenient for integrating constitutive models in plasticity. The plasticity models are defined mostly by a system of algebraic and differential equations in which the yield criterion represents the constraint condition. To study the properties of the new integration scheme, which, like the forward-Euler scheme, is characterised by its implementation simplicity due to the explicitness of its formulations, a damage constitutive model (Gurson–Tvergaard–Needleman model) is considered. The general opinion that the implicit backward-Euler scheme is much more accurate than the thus-far known explicit schemes is challenged by the introduction of the NICE ^h scheme. The accuracy of the higher-order explicit scheme in the studied cases is significantly higher than the accuracy of the classical backward-Euler scheme, if we compare them under the condition of a similar CPU time consumption.     

A new method for computing fuzzy functional dependencies in relational database systems

In this paper, we present a new method for computing fuzzy functional dependencies between attributes in fuzzy relational database systems. The method is based on the use of fuzzy implications. A literature analysis has shown that there is no algorithm that would enable the identification of attribute relationships in fuzzy relational schemas. This fact was the motive for development a new methodology in the analysis of fuzzy functional dependencies over a given set of attributes. Solving this, not so new problem, is not only research challenge having theoretical importance, but it also has practical significance. Possible applications of the proposed methodology include GIS, data mining, information retrieval, reducing data redundancy in fuzzy relations through implementation of logical database model, estimation of missing values etc.     

Minimal forbidden subwords

Motivated by a study of similar problems stated for factors of words, we study forbidden subwords of a language or a word. A procedure for obtaining the set of all words avoiding a given set of subwords is presented. On the other hand, an algorithm for computing the set of minimal forbidden subwords for a word is given. The case of a two-letter alphabet appears to be particularly interesting and it is considered separately.     

Virtual Mechatronic/Robotic laboratory – A step further in distance learning

The implementation of the distance learning and e-learning in technical disciplines (like Mechanical and Electrical Engineering) is still far behind the grown practice in narrative disciplines (like Economy, management, etc.). This comes out from the fact that education in technical disciplines inevitably involves laboratory exercises and this fact drastically increases the complexity of a potential e-learning system. New approach and new specific knowledge are needed to develop such a system. We expect to meet the requirements of distance learning by developing the software-based laboratory exercises, i.e., a virtual laboratory. To fully substitute a physical system like laboratory equipment, one must emulate its full dynamics. The mathematical model in the form of differential equations will be applied to calculate dynamics and provide the data that would otherwise be measured on a physical system – this means simulation.