625 research outputs found
Pristup specifikaciji i generisanju proizvodnih procesa zasnovan na inženjerstvu vođenom modelima
In this thesis, we present an approach to the production process specification and generation based on the model-driven paradigm, with the goal to increase the flexibility of factories and respond to the challenges that emerged in the era of Industry 4.0 more efficiently. To formally specify production processes and their variations in the Industry 4.0 environment, we created a novel domain-specific modeling language, whose models are machine-readable. The created language can be used to model production processes that can be independent of any production system, enabling process models to be used in different production systems, and process models used for the specific production system. To automatically transform production process models dependent on the specific production system into instructions that are to be executed by production system resources, we created an instruction generator. Also, we created generators for different manufacturing documentation, which automatically transform production process models into manufacturing documents of different types. The proposed approach, domain-specific modeling language, and software solution contribute to introducing factories into the digital transformation process. As factories must rapidly adapt to new products and their variations in the era of Industry 4.0, production must be dynamically led and instructions must be automatically sent to factory resources, depending on products that are to be created on the shop floor. The proposed approach contributes to the creation of such a dynamic environment in contemporary factories, as it allows to automatically generate instructions from process models and send them to resources for execution. Additionally, as there are numerous different products and their variations, keeping the required manufacturing documentation up to date becomes challenging, which can be done automatically by using the proposed approach and thus significantly lower process designers' time.У овој дисертацији представљен је приступ спецификацији и генерисању производних процеса заснован на инжењерству вођеном моделима, у циљу повећања флексибилности постројења у фабрикама и ефикаснијег разрешавања изазова који се појављују у ери Индустрије 4.0. За потребе формалне спецификације производних процеса и њихових варијација у амбијенту Индустрије 4.0, креиран је нови наменски језик, чије моделе рачунар може да обради на аутоматизован начин. Креирани језик има могућност моделовања производних процеса који могу бити независни од производних система и тиме употребљени у различитим постројењима или фабрикама, али и производних процеса који су специфични за одређени систем. Како би моделе производних процеса зависних од конкретног производног система било могуће на аутоматизован начин трансформисати у инструкције које ресурси производног система извршавају, креиран је генератор инструкција. Такође су креирани и генератори техничке документације, који на аутоматизован начин трансформишу моделе производних процеса у документе различитих типова. Употребом предложеног приступа, наменског језика и софтверског решења доприноси се увођењу фабрика у процес дигиталне трансформације. Како фабрике у ери Индустрије 4.0 морају брзо да се прилагоде новим производима и њиховим варијацијама, неопходно је динамички водити производњу и на аутоматизован начин слати инструкције ресурсима у фабрици, у зависности од производа који се креирају у конкретном постројењу. Тиме што је у предложеном приступу могуће из модела процеса аутоматизовано генерисати инструкције и послати их ресурсима, доприноси се креирању једног динамичког окружења у савременим фабрикама. Додатно, услед великог броја различитих производа и њихових варијација, постаје изазовно одржавати неопходну техничку документацију, што је у предложеном приступу могуће урадити на аутоматизован начин и тиме значајно уштедети време пројектаната процеса.U ovoj disertaciji predstavljen je pristup specifikaciji i generisanju proizvodnih procesa zasnovan na inženjerstvu vođenom modelima, u cilju povećanja fleksibilnosti postrojenja u fabrikama i efikasnijeg razrešavanja izazova koji se pojavljuju u eri Industrije 4.0. Za potrebe formalne specifikacije proizvodnih procesa i njihovih varijacija u ambijentu Industrije 4.0, kreiran je novi namenski jezik, čije modele računar može da obradi na automatizovan način. Kreirani jezik ima mogućnost modelovanja proizvodnih procesa koji mogu biti nezavisni od proizvodnih sistema i time upotrebljeni u različitim postrojenjima ili fabrikama, ali i proizvodnih procesa koji su specifični za određeni sistem. Kako bi modele proizvodnih procesa zavisnih od konkretnog proizvodnog sistema bilo moguće na automatizovan način transformisati u instrukcije koje resursi proizvodnog sistema izvršavaju, kreiran je generator instrukcija. Takođe su kreirani i generatori tehničke dokumentacije, koji na automatizovan način transformišu modele proizvodnih procesa u dokumente različitih tipova. Upotrebom predloženog pristupa, namenskog jezika i softverskog rešenja doprinosi se uvođenju fabrika u proces digitalne transformacije. Kako fabrike u eri Industrije 4.0 moraju brzo da se prilagode novim proizvodima i njihovim varijacijama, neophodno je dinamički voditi proizvodnju i na automatizovan način slati instrukcije resursima u fabrici, u zavisnosti od proizvoda koji se kreiraju u konkretnom postrojenju. Time što je u predloženom pristupu moguće iz modela procesa automatizovano generisati instrukcije i poslati ih resursima, doprinosi se kreiranju jednog dinamičkog okruženja u savremenim fabrikama. Dodatno, usled velikog broja različitih proizvoda i njihovih varijacija, postaje izazovno održavati neophodnu tehničku dokumentaciju, što je u predloženom pristupu moguće uraditi na automatizovan način i time značajno uštedeti vreme projektanata procesa
Current and Future Challenges in Knowledge Representation and Reasoning
Knowledge Representation and Reasoning is a central, longstanding, and active
area of Artificial Intelligence. Over the years it has evolved significantly;
more recently it has been challenged and complemented by research in areas such
as machine learning and reasoning under uncertainty. In July 2022 a Dagstuhl
Perspectives workshop was held on Knowledge Representation and Reasoning. The
goal of the workshop was to describe the state of the art in the field,
including its relation with other areas, its shortcomings and strengths,
together with recommendations for future progress. We developed this manifesto
based on the presentations, panels, working groups, and discussions that took
place at the Dagstuhl Workshop. It is a declaration of our views on Knowledge
Representation: its origins, goals, milestones, and current foci; its relation
to other disciplines, especially to Artificial Intelligence; and on its
challenges, along with key priorities for the next decade
Measuring the impact of COVID-19 on hospital care pathways
Care pathways in hospitals around the world reported significant disruption during the recent COVID-19 pandemic but measuring the actual impact is more problematic. Process mining can be useful for hospital management to measure the conformance of real-life care to what might be considered normal operations. In this study, we aim to demonstrate that process mining can be used to investigate process changes associated with complex disruptive events. We studied perturbations to accident and emergency (A &E) and maternity pathways in a UK public hospital during the COVID-19 pandemic. Co-incidentally the hospital had implemented a Command Centre approach for patient-flow management affording an opportunity to study both the planned improvement and the disruption due to the pandemic. Our study proposes and demonstrates a method for measuring and investigating the impact of such planned and unplanned disruptions affecting hospital care pathways. We found that during the pandemic, both A &E and maternity pathways had measurable reductions in the mean length of stay and a measurable drop in the percentage of pathways conforming to normative models. There were no distinctive patterns of monthly mean values of length of stay nor conformance throughout the phases of the installation of the hospital’s new Command Centre approach. Due to a deficit in the available A &E data, the findings for A &E pathways could not be interpreted
CERNAS: Current Evolution and Research Novelty in Agricultural Sustainability
Climate changes pose overwhelming impacts on primary production and, consequently, on
agricultural and animal farming. Additionally, at present, agriculture still depends strongly on
fossil fuels both for energy and production factors ,such as synthetized inorganic fertilizers and
harmful chemicals such as pesticides. The need to feed the growing world population poses many
challenges. The need to reduce environmental impacts to a minimum, maintain healthy ecosystems,
and improve soil microbiota are central to ensuring a promising future for coming generations.
Livestock production under cover crop systems helps to alleviate compaction so that oxygen and
water can sufficiently flow in the soil, add organic matter, and help hold soil in place, reducing
crusting and protecting against erosion. The use of organic plant production practices allied to
the control of substances used in agriculture also decisively contributes to alleviating the pressure
on ecosystems. Some of the goals of this new decade are to use enhanced sustainable production
methodologies to improve the input/output ratios of primary production, reduce environmental
impacts, and rely on new innovative technologies.
This reprint addresses original studies and reviews focused on the current evolution and
research novelty in agricultural sustainability. New developments are discussed on issues related
to quality of soil, natural fertilizers, or the sustainable use of land and water. Also, crop protection
techniques are pivotal for sustainable food production under the challenges of the Sustainable
Development Goals of the United Nations, allied to innovative weed control methodologies as a
way to reduce the utilization of pesticides. The role of precision and smart agriculture is becoming
more pertinent as communication technologies improve at a rapid rate. Waste management, reuse of
agro-industrial residues, extension of shelf life, and use of new technologies are ways to reduce food
waste, all contributing to higher sustainability in food supply chains, leading to a more rational use
of natural resources. The unquestionable role of bees as pollinators and contributors to biodiversity
is adjacent to characterizing beekeeping activities, which in turn contributes, together with the
valorization of endemic varieties of plant foods, to the development of local communities. Finally,
the short circuits and local food markets have a decisive role in the preservation and enhancement of
rural economies.info:eu-repo/semantics/publishedVersio
CERNAS – Current Evolution and Research Novelty in Agricultural Sustainability
This book addresses original studies and reviews focused on the current evolution and research novelty in agricultural sustainability.
New developments are discussed on issues related with quality of soil, natural fertilizers or the sustainable use of land and water. Also crop protection techniques are pivotal for the sustainable food production under the challenges of the Sustainable Development Goals of the United Nations, allied to innovative weed control methodologies, as a way to reduce the utilization of pesticides. The role of precision and smart agriculture is becoming more pertinent as the communication technologies improve at a high rate. Waste management, reuse of agro industrial residues, extension of shelf life and use of new technologies are ways to reduce food waste, all contributing to a higher sustainability of the food supply chains, leading to a more rational use of natural resources. The unquestionable role of bees as pollinators and contributors for biodiversity is subjacent to the work of characterization of beekeeping activities, which in turn contribute, together with the valorization of endemic varieties of plant foods, for the development of local communities. Finally, the short circuits and local food markets have a decisive role in the preservation and enhancement of rural economies.info:eu-repo/semantics/publishedVersio
Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic
This work is the first exploration of proof-theoretic semantics for a substructural logic. It focuses on the base-extension semantics (B-eS) for intuitionistic multiplicative linear logic (IMLL). The starting point is a review of Sandqvist’s B-eS for intuitionistic propositional logic (IPL), for which we propose an alternative treatment of conjunction that takes the form of the generalized elimination rule for the connective. The resulting semantics is shown to be sound and complete. This motivates our main contribution, a B-eS for IMLL
, in which the definitions of the logical constants all take the form of their elimination rule and for which soundness and completeness are established
Research Paper: Process Mining and Synthetic Health Data: Reflections and Lessons Learnt
Analysing the treatment pathways in real-world health data can provide valuable insight for clinicians and decision-makers. However, the procedures for acquiring real-world data for research can be restrictive, time-consuming and risks disclosing identifiable information. Synthetic data might enable representative analysis without direct access to sensitive data. In the first part of our paper, we propose an approach for grading synthetic data for process analysis based on its fidelity to relationships found in real-world data. In the second part, we apply our grading approach by assessing cancer patient pathways in a synthetic healthcare dataset (The Simulacrum provided by the English National Cancer Registration and Analysis Service) using process mining. Visualisations of the patient pathways within the synthetic data appear plausible, showing relationships between events confirmed in the underlying non-synthetic data. Data quality issues are also present within the synthetic data which reflect real-world problems and artefacts from the synthetic dataset’s creation. Process mining of synthetic data in healthcare is an emerging field with novel challenges. We conclude that researchers should be aware of the risks when extrapolating results produced from research on synthetic data to real-world scenarios and assess findings with analysts who are able to view the underlying data
PROCEEDINGS 5th PLATE Conference
The 5th international PLATE conference (Product Lifetimes and the Environment) addressed product lifetimes in the context of sustainability. The PLATE conference, which has been running since 2015, has successfully been able to establish a solid network of researchers around its core theme. The topic has come to the forefront of current (political, scientific & societal) debates due to its interconnectedness with a number of recent prominent movements, such as the circular economy, eco-design and collaborative consumption. For the 2023 edition of the conference, we encouraged researchers to propose how to extend, widen or critically re-construct thematic sessions for the PLATE conference, and the paper call was constructed based on these proposals. In this 5th PLATE conference, we had 171 paper presentations and 238 participants from 14 different countries. Beside of paper sessions we organized workshops and REPAIR exhibitions
The influence of big data on monitoring the factual quality of digital media in Southern Africa.
Masters Degree. University of KwaZulu-Natal.This research study will explore how big data can drive innovation in response to dynamic change and aid
society in establishing an advantage when fact-checking/monitoring new media and dealing with false
information. The study emphasises that big data might answer questions and offer insights society never
had access to before. In the current news media environment, the services that enable the sharing and
production of large amounts of data are not sufficient to combat increasing fake news, ongoing public
mistrust, and false, partisan media content for capital gains from gaining more influence in society. There
is an urgent need for intervention, which big data innovation can provide. There are, however, some myths
regarding the use of big data that need to be dispelled, such as the idea that an analysis of the data will
ensure transparency and reliable content distribution from the developers of big data systems to the audience
consuming the data. Innovating and obtaining an advantage from data is more complex than just collecting
lots of data; a look at the impact big data will have on a society is vital in leveraging big data. The study
explores this notion by looking at the Digital Data Genesis Capability Model. The model guides the
structure and how the case study will be conducted in the media fact-checking sector. The development of
the big data initiative is built on fundamental expertise. According to the findings, highly skilled employees
with knowledge of both proprietary and open-source tools are essential in the development of big data
systems. Furthermore, there is a high level of compatibility with the existing web environment standard and
the tools being used when deploying a big data system in the web. As a result, development of a big data
initiative by a technology focused organisation is only limited by their ability to implement an effective big
data workflow. However, this requires detailed planning, cloud computing for hardware; software;
outsourced third party services; the work on data structure built in-house; and the use of docker containers
that enable mobility in the development process and the adoption of new technology when implementing
the searching and querying of large datasets and streams. There was a deviation from the existing model
noted. The context of the study exposed that it is possible to implement big data initiatives among more
than one company as a partnership, if the companies share some business traits or the same philosophy:
thus, changing the dynamic of routines and responsibility in the existing landscape
Understanding Quantum Technologies 2022
Understanding Quantum Technologies 2022 is a creative-commons ebook that
provides a unique 360 degrees overview of quantum technologies from science and
technology to geopolitical and societal issues. It covers quantum physics
history, quantum physics 101, gate-based quantum computing, quantum computing
engineering (including quantum error corrections and quantum computing
energetics), quantum computing hardware (all qubit types, including quantum
annealing and quantum simulation paradigms, history, science, research,
implementation and vendors), quantum enabling technologies (cryogenics, control
electronics, photonics, components fabs, raw materials), quantum computing
algorithms, software development tools and use cases, unconventional computing
(potential alternatives to quantum and classical computing), quantum
telecommunications and cryptography, quantum sensing, quantum technologies
around the world, quantum technologies societal impact and even quantum fake
sciences. The main audience are computer science engineers, developers and IT
specialists as well as quantum scientists and students who want to acquire a
global view of how quantum technologies work, and particularly quantum
computing. This version is an extensive update to the 2021 edition published in
October 2021.Comment: 1132 pages, 920 figures, Letter forma
- …