Would it be necessary to charge rapidly the electric vehicle (EV) and hybrid electric vehicle (HEV)? It is not easy to answer without a thorough look at the capability of the modern propulsion battery and the power necessities of the EV and HEV. The different possible solutions are compared and maximum speed of charging is analysed. The wired connection for charging is compared to the wireless energy transfer and because of the limitations imposed by the modern and future batteries, the contactless energy transfer is chosen as the future charging method.

Recent issues of global heating and energy shortages are imposing a need to change our paradigm around transportation. Somehow, electric vehicles are progressively standing as a strong and necessary alternative for the society. Technically and technologically the acceptance of the EV is easier now than ever but the psychology of the consumers and the running business of internal combustion vehicles, the whole existing infrastructure are too much conservative to be changed easily. The changes in technology require changes in the engineering society and its human resources. The objective of this paper is to give a contribution to the discussion and reflection of potential future scenarios where EV?HEV?s are spread across the society. It gives an overview of the range of knowledge and competences necessary for a sustainable and streamlined development of those. In fact, it is expected that a new kind of professional profiles need to be created or developed to supply the work market with the right human resources. The paper provides some discussion on the creation of new profiles or adaption of existing ones. Among different possible scenarios the creation of post-graduation courses for students holding undergraduate profiles in the fields referred to earlier would be an interesting and viable solution for fast response. The post graduation would be focused in specific key areas of the EV?HEV. Several factors are pointed out to endorse this scenario

n/a

n/a

n/a

n/a

n/a

n/a

n/a

Transactional Memory allows programmers to reduce the number of synchronization errors introduced in concurrent programs, but does not ensures its complete elimination. This paper proposes a pattern matching based approach to the static detection of atomicity violation, based on a path-sensitive symbolic execution method to model four anomalies that may affect Transactional Memory programs. The proposed technique may be used to to bring to programmer's attention pairs of transactions that the programmer has mis-specified, and should have been combined into a single transaction. The algorithm first traverses the AST tree, removing all the non-transactional blocks and generating a trace tree in the path sensitive manner for each thread. The trace tree is a Trie like data structure, where each path from root to a leaf is a list of transactions. For each pair of threads, erroneous patterns involving two consecutive transactions are then checked in the trace tree. Results allow to conclude that the proposed technique, although triggering a moderate number of false positives, can be successfully applied to Java programs, correctly identifying the vast majority of the relevant erroneous patterns.

n/a

Programs containing concurrency anomalies will most probably exhibit harmful erroneous and unpredictable behaviors. To ensure program correctness, the sources of those anomalies must be located and corrected. Concurrency anomalies in Transactional Memory (TM) programs should also be diagnosed and fixed. In this paper we propose a framework to deal with two different categories of concurrency anomalies in TM. First, we will address low-level TM anomalies, also called dataraces, which arise from executing programs in weak isolation. Secondly, we will address high-level TM anomalies, also called high-level dataraces, bringing the programmers attention to pairs of transactions that the programmer has misspecified, and should have been combined into a single transaction. Our framework was validated against a set of programs with well known anomalies and demonstrated high accuracy and effectiveness, thus contributing for improving the correctness of TM programs

Macromolecular X-ray crystallography is an important and powerful technique in drug discovery, used by pharmaceutical companies in the discovery process of new medicines. The detailed analysis of crystal structures of protein-ligand complexes allows the study of the specific interactions of a particular drug with its protein target at the atomic level. It is used to design and improve drugs. The starting point of these studies is the preparation of suitable crystals of complexes with potential ligands, which can be achieved by using different strategies described in this chapter. In addition, an introduction to X-ray crystallography is given, highlighting the fundamental steps necessary to determine the three-dimensional structure of protein-ligand complexes, as well as some of the tools and criteria to validate crystal structures available in databases.

Transactional Memory allows programmers to reduce the number of synchronization errors introduced in concurrent programs, but does not ensures its complete elimination. This paper proposes a pattern matching based approach to the static detection of atomicity violation, based on a path-sensitive symbolic execution method to model four anomalies that may affect Transactional Memory programs. The proposed technique may be used to to bring to programmer’s attention pairs of transactions that the programmer has mis-specified, and should have been combined into a single transaction. The algorithm first traverses the AST tree, removing all the non-transactional blocks and generating a trace tree in the path sensitive manner for each thread. The trace tree is a Trie like data structure, where each path from root to a leaf is a list of transactions. For each pair of threads, erroneous patterns involving two consecutive transactions are then checked in the trace tree. Results allow to conclude that the proposed technique, although triggering a moderate number of false positives, can be successfully applied to Java programs, correctly identifying the vast majority of the relevant erroneous patterns.

n/a

n/a

n/a

n/a

n/a

The effect of kefir grains on the proteolysis of major milk proteins in milk kefir and in a culture of kefir grains in pasteurized cheese whey was followed by reverse phase-HPLC analysis. The reduction of kappa-, alpha-, and beta-caseins (CN), alpha-lactalbumin (alpha-LA), and beta-lactoglobulin (beta-LG) contents during 48 and 90 h of incubation of pasteurized milk (100 mL) and respective cheese whey with kefir grains (6 and 12 g) at 20 degrees C was monitored. Significant proteolysis of alpha-LA and kappa-, alpha-, and beta-caseins was observed. The effect of kefir amount (6 and 12 g/100 mL) was significant for alpha-LA and alpha- and beta-CN. alpha-Lactalbumin and beta-CN were more easily hydrolyzed than alpha-CN. No significant reduction was observed with respect to beta-LG concentration for 6 and 12 g of kefir in 100 mL of milk over 48 h, indicating that no significant proteolysis was carried out. Similar results were observed when the experiment was conducted over 90 h. Regarding the cheese whey kefir samples, similar behavior was observed for the proteolysis of alpha-LA and beta-LG: alpha-LA was hydrolyzed between 60 and 90% after 12 h (for 6 and 12 g of kefir) and no significant beta-LG proteolysis occurred. The proteolytic activity of lactic acid bacteria and yeasts in kefir community was evaluated. Kefir milk prepared under normal conditions contained peptides from proteolysis of alpha-LA and kappa-, alpha-, and beta-caseins. Hydrolysis is dependent on the kefir: milk ratio and incubation time. beta-Lactoglobulin is not hydrolyzed even when higher hydrolysis time is used. Kefir grains are not appropriate as adjunct cultures to increase beta-LG digestibility in whey-based or whey-containing foods.

Programs containing concurrency anomalies will most probably exhibit harmful erroneous and unpredictable behaviors. To ensure program correctness, the sources of those anomalies must be located and corrected. Concurrency anomalies in Transactional Memory (TM) programs should also be diagnosed and fixed. In this paper we propose a framework to deal with two different categories of concurrency anomalies in TM. First, we will address low-level TM anomalies, also called dataraces, which arise from executing programs in weak isolation. Secondly, we will address high-level TM anomalies, also called high-level dataraces, bringing the programmer’s attention to pairs of transactions that the programmer has misspecified, and should have been combined into a single transaction. Our framework was validated against a set of programs with well known anomalies and demonstrated high accuracy and effectiveness, thus contributing for improving the correctness of TM programs

Rutile titanium dioxide TiO2 is used in a number of technological areas. Therefore, in surface science, it has become the most studied oxide surface. Water adsorption on rutile TiO2 (110) has been investigated using the X-ray photoelectron spectroscopy (XPS) and the work function study (WF): water adsorption induces formation of a dipole layer, which locally changes the work function. This can be experimentally observed as the onset shift of the secondary electron energy spectrum. While XPS seems to be insufficiently sensitive to monitor water adsorption on TiO2, there is a clear work function change undoubtedly attributed to the water adsorption. The measurements were done for different water vapour pressures, exposure times, sample temperatures and general surface conditions. Time evolutions of the work function change and the H2O partial pressure, enable us to successfully model the adsorption dynamics and help us understand the observed results. The analysis clearly shows existence of at least three different adsorption sites. Their interplay governs the work function time evolution, while the relative contributions depend on the surface temperature and, presumably, its topography. These results will be discussed in the light of several recent experimental and theoretical studies of this system done by other authors.

In this work the depth of interfaces in multilayered structures was estimated. The fractions of positron annihilation as function of the implantation energy were estimated from an S-W plot and then converted into a function of the sample depth through the positron implantation profile in the multilayer system computed from a reduced positron profile. The results of this method in Ti/Al samples are comparable to those using the common analysis based on positron diffusion equations. The positron analyses results were compared with SIMS profiles for the same samples.