Hydraulic characterization of the full scale divertor cassette prototype

In the frame of the activities related to ITER divertor R&D, ENEA C.R. Brasimone was in charge by Fusion For Energy (F4E) to perform the assembly, the hydraulic tests and the theoretical simulation of the hydraulic behavior of the full scale divertor cassette prototype. The objective of these activities was aimed at the investigation of the thermal-hydraulic behavior of the full-scale divertor cassette both under steady state condition and during draining and drying operational transient. In particular, the steady state tests were focused on finally check whether the hydraulic design of the divertor components is able to ensure a uniform and proper cooling for the plasma facing components, with an acceptable pressure drop; whilst the transient ones were aimed at defining proper procedures for draining and drying the divertor cassette as well as for refilling it with water.This paper presents the results of the steady state and transient hydraulic experimental test campaigns performed at ENEA C.R. Brasimone as well as the relevant numerical analysis performed at the Department of Nuclear Engineering of the University of Palermo adopting the RELAP5 Mod3.3 thermal-hydraulic system code.     

Tool-supported requirements prioritization: Comparing the AHP and CBRank methods

Requirements prioritization aims at identifying the most important requirements for a software system, a crucial step when planning for system releases and deciding which requirements to implement in each release. Several prioritization methods and supporting tools have been proposed so far. How to evaluate their properties, with the aim of supporting the selection of the most appropriate method for a specific project, is considered a relevant question.In this paper, we present an empirical study aiming at evaluating two state-of-the art tool-supported requirements prioritization methods, AHP and CBRank. We focus on three measures: the ease of use, the time-consumption and the accuracy. The experiment has been conducted with 23 experienced subjects on a set of 20 requirements from a real project. Results indicate that for the first two characteristics CBRank overcomes AHP, while for the accuracy AHP performs better than CBRank, even if the resulting ranks from the two methods are very similar. The majority of the users found CBRank the “overall best” method.     

Heat rejection pressure optimization for a carbon dioxide split system: An experimental study

Recent studies indicate carbon dioxide (R744) as a valid alternative to classical substances such as HFCs used in vapour compression plants. However a transcritical refrigeration cycle is needed because the critical temperature of carbon dioxide is usually near the ambient temperature. Consequently the carbon dioxide refrigerator performances are significantly influenced by the heat rejection pressure. In this paper an experimental investigation on working optimization for a “split-system” to cool air in residential applications is presented: by varying the heat rejection pressure an optimum working condition has been found at different ambient temperatures. Furthermore a simplified model to predict the optimum heat rejection pressure is shown and a comparison with experimental results is carried out. Both the model validation and the experimental results suggest that the heat rejection pressure optimization is an convenient method to improve the performance of a carbon dioxide split system. Finally an algorithm based on the aforementioned model has been proposed in order to control an electronic back pressure valve by means of a PLC.     

Experimental design of the kinetic resolution of a key precursor of high‐value bioactive myo‐inositols by an immobilized lipase

BACKGROUND: The response surface methodology was successfully applied to the optimization of the reaction variables for the kinetic resolution of a precursor of high‐value myo‐inositols, ( ± )‐1,2‐O‐isopropylidene‐3,6‐di‐O‐benzyl‐myo‐inositol (( ± )‐1), by Novozym 435. The resolutions were run separately, with two acylating agents, ethyl acetate and vinyl acetate, in a solvent‐free system. The variables analyzed were reaction temperature, substrate concentration, water concentration and enzyme activity. A statistical model was employed for the evaluation of the influence of the variables on conversion and enantiomeric excess (ee). RESULTS: The optimal conditions for this resolution using vinyl acetate as acylating agent were 45 °C, 5 mg mL^?1 of substrate, 71 U of enzyme activity and 0%w/w of water concentration. The high conversion (49.2 %) and ee (>99%) reached in the chemoenzymatic synthesis of acylated product, L‐(?)‐5‐O‐Acetyl‐3,6‐di‐O‐benzyl‐1,2‐O‐isopropylidene‐myo‐inositol, secure the efficient synthesis of the D enantiomorph present in the original racemic mixture (( ± )‐1) as well. CONCLUSIONS: The use of the experimental design strategy was productive, leading to a 14‐fold increase in the productivity of the reaction compared with the non‐optimized conditions. Both derivative L‐(?)‐2 and remaining substrate D‐(+)‐1 were obtained at high ee. © 2012 Society of Chemical Industry     

Modeling multi-rate DSP specification semantics for formal transformational design in HOL

The CATHEDRAL Silicon Compilers synthesize hardware for DSP algorithms specified in Silage, a high level applicative language. In order to optimize the results of the silicon compilation in terms of chip-area and/or throughput, the user often massages the specification applying transformations to the Silage code. To guarantee that the transformations preserve the behavior of the specified algorithm, the formal semantics of the specification language had to be defined. The semantics has been used to prove in HOL the correctness of the transformations and to prove properties of the specification. We are currently building a system where a menu of useful andcorrectness preserving transformations will be available to the user. In this system the user could choose appropriate transformations from the menu taking advantage of his creativity and expertise to interactively guide the silicon compiler, without the risk of introducing inconsistencies. This article describes the formalmulti-rate semantics of a substantial subset of Silage and illustrates some formally verified transformations.     

Proteolysates from slaughter-house blood

Previous studies have shown the anticlotting effect of papain on slaughter-house blood to be due to its proteolytic activity on fibrin. This has suggested its possible use in a protein recovery process. Blood proteolysate has been obtained using microbial proteases or papain; the haemolysis of the cells was then effected and the haem extracted with acidified acetone to decolourise the product.     

A Formal Model for Video Shot Segmentation and its Application via Animate Vision

The first step in a video indexing process is the segmentation of videos into meaningful parts called shots. In this paper we present a formal model of the video shot segmentation process. Starting from a mathematical characterization of the most common transition effects, a video segmentation algorithm capable to detect both abrupt and gradual transitions is proposed. The proposed algorithm is based on the computation of an arbitrary similarity measure between consecutive frames of a video. The algorithm has been tested adopting a similarity metric based on the Animate Vision theory and results have been reported.     

A new method to compare planned and achieved position of an orthopaedic implant

The present study describes an automatic method to evaluate the efficacy of a computer aided orthopaedic surgery system by comparing the position of the joint implant, as derived from post-operative computed tomography (CT) scans, to that planned by the surgeon before the operation. The method relies on two spatial registrations, one to align the post-operative femur with the pre-operative femur, the second to compute the planned versus achieved (PVA) accuracy as the roto-translation that registers the pre-operative implant position with the post-operative position. Two surface registration algorithms (a generic average distance minimisation and the specialised iterative closest point (ICP) method) were comparatively evaluated first on a set of test cases to measure the absolute accuracy and robustness with respect to peculiar situations such as a distant starting point. The average distance method failed the registration of one test case and showed peak errors of 0.97 degrees on the rotations and 3.09 mm on the translations. The ICP method was found much more efficient and was able to register all test cases. The peak error was 0.44 degrees on the rotations and 0.67 mm on the translations. The ICP method was then used to compute the PVA accuracy on six clinical cases treated with a CT-based planning system in combination with conventional surgical procedures. The method successfully processed all cases demonstrating the efficacy of the proposed procedure in the specific application.     

Detection of cyclic lipopeptide biomarkers from Bacillus species using atmospheric pressure matrix-assisted laser desorption/ionization mass spectrometry

A novel approach to microbial detection using atmospheric pressure matrix-assisted laser desorption/ionization with an ion trap mass spectrometer to analyze whole cell bacteria is introduced. This new approach was tested with lyophilized spores and cultures of Bacillus globigii (BG) grown on agar media for 4 days or longer. At each stage of growth, it was found that biomarkers, identified as cyclic lipopeptides known as fengycin and surfactin, could be detected by pulsed ultraviolet laser irradiation of intact BG cells (approximately 5 mg) cocrystallized with alpha-cyano-4-hydroxycinnamic acid. Furthermore, definitive amino acid sequence information was obtained by performing tandem mass spectrometry on the precursor ions of the cyclic lipopeptides. The investigation was broadened to include the examination of aerosolized BG spores collected from the atmosphere and directly deposited onto double-sided tape. Subsequent analysis of the recovered spores resulted in the production of mass peaks consistent with fengycin. Other Bacillus species were analyzed for comparison and showed mass spectral peaks also identified as originating from various cyclic lipopeptides. Further studies were conducted using a pulsed infrared laser as the excitation source to analyze BG cells (approximately 5 mg) suspended in a matrix of 0.03 M ammonium citrate and glycerol resulting in the production of ions characteristic of fengycin and surfactin.     

The emergence of communication in evolutionary robots

Evolutionary robotics is a biologically inspired approach to robotics that is advantageous to studying the evolution of communication. A new model for the emergence of communication is developed and tested through various simulation experiments. In the first simulation, the emergence of simple signalling behaviour is studied. This is used to investigate the inter-relationships between communication abilities, namely linguistic production and comprehension, and other behavioural skills. The model supports the hypothesis that the ability to form categories from direct interaction with an environment constitutes the grounds for subsequent evolution of communication and language. In the second simulation, evolutionary robots are used to study the emergence of simple syntactic categories, e.g. action names (verbs). Comparisons between the two simulations indicate that the signalling lexicon emerged in the first simulation follows the evolutionary pattern of nouns, as observed in related models on the evolution of syntactic categories. Results also support the language-origin hypothesis on the fact that nouns precede verbs in both phylogenesis and ontogenesis. Further extensions of this new evolutionary robotic model for testing hypotheses on language origins are also discussed.