同步语言的时间可预测多线程代码生成方法

能够提供更强计算能力的多核处理器将在安全关键系统中得到广泛应用.但是,由于现代处理器所使用的流水线、乱序执行、动态分支预测、Cache等性能提高机制以及多核之间的资源共享,使得系统的最坏执行时间分析变得非常困难.为此,国际学术界提出时间可预测系统设计的思想,以降低系统的最坏执行时间分析难度.已有研究主要关注硬件层次及其编译方法的调整和优化,而较少关注软件层次,即时间可预测多线程代码的构造方法以及到多核硬件平台的映射.本文提出一种基于同步语言模型驱动的时间可预测多线程代码生成方法,并对代码生成器的语义保持进行证明;提出一种基于AADL(Architecture Analysis and Design Language)的时间可预测多核体系结构模型,作为本文研究的目标平台;最后,给出多线程代码到多核体系结构模型的映射方法,并给出系统性质的分析框架.     

Global and Local Mechanical Properties of Autogenously Laser Welded Ti-6Al-4V

Ti-6Al-4V sheets, 3.2-mm in thickness, were butt welded using a continuous wave 4 kW Nd:YAG laser welding system. The effect of two main process parameters, laser power and welding speed, on the joint integrity was characterized in terms of the joint geometry, defects, microstructure, hardness, and tensile properties. In particular, a digital image correlation technique was used to determine the local tensile properties of the welds. It was determined that a wide range of heat inputs can be used to fully penetrate the Ti-6Al-4V butt joints during laser welding. At high laser power levels, however, significant defects such as underfill and porosity, can occur and cause marked degradation in the joint integrity and performance. At low welding speeds, however, significant porosity occurs due to its growth and the potential collapse of instable keyholes. Intermediate to relatively high levels of heat input allow maximization of the joint integrity and performance by limiting the underfill and porosity defects. In considering the effect of the two main defects on the joint integrity, the underfill defect was found to be more damaging to the mechanical performance of the weldment than the porosity. Specifically, it was determined that the maximum tolerable underfill depth for Ti-6Al-4V is approximately 6 pct of the workpiece thickness, which is slightly stricter than the value of 7 pct specified in AWS D17.1 for fusion welding in aerospace applications. Hence, employing optimized laser process parameters allows the underfill depth to be maintained within the tolerable limit (6 pct), which in turn prevents degradation in both the weld strength and ductility. To this end, the ability to maintain weld ductility in Ti-6Al-4V by means of applying a high energy density laser welding process presents a significant advantage over conventional arc welding for the assembly of aerospace components.     

Microwave synthesis of mesoporous Cu-Ce0.8Sm0.2O2−δ composite anode for low-temperature ceramic fuel cells

In recent year, new nanocomposite electrolytes materials have been developed for low-temperature ceramic fuel cells (CFCs). To further improve the performance of CFCs based on the nanocomposite electrolyte, compatible active anode with sufficient low polarizations is needed. To improve the performance of anode, i.e. to enlarge tripe phase boundaries (TPB), anode materials with both porous structure and phase homogeneity of metal and ceramic are preferred. In the present study, we developed a novel microwave-assisted template-, surfactant-free synthesis route for mesoporous CuO–Ce_0.8Sm_0.2O_2−δ composite anode by homogeneous precipitation of microspherical precursor in aqueous solutions followed by calcination. The composite anode sample was characterized by thermogravimetry analysis, X-ray diffraction, SEM, EDX, etc. The characterization results indicated that CuO–SDC composite anode with mesoporous structure was prepared and both SDC and CuO phases were homogenously distributed. Fuel cells have been constructed using as-prepared composite as anodes and lithiated NiO as cathode based on the SDC–carbonate nanocomposite electrolyte. Fuel cell performance tests indicated that the cell with mesoporous Cu–SDC anode had better performance than conventional Cu–SDC anode prepared by solid-state method.     

Thermal stability study of SDC/Na2CO3 nanocomposite electrolyte for low-temperature SOFCs

The novel core–shell nanostructured SDC/Na₂CO₃ composite has been demonstrated as a promising electrolyte material for low-temperature SOFCs. However, as a nanostructured material, stability might be doubted under elevated temperature due to their high surface energy. So in order to study the thermal stability of SDC/Na₂CO₃ nanocomposite, XRD, BET, SEM and TGA characterizations were carried on after annealing samples at various temperatures. Crystallite sizes, BET surface areas, and SEM results indicated that the SDC/Na₂CO₃ nanocomposite possesses better thermal stability on nanostructure than pure SDC till 700 °C. TGA analysis verified that Na₂CO₃ phase exists steadily in the SDC/Na₂CO₃ composite. The performance and durability of SOFCs based on SDC/Na₂CO₃ electrolyte were also investigated. The cell delivered a maximum power density of 0.78 W cm⁻² at 550 °C and a steady output of about 0.62 W cm⁻² over 12 h operation. The high performances together with notable thermal stability make the SDC/Na₂CO₃ nanocomposite as a potential electrolyte material for long-term SOFCs that operate at 500–600 °C.     

Effect of Postweld Heat Treatment on Microstructure, Hardness, and Tensile Properties of Laser-Welded Ti-6Al-4V

The effects of postweld heat treatment (PWHT) on 3.2-mm- and 5.1-mm-thick Ti-6Al-4V butt joints welded using a continuous wave (CW) 4-kW Nd:YAG laser welding machine were investigated in terms of microstructural transformations, welding defects, and hardness, as well as global and local tensile properties. Two postweld heat treatments, i.e., stress-relief annealing (SRA) and solution heat treatment followed by aging (STA), were performed and the weld qualities were compared with the as-welded condition. A digital image correlation technique was used to determine the global tensile behavior for the transverse welding samples. The local tensile properties including yield strength and maximum strain were determined, for the first time, for the laser-welded Ti-6Al-4V. The mechanical properties, including hardness and the global and local tensile properties, were correlated to the microstructure and defects in the as-welded, SRA, and STA conditions.     

A new intrusion detection system using support vector machines and hierarchical clustering

Whenever an intrusion occurs, the security and value of a computer system is compromised. Network-based attacks make it difficult for legitimate users to access various network services by purposely occupying or sabotaging network resources and services. This can be done by sending large amounts of network traffic, exploiting well-known faults in networking services, and by overloading network hosts. Intrusion Detection attempts to detect computer attacks by examining various data records observed in processes on the network and it is split into two groups, anomaly detection systems and misuse detection systems. Anomaly detection is an attempt to search for malicious behavior that deviates from established normal patterns. Misuse detection is used to identify intrusions that match known attack scenarios. Our interest here is in anomaly detection and our proposed method is a scalable solution for detecting network-based anomalies. We use Support Vector Machines (SVM) for classification. The SVM is one of the most successful classification algorithms in the data mining area, but its long training time limits its use. This paper presents a study for enhancing the training time of SVM, specifically when dealing with large data sets, using hierarchical clustering analysis. We use the Dynamically Growing Self-Organizing Tree (DGSOT) algorithm for clustering because it has proved to overcome the drawbacks of traditional hierarchical clustering algorithms (e.g., hierarchical agglomerative clustering). Clustering analysis helps find the boundary points, which are the most qualified data points to train SVM, between two classes. We present a new approach of combination of SVM and DGSOT, which starts with an initial training set and expands it gradually using the clustering structure produced by the DGSOT algorithm. We compare our approach with the Rocchio Bundling technique and random selection in terms of accuracy loss and training time gain using a single benchmark real data set. We show that our proposed variations contribute significantly in improving the training process of SVM with high generalization accuracy and outperform the Rocchio Bundling technique.     

The effect of microstructure on the permeability of metallic foams

Pressure drop was measured across complex and simple structure metallic foams at different velocity ranges using air as working fluid. Darcian and non-Darcian permeability parameters, K and C, were determined by fitting experimental data with widely accepted quadratic model of Hazen-Dupuit-Darcy. Generally, the experimental results are in good agreement with the model. The differences in K and C values between the two types of metallic foams are due to the different microstructure. For the simple structure specimens, permeability K increased whereas non-Darcian permeability C decreased with increasing pore diameter. The effect of pore size on the permeability of complex structure metallic foams seems to be opposite to that observed with the simple structure specimens and to results reported by other researchers on other porous medium. This discrepancy mainly stems from the differences in window concentration in addition to some heterogeneity in the foam that impeded the gas flow on one side of the specimens. The difference in pressure drop observed in the different metallic foams is due to combined effect of K and C. However, for simple structure foams, K and C could be predicted by Ergun-like model using appropriate values for the empirical constants. The permeability K is significantly affected by pore size and porosity. The quadratic term of Hazen-Dupuit-Darcy equation is mainly due to the inertia of the flow and partially to the drag exerted by the microstructure of the metallic foam. For both foams, as the porosity increases, pressure drop decreases and permeability, K, increases. The introduction of the open cross sectional area term enabled better understanding of the permeability of metallic foams with intricate morphologies.     

Thermodynamic and Experimental Study of the Mg-Sn-Ag-In Quaternary System

Phase equilibria in the Mg-rich region of the Mg-Sn-Ag ternary system were determined by quenching experiments, differential scanning calorimetry, electron probe micro-analysis, and X-ray diffraction techniques. No ternary compounds were found in the studied isothermal sections. A critical evaluation of the available experimental data and a thermodynamic optimization of the Mg-Sn-Ag-In quaternary system were carried out using the calculation of phase diagrams method. The modified quasichemical model in the pair approximation was used for the liquid solution, which exhibits a high degree of short-range order. The solid phases were modeled with the compound energy formalism. All available and reliable experimental data were reproduced within experimental error limits. A self-consistent thermodynamic database was constructed for the Mg-Sn-Ag-In quaternary system, which can be used as a guide for Mg-based alloys development.     

EXTRACTION KINETICS OF COPPER BY TRILAURYLAMMONIUM CHLORIDE IN TOLUENE FROM AQUEOUS CHLORIDE MEDIA

Abstract

The rate of extraction of copper(II) from aqueous chloride solutions by tri-n-laurylammonium chloride (TLAHC1) dissolved in toluene has been investigated. The extraction rate was evaluated as function of the chemical composition of the system. The experiments were performed by using a stirred cell with constant inter-facial area. The experiments were performed at a stirring rate of the two phases where the influence of film diffusion is minimized. The data have been interpreted by a mechanism which assumes interfacial chemical reactions between the bulk species containing copper(II) and the molecules of TLAHC1 absorbed at the interface as rate determining.