Numerical Modeling of Exit-Ply Delamination During Drilling of CFRPs Considering Thermal Effects

Abstract

A finite element (FE) model for exit-ply delamination during drilling carbon fiber reinforced polymers (CFRPs) laminates is presented. The current FE model is developed to predict critical thrust force at the onset of delamination for 1 and 2 plies under the twist drill for various cutting temperatures. The interface behavior for delamination onset is modeled using surface based cohesive zone model (CZM). The numerical predictions for critical thrust force are compared with experimental thrust forces for various number of plies under the twist drill over a range of cutting temperature. Thrust force predictions were found to match with experimental data.     

Trends in intelligent manufacturing research: a keyword co-occurrence network based review

Journal of Intelligent Manufacturing - In recent years, driven by Industry 4.0 wave, academic research has focused on the science, engineering, and enabling technologies for intelligent and cyber...     

AI-driven streamlined modeling: experiences and lessons learned from multiple domains

Software and Systems Modeling - Model-driven technologies (MD*), considered beneficial through abstraction and automation, have not enjoyed widespread adoption in the industry. In keeping with the...     

Surgical management of locally recurrent rectal cancer

The surgical management of locally recurrent rectal cancer may involve major procedures and is not for the faint-hearted. Nevertheless, such treatment is preferable to chemotherapy and radiotherapy; the latter will fail over a period of months during which the patient is likely to experience intractable pain. Radical surgery offers good palliation and a better quality of life. Survival is prolonged by such operations which may be curative in up to one-third of patients. Nevertheless, surgeons must be realistic in their assessment of and discussions with patients.     

Thermally stimulated discharge current studies in pure and fe-doped polystyrene films

Studies were made on the thermally stimulated discharge currents (TSDCs) in pure (undoped) and Fe-doped polystyrene films as a function of polarizing field, polarizing temperature and dopant concentration. While undoped films exhibited a single peak, doped films showed two peaks one at low temperatures and another at high temperatures. The low temperature peak, which exhibits a shift towards lower temperatures with increasing dopant concentration, is attributed to the relaxation of the main chain, while the high temperature peak, which shows a tendency to shift towards higher temperatures with dopant concentration, is due to space charge polarization. The TSDCs were higher for low dopant concentrations than their undoped counterparts, while for high concentrations of the dopant, the TSDCs decreased. Formation of charge transfer complexes at low dopant concentrations and molecular aggregates at higher dopant concentrations are suggested as the possible reasons for this behaviour.     

Fabrication and testing of Al-SiCp composite valve seat inserts

In the present work Al-SiC_p composite valve seat inserts with 10, 15, 20, and 25 wt?% of SiC_p were fabricated through die compaction of powders and subsequent sintering at 580 °C. Valve seat inserts were also fabricated through the gravity die casting process. The Rockwell hardness, density, radial crushing load and surface roughness of the Al-SiC_p composites (with different wt % of SiC_p) and steel valve seat inserts presently used in engines were measured and compared. The Rockwell hardness and radial crushing load for Al-15, 20, and 25wt% of SiC_p composite valve seat inserts were higher than that of the steel valve seat inserts presently used in engines. The microstructure of the cast and powder metal Al-SiC_p composites was also studied.     

新一代特高压导线悬垂线夹

为向家坝-上海±800kV直流线路设计和试验了新一代特高压导线悬垂线夹--预绞式悬垂线夹。能耗和使用寿命是线路金具的2个关键指标。预绞式悬垂线夹具有节能特点,而且具有独特的结构,能够减小作用在导线上的静态应力(拉应力、压应力和弯曲应力)和动态应力,使得特高压线路的悬垂线夹与导线同寿命。按照全寿命周期来考量,预绞式悬垂线夹具有成本优势。     

Software model checking without source code

We present a framework, called air, for verifying safety properties of assembly language programs via software model checking. air extends the applicability of predicate abstraction and counterexample guided abstraction refinement to the automated verification of low-level software. By working at the assembly level, air allows verification of programs for which source code is unavailable—such as legacy and COTS software—and programs that use features—such as pointers, structures, and object-orientation—that are problematic for source-level software verification tools. In addition, air makes no assumptions about the underlying compiler technology. We have implemented a prototype of air and present encouraging results on several non-trivial examples.     

Granulometric analyses of basin‐wise DEMs: a comparative study

Digital elevation models (DEMs) are very useful for terrain characterization. We apply a morphological approach to characterize 14 sub‐basins decomposed from interferometrically generated DEMs of Cameron Highlands and Petaling regions of Peninsular Malaysia. Physiographically, these two regions possess a distinct geomorphologic set‐up as they belong to region with higher and lower altitudes, respectively. Fourteen sub‐basins are extracted from the DEMs, and pattern spectra by opening and closing of these sub‐basins relative to flat discrete binary patterns (square, octagon and rhombus) are computed. Pattern spectra are used to compute probability size distribution functions of both protrusions and intrusions that are conspicuous in topography, based on which shape‐size complexity measures of these sub‐basins are estimated by means of average roughness and size. Furthermore, fractal dimensions of channel networks derived from these 14 basins are computed by applying the box‐counting method. Comparisons between shape‐size complexity measures and fractal dimension are carried out.     

Using UML/MARTE to support performance tuning and stress testing in real-time systems

Real-time embedded systems (RTESs) operating in safety-critical domains have to satisfy strict performance requirements in terms of task deadlines, response time, and CPU usage. Two of the main factors affecting the satisfaction of these requirements are the configuration parameters regulating how the system interacts with hardware devices, and the external events triggering the system tasks. In particular, it is necessary to carefully tune the parameters in order to ensure a satisfactory trade-off between responsiveness and usage of computational resources, and also to stress test the system with worst-case inputs likely to violate the requirements. Performance tuning and stress testing are usually manual, time-consuming, and error-prone processes, because the system parameters and input values range in a large domain, and their impact over performance is hard to predict without executing the system. In this paper, we provide an approach, based on UML/MARTE, to support the generation of system configurations predicted to achieve a satisfactory trade-off between response time and CPU usage, and stress test cases that push the system tasks to violate their deadlines. First, we devise a conceptual model that specifies the abstractions required for analyzing task deadlines, response time, and CPU usage, and provide a mapping between these abstractions and UML/MARTE. Then, we prune the UML/MARTE metamodel to only contain a purpose-specific subset of entities needed to support performance tuning and stress testing. The pruned version is a supertype of UML/MARTE, which ensures that all instances of the pruned metamodel are also instances of UML/MARTE. Finally, we cast the generation of configurations and stress test cases as two constrained optimization problems (COPs) over our conceptual model. The input data for these COPs in automatically generated via a model-to-text (M2T) transformation from models specified in the pruned UML/MARTE metamodel to the Optimization Programming Language. We validate our approach in a safety-critical RTES from the maritime and energy domain, showing that (1) our conceptual model can be applied in an industrial setting with reasonable effort, and (2) the optimization problems effectively identify configurations predicted to minimize response time and CPU usage, and stress test cases that maximize deadline misses. Based on our experience, we highlight challenges and potential issues to be aware of when using UML/MARTE to support performance tuning and stress testing in an industrial context.