Parallel Runtime Verification Approach for Alternate Execution of Multiple Threads

Author(s):  
Bin Yu ◽  
Jinhui Liu ◽  
Ming Lei ◽  
Yong Yu ◽  
Hao Chen
Author(s):  
Yang Jie ◽  
Li Haitao ◽  
Rui Chengjie ◽  
Wei Wenjun ◽  
Dong Xuezhu

All of the cutting edges on an hourglass worm gear hob have different shapes and spiral angles. If the spiral angles are small, straight flutes are usually adopted. But for the hob with multiple threads, the absolute values of the negative rake angles at one side of the cutting teeth will greatly affect the cutting performance of the hob if straight flutes are still used. Therefore, spiral flutes are usually adopted to solve the problem. However, no method of determination of the spiral flute of the hourglass worm gear hob has been put forward till now. Based on the curved surface generating theory and the hourglass worm forming principle, a generating method for the spiral flute of the planar double enveloping worm gear hob is put forward in this paper. A mathematical model is built to generate the spiral flute. The rake angles of all cutting teeth of the hob are calculated. The laws of the rake angles of the cutting teeth of four hobs with different threads from one to four threads are analyzed when straight flutes and spiral flutes are adopted respectively. The laws between the value of the negative rake angles of the hob with four threads and the milling transmission ratio are studied. The most appropriate milling transmission ratio for generating the spiral flute is obtained. The machining of the spiral flutes is simulated by a virtual manufacturing system and the results verify the correctness of the method.


2021 ◽  
Vol 205 ◽  
pp. 102610
Author(s):  
Davide Ancona ◽  
Luca Franceschini ◽  
Angelo Ferrando ◽  
Viviana Mascardi

Author(s):  
Giles Reger ◽  
David Rydeheard

AbstractParametric runtime verification is the process of verifying properties of execution traces of (data carrying) events produced by a running system. This paper continues our work exploring the relationship between specification techniques for parametric runtime verification. Here we consider the correspondence between trace-slicing automata-based approaches and rule systems. The main contribution is a translation from quantified automata to rule systems, which has been implemented in Scala. This then allows us to highlight the key differences in how the two formalisms handle data, an important step in our wider effort to understand the correspondence between different specification languages for parametric runtime verification. This paper extends a previous conference version of this paper with further examples, a proof of correctness, and an optimisation based on a notion of redundancy observed during the development of the translation.


Author(s):  
Abigail Hammer ◽  
Matthew Cauwels ◽  
Benjamin Hertz ◽  
Phillip H. Jones ◽  
Kristin Y. Rozier

2021 ◽  
pp. 107780042110658
Author(s):  
Danah Henriksen ◽  
Edwin Creely ◽  
Rohit Mehta

With the emergence of Western posthuman understandings, new materialism, artificial intelligence (AI), and the growing acknowledgment of Indigenous epistemologies, an ongoing rethinking of existing assumptions and meanings about creativity is needed. The intersection of new technologies and philosophical stances that upend human-centered views of reality suggests that creativity is not an exclusively “human” activity. This opens new possibilities and assemblages for conceiving of creativity, but not without tensions. In this article, we connect multiple threads, to reimagine creativity in light of posthuman understandings and the possibilities for creative emergence beyond the Anthropocene. Creativity is implicated as emerging beyond non-human spaces, such as through digitality and AI or sources in the natural world. This unseats many understandings of creativity as positioned in Euro-Western literature. We offer four areas of concern for interrogating tensions in this area, aiming to open new possibilities for practice, research, and (re)conceptualization beyond Western understandings.


Sign in / Sign up

Export Citation Format

Share Document