RV-TheToP: Runtime Verification from Theory to the Industry Practice (Track Introduction)

1981 ◽

Vol 39 ◽

pp. 134-135

Author(s):

J. R. Porter ◽

J. I. Goldstein ◽

D. B. Williams

Keyword(s):

Electron Microscopy ◽

Analytical Electron Microscopy ◽

Electric Arc Furnace ◽

Electric Arc ◽

Dust Particles ◽

Particle Analysis ◽

Arc Furnace ◽

Analytical Electron ◽

Residual Elements ◽

Industry Practice

Alloy scrap metal is increasingly being used in electric arc furnace (EAF) steelmaking and the alloying elements are also found in the resulting dust. A comprehensive characterization program of EAF dust has been undertaken in collaboration with the steel industry and AISI. Samples have been collected from the furnaces of 28 steel companies representing the broad spectrum of industry practice. The program aims to develop an understanding of the mechanisms of formation so that procedures to recover residual elements or recycle the dust can be established. The multi-phase, multi-component dust particles are amenable to individual particle analysis using modern analytical electron microscopy (AEM) methods.Particles are ultrasonically dispersed and subsequently supported on carbon coated formvar films on berylium grids for microscopy. The specimens require careful treatment to prevent agglomeration during preparation which occurs as a result of the combined effects of the fine particle size and particle magnetism. A number of approaches to inhibit agglomeration are currently being evaluated including dispersal in easily sublimable organic solids and size fractioning by centrifugation.

Download Full-text

Tailoring Design Development and Ideation in Catering To Industry Demands

Social and Management Research Journal ◽

10.24191/smrj.v14i1.5282 ◽

2017 ◽

Vol 14 (1) ◽

pp. 67

Author(s):

Fadila Mohd Yusof ◽

Azmir Mamat Nawi ◽

Azhari Md Hashim ◽

Ahmad Fazlan Ahmad Zamri ◽

Abu Hanifa Ab Hamid ◽

...

Keyword(s):

Teaching And Learning ◽

Industrial Design ◽

Protocol Analysis ◽

Early Stage ◽

Idea Generation ◽

Learning Processes ◽

Design Stage ◽

Design Development ◽

Conceptual Design Phase ◽

Industry Practice

Design development is one of the processes in the teaching and learning of industrial design. This process is important during the early stage of ideas before continuing to the next design stage. This study was conducted to investigate the comparison between academic syllabus and industry practices whether these processes are highly dependent on the idea generation and interaction related to the designer or to the student itself. The data were gathered through an observation of industry practice during conceptual design phase, teaching and learning process in academic through Video Protocol Analysis (VPA) method and interviews with industry practitioners via structured and unstructured questionnaires. The data were analysed by using NVivo software in order to formulate the results. The findings may possibly contribute to the teaching and learning processes especially in the improvement of industrial design syllabus in order to meet the industry demands. Keywords: design development, industrial design, industry demands

Download Full-text

Customisation and Desirable Characteristics of a Standard Method of Measurement for Building Works in Ghana

Construction Economics and Building ◽

10.5130/ajceb.v8i2.3004 ◽

2012 ◽

Vol 8 (2) ◽

pp. 30-40 ◽

Cited By ~ 3

Author(s):

Gabriel Nani ◽

Peter Edwards ◽

Theophilus Adjei-Kumi ◽

Edward Badu ◽

Peter Amoah

Keyword(s):

Construction Industry ◽

Standard Method ◽

The Other ◽

Opinion Survey ◽

British Standard ◽

Industry Practice ◽

Precision Industry ◽

Method Of Measurement ◽

Insight Into ◽

Methods Of Measurement

This paper reports a study that identified andcategorised the modifications to the 5thEdition of the British Standard Method ofMeasurement (SMM5) of building works inGhana. Typical modifications involved ‘costinsignificant items’, ‘minor labour items’,‘custom units of measurement’, ‘methodrelated items’, ‘combinable items’,‘subordinate items’, and ‘items of minorinformative impact’. It was also observed thatthe desirable characteristics/ qualities ofstandard methods of measurement (SMM) ofbuilding work were noteworthy, since theyprovide insight into the nature of a SMMrequired for the construction industry inGhana.The research reviewed available literature,various SMMs and bills of quantities (BQs).The relevance of the modifications andSMM characteristics identified wasconfirmed by a survey of the opinions ofprofessional quantity surveyors conductedthrough a carefully designed questionnaire.Inferences from the opinion survey formedthe basis for grouping both SMMmodifications found and the desired qualitiesof a SMM for Ghana.Survey respondents confirmed all theidentified modifications to the British SMM,except for the elimination of items of minorinformative impact. It was held that allinformation was relevant in measurement.Desirable characteristics of a SMM were ratedin decreasing order of relevance as: easylocation of items; cost significance; simplicity;thoroughness; ease of cost analysis; goodpractice; conciseness; adoptability; precision;industry practice; stakeholders’ opinion;custom classification; regional relevance; andinclusion of jargon. It was noted that therelevance of these characteristics may varyform one region to the other as a result oftechnological, cultural and legal differences.However, the desired SMM characteristicswere recommended as fundamental indeveloping an appropriate SMM for Ghana.

Download Full-text

Private runtime verification

Proceedings of the International Conference on Embedded Software Companion - EMSOFT '19 ◽

10.1145/3349568.3351552 ◽

2019 ◽

Author(s):

Houssam Abbas

Keyword(s):

Runtime Verification

Download Full-text

Analgesia for Sheep in Commercial Production: Where to Next?

Animals ◽

10.3390/ani11041127 ◽

2021 ◽

Vol 11 (4) ◽

pp. 1127

Author(s):

Alison Small ◽

Andrew David Fisher ◽

Caroline Lee ◽

Ian Colditz

Keyword(s):

Research Effort ◽

Mitigation Strategies ◽

Worth Living ◽

Life Worth Living ◽

The Past ◽

Considerable Research ◽

Husbandry Practices ◽

Industry Practice ◽

Successful Launch ◽

Inflammatory Drugs

Increasing societal and customer pressure to provide animals with ‘a life worth living’ continues to apply pressure on livestock production industries to alleviate pain associated with husbandry practices, injury and illness. Over the past 15–20 years, there has been considerable research effort to understand and develop mitigation strategies for painful husbandry procedures in sheep, leading to the successful launch of analgesic approaches specific to sheep in a number of countries. However, even with multi-modal approaches to analgesia, using both local anaesthetic and non-steroidal anti-inflammatory drugs (NSAID), pain is not obliterated, and the challenge of pain mitigation and phasing out of painful husbandry practices remains. It is timely to review and reflect on progress to date in order to strategically focus on the most important challenges, and the avenues which offer the greatest potential to be incorporated into industry practice in a process of continuous improvement. A structured, systematic literature search was carried out, incorporating peer-reviewed scientific literature in the period 2000–2019. An enormous volume of research is underway, testament to the fact that we have not solved the pain and analgesia challenge for any species, including our own. This review has highlighted a number of potential areas for further research.

Download Full-text

Runtime verification for trustworthy secure shell deployment

Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution ◽

10.1145/3464974.3468449 ◽

2021 ◽

Author(s):

Axel Curmi ◽

Christian Colombo ◽

Mark Vella

Keyword(s):

Runtime Verification ◽

Secure Shell

Download Full-text

An extension of first-order LTL with rules with application to runtime verification

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-021-00626-y ◽

2021 ◽

Author(s):

Klaus Havelund ◽

Doron Peled

Keyword(s):

Runtime Verification ◽

First Order

Download Full-text

Effect of Twist Drill Geometry and Drilling Parameters on Hole Quality in Single-Shot Drilling of CFRP/Al7075-T6 Composite Stack

Journal of Composites Science ◽

10.3390/jcs5070189 ◽

2021 ◽

Vol 5 (7) ◽

pp. 189

Author(s):

Muhammad Hafiz Hassan ◽

Jamaluddin Abdullah ◽

Gérald Franz ◽

Chim Yi Shen ◽

Reza Mahmoodian

Keyword(s):

Feed Rate ◽

Thrust Force ◽

Critical Dimension ◽

Helix Angle ◽

Single Shot ◽

Twist Drill ◽

Hole Quality ◽

Drilling Parameters ◽

Industry Practice ◽

Maximum Thrust

Drilling two different materials in a layer, or stack-up, is being practiced widely in the aerospace industry to minimize critical dimension mismatch and error in the subsequent assembly process, but the compatibility of the drill to compensate the widely differing properties of composite is still a major challenge to the industry. In this paper, the effect of customized twist drill geometry and drilling parameters are being investigated based on the thrust force signature generated during the drilling of CFRP/Al7075-T6. Based on ANOVA, it is found that the maximum thrust force for both CFRP and Al7075-T6 are highly dependent on the feed rate. Through the analysis of maximum thrust force, supported by hole diameter error, hole surface roughness, and chip formation, it is found that the optimum tool parameters selection includes a helix angle of 30°, primary clearance angle of 6°, point angle of 130°, chisel edge angle of 30°, speed of 2600 rev/min and feed rate of 0.05 mm/rev. The optimum parameters obtained in this study are benchmarked against existing industry practice of the capability to produce higher hole quality and efficiency, which is set at 2600 rev/min for speed and 0.1 mm/rev for feed rate.

Download Full-text

Industry-Practice-Based Engineering Hydrology Education at USQ, Australia

Education Sciences ◽

10.3390/educsci9030213 ◽

2019 ◽

Vol 9 (3) ◽

pp. 213

Author(s):

Rezaul Chowdhury

Keyword(s):

Online Education ◽

Student Satisfaction ◽

Learning Outcomes ◽

Professional Practice ◽

Assessment Tools ◽

Discussion Forums ◽

Self Assessment ◽

Industry Practice ◽

The University ◽

Engineering Hydrology

Engineering education must embrace several challenges, such as increased numbers of work-based students, increased demand for online education, mismatches in employability skills and industry requirements, and lack of student engagement. The hydrology course at the University of Southern Queensland attracts more than 100 students every year, where more than 70% of students are off-campus and most of them are work-based. This study explored how an online hydrology course can embrace industry practice and engage students in order to achieve learning outcomes. Industrial careers in hydrology involve extensive use of hydroclimatological data and modeling applications. The course modules, learning objectives and outcomes, and assessment tools have been designed to align with industry practices. Active participation of students was observed in self-assessment quizzes and discussion forums. The course was rated very well in achieving learning outcomes and in overall student satisfaction. Students appreciated the well-structured real-world and professional practice in the course.

Download Full-text