Applicability of generalized test tables: a case study using the manufacturing system demonstrator xPPU

2018 ◽  
Vol 66 (10) ◽  
pp. 834-848 ◽  
Author(s):  
Suhyun Cha ◽  
Alexander Weigl ◽  
Mattias Ulbrich ◽  
Bernhard Beckert ◽  
Birgit Vogel-Heuser
Keyword(s):  
Production Systems ◽  
Reactive Systems ◽  
Internal Variables ◽  
High Coverage ◽  
Manufacturing Automation ◽  
Automated Production ◽  
Recent Trends ◽  
Requirements Quality ◽  
Automation Control

Abstract With recent trends in manufacturing automation, control software in automated production systems becomes more complex and has more variability to keep pace with customer and market requirements. Quality assurance also becomes more and more important to ensure that the systems live up to expectations. However, correctness of automation software is rarely verified using formal techniques in spite of their high coverage. One of the main reasons is the lack of specification languages suitable for this application area that are both comprehensible and sufficiently expressive. Generalized test tables (GTTs), which are a specification language for reactive systems, were presented recently as an accessible representation for application engineers. This formalism achieves both the comprehensibility of concrete test tables and the coverage of formal methods. In our approach, the specification provided by GTTs is used for formal verification, especially model checking. In this paper, we present four new features for GTTs: the progression flag, strong repetition, row grouping, and specification on internal variables. We demonstrate the applicability and evaluate the comprehensibility of GTT-based specification and verification using a range of diverse scenarios from the community demonstrator, the extended Pick & Place Unit.

Effect of Failure Rate on the Availability Analysis of Nestle CERELAC Plant Using Markov Chain Method

2018 ◽  
pp. 121-127
Author(s):  
Gurbinder Singh ◽  
Rakesh Kumar
Keyword(s):  
Markov Chain ◽  
Manufacturing Systems ◽  
Production Systems ◽  
Research Work ◽  
Automated Production ◽  
Availability Analysis ◽  
Long Run ◽  
Machine Reliability ◽  
Markov Chain Method

In the performance analysis of production systems by using the traditional methods of engineering the knowledge of machine reliability factors is assumed to be precisely known. The current study entitled performance evaluation of food industry in India. To analyze and determine the availability of plant a case study has been undertaken from Moga Nestle food private limited industry in India. Various studies evaluating the performance of automated production systems with the help of modeling and simulation and analytical methods have always given priority to steady state performance as compared to transient performance. Production systems in which such kind of situations arises include systems with dysfunctional states and deadlocks, not stable queuing systems. This research work presents an approach for analyzing the performance of unreliable manufacturing systems that take care of uncertain machine factor estimates. The method that is being proposed is on the basis of Markov chain and probability density function discretization techniques for studying manufacture lines consist unreliable machines. To determine the performance of plant, important information has been collected from different systems and subsystems to find out long run availability of whole system.

scholarly journals Craftsmanship in the machine: sustainability through new roles in building craft at the technologized building site

2017 ◽  
Vol 5 (2) ◽  
pp. 71-84 ◽  
Author(s):  
Håkon Fyhn ◽  
Roger Andre Søraa
Keyword(s):  
Production Systems ◽  
Lean Construction ◽  
Multiple Roles ◽  
High Tech ◽  
Planning Problem ◽  
Building Site ◽  
Automated Production ◽  
Parental Roles ◽  
Construction Techniques

The building industry is becoming increasingly characterized by automated production, and in line with this, the nature of craftsmanship is transforming. In this article, we look for a sustainable path for this transformation through a case study that follows a team of carpenters building a set of tower blocks at a high-tech building site using “lean” construction techniques and robotic production technology. The builders are organized according to complex schedules of lean construction, making work at the building site resemble that of a large machine. The builders hold multiple roles within this machine: more than simply “living mechanisms” inside the machine, they also take on more parental roles as “machinists,” employing their crafting skills in planning, problem solving, improvising, coordinating and fettling in order to make the building machine run smoothly and to minimize environmental uncertainty. The craftsmanship in action is characterized by what we call workmanship of uncertainty – the ability to produce certain results in uncertain conditions. We identify this as the collective skill of a community of practice. The sustainability of craftsmanship in the machine is analyzed according to three kinds of sustainability: cultural, social and ecological. We suggest that all three forms depend on the building company’s ability to provide working conditions that allow the builders to form stable communities of practice in order to perform, share and develop craftmanship. Finally, we show that working in and with technological production systems does not require fewer skills (of craftsmanship) than traditional building, but a nuanced application of these skills.

Nonwovens: Global Trends in World Economy, European Foreign Trade, and Selected Case Studies from Poland and Asian Brics Countries

2020 ◽  
Vol 0 (0) ◽  
Author(s):  
Zofia Wysokińska ◽  
Tomasz Czajkowski ◽  
Katarzyna Grabowska
Keyword(s):  
Case Studies ◽  
World Economy ◽  
World Market ◽  
Global Trends ◽  
Textile Materials ◽  
Brics Countries ◽  
Recent Trends ◽  
Almost All ◽  
Special Case

AbstractNonwovens are one of the most versatile textile materials and have become increasingly popular in almost all sectors of the economy due to their low manufacturing costs and unique properties. In the next few years, the world market of nonwovens is predicted to grow by 7%–8% annually (International Nonwovens & Disposables Association [INDA], European Disposables and Nonwovens Association [EDANA], and Markets and Markets). This article aims to analyze the most recent trends in the global export and import of nonwovens, to present two case studies of Polish companies that produce them, and to present one special case study of the market of nonwoven geotextiles in China and India, which are the Asian transition economies among the BRICS countries (Brazil, Russia, India, China, and South Africa).

scholarly journals MODEL-BASED DESIGN OF AM COMPONENTS TO ENABLE DECENTRALIZED DIGITAL MANUFACTURING SYSTEMS

2021 ◽  
Vol 1 ◽  
pp. 2127-2136
Author(s):  
Olivia Borgue ◽  
John Stavridis ◽  
Tomas Vannucci ◽  
Panagiotis Stavropoulos ◽  
Harry Bikas ◽  
...  
Keyword(s):  
Additive Manufacturing ◽  
Manufacturing Systems ◽  
Production Systems ◽  
Data Generation ◽  
Production Networks ◽  
Model Based ◽  
Manufacturing Technologies ◽  
Am Processes ◽  
Final Consumer

AbstractAdditive manufacturing (AM) is a versatile technology that could add flexibility in manufacturing processes, whether implemented alone or along other technologies. This technology enables on-demand production and decentralized production networks, as production facilities can be located around the world to manufacture products closer to the final consumer (decentralized manufacturing). However, the wide adoption of additive manufacturing technologies is hindered by the lack of experience on its implementation, the lack of repeatability among different manufacturers and a lack of integrated production systems. The later, hinders the traceability and quality assurance of printed components and limits the understanding and data generation of the AM processes and parameters. In this article, a design strategy is proposed to integrate the different phases of the development process into a model-based design platform for decentralized manufacturing. This platform is aimed at facilitating data traceability and product repeatability among different AM machines. The strategy is illustrated with a case study where a car steering knuckle is manufactured in three different facilities in Sweden and Italy.

RURAL WOMEN AND ENTREPRENEURSHIP: A CASE STUDY IN HERAKLION CRETE PREFECTURE, GREECE

2011 ◽  
Vol 16 (02) ◽  
pp. 269-284 ◽  
Author(s):  
AIKATERINI LASSITHIOTAKI
Keyword(s):  
Rural Women ◽  
Production Systems ◽  
Traditional Food ◽  
Enterprise Risk ◽  
Enterprise Model ◽  
Control Production ◽  
Modern Business ◽  
Domestic Roles ◽  
Entrepreneurial Beliefs

This article investigates the entrepreneurial beliefs/attitudes, ambitions, expectations, goals and visions of rural women who choose to cooperate and found Women's Rural cooperatives in the Prefecture of Heraklion on the island of Crete. The results of a qualitative study involving a sample of eight chairwomen of rural women's established Traditional Food Production cooperatives indicated that the traditional domestic roles (housewife, mother), the low level of education, the lack of professional skills, enterprise experience and mostly the unwillingness of rural women to undertake enterprise risk, have turned them toward an enterprise model that lacks modern business methods in the use of quality control production systems, in the production of Protected Geographical Identification Goods and/or Certified Local Traditional Food and/or Organic Products, in the use of new organizing and managing technologies, in advertising and promoting products and in administrative renewal.

Colonial time in tension: Decolonizing temporal imaginaries

2017 ◽  
Vol 28 (3) ◽  
pp. 1221-1238 ◽  
Author(s):  
Adib ◽  
Paul Emiljanowicz
Keyword(s):  
International Relations ◽  
Body Politic ◽  
Prison System ◽  
The Body ◽  
Alternative Conceptions ◽  
Cultural Contexts ◽  
Colonial Time ◽  
Recent Trends ◽  
Political Economic

This article argues that colonial time is fractured, uneven, and co-constituted by tension. Despite coercive violence and instruments of temporal control, non-internalized alternative conceptions of time can/do exist, hybridize, and transform autonomously. We explore these tensions through an examination of post-revolution Iran's attempt to project colonial time through the prison system, and the persistence of non-internalized temporal alternatives as articulated through prisoner memoirs and narratives. Prisons and imprisonment, by removing bodies from the body politic, functions to colonize time to erase, homogenize, and mediate past, present, and future – thereby reproducing ideational-material governance. Yet prisoner memoirs and narratives reveal this process to be incomplete as the agency of individuals to retain, create, and testify provide indications of non-internalized decolonial temporal imaginaries. In taking into consideration our case study and recent trends in anthropology, we inject into the field of International Relations an understanding of colonial time as tension, which can be applied to political-economic and cultural contexts in which time is actively being colonized.

Japanese English Majors’ Experiences and Attitudes to Study Abroad: A Case Study of Students at a Private University in Tokyo

2020 ◽  
Vol 13 (2) ◽  
pp. 38-52
Author(s):  
Anthony Tobin
Keyword(s):  
Study Abroad ◽  
English Language ◽  
Private University ◽  
Studying Abroad ◽  
Short Term Study ◽  
Overseas Travel ◽  
Recent Trends ◽  
English Speaking ◽  
Japanese English

This study investigates both the benefits of and recent trends in studying abroad for Japanese students and examines the results of a survey on study abroad taken by students majoring in English at a private university in Tokyo. Statistics from JASSO showed that the trend in study abroad before 2020 was for an increasing number of Japanese university students to spend a period of time studying abroad, though most of the increase was in short-term study. The English language questionnaire sought to discover what proportion of a group of seventy-two students had already studied abroad, or planned to do so, and to establish whether those who had gained experience had benefited from it, as well as detailing student anxieties which may have deterred students from studying abroad. The survey on study abroad, taken in January 2018, had a 100% response rate. Twenty-three (32%) of the students answered that they had already studied abroad, mostly for short durations in English-speaking countries. Most of the students who studied abroad had a positive experience, reputedly improved their English skills and recommended that other students study abroad. Twenty-six (53%) of the students without study abroad experience were planning to study abroad, even though they had some issues which concerned them, such as their ability to communicate in English, personal safety, and financial matters. The main reason for not electing to study abroad for this particular sample was found to be related to the overall costs of overseas travel, accommodation, and tuition. この研究では日本人学生に対する留学の利点および最近の留学の傾向を調べ、さら に東京の私立大学で英語を専攻している学生に対して実施した留学についての調査 の結果を検討している。JASSO の統計によると、２０２０年までは留学する日本人 大学生の数は増加傾向であったが、そのほとんどは短期留学であった。英語で行わ れたアンケート調査の目的は、著者の三つのクラスの７２名の学生のうちの何割が 留学経験がある、もしくは留学の予定があるか、またすでに留学した学生はその経 験から恩恵を受けたと感じているか、学生は留学をするにあたってどのような不安 を持つか、さらに留学しないと答えた学生の場合は留学しない理由を明らかにする ことである。２０１８年１月に行われた調査の回答率は１００パーセントであっ た。２３人（３２パーセント）の学生は留学経験があり、ほとんどの場合が英語圏 の国への短期留学である。留学経験のある学生の大半数が有益な経験ができ、英語 力が上達したと感じており、他の学生に留学を勧めると答えている。留学経験のな い学生の２６人（５３パーセント）が留学する予定だが、英語のコミュニケーショ ン、安全、金銭などについて不安を感じていた。留学しない理由については、旅 費、宿泊代、授業料など経済的な理由が大半であった。

Composing Robot Production Systems: Japan as a Flexible Manufacturing System

1993 ◽  
Vol 25 (7) ◽  
pp. 923-944 ◽  
Author(s):  
J Patchell
Keyword(s):  
Case Studies ◽  
Flexible Manufacturing ◽  
Manufacturing System ◽  
Flexible Manufacturing System ◽  
Production Systems ◽  
Division Of Labour ◽  
Social Division ◽  
Social Divisions ◽  
Specific Skill

In this paper, case-study evidence of the composition of four robot production systems is provided to reveal the linkages between local, regional, and national social divisions of labour. The relation-specific skill epitomizes the sophisticated procedures used to compose production systems, and the four case studies provide evidence of the communalities and varieties of these procedures. The geography of the interrelationships of the vertical divisions of labour of design-supplied suppliers and of the horizontal division of labour of design-approved suppliers is discussed. The cooperation and competition within this social division of labour allows Japan to function as a flexible manufacturing system.

Sign in / Sign up

Export Citation Format

Share Document