Ograniczanie wyników
Czasopisma help
Autorzy help
Lata help
Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 51

Liczba wyników na stronie
first rewind previous Strona / 3 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  robots
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 3 next fast forward last
PL
Pakowanie żywności to jeden z ważniejszych etapów produkcji, który w pełni wykorzystał współczesny rozwój naukowy. Rynek opakowań żywności już od dawna dąży do automatyzacji procesów pakowania. Cechy nowej tendencji to bezpieczeństwo i wydajność. Opakowanie wraz z produktem stanowi tzw. produkt zintegrowany, co wynika z faktu, że większość produktów nie może występować na rynku bez opakowania. Niezależnie od rodzaju żywności, pakowanie odbywa się zazwyczaj za pomocą zautomatyzowanych urządzeń. Rozwiązania konstrukcyjne maszyn pakujących zależą od rodzaju produktu. Artykuł zawiera krótki przegląd robotyki i automatyzacji pakowania w zrównoważonym przemyśle spożywczym oraz w sposób zwięzły opisuje rozwiązania zrobotyzowanej automatyzacji w różnych operacjach łańcucha dostaw i dla różnych artykułów spożywczych nieprzetworzonych lub minimalnie przetworzonych.
EN
Food packaging is one of the major industries that has taken full advantage of modern scientific development. The food packaging market has been striving for advanced automation for a long time. The advantages of the new trend are safety and efficiency. The packaging together with the packed product is often the so-called integrated product, this is due to the fact that most products cannot be present without packaging. Regardless of the type of food, this packaging is done using automated food packaging machines. Design solutions and quality of packaging machines determine the conditions of product packaging systems depending on the type of product. The article provides a brief overview of robotics and automation for the sustainable food and packaging industry and briefly describes robotic automation solutions in various supply chain operations and various unprocessed or minimally processed foods.
PL
Pakowanie żywności to jeden z ważniejszych etapów produkcji, który w pełni wykorzystał współczesny rozwój naukowy. Rynek opakowań żywności już od dawna dąży do automatyzacji procesów pakowania. Cechy nowej tendencji to bezpieczeństwo i wydajność. Opakowanie wraz z produktem stanowi tzw. produkt zintegrowany, co wynika z faktu, że większość produktów nie może występować na rynku bez opakowania. Niezależnie od rodzaju żywności, pakowanie odbywa się zazwyczaj za pomocą zautomatyzowanych urządzeń. Rozwiązania konstrukcyjne maszyn pakujących zależą od rodzaju produktu. Artykuł zawiera krótki przegląd robotyki i automatyzacji pakowania w zrównoważonym przemyśle spożywczym oraz w sposób zwięzły opisuje rozwiązania zrobotyzowanej automatyzacji w różnych operacjach łańcucha dostaw i dla różnych artykułów spożywczych nieprzetworzonych lub minimalnie przetworzonych.
EN
Food packaging is one of the major industries that has taken full advantage of modern scientific development. The food packaging market has been striving for advanced automation for a long time. The advantages of the new trend are safety and efficiency. The packaging together with the packed product is often the so-called integrated product, this is due to the fact that most products cannot be present without packaging. Regardless of the type of food, this packaging is done using automated food packaging machines. Design solutions and quality of packaging machines determine the conditions of product packaging systems depending on the type of product. The article provides a brief overview of robotics and automation for the sustainable food and packaging industry and briefly describes robotic automation solutions in various supply chain operations and various unprocessed or minimally processed foods.
PL
W tekście omawiane są wyzwania społeczne, ekonomiczne i techniczne związane z wdrażaniem transportu autonomicznego. Transport autonomiczny obejmuje różne rodzaje pojazdów, takie jak drogowe, szynowe, pływające i latające. Istnieją zarówno czynniki przemawiające za robotyzacją transportu, takie jak poprawa bezpieczeństwa i ograniczenie kosztów, jak i przeciw, takie jak błędy oprogramowania i nadmierne wykorzystanie danych użytkowników. Przełom w zakresie implementacji transportu autonomicznego przewiduje się w ciągu najbliższych sześciu lat, zwłaszcza w latach 2027–2030. W przypadku pojazdów szynowych, takich jak pociągi, tramwaje i metro, nie ma większych problemów prawnych ani technologicznych, a ich wdrożenie pozwala na optymalizację czasu jazdy, zwiększenie prędkości systemu i skrócenie czasu postoju na stacjach. Natomiast w przypadku samochodów, statków i dronów istnieją jeszcze pewne wyzwania, takie jak bezpieczeństwo i regulacje prawne. Warto również zauważyć, że rozwój infrastruktury teleinformatycznej, w tym transmisji danych w technologii 5G, jest kluczowy dla skutecznej implementacji pojazdów autonomicznych.
EN
The text discusses the social, economic, and technical challenges of implementing autonomous transport. Autonomous transport includes different types of vehicles, such as road, rail, floating and flying. There are both factors in favour of the robotisation of transport, such as improved safety and cost reduction, and against, such as software bugs and overuse of user data. A breakthrough in the implementation of autonomous transport is predicted in the next six years, especially between 2027 and 2030. For rail vehicles such as trains, trams and metros, there are no major legal or technological issues, and their implementation allows for optimised driving times, increased system speeds and reduced station stops. In contrast, there are still some challenges with cars, ships, and drones, such as safety and regulation. It is also worth noting that the development of ICT infrastructure, including 5G data transmission, is crucial for the successful implementation of autonomous vehicles.
PL
Czułość ludzkiej ręki w złożonych pracach montażowych i transferowych stanowi wzorzec dla innowacyjnego modułu kompensacyjnego, który upraszcza istniejące procesy montażu i łączenia oraz udostępnia szeroką gamę nowych możliwości w automatyzacji. W dłuższej perspektywie efektor końcowy ma stać się podstawą dla samouczących się komórek produkcyjnych.
5
Content available remote Dylematy odpowiedzialności za roboty sterowane sztuczną inteligencją
PL
Wielu naukowców na całym świecie zajmujących się prawem i ekonomią argumentuje za potrzebą ponownego przemyślenia środków prawnych, jeśli stosuje się je do ewentualnych szkód będących efektem zastosowania sztucznej inteligencji (robotów). Do tej pory nie istnieje jednak ogólne sformułowanie odpowiedzialności w wymienionych przypadkach, a proponowane rozwiązania różnią się w zależności od jurysdykcji. W niniejszym artykule, opierając się na analizie literatury i dokumentów źródłowych w postaci istniejących (lub proponowanych) aktów prawnych, przedstawiono problemy związane z deliktami robotów oraz podjęto próbę oceny wyzwań, przed którymi stoją decydenci w zakresie regulacji dotyczących deliktów robotów sterowanych sztuczną inteligencją w kontekście ich wpływu na rozwój postępu technologicznego. Zagadnienie to uznano za celowe. Jest ono istotne w zakresie zarządzania innowacjami. To, jak prawo reaguje na delikty robotów, jest kwestią o doniosłym znaczeniu: może stymulować bądź hamować rozwój sztucznej inteligencji. Ustalenie określonych ram prawnych w tym względzie ma także duże znaczenie w kontekście obowiązków po stronie tworzących i wdrażających określone rozwiązania. Ryzyko związane z odpowiedzialnością jest jednym z kluczowych czynników decydujących o sukcesie nowych technologii, produktów i usług. Odpowiednie zabezpieczenie przed ryzykiem jest niezbędne do zapewnienia społeczeństwu, że może ono zaufać nowej technologii mimo możliwości poniesienia szkody. W wyniku przeprowadzonej analizy stwierdzono, iż nadal brak odpowiedzi na pytanie: jak można, wykorzystując prawo, stymulować rozwój technologii? Stosowane systemy odpowiedzialności najczęściej nie są w tym względzie pomocne. Standardowe prawo dotyczące zaniedbań i odpowiedzialność za produkt nie odnoszą się odpowiednio do wielowymiarowych kwestii motywacyjnych, ważnych z punktu widzenia zarządzania innowacjami i rozwojem technologicznym. Występuje zatem konieczność prowadzenia dalszych badań w zakresie konstrukcji prawa określającego odpowiedzialność za delikty robotów/sztucznej inteligencji.
EN
Many legal and economic scientists around the world argue for the need to rethink legal measures when applying them to possible damages resulting from the use of artificial intelligence (robots). So far, however, there is no general formulation of liability in the above-mentioned cases, and the proposed solutions differ depending on the jurisdiction. This article, based on an analysis of the literature and source documents in the form of existing (or proposed) legal acts, presents problems related to robot tort and attempts to assess the challenges faced by decision-makers regarding the regulation of AI-controlled robot tort in the context of their influence on the development of technological progress. This issue was considered to be intentional. It is important from the point of view of innovation management. How the law responds to robot delicacies is a question of paramount importance: it can stimulate or inhibit the development of artificial intelligence. Establishing a specific legal framework in this area is also of great importance in the context of obligations on the part of creating and implementing specific solutions. Liability risk is one of the key success factors for new technologies, products and services. Adequate risk cover is essential to ensuring that the public can trust the new technology despite the potential for harm. As a result of the analysis, it was found that there is still no answer to the question of how to use the law to stimulate the development of technology. The liability systems used are most often not helpful in this regard. Standard law on negligence and product liability does not adequately address the multi-dimensional incentive issues important to managing innovation and technological development. Therefore, there is a need for further research on the construction of the law governing liability for robots/artificial intelligence.
6
Content available remote Component interface standardization in robotic systems
EN
Components are heavily used in many software systems, including robotic systems. The growth in sophistication and diversity of new capabilities for robotic systems presents new challenges to their architectures. Their complexity is growing exponentially with the advent of AI, smart sensors, and the complex tasks they have to accomplish. Such complexity requires a more flexible approach for creating, using, and interoperability of software components. The issue is exacerbated because robotic systems are becoming increasingly reliant on third-party components for specific functions. In order to achieve this kind of interoperability, including dynamic component replacement, we need a way to standardize their interfaces. A formal approach is desperately needed for specifying what an interface of a robotic software component should contain. This study performs an analysis of the issue and presents a universal and generic approach to standardizing component interfaces for robotic systems. Our approach is inspired and influenced by well-established robotic architectures such as ROS, PX4, and Ardupilot. The study is also applicable to other software systems with similar characteristics to robotic systems. We consider using either JSON or Domain-Specific Languages (DSL) development with tools such as Antlr and automatic code and configuration files generation for frameworks such as ROS and PX4. A case study with ROS2 has been done as a proof of concept for the proposed methodology.
7
Content available remote Topological Characterisation of Multi-Buffer Simulation
EN
Multi-buffer simulation is an extension of simulation preorder that can be used to approximate inclusion of languages recognised by Büchi automata up to their trace closures. DUPLICATOR can use some bounded or unbounded buffers to simulate SPOILER ’s move. It has been shown that multi-buffer simulation can be characterised with the existence of a continuous function. In this paper, we show that such a characterisation can be refined to a more restricted case, that is, to the one where DUPLICATOR only uses bounded buffers, by requiring the function to be Lipschitz continuous instead of only continuous. This characterisation however only holds for some restricted classes of automata. One of the automata should only produce words where each letter cannot commute unboundedly. We show that this property can be syntactically characterised with cyclic-path-connectedness, a refinement of syntactic condition on automata that have regular trace closure. We further show that checking cyclic-path-connectedness is indeed co-NP-complete.
8
Content available remote Self-Verifying Pushdown and Queue Automata
EN
We study the computational and descriptional complexity of self-verifying pushdown automata (SVPDA) and self-verifying realtime queue automata (SVRQA). A self-verifying automaton is a nondeterministic device whose nondeterminism is symmetric in the following sense. Each computation path can give one of the answers yes, no, or do not know. For every input word, at least one computation path must give either the answer yes or no, and the answers given must not be contradictory. We show that SVPDA and SVRQA are automata characterizations of so-called complementation kernels, that is, context-free or realtime nondeterministic queue automaton languages whose complement is also context free or accepted by a realtime nondeterministic queue automaton. So, the families of languages accepted by SVPDA and SVRQA are strictly between the families of deterministic and nondeterministic languages. Closure properties and various decidability problems are considered. For example, it is shown that it is not semidecidable whether a given SVPDA or SVRQA can be made self-verifying. Moreover, we study descriptional complexity aspects of these machines. It turns out that the size trade-offs between nondeterministic and self-verifying as well as between self-verifying and deterministic automata are non-recursive. That is, one can choose an arbitrarily large recursive function f, but the gain in economy of description eventually exceeds f when changing from the former system to the latter.
9
Content available remote A Complete Taxonomy of Restarting Automata without Auxiliary Symbols
EN
A complete taxonomy is presented for restarting automata without auxiliary symbols. In this taxonomy, the language classes that are accepted by deterministic and nondeterministic, monotone, weakly monotone, and non-monotone, shrinking and length-reducing restarting automata are compared to each other with respect to inclusion. As it turns out, the 45 types of restarting automata considered yield 29 different classes of languages. By presenting a collection of rather simple example languages, it is shown that, for any two of these language classes ℒ1 and ℒ2, the class ℒ1 is a subclass of ℒ2 if and only if ℒ1 is defined by a type of restarting automaton that is a restriction of a type of restarting automaton that defines the class ℒ2.
EN
Autonomous driving is no longer just an idea of technology vision instead a real technical trend all over the world. The continuing development to a further level of autonomy requires more on mobile robots safety while bringing more challenges to human-vehicle interaction. A robot autonomous vehicle (AV) as a research platform operates an experimental study on human-AV-interaction (HAVI) and performs a novel method for mobile robot safety assurance. Not only autonomous driving technology itself but human cognition also performs an essential role in how to ensure better autonomous mobile robot safety. A Wizard-of-Oz experiment in the university combing a survey-based study indicates public attitudes towards driverless robot vehicles. HAVI experiment have been carried through light patterns designed for experiment. This paper presents an attempt to investigate humans’ acceptance and emotions as well as a validation to bring the mobile robot vehicle to a high-level autonomy.
11
Content available remote Rozdziobią nas roboty?
12
Content available remote Human-aware Contingent Planning
EN
Contingent planning models a robot that must achieve a goal in a partially observable environment with non-deterministic actions. A solution for this problem is generated by searching in the space of belief states, where a belief state is a set of possible world states. However, if there is an unavoidable dead-end state, the robot will fail to accomplish his task. In this work, rather than limiting a contingent planning task to the agent's actions and observations, we model a planning agent that is able to proactively resort to humans for help in order to complete tasks that would be unsolvable otherwise. Our aim is to develop a symbiotic autonomous agent, that is, an agent that, proactively and autonomously, asks for human help when needed. We formalize this problem and propose an extension of a translation technique to convert the contingent planning problem with human help into a non-deterministic fully observable planning problem that can be solved by an off-the-shelf efficient FOND planner.
PL
W artykule przedstawiono wyniki badań dotyczących zastosowania rzeczywistości wirtualnej do analizy wpływu przemysłowego robota współpracującego na pracownika. Omówiono wyniki analizy statystycznej pomiarów z przeprowadzonych badań. Omówiono wpływ obecności robota na wskaźniki obiektywne takie jak czas i precyzja realizowanych zadań montażu silników oraz wskaźniki subiektywne takie jak lęk, niepokój i obecność przestrzenna opisująca realizm symulacji w środowisku wirtualnej rzeczywistości.
EN
The article presents the results of research on the use of virtual reality to analyze the impact of an industrial collaborative robot on an employee. The results of the statistical analysis of measurements from the conducted research are discussed. The impact of the presence of an industrial robot on objective indicators such as time and precision of the performed tasks of assembling motors as well as subjective indicators such as anxiety and spatial presence describing the realism of simulation in virtual reality was discussed.
PL
W artykule przedstawiono zagadnienie wykorzystania rzeczywistości wirtualnej do badania wpływu przemysłowego robota współpracującego na pracownika, w szczególności wywołany bliską obecnością robota niepokój. Opisano procedurę badań obejmującą symulację w rzeczywistości wirtualnej współpracy z robotem przy montażu elementów silników. Przedstawiono narzędzia kwestionariuszowe planowane do użycia w trakcie badań z ochotnikami oraz wyniki badań pilotażowych. Wyniki właściwych badań opisane zostaną w drugiej części artykułu.
EN
The article presents the issue of the use of the virtual reality in order to study the impact of an industrial collaborative robot on an employee, in particular anxiety caused by the close presence of the robot. The research procedure is described, including simulation in virtual reality of cooperation with a robot during the assembly of engine components. The questionnaire tools planned to be used in research with volunteers and the results of the pilot research are described. The results of the final research will be described in the second part of the article.
PL
Artykuł przedstawia czym jest sztuczna inteligencja oraz w jaki sposób wykorzystywana jest we współczesnym świecie. Wzrost znaczenia SI wiąże się z koniecznością znalezienie rozwiązań prawnych i etycznych, które zminimalizują możliwe negatywne aspekty jej rozwoju. W związku z tym w artykule przedstawione są proponowane rozwiązania prawne i etyczne (Rezolucja Parlamentu Europejskiego zawierająca zalecenia dla Komisji w sprawie przepisów prawa cywilnego dotyczących robotyki (2015/2103(INL)) oraz Sprawozdanie Światowej Komisji ds. Etyki Wiedzy Naukowej i Technologii (COMEST) w sprawie etyki robotyki), propozycje prawników i przedsiębiorców. Zwraca również uwagę na kwestię odpowiedzialności, ponieważ rozwój sztucznej inteligencji to nie tylko szanse, ale również zagrożenia.
EN
The article presents what artificial intelligence is and how it is used in the modern world. The increase in the importance of artificial intelligence is connected with the necessity to find legal and ethical solutions that will minimize the possible negative aspects of its development. In this connection, the article presents proposed legal and ethical solutions (European Parliament resolution. containing recommendations to the Commission on civil law provisions on robotics (2015/2103 (INL)) and Report of World Commission on the Ethics of Scientific Knowledge and Technology (COMEST) on Robotics Ethics) proposals of lawyers and entrepreneurs. It also draws attention to the issue of responsibility, because the development of artificial intelligence is not only a chance, but also a threat.
EN
Many different kinds of automation are saving great amount of time and money in e-commerce. This paper gives an overview of the current applications and future of robots in e-commerce and discusses the various factors that that are important to choosing the best approach in ‘last-mile-delivery’. It discusses advantages and disadvantages of autonomous vehicles, questions about safety and reliability and marketing effect. Automation at earlier stages of supply chain, less visible for clients has more impact on delivery process economics.
EN
This paper describes the portfolio of Manex Company that is one of the partners in the Erasmus plus project with title: RUSOS – Robotics for teacher of secondary vocational school. Company has been involved into the project as the leader in the field of automated and robotised systems.
18
Content available remote Two-Dimensional Limited Context Restarting Automata
EN
Motivated by possible machine learning of picture languages, we introduce a new twodimensional automaton called two-dimensional limited context restarting automaton. Our model is a simplification of the two-dimensional restarting tiling automaton, from which it differs in that it does not require to scan input pictures in a fixed order. We show that the two-dimensional limited context restarting automaton is equally powerful as the two-dimensional sgraffito automaton. Moreover, the correctness preserving version of the new model, while still being nondeterministic, is equivalent to the deterministic sgraffito automaton. However, the property of being correctness preserving is not even semi-decidable for two-dimensional limited context restarting automata.
19
Content available remote On the Computational Complexity of Partial Word Automata Problems
EN
We consider the computational complexity of problems related to partial word automata. Roughly speaking, a partial word is a word in which some positions are unspecified and a partial word automaton is a finite automaton that accepts a partial word language-here the unspecified positions in the word are represented by a "hole" symbol ◊ . A partial word language L' can be transformed into an ordinary language L by using a ◊-substitution. In particular, we investigate the complexity of the compression or minimization problem for partial word automata, which is known to be NP-hard. We improve on the previously known complexity on this problem, by showing PSPACE-completeness. In fact, it turns out that almost all problems related to partial word automata, such as, e.g., equivalence and universality, are already PSPACE- complete. Moreover, we also study these problems under the further restriction that the involved automata accept only finite languages. In this case, the complexities of the studied problems drop from PSPACE-completeness down to coNP-hardness and containment in ∑P2 depending on the problem investigated.
EN
Apart from accuracy, one of the parameters describing industrial robots is positioning accuracy. The parameter in question, which is the subject of this paper, is often the decisive factor determining whether to apply a given robot to perform certain tasks or not. Articulated robots are predominantly used in such processes as: spot welding, transport of materials and other welding applications, where high positioning repeatability is required. It is therefore essential to recognise the parameter in question and to control it throughout the operation of the robot. This paper presents methodology for robot positioning accuracy measurements based on vision technique. The measurements were conducted with Phantom v2511 high-speed camera and TEMA Motion software, for motion analysis. The object of the measurements was a 6-axis Yaskawa Motoman HP20F industrial robot. The results of measurements obtained in tests provided data for the calculation of positioning accuracy of the robot, which was then juxtaposed against robot specifications. Also analysed was the impact of the direction of displacement on the value of attained pose errors. Test results are given in a graphic form.
first rewind previous Strona / 3 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.