Memory usage verification using Hip/Sleek.

Embedded systems often come with constrained memory footprints. It is therefore essential to ensure that software running on such platforms fulfils memory usage specifications at compile-time, to prevent memory-related software failure after deployment. Previous proposals on memory usage verification are not satisfactory as they usually can only handle restricted subsets of programs, especially when shared mutable data structures are involved. In this paper, we propose a simple but novel solution. We instrument programs with explicit memory operations so that memory usage verification can be done along with the verification of other properties, using an automated verification system Hip/Sleek developed recently by Chin et al.[10,19]. The instrumentation can be done automatically and is proven sound with respect to an underlying semantics. One immediate benefit is that we do not need to develop from scratch a specific system for memory usage verification. Another benefit is that we can verify more programs, especially those involving shared mutable data structures, which previous systems failed to handle, as evidenced by our experimental results

Sustainable Growth and Ethics: a Study of Business Ethics in Vietnam Between Business Students and Working Adults

Sustainable growth is not only the ultimate goal of business corporations but also the primary target of local governments as well as regional and global economies. One of the cornerstones of sustainable growth is ethics. An ethical organizational culture provides support to achieve sustainable growth. Ethical leaders and employees have great potential for positive influence on decisions and behaviors that lead to sustainability. Ethical behavior, therefore, is expected of everyone in the modern workplace. As a result, companies devote many resources and training programs to make sure their employees live according to the high ethical standards. This study provides an analysis of Vietnamese business students’ level of ethical maturity based on gender, education, work experience, and ethics training. The results of data from 260 business students compared with 704 working adults in Vietnam demonstrate that students have a significantly higher level of ethical maturity. Furthermore, gender and work experience are significant factors in ethical maturity. While more educated respondents and those who had completed an ethics course did have a higher level of ethical maturity, the results were not statistically significant. Analysis of the results along with suggestions and implications are provided

Continued fraction approximation for the nuclear matter response function

We use a continued fraction approximation to calculate the RPA response function of nuclear matter. The convergence of the approximation is assessed by comparing with the numerically exact response function obtained with a typical effective finite-range interaction used in nuclear physics. It is shown that just the first order term of the expansion can give reliable results at densities up to the saturation density value

General one-loop formulas for decay h→Zγh\rightarrow Z\gamma

Radiative corrections to the $h\rightarrow Z\gamma$ are evaluated in the one-loop approximation. The unitary gauge gauge is used. The analytic result is expressed in terms of the Passarino-Veltman functions. The calculations are applicable for the Standard Model as well for a wide class of its gauge extensions. In particular, the decay width of a charged Higgs boson $H^\pm \rightarrow W^\pm\gamma$ can be derived. The consistence of our formulas and several specific earlier results is shown.Comment: 33 pages, 3 figures, a new section (V) and references were improved in the published versio

Irreducible representations of Upq[gl(2/2)]

The two-parametric quantum superalgebra $U_{pq}[gl(2/2)]$ and its representations are considered. All finite-dimensional irreducible representations of this quantum superalgebra can be constructed and classified into typical and nontypical ones according to a proposition proved in the present paper. This proposition is a nontrivial deformation from the one for the classical superalgebra gl(2/2), unlike the case of one-parametric deformations.Comment: Latex, 8 pages. A reference added in v.

Pairing effect on the giant dipole resonance width at low temperature

The width of the giant dipole resonance (GDR) at finite temperature T in Sn-120 is calculated within the Phonon Damping Model including the neutron thermal pairing gap determined from the modified BCS theory. It is shown that the effect of thermal pairing causes a smaller GDR width at T below 2 MeV as compared to the one obtained neglecting pairing. This improves significantly the agreement between theory and experiment including the most recent data point at T = 1 MeV.Comment: 8 pages, 5 figures to be published in Physical Review

HerMES: The submillimeter spectral energy distributions of Herschel/SPIRE-detected galaxies

We present colours of sources detected with the Herschel/SPIRE instrument in deep extragalactic surveys of the Lockman Hole, Spitzer-FLS, and GOODS-N fields in three photometric bands at 250, 350 and 500 μm. We compare these with expectations from the literature and discuss associated uncertainties and biases in the SPIRE data. We identify a 500 μm flux limited selection of sources from the HerMES point source catalogue that appears free from neighbouring/blended sources in all three SPIRE bands. We compare the colours with redshift tracks of various contemporary models. Based on these spectral templates we show that regions corresponding to specific population types and redshifts can be identified better in colour-flux space. The redshift tracks as well as the colour-flux plots imply a majority of detected objects with redshifts at 1 < z < 3.5, somewhat depending on the group of model SEDs used. We also find that a population of sources with S_(250)/S_(350) < 0.8 at fluxes above 50 mJy as observed by SPIRE are not well represented by contemporary models and could consist of a mix of cold and lensed galaxies

Nonlinear Large Deflection Theory with Modified Aeroelastic Lifting Line Aerodynamics for a High Aspect Ratio Flexible Wing

This paper investigates the effect of nonlinear large deflection bending on the aerodynamic performance of a high aspect ratio flexible wing. A set of nonlinear static aeroelastic equations are derived for the large bending deflection of a high aspect ratio wing structure. An analysis is conducted to compare the nonlinear bending theory with the linear bending theory. The results show that the nonlinear bending theory is length-preserving whereas the linear bending theory causes a non-physical effect of lengthening the wing structure under the no axial load condition. A modified lifting line theory is developed to compute the lift and drag coefficients of a wing structure undergoing a large bending deflection. The lift and drag coefficients are more accurately estimated by the nonlinear bending theory due to its length-preserving property. The nonlinear bending theory yields lower lift and span efficiency than the linear bending theory. A coupled aerodynamic-nonlinear finite element model is developed to implement the nonlinear bending theory for a Common Research Model (CRM) flexible wing wind tunnel model to be tested in the University of Washington Aeronautical Laboratory (UWAL). The structural stiffness of the model is designed to give about 10% wing tip deflection which is large enough that could cause the nonlinear deflection effect to become significant. The computational results show that the nonlinear bending theory yields slightly less lift than the linear bending theory for this wind tunnel model. As a result, the linear bending theory is deemed adequate for the CRM wind tunnel model

Variation of the hopping exponent in disordered silicon MOSFETs

We observe a complex change in the hopping exponent value from 1/2 to 1/3 as a function of disorder strength and electron density in a sodium-doped silicon MOSFET. The disorder was varied by applying a gate voltage and thermally drifting the ions to different positions in the oxide. The same gate was then used at low temperature to modify the carrier concentration. Magnetoconductivity measurements are compatible with a change in transport mechanisms when either the disorder or the electron density is modified suggesting a possible transition from a Mott insulator to an Anderson insulator in these systems.Comment: 6 pages, 5 figure