排序方式: 共有38条查询结果,搜索用时 15 毫秒
1.
Nirvana Delgado Otalvaro Pembe Gül Bilir Karla Herrera Delgado Stephan Pitter Jörg Sauer 《化学,工程师,技术》2021,93(5):754-761
Artificial neural networks (ANNs) are designed and implemented to model the direct synthesis of dimethyl ether (DME) from syngas over a commercial catalyst system. The predictive power of the ANNs is assessed by comparison with the predictions of a lumped model parameterized to fit the same data used for ANN training. The ANN training converges much faster than the parameter estimation of the lumped model, and the predictions show a higher degree of accuracy under all conditions. Furthermore, the simulations show that the ANN predictions are also accurate even at some conditions beyond the validity range. 相似文献
2.
Reducing model checking commitments for agent communication to model checking ARCTL and GCTL* 总被引:1,自引:0,他引:1
Mohamed El Menshawy Jamal Bentahar Warda El Kholy Rachida Dssouli 《Autonomous Agents and Multi-Agent Systems》2013,27(3):375-418
Social commitments have been extensively and effectively used to represent and model business contracts among autonomous agents having competing objectives in a variety of areas (e.g., modeling business processes and commitment-based protocols). However, the formal verification of social commitments and their fulfillment is still an active research topic. This paper presents CTLC+ that modifies CTLC, a temporal logic of commitments for agent communication that extends computation tree logic (CTL) logic to allow reasoning about communicating commitments and their fulfillment. The verification technique is based on reducing the problem of model checking CTLC+ into the problem of model checking ARCTL (the combination of CTL with action formulae) and the problem of model checking GCTL* (a generalized version of CTL* with action formulae) in order to respectively use the extended NuSMV symbolic model checker and the CWB-NC automata-based model checker as a benchmark. We also prove that the reduction techniques are sound and the complexity of model checking CTLC+ for concurrent programs with respect to the size of the components of these programs and the length of the formula is PSPACE-complete. This matches the complexity of model checking CTL for concurrent programs as shown by Kupferman et al. We finally provide two case studies taken from business domain along with their respective implementations and experimental results to illustrate the effectiveness and efficiency of the proposed technique. The first one is about the NetBill protocol and the second one considers the Contract Net protocol. 相似文献
3.
Cunningham CE Bruce BS Snowdon AW Chen Y Kolga C Piotrowski C Warda L Correale H Clark E Barwick M 《Accident; analysis and prevention》2011,43(6):1999-2009
Automobile crashes are the leading cause of death in children aged 1–14 years. Many children, however, are not properly restrained in safety seats that reduce serious injury and death. This study used a discrete choice conjoint experiment to study factors influencing the decision to use booster seats. Parents of 1714 children aged 4–9 years from nine Canadian provinces completed choice tasks presenting experimentally varied combinations of 15 4-level booster seat promotion attributes. Latent class analysis yielded three segments of parents. The choices of the Benefit Sensitive segment (50%) were most sensitive to the injury prevention benefits of booster seats. The choices of parents in the Context Sensitive segment (33.5%) were more likely to be influenced by installation complexity, oppositional behavior, and the prospect that their child may be teased for riding in booster seats. Parents in the High Risk segment (16.5%) were younger, less educated, and less knowledgeable about vehicle safety legislation. They anticipated fewer benefits, expected more barriers and were less likely to use booster seats. Simulations suggest that consistent enforcement coupled with advertising focusing on injury prevention and the use of booster seats by other parents would increase adoption. 相似文献
4.
Correction of drop foot is normally achieved by electrical stimulation of the common peroneal nerve by sending a series of pulses at a given frequency and duration. This article presents the design of a low-cost, programmable, portable, and high performance stimulator, designed at the Near East University. The stimulator, called the NEU-Stim, has been designed to correct the drop foot problems. For this purpose, a foot sensor, microcontroller, and electrodes are used in the design of the stimulator. The frequency, duty cycle, and the amplitude of the output waveform can easily be controlled using switches. The device is currently in experimental stage, and because of its low-cost it should find applications in developing countries after it has been completely assessed. Preliminary results on patients have shown that the device can correct the drop foot, and help patients to walk faster and more comfortably. 相似文献
5.
Jun Jin Yue Wang Hang Su Pembe Warda Dan Xie Yijun Liu 《International Journal of Food Properties》2017,20(11):2817-2829
Trans-free mango kernel fat stearins and oleins were produced by three-stage acetone fractionation to achieve the sufficient utilization of fat. Fatty acid and triacylglycerol compositions, slip melting points, iodine values, micronutrient (tocopherol, sterol, and squalene) levels, as well as oxidative stability indexes of the fractions were analyzed to evaluate their qualities. The most abundant fatty acids in the stearins were saturated fatty acids (57.3–65.1%, mainly including palmitic, stearic, and arachidic acids), and the major triacylglycerols were symmetrical monounsaturated types (78.3–93.7%). The unique properties make the stearins show highest slip melting points 34.7–38.3°C and oxidative stability indexes (12.0–14.2 h), and very suitable for the manufacturing of hard chocolate fats. The oleins contained high percentages of monounsaturated (48.3–53.7%) and polyunsaturated fatty acids (7.8–8.5%). Their oxidative stability indexes (6.3–6.7 h) were lower than the stearins but higher than common commercial oils. About 85.2% of tocopherol, 99.2% of sterol, and 79.2% of squalene were transferred to the liquids after fractionation, which could improve their antioxidant abilities. Further multiple linear regression analyses between oxidative stability indexes and fat compositions revealed that polyunsaturated fatty acid and sterol were the main factors that affect the oxidative stabilities of the fractions. The results suggested that the moderated refining techniques should be developed to retain more sterol to improve the oxidative stabilities and nutritive values of the fats. 相似文献
6.
Particle In-Flight and Coating Properties of Fe-Based Feedstock Materials Sprayed with Modern Thermal Spray Systems 总被引:2,自引:0,他引:2
Kirsten Bobzin Nils Kopp Thomas Warda Ivica Petkovic Marcel Schaefer Klaus Dieter Landes Guenter Forster Stephan Zimmermann Jose-Luis Marques Stefan Kirner Marina Kauffeldt Jochen Schein 《Journal of Thermal Spray Technology》2013,22(2-3):363-370
New developments in the field of thermal spraying systems (increased particle velocities, enhanced process stability) are leading to improved coatings. Innovations in the field of feedstock materials are supporting this trend. The combination of both has led to a renaissance of Fe-based feedstocks. Using modern APS or HVOF systems, it is now possible to compete with classical materials for wear and corrosion applications like Ni-basis or metal-matrix composites. This study intends to give an analysis of the in-flight particle and spray jet properties achievable with two different modern thermal spraying systems using Fe-based powders. The velocity fields are measured with the Laser Doppler Anemometry. Resulting coatings are analyzed and a correlation with the particle in-flight properties is given. The experiments are accompanied by computational fluid dynamics simulations of spray jet and particle velocities, leading to a comprehensive analysis of the achievable particle properties with state-of-the-art HVOF and APS systems. 相似文献
7.
Letters to the Editor
Response to query about fire deaths in Russia 相似文献8.
Models, which are developed to determine the effective properties of thermal spray coatings, require the material properties of each constituent of the coating as well as the information about the spatial positions and the geometries of these constituents as input parameters. The complex microstructure of thermally sprayed Yttria-stabilized zirconia (YSZ) coatings consists of irregular voids which are distributed non-uniformly in the coating. It is a common practice in the literature to employ two-dimensional (2D) cross-sectional images of the coatings to derive the geometrical model of the microstructure and conduct the simulations in 2D. In the context of this study, contrary to the 2D approach, a new three-dimensional (3D) reconstruction approach has been developed to model the microstructure of thermally sprayed coatings in 3D. The effective properties of an YSZ coating have been calculated by means of asymptotic homogenization and virtual testing methods. The results of the models, which have been conducted in 2D and 3D, are compared with each other. Finally, the capabilities of these methods with respect to the modeling approach (in 3D and in 2D) are analyzed on the basis of reference measurements. 相似文献
9.
10.
Kirsten Bobzin Lidong Zhao Thomas Schlaefer Thomas Warda 《Frontiers of Mechanical Engineering in China》2010,5(3):256-260
In the present study, samples of aluminium alloy 6060 were coated by cold spraying with a powder of brazing alloy Al12Si.
The influence of the process gas temperature on particle velocities and coating build-up was investigated. The coated samples
were heat-treated in air and under argon atmosphere to investigate the wetting behaviour of the deposited Al12Si and the diffusion
processes between Al12Si coatings and substrates. Coated samples were brazed flux-free under argon atmosphere by an induction
heating system. The microstructure of the coated, heat-treated, and brazed samples was investigated. The shear strength of
the brazed joints was determined. The results show that the brazing alloy Al12Si could be very well deposited on the substrate
by cold spraying. The particle velocity increased with increasing process temperature. Correspondingly, the thickness of Al12Si
coatings increased with increasing process temperature. The heat treatments showed that a very good metallurgical bond between
the Al12Si coatings and the substrate could be realized by the deposition using cold spraying. The coated samples could be
well brazed without fluxes. The coating thickness and overlap width influenced the shear strength of the brazed joints. The
highest shear strength of brazed joints amounts to 80 MPa. 相似文献