Runtime verification (RV) facilitates detecting the failures of software during its execution. Due to the complexity of RV techniques, there is an increasing interest in achieving abstractness, modularity, and compose-ability in their implementations by means of dedicated linguistic mechanisms. This paper defines a design space to evaluate the existing domain-specific languages for implementing...

indian ber (ziziphus mauritiana) has growing type as grape and is inclined to horizental and down ward growth. if it is not trained appropriately, it would grow into very bushy with thiny shoots. hence, such trees have short lives, and are liable to pests and diseases with low yield. fruit harvesting is also difficult in bushy trees. therefore, proper pruning and training of young trees is esse...

drilling is one of the main machining processes carried out in the assembly stage of automobile manufacturing and aerospace components. generally, delamination is considered as a major problem during drilling of composite materials. in this paper, the effects of feed rate, cutting speed and drill point angle on thrust force and delamination factor have been studied by using full factorial desig...

surface roughness is one of the most important parameters that plays very critical role in determining the quality of engineering components. a good surface quality resulting in improve of fatigue strength, corrosion and wear resistance of the workpiece. on the other hand, increasing cutting speed and decreasing time of machining are desirable for manufacturers in order to reduce costs and incr...

Nowadays, carbon fiber reinforced plastics (CFRP) composites is widely used in the aerospace industry due to its excellent mechanical properties. In laser cutting process, high powers are used to cut materials then material melts and burns leaving edges with a high quality finish. To fulfill the high demand of cutting quality, a set of laser cutting parameters of CFRP material are studied. The ...

Drilling is the most common machining operation and it forms the highest machining cost in many manufacturing activities including automotive engine production. The outcome of this operation depends upon many factors including utilization of proper cutting tool geometry, cutting tool material and the type of coating used to improve hardness and resistance to wear, and also cutting parameters. W...

In this paper the main objective is to quantify and compare the instantaneous value of heart rate for normal breathing patterns during Meditation and Non Meditation conditions. This paper involves Analysis of Variance (ANOVA) technique for the analysis of the heart rate variability patterns during the meditative and non meditative states. The analysis is divided into three stages i.e. data acqu...

This paper contains investigations on the behavior of five artificial rocklike materials subjected to abrasive water jet cutting. The influence of the test parameters, i.e. applied pump pressure, traverse rate and abrasive mass flow rate was investigated, as well as the influence of several material parameters, e.g. compressive strength, Young's modulus, absorbed fracture energy and crack veloc...

The present paper discusses on development of fuzzy rule based models (FRBMs) for predicting cutting force and surface roughness in milling operation. The models use TakagiSugeno-Kang-type (TSK-type) fuzzy rule to study the effect of four (input) cutting parameters (cutting speed, feed rate, radial depth of cut and axial depth of cut) on outputs (cutting force and surface roughness). The approp...

Air abrasion as a caries removal technique is less aggressive than conventional techniques and is compatible for use with adhesive restorative materials. Alumina, while being currently the most common abrasive used for cutting, has controversial health and safety issues and no remineralisation properties. The alternative, a bioactive glass, 45S5, has the advantage of promoting hard tissue remin...