At-most-once message delivery A case study in algorithm verification

Author(s):  
Butler Lampson ◽  
Nancy Lynch ◽  
Jørgen Søgaard-Andersen
2014 ◽  
Vol 945-949 ◽  
pp. 3156-3159
Author(s):  
Hai Dong ◽  
Heng Bao Xin ◽  
Jian Hua Yan

In order to model clearly in mixed-model assembly lines, this paper proposes an Object-oriented Petri Net (OOPN) approach by combining object-oriented concept with Petri net theory. Firstly, the mathematical definition of OOPN was given. Secondly, taking automobile transmission mixed-model assembly lines as an example, the modeling through three different levels of assembly cells, assembly resources and the whole system was finished, and the message delivery mechanism and system behavior were then described in detail. Finally, the case study shows that OOPN can deal well with the complexity of modeling, and it lays the foundation of further analysis and property verification in the mixed-model assembly lines.


2020 ◽  
Vol 2 (4) ◽  
pp. 1-15
Author(s):  
Jamilah Nur Halimah ◽  
Bahrudin M. Ag ◽  
Nase Saepudin

ABSTRACT The video entitled "Mendadak Halal" has moderated the YouTube social media community to share argumentative ideas with each other in their comments column. This study aims to develop knowledge about communication strategies in topic selection, orderly message, and the use of selected message delivery methods. The researcher used a case study research that examined more about the video production of Remotivi institution. This research is based on the assumption of a communication model, namely the S-M-C-R model of David K. Berlo, an expert of communication science from the United States. The results of the study point out: a. Choice of topics in Remotivi is done because Remotivi wants to select and filter out social issues that are being considered and it is suspected that there are irregularities in them b. The packaging of messages carried out by Remotivi was made by formulating the points elaborated beforehand with in-depth research. c. The method of delivering messages carried out by Remotivi is an approach strategy to communication. His approach uses messages that are not only informative but also persuasive. The steps to deliver the message made by Remotivi are, first, by moderating, the second with discussion. Keywords: Strategy; Remotivi; Halal; Model S-M-C-R. ABSTRAK Video yang berjudul “Mendadak Halal” telah memoderasi masyarakat media sosial youtube untuk saling menyampaikan gagasan yang argumentatif di kolom komentar milik mereka. Penelitian ini bertujuan untuk mengembangkan pengetahuan mengenai strategi komunikasi dalam pemilihan topik, pengemasan pesan, dan penggunaan metode penyampaian pesan yang dipilih. Peneliti menggunakan metode penelitian studi kasus yang mengkaji lebih dalam soal lembaga dan produksi video milik Remotivi. Penelitian ini didasarkan pada asumsi sebuah model komunikasi, yaitu model S-M-C-R David K. Berlo pakar ilmu komunikasi dari Amerika Serikat. Hasil penelitian menunjukan bahwa: a. Pemilihan topik di Remotivi dilakukan sebab pihak Remotivi ingin memilih dan menyaring isu sosial yang tengah menjadi perhatian dan diduga terdapat kejanggalan didalamnya b. Pengemasan pesan yang dilakukan oleh Remotivi dibuat dengan merumuskan poin-poin yang dielaborasi sebelumnya dengan riset yang mendalam. c. Metode penyampaian pesan yang dilakukan oleh Remotivi merupakan strategi pendekatan kepada komunikasi. Pendekatannya menggunakan pesan yang tidak hanya bersifat informatif tapi juga persuasif. Langkah-langkah penyampaian pesan yang dilakukan Remotivi adalah, yang pertama dengan memoderasi, yang kedua dengan diskusi. Kata Kunci: Strategi; Remotivi; Halal; Model S-M-C-R.


2020 ◽  
Vol 4 (2) ◽  
pp. 103-126
Author(s):  
Jamilah Nur Halimah

ABSTRAK Penelitian ini dilakukan untuk mendapatkan data terkait strategi penyiaran yang dilakukan oleh channel youtube remotivi. Videonya yang berjudul “Mendadak Halal” telah memoderasi masyarakat media sosial youtube untuk saling menyampaikan gagasan yang argumentatif di kolom komentar milik mereka. Penelitian ini bertujuan untuk mengembangkan pengetahuan mengenai strategi komunikasi dalam pemilihan topik, pengemasan pesan, dan penggunaan metode penyampaian pesan yang dipilih. Peneliti menggunakan metode penelitian studi kasus yang mengkaji lebih dalam soal lembaga dan produksi video milik Remotivi. Penelitian ini didasarkan pada asumsi sebuah model komunikasi, yaitu model S-M-C-R David K. Berlo pakar ilmu komunikasi dari Amerika Serikat. Hasil penelitian menunjukan bahwa: a. Pemilihan topik di Remotivi menggunakan gaya bahasa yang tidak saklek dan dijabarkan dengan cara sedernana dengan fokus pada isu-isu masyarakat sosial. b. Pengemasan pesan yang dilakukan oleh Remotivi dibuat dengan merumuskan poin-poin yang dielaborasi sebelumnya dengan riset yang mendalam. c. Metode penyampaian pesan yang dilakukan oleh Remotivi merupakan strategi pendekatan kepada komunikasi. Pendekatannya menggunakan pesan yang tidak hanya bersifat informatif tapi juga persuasif. Kata Kunci: Strategi; Remotivi; Halal; Model S-M-C-R. ABSTRACT This research was conducted to obtain data related to broadcasting strategies carried out by youtube channel Remotivi. His video entitled "Mendadak Halal" has moderated the YouTube social media community to share argumentative ideas with each other in their comments column. This study aims to develop knowledge about communication strategies in topic selection, orderly message, and the use of selected message delivery methods. The researcher used a case study research that examined more about the video production of Remotivi institution. This research is based on the assumption of a communication model, namely the S-M-C-R model of David K. Berlo, an expert of communication science from the United States. The results of the study point out: a. Choice of topics in Remotivi uses a language style that is easy to understand and elaborated in a simple way with a focus on social community issues. b. The orderly messages carried out by Remotivi was made by formulating the points elaborated beforehand with in-depth research. c. The method of delivering messages carried out by Remotivi is an approach strategy for communication. His approach uses messages that are not only informative but also persuasive.   Keywords: Strategy; Remotivi; Halal; Model S-M-C-R.


2014 ◽  
Vol 38 (01) ◽  
pp. 102-129
Author(s):  
ALBERTO MARTÍN ÁLVAREZ ◽  
EUDALD CORTINA ORERO

AbstractUsing interviews with former militants and previously unpublished documents, this article traces the genesis and internal dynamics of the Ejército Revolucionario del Pueblo (People's Revolutionary Army, ERP) in El Salvador during the early years of its existence (1970–6). This period was marked by the inability of the ERP to maintain internal coherence or any consensus on revolutionary strategy, which led to a series of splits and internal fights over control of the organisation. The evidence marshalled in this case study sheds new light on the origins of the armed Salvadorean Left and thus contributes to a wider understanding of the processes of formation and internal dynamics of armed left-wing groups that emerged from the 1960s onwards in Latin America.


2020 ◽  
Vol 43 ◽  
Author(s):  
Michael Lifshitz ◽  
T. M. Luhrmann

Abstract Culture shapes our basic sensory experience of the world. This is particularly striking in the study of religion and psychosis, where we and others have shown that cultural context determines both the structure and content of hallucination-like events. The cultural shaping of hallucinations may provide a rich case-study for linking cultural learning with emerging prediction-based models of perception.


2019 ◽  
Vol 42 ◽  
Author(s):  
Daniel J. Povinelli ◽  
Gabrielle C. Glorioso ◽  
Shannon L. Kuznar ◽  
Mateja Pavlic

Abstract Hoerl and McCormack demonstrate that although animals possess a sophisticated temporal updating system, there is no evidence that they also possess a temporal reasoning system. This important case study is directly related to the broader claim that although animals are manifestly capable of first-order (perceptually-based) relational reasoning, they lack the capacity for higher-order, role-based relational reasoning. We argue this distinction applies to all domains of cognition.


2019 ◽  
Vol 42 ◽  
Author(s):  
Penny Van Bergen ◽  
John Sutton

Abstract Sociocultural developmental psychology can drive new directions in gadgetry science. We use autobiographical memory, a compound capacity incorporating episodic memory, as a case study. Autobiographical memory emerges late in development, supported by interactions with parents. Intervention research highlights the causal influence of these interactions, whereas cross-cultural research demonstrates culturally determined diversity. Different patterns of inheritance are discussed.


Author(s):  
D. L. Callahan

Modern polishing, precision machining and microindentation techniques allow the processing and mechanical characterization of ceramics at nanometric scales and within entirely plastic deformation regimes. The mechanical response of most ceramics to such highly constrained contact is not predictable from macroscopic properties and the microstructural deformation patterns have proven difficult to characterize by the application of any individual technique. In this study, TEM techniques of contrast analysis and CBED are combined with stereographic analysis to construct a three-dimensional microstructure deformation map of the surface of a perfectly plastic microindentation on macroscopically brittle aluminum nitride.The bright field image in Figure 1 shows a lg Vickers microindentation contained within a single AlN grain far from any boundaries. High densities of dislocations are evident, particularly near facet edges but are not individually resolvable. The prominent bend contours also indicate the severity of plastic deformation. Figure 2 is a selected area diffraction pattern covering the entire indentation area.


Sign in / Sign up

Export Citation Format

Share Document