PL for SOA proposes, formally, a software engineering methodology, development techniques and support tools for the provision of service product lines. We propose rigorous modeling techniques for the specification and verification of formal notations and languages for service computing with inclinations of variability. Through these cutting-edge technologies, increased levels of flexibility and...

The dynamic performances of head cutter for boom-type excavator were researched, and the corresponding dynamic equilibrium equations were derived. Based on the explicit dynamics analysis techniques of the Software ANSYS/LS-DYNA, transient dynamic analysis was carried out to simulate the cutting process of head cutter, and the main kinetic parameters were achieved. Finally, the cutting performan...

PURPOSE We describe the use of chick chorioallantoic membrane (CAM) as a model system for the study of the precision and safety of vitreoretinal microsurgical instruments and techniques. METHODS The CAM was prepared for experimentation with and without its inner shell membrane (ISM) attached for in vivo and in vitro experiments that simulated medical and surgical interventions on the retina. ...

The Traveling Salesman Problem with Time Windows (TSPTW) is the problem of finding a minimum-cost path visiting a set of cities exactly once, where each city must be visited within a specific time window. We propose a hybrid approach for solving the TSPTW that merges Constraint Programming propagation algorithms for the feasibility viewpoint (find a path), and Operations Research techniques for...

It is very important to use reliable and inexpensive sensors to obtain useful information about manufacturing processing, such as cutting force, for monitoring automated machining. In this paper, the feed cutting force is measured using an inexpensive current sensor installed on the a.c. servo motor of a CNC turning centre. The factors that affect a feed drive system are analysed in detail, and...

The main goal of this thesis is to document the design and testing of various components for use in a low cost laser cutting mechanism for hobbyists and recreational designers. Different electronics were used to assess the cutting potential of a laser diode, a small silicon chip based laser light producing unit. A test rig was constructed to evaluate the cutting potential of the laser diode, an...

17-4ph stainless steel is a martensitic precipitation hardening stainless steel that provides an outstandingcombination of high strength, good corrosion resistance, good mechanical properties, good toughness in both base metal and welds, and short time, low-temperature heat treatments that minimize warpage and scaling. this valuable alloy is widely used in the aerospace, nuclear, chemical, petr...