Industrial robotics is characterized by sophisticated mechanical components and highly-developed control algorithms. However, the efficient use of robotic systems - with regard to flexibility, reusability and extensib...
详细信息
ISBN:
(纸本)9789898425010
Industrial robotics is characterized by sophisticated mechanical components and highly-developed control algorithms. However, the efficient use of robotic systems - with regard to flexibility, reusability and extensibility - is very much limited by existing programming methods. As a consequence, software development for industrial robots is a complex and time-consuming task which generates considerable costs. this work performs an analysis of the current software development for robotics systems and identifies shortcomings from a software engineering point of view. Based on that, it outlines an architectural approach that addresses the identified problems and allows efficient software development for industrial robotic systems.
Hybrid classification model is currently an active research area and successfully solves classification problems in credit scoring. Finding effective classificatory models is important. Classification in credit scorin...
详细信息
Structure-preserving algorithms for solving discrete-time algebraic matrix Riccati equations are presented. the proposed techniques extract the stable deflating subspaces for extended, inverse-free symplectic matrix p...
详细信息
ISBN:
(纸本)9789898425003
Structure-preserving algorithms for solving discrete-time algebraic matrix Riccati equations are presented. the proposed techniques extract the stable deflating subspaces for extended, inverse-free symplectic matrix pencils. the algorithms are based on skew-Hamiltonian/Hamiltonian pencils derived by an extended Cayley transformation, which only involves matrix additions and subtractions. the structure-preserving approach has the potential to avoid the numerical difficulties which are encountered for a traditional, non-structured solution, returned by the currently available software tools.
this paper addresses issues of safety in pervasive spaces. We show how pervasive systems are different from traditional computer systems, and how their cyber-physical nature ties intimately withthe users. Errors and ...
详细信息
this paper addresses issues of safety in pervasive spaces. We show how pervasive systems are different from traditional computer systems, and how their cyber-physical nature ties intimately withthe users. Errors and conflicts in such space could have detrimental, dangerous or undesired effects on the user, the space, or the devices. there are no support systems or programming models conscious of the issue of safety. Unrestrained programming is the model de jour, which is inadequate. We need a programming model that encourages and obligates various roles engaged in the development of pervasive spaces to contribute to increasing safety. We propose a model that utilizes role-specific safety knowledge, and that takes advantage of the rich sensing and actuations capabilities of pervasive systems to detect and handle “conflicting contexts” and prevent or detect/avert“impermissible contexts”. We present our model and discus show it mitigates overall safety risks in presence of uncertainty due to multiple independent roles.
We analyze various approaches to construct exchange-correlation functionals which are able to describe states of definite spin multiplicity in the density functionaltheory (DFT) realm and outline the characteristics ...
详细信息
We analyze various approaches to construct exchange-correlation functionals which are able to describe states of definite spin multiplicity in the density functionaltheory (DFT) realm and outline the characteristics of possible functionals consistent withthe Kohn-Sham theory. To achieve this goal the unitary group technique is applied to label many-electron states of definite total spin and to calculate the corresponding analogs of the Roothaan coupling coefficients. the possibility of using range separated Coulomb potential of electron-electron interaction for constructing functionals discriminating multiplet states in the d-shells is explored and a tentative system of state-specific functionals, covering nontrivial correlations in d-shells of transition metal ions, is proposed for the Fe2+ ions. (C) 2009 Wiley Periodicals, Inc. Int J Quantum Chem 110: 454-475, 2010
the Web does not only offer an almost infinitive number of services and resources but can be also seen as a technology to combine different technological devices, like mobile phones, digital media solutions, intellige...
详细信息
ISBN:
(纸本)9783642165511
the Web does not only offer an almost infinitive number of services and resources but can be also seen as a technology to combine different technological devices, like mobile phones, digital media solutions, intelligent household appliances, tablet PCs, and any other kind of computers, in order to create environments satisfying the need of users. However, due to the large amount of web resources and services as well as the variety and range of user needs, it is impossible to realize software solutions for all possible scenarios. In this paper, we present a user-driven approach towards designing and assembling pervasive environments, taking into consideration resources and services available on the Web and provided through computing devices. Based on semantics embedded in the web content, we explain the concept as well as important components of this user-driven environment design methodology and show a first prototype. Finally, the overall approach is critically discussed from the perspectives of programmers and web users on the basis of related work.
the article concerns problems of formulating standard requirements to implementations of mathematical functions working with floating-point numbers and conformance test development for them. Inconsistency and incomple...
详细信息
ISBN:
(纸本)9783642114854
the article concerns problems of formulating standard requirements to implementations of mathematical functions working with floating-point numbers and conformance test development for them. Inconsistency and incompleteness of available standards in the domain is demonstrated. Correct rounding requirement is suggested to guarantee preservation of all important properties of functions and to support high level of interoperability between different mathematical libraries and software using them. Conformance test construction method is proposed based on different sources of test data: numbers satisfying specific patterns, boundaries of intervals of uniform function behavior, and points where correct rounding needs much higher precision than in average. Analysis of test results obtained on various implementations of POSIX mathematical library is also presented.
this paper presents an initiative program aimed at enhancing Linux device driver designing and maintenance by launching a long-term process that will attend the OS kernel development. this process includes two adjacen...
详细信息
ISBN:
(纸本)9783642114854
this paper presents an initiative program aimed at enhancing Linux device driver designing and maintenance by launching a long-term process that will attend the OS kernel development. this process includes two adjacent lines of activity: 1) creation and replenishment of a repository of potential faults and errors that may occur in Linux device drivers, and 2) development and improvement of special-purpose verification tools for automatic detection of all errors specified in repository. We describe in some details both lines of activity, present an architecture of a perspective verification toolset, compare our project with similar work, and finally discuss the current state of art in Linux device driver verification.
Language resources, including corpus and tools, are normally required to be combined in order to achieve a user's specific task. However, resources tend to be developed independently in different, incompatible for...
详细信息
ISBN:
(纸本)9782951740860
Language resources, including corpus and tools, are normally required to be combined in order to achieve a user's specific task. However, resources tend to be developed independently in different, incompatible formats. In this paper we describe about U-Compare, which consists of the U-Compare component repository and the U-Compare platform. We have been building a highly interoperable resource library, providing the world largest ready-to-use UIMA component repository including wide variety of corpus readers and state-of-the-art language tools. these resources can be deployed as local services or web services, even possible to be hosted in clustered machines to increase the performance, while users do not need to be aware of such differences. In addition to the resource library, an integrated language processing platform is provided, allowing workflow creation, comparison, evaluation and visualization, using the resources in the library or any UIMA component, without any programming via graphical user interfaces, while a command line launcher is also available without GUIs. the evaluation itself is processed in a UIMA component, users can create and plug their own evaluation metrics in addition to the predefined metrics. U-Compare has been successfully used in many projects including BioCreative, Conll and the BioNLP shared task.
the technique for the representation of the information based on the time chainage diagrams (usually denoted as T.C.D.) is the most common approach, compared to more traditional systems such as networks (P.E.R.T., C.P...
详细信息
ISBN:
(纸本)9781905088416
the technique for the representation of the information based on the time chainage diagrams (usually denoted as T.C.D.) is the most common approach, compared to more traditional systems such as networks (P.E.R.T., C.P.M., precedences, etc.) or the Gantt charts, for the development of linear work planning.. Although the use of time chainage diagrams can control small variations in construction works, these diagrams are widely used for the development of linear works. the development of a software tool that allows planning engineer installations by the use of this technique is a problem that has not been solved yet for general cases. Although there are several commercial software applications that work with time chainage diagrams, all of them show limitations that make their use unfeasible in a general practice setting. Visual 4D Civil Works is a software framework that solves great part of these problems, allowing the user to plan building work designs withthe interactive time chainage diagrams and to visualize them by means of 4D techniques.
暂无评论