Space station advanced automation

In the development of a safe, productive and maintainable space station, Automation and Robotics (A and R) has been identified as an enabling technology which will allow efficient operation at a reasonable cost. The Space Station Freedom's (SSF) systems are very complex, and interdependent. The usage of Advanced Automation (AA) will help restructure, and integrate system status so that station and ground personnel can operate more efficiently. To use AA technology for the augmentation of system management functions requires a development model which consists of well defined phases of: evaluation, development, integration, and maintenance. The evaluation phase will consider system management functions against traditional solutions, implementation techniques and requirements; the end result of this phase should be a well developed concept along with a feasibility analysis. In the development phase the AA system will be developed in accordance with a traditional Life Cycle Model (LCM) modified for Knowledge Based System (KBS) applications. A way by which both knowledge bases and reasoning techniques can be reused to control costs is explained. During the integration phase the KBS software must be integrated with conventional software, and verified and validated. The Verification and Validation (V and V) techniques applicable to these KBS are based on the ideas of consistency, minimal competency, and graph theory. The maintenance phase will be aided by having well designed and documented KBS software

Формальная спецификация свойств баз нечетких знаний Мамдани на основе метаграфа

У роботі розглянуто подання бази нечітких знань Мамдані у вигляді метаграфа. Проведено аналіз властивостей бази нечітких знань для підвищення достовірності нечіткого логічного виведення. Сформульовано визначення властивостей бази нечітких знань Мамдані: ненадлишковості, лінгвістичної несуперечливості, відсутності зациклювання та лінгвістичної повноти бази нечітких знань Мамдані. Визначено вимоги до структури метаграфа, який подає базу нечітких знань Мамдані, для випадків, коли база нечітких знань є ненадлишковою, лінгвістично несуперечливою, не містить зациклювання та є лінгвістично повною. Запропоновано проводити статичну верифікацію баз нечітких знань на основі структури метаграфа, а також його графічного подання.The paper describes Mamdani fuzzy knowledge base representation in the form of a metagraph. The fuzzy knowledge base properties which have an influence on confidence of fuzzy inference are analyzed. The definitions of non-redundant, linguistic non-contradicted, without circularity and linguistic complete Mamdani fuzzy knowledge base are given. The metagraph structure requirements corresponding to non-redundant, linguistic non-contradicted and linguistic complete Mamdani fuzzy knowledge base are defined. Mamdani fuzzy knowledge base properties static verification based on metagraph structure analysis is proposed.В работе рассмотрено представление базы нечетких знаний Мамдани в виде метаграфа. Проведен анализ свойств базы нечетких знаний для повышения достоверности нечеткого логического вывода. Сформулированы определения свойств базы нечетких знаний Мамдани: неизбыточности, лингвистической непротиворечивости, отсутствия зацикливания и лингвистической полноты, базы нечетких знаний Мамдани. Определены требования к структуре метаграфа, соответствующего базе нечетких знаний Мамдани, для случаев, когда база нечетких знаний является неизбыточной, лингвистически непротиворечивой, не содержит зацикливания и является лингвистически полной. Предложено проводить статическую верификацию баз нечетких знаний на основе структуры метаграфа, а также его графического представления

New Business Models for the Reuse of Secondary Resources from WEEEs

This open access book summarizes research being pursued within the FENIX project, funded by the EU community under the H2020 programme, the goal of which is to design a new product service paradigm able to promote innovative business models, to open added value to the vessels and to create new market segments. It experiments and validates its approach on three new concepts of added-value specialized vessels able to run requested services for several maritime sectors in the most effective, efficient, economic valuable and eco-friendly way. The three vessels share the same lean design methodology, IoT tools and HPC simulation strategy: a lean fact-based design model approach, which combines real operative data at sea with lean methodology, to support the development and implementation of the vessel concepts; IT customized tools to enable the acquisition, processing and usage of on board and local weather data, through an IoT platform, to provide business services to different stakeholders; HPC simulation, providing a virtual towing tank environment, for early vessel design improvement and testing. The book demonstrates that an integrated LCC analysis and LCC strategy to guarantee sustainability to vessels concepts and the proper environmental attention inside the maritime industry

New Business Models for the Reuse of Secondary Resources from WEEEs

This open access book summarizes research being pursued within the FENIX project, funded by the EU community under the H2020 programme, the goal of which is to design a new product service paradigm able to promote innovative business models, to open added value to the vessels and to create new market segments. It experiments and validates its approach on three new concepts of added-value specialized vessels able to run requested services for several maritime sectors in the most effective, efficient, economic valuable and eco-friendly way. The three vessels share the same lean design methodology, IoT tools and HPC simulation strategy: a lean fact-based design model approach, which combines real operative data at sea with lean methodology, to support the development and implementation of the vessel concepts; IT customized tools to enable the acquisition, processing and usage of on board and local weather data, through an IoT platform, to provide business services to different stakeholders; HPC simulation, providing a virtual towing tank environment, for early vessel design improvement and testing. The book demonstrates that an integrated LCC analysis and LCC strategy to guarantee sustainability to vessels concepts and the proper environmental attention inside the maritime industry

WoodCircus, Underpinning the vital role of the forest-based sector in the Circular Bioeconomy. D2.2 Resource Efficiency, Side Streams and Value Chain Analysis – WP2 Final Report

202

A theory of concepts and their combinations I: The structure of the sets of contexts and properties

We propose a theory for modeling concepts that uses the state-context-property theory (SCOP), a generalization of the quantum formalism, whose basic notions are states, contexts and properties. This theory enables us to incorporate context into the mathematical structure used to describe a concept, and thereby model how context influences the typicality of a single exemplar and the applicability of a single property of a concept. We introduce the notion `state of a concept' to account for this contextual influence, and show that the structure of the set of contexts and of the set of properties of a concept is a complete orthocomplemented lattice. The structural study in this article is a preparation for a numerical mathematical theory of concepts in the Hilbert space of quantum mechanics that allows the description of the combination of concepts

Advanced Knowledge Technologies at the Midterm: Tools and Methods for the Semantic Web

The University of Edinburgh and research sponsors are authorised to reproduce and distribute reprints and on-line copies for their purposes notwithstanding any copyright annotation hereon. The views and conclusions contained herein are the author’s and shouldn’t be interpreted as necessarily representing the official policies or endorsements, either expressed or implied, of other parties.In a celebrated essay on the new electronic media, Marshall McLuhan wrote in 1962:Our private senses are not closed systems but are endlessly translated into each other in that experience which we call consciousness. Our extended senses, tools, technologies, through the ages, have been closed systems incapable of interplay or collective awareness. Now, in the electric age, the very instantaneous nature of co-existence among our technological instruments has created a crisis quite new in human history. Our extended faculties and senses now constitute a single field of experience which demands that they become collectively conscious. Our technologies, like our private senses, now demand an interplay and ratio that makes rational co-existence possible. As long as our technologies were as slow as the wheel or the alphabet or money, the fact that they were separate, closed systems was socially and psychically supportable. This is not true now when sight and sound and movement are simultaneous and global in extent. (McLuhan 1962, p.5, emphasis in original)Over forty years later, the seamless interplay that McLuhan demanded between our technologies is still barely visible. McLuhan’s predictions of the spread, and increased importance, of electronic media have of course been borne out, and the worlds of business, science and knowledge storage and transfer have been revolutionised. Yet the integration of electronic systems as open systems remains in its infancy.Advanced Knowledge Technologies (AKT) aims to address this problem, to create a view of knowledge and its management across its lifecycle, to research and create the services and technologies that such unification will require. Half way through its sixyear span, the results are beginning to come through, and this paper will explore some of the services, technologies and methodologies that have been developed. We hope to give a sense in this paper of the potential for the next three years, to discuss the insights and lessons learnt in the first phase of the project, to articulate the challenges and issues that remain.The WWW provided the original context that made the AKT approach to knowledge management (KM) possible. AKT was initially proposed in 1999, it brought together an interdisciplinary consortium with the technological breadth and complementarity to create the conditions for a unified approach to knowledge across its lifecycle. The combination of this expertise, and the time and space afforded the consortium by the IRC structure, suggested the opportunity for a concerted effort to develop an approach to advanced knowledge technologies, based on the WWW as a basic infrastructure.The technological context of AKT altered for the better in the short period between the development of the proposal and the beginning of the project itself with the development of the semantic web (SW), which foresaw much more intelligent manipulation and querying of knowledge. The opportunities that the SW provided for e.g., more intelligent retrieval, put AKT in the centre of information technology innovation and knowledge management services; the AKT skill set would clearly be central for the exploitation of those opportunities.The SW, as an extension of the WWW, provides an interesting set of constraints to the knowledge management services AKT tries to provide. As a medium for the semantically-informed coordination of information, it has suggested a number of ways in which the objectives of AKT can be achieved, most obviously through the provision of knowledge management services delivered over the web as opposed to the creation and provision of technologies to manage knowledge.AKT is working on the assumption that many web services will be developed and provided for users. The KM problem in the near future will be one of deciding which services are needed and of coordinating them. Many of these services will be largely or entirely legacies of the WWW, and so the capabilities of the services will vary. As well as providing useful KM services in their own right, AKT will be aiming to exploit this opportunity, by reasoning over services, brokering between them, and providing essential meta-services for SW knowledge service management.Ontologies will be a crucial tool for the SW. The AKT consortium brings a lot of expertise on ontologies together, and ontologies were always going to be a key part of the strategy. All kinds of knowledge sharing and transfer activities will be mediated by ontologies, and ontology management will be an important enabling task. Different applications will need to cope with inconsistent ontologies, or with the problems that will follow the automatic creation of ontologies (e.g. merging of pre-existing ontologies to create a third). Ontology mapping, and the elimination of conflicts of reference, will be important tasks. All of these issues are discussed along with our proposed technologies.Similarly, specifications of tasks will be used for the deployment of knowledge services over the SW, but in general it cannot be expected that in the medium term there will be standards for task (or service) specifications. The brokering metaservices that are envisaged will have to deal with this heterogeneity.The emerging picture of the SW is one of great opportunity but it will not be a wellordered, certain or consistent environment. It will comprise many repositories of legacy data, outdated and inconsistent stores, and requirements for common understandings across divergent formalisms. There is clearly a role for standards to play to bring much of this context together; AKT is playing a significant role in these efforts. But standards take time to emerge, they take political power to enforce, and they have been known to stifle innovation (in the short term). AKT is keen to understand the balance between principled inference and statistical processing of web content. Logical inference on the Web is tough. Complex queries using traditional AI inference methods bring most distributed computer systems to their knees. Do we set up semantically well-behaved areas of the Web? Is any part of the Web in which semantic hygiene prevails interesting enough to reason in? These and many other questions need to be addressed if we are to provide effective knowledge technologies for our content on the web

Application of Naïve Bayesian sequential analysis to primary care optometry

The objective of this study was to investigate the effects of circularity, comorbidity, prevalence and presentation variation on the accuracy of differential diagnoses made in optometric primary care using a modified form of naïve Bayesian sequential analysis. No such investigation has ever been reported before. Data were collected for 1422 cases seen over one year. Positive test outcomes were recorded for case history (ethnicity, age, symptoms and ocular and medical history) and clinical signs in relation to each diagnosis. For this reason only positive likelihood ratios were used for this modified form of Bayesian analysis that was carried out with Laplacian correction and Chi-square filtration. Accuracy was expressed as the percentage of cases for which the diagnoses made by the clinician appeared at the top of a list generated by Bayesian analysis. Preliminary analyses were carried out on 10 diagnoses and 15 test outcomes. Accuracy of 100% was achieved in the absence of presentation variation but dropped by 6% when variation existed. Circularity artificially elevated accuracy by 0.5%. Surprisingly, removal of Chi-square filtering increased accuracy by 0.4%. Decision tree analysis showed that accuracy was influenced primarily by prevalence followed by presentation variation and comorbidity. Analysis of 35 diagnoses and 105 test outcomes followed. This explored the use of positive likelihood ratios, derived from the case history, to recommend signs to look for. Accuracy of 72% was achieved when all clinical signs were entered. The drop in accuracy, compared to the preliminary analysis, was attributed to the fact that some diagnoses lacked strong diagnostic signs; the accuracy increased by 1% when only recommended signs were entered. Chi-square filtering improved recommended test selection. Decision tree analysis showed that accuracy again influenced primarily by prevalence, followed by comorbidity and presentation variation. Future work will explore the use of likelihood ratios based on positive and negative test findings prior to considering naïve Bayesian analysis as a form of artificial intelligence in optometric practice