When deploying TTCN-3 at Nokia, we converted two TTCN-2 test systems to TTCN-3. We explain to which extend we have been able
to do the conversion automatically. The conversion tool used provided a syntactically and semantically correct conversion
of the TTCN-2 code. We define some improvements made on the tool to increase readability and maintainability of the resulting
code. We cover aspects of converting also the non-TTCN-2 parts and describe the experiences we made as a set of lessons learnt. 相似文献
Hydrogen free amorphous carbon coatings ‐ deposited with plasma‐activated high‐rate evaporation By using the technology of the plasmaactivated electron beam evaporation we deposited hydrogen free amorphous carbon coatings with deposition rates of up to 100 μm/h. The results of the mechanical and tribological investigations show the potential of these layers for the use in case of wear resistance. Hardnesses of up to 16GPa were proved. The actual state of the characterisation of the coatings is described and the outlook onto possibilities of further optimisation is given. 相似文献
Numerical simulations are used to estimate the dynamic behavior of new concepts of forming presses as well as to improve the
dynamic properties of existing machines. These simulations are to be parametrized with appropriate values in order to yield
most accurate results. In many cases neither the way of building up the simulation model for the specific problem nor an appropriate
method for gathering the needed date are given in advance. Regarding these facts this paper intends both to characterize the
way of building up complex simulation models by using basic simulation modules and to describe methods for the identification
of the needed parameters that work even under conditions that hitherto made parameter identifications impossible or at least
very time-consuming. In this context recent developments in simulating press dynamics will also be characterized as new modal
analysis methods that are not yet established in the field of forming technique.
The research activities were financed by the European Research Association for Sheet Metal Working. 相似文献
Brillouin scattering (BS), photon correlation spectroscopy (PCS), and ultrasonic (US) measurements were conducted to study the curing process of diglycidyl ether of bisphenol A with butane-1,4-diol at a curing temperature of 100°C. The experimental techniques probe the primary glass-rubber transition during the curing reaction. The primary relaxation time τ obtained from the BS and US velocity and absorption increases with curing time and hence the BS experiment measures τ at earlier stages of cure than the US experiment. The relaxation times at a different extent of reaction and for different measuring temperatures are consistent with BS, US, PCS, and DSC measurements and conform to a single reduced Vogel–Fulcher–Hesse–Tamann equation. Furthermore, the US experiments show evidence of secondary relaxations in the epoxy system. 相似文献
The current paper examined the relationship between perceived characteristics of the learning environment in an e‐module in relation to test performance among a group of e‐learners. Using structural equation modelling, the relationship between these variables is further explored in terms of the proposed double mediation as outlined by Ning and Downing. These authors initially proposed that motivation and self‐regulation strategies are mediators between the perception of the learning environment and performance. In our replication and extension study, we substituted self‐reported self‐regulation with behavioural indicators of self‐regulation using navigation log files and focused on test‐taking rather than general motivation. We proposed that navigational patterns captured using log files can also help deduce self‐regulation in e‐modules and provide information in the absence of self‐reports. Path analyses provide partial support for our navigational hypotheses and the model. Implications of our results for the use of e‐module data and conclusions based on navigation are discussed. 相似文献
The exponential growth of Internet during the last decade leads us to make more efforts in the researching and developing of sustainable Web servers in order to decrease the global energy demand. In this paper, we cover, as a first step, a proper review of the literature related to the energy efficiency research in Web server systems to depict the state of the art to plan further contributions as more research in sustainable Web systems. We also propose and implement an energy metric that permits to establish a relation between the Quality of Service (QoS) obtained by the system and the power it consumes. 相似文献
This work addresses the reduction of NOx by H2 under O2-rich conditions using Al2O3/SiO2-supported Pt catalysts with different loads of WOx promotor. The samples were thoroughly characterised by N2 physisorption, temperature-programmed desorption of CO, scanning electron microscopy, X-ray diffraction, laser raman spectroscopy, X-ray photoelectron spectroscopy and diffuse reflectance infrared fourier transform spectroscopy with probe molecule CO. The catalytic studies of the samples without WOx showed pronounced NOx conversion below 200 °C, whereas highest efficiency was related to small Pt particles. The introduction of WOx provided increasing deNOx activity as well as N2 selectivity. This promoting effect was referred to an additional reaction path at the Pt-WOx/Al2O3/SiO2 interface, whereas an electronic activation of Pt by strong metal support interaction was excluded.
Droplet-based microfluidic allows high throughput experimentation in with low volume droplets. Essential fluidic process steps are on the one hand the proper control of the droplet composition and on the other hand the droplet processing, manipulation and storage. Beside integrated fluidic chips, standard PTFE-tubings and fluid connectors can be used in combination with appropriate pumps to realize almost all necessary fluidic processes. The segmented flow technique usually operates with droplets of about 100–500 nL volume. These droplets are embedded in an immiscible fluid and confined by channel walls. For the integration of segmented flow applications in established research workflows—which are usually base on microtiter plates—robotic interface tools for parallel/serial and serial/parallel transfer operations are necessary. Especially dose–response experiments are well suited for the segmented flow technique. We developed different transfer tools including an automated “gradient take-up tool” for the generation of segment sequences with gradually changing composition of the individual droplets. The general working principles are introduced and the fluidic characterizations are given. As exemplary application for a dose–response experiment the inhibitory effect of antibiotic tetracycline on Escherichia coli bacteria cultivated inside nanoliter droplets was investigated. 相似文献
In this paper we address the safety analysis of chemical plants controlled by programmable logic controllers (PLCs). We consider a specification of the control program of the PLCs, extended with the specification of the dynamic plant behavior. The resulting hybrid models can be transformed to hybrid automata, for which advanced techniques for reachability analysis exist. However, the hybrid automata models are often too large to be analyzed. We propose two counterexample-guided abstraction refinement (CEGAR) approaches to keep the size of the hybrid models moderate. 相似文献