Automated generation of program translation and verification tools using annotated grammars

Automatically generating program translators from source and target language specifications is a non-trivial problem. In this paper we focus on the problem of automating the process of building translators between operations languages, a family of DSLs used to program satellite operations procedures. We exploit their similarities to semi-automatically build transformation tools between these DSLs. The input to our method is a collection of annotated context-free grammars. To simplify the overall translation process even more, we also propose an intermediate representation common to all operations languages. Finally, we discuss how to enrich our annotated grammars model with more advanced semantic annotations to provide a verification system for the translation process. We validate our approach by semi-automatically deriving translators between some real world operations languages, using the prototype tool which we implemented for that purpose.     

Heuristics for automated knowledge source integration and service composition

The NP-hard component set identification problem is a combinatorial problem arising in the context of knowledge discovery, information integration, and knowledge source/service composition. Considering a granular knowledge domain consisting of a large number of individual bits and pieces of domain knowledge (properties) and a large number of knowledge sources and services that provide mappings between sets of properties, the objective of the component set identification problem is to select a minimum cost combination of knowledge sources that can provide a joint mapping from a given set of initially available properties (initial knowledge) to a set of initially unknown properties (target knowledge). We provide a general framework for heuristics and consider construction heuristics that are followed by local improvement heuristics. Computational results are reported on randomly generated problem instances.     

H2S retention with Ca-based sorbents in a pressurized fixed-bed reactor: application to moving-bed design

The H₂S retention with Ca-based sorbents in a pressurized fixed-bed reactor (1 MPa) has been analyzed, obtaining the breakthrough curves with a dolomite and two different limestones, different particle size (+0.8-1.0, +1.25-1.6, and +1.6-2.0 mm), and both at calcining (1173 K) and non-calcining conditions (1123 K). The effect of the stoichiometric time in the breakthrough curves has been analyzed varying the bed length, the gas velocity and the sorbent fraction in the bed. From these results, the conversion and H₂S concentration profiles in the transition zone and the length of unused bed (LUB) have been determined. H₂S retention in fixed-bed until concentration close to the given by the thermodynamic equilibrium was obtained using dolomite or limestone at calcining conditions, and dolomite at non-calcining conditions. The results of H₂S retention in a fixed-bed reactor has been applied to the calculus of the minimum height of a countercurrent moving-bed reactor to obtain the maximum H₂S retention with the minimum amount of sorbent. A mathematical model was developed to predict the experimental results obtained in the fixed-bed reactor, which was also valid for the design of countercurrent moving-bed reactors for gas desulphurization.     

Relative rotation number for stochastic systems: dynamical and topological applications

We introduce a concept of relative rotation number to unify many different approaches of rotation number in non-linear dynamical systems. We present an ergodic result of existence a.s. for stochastic systems. In higher dimension, we show that the natural idea of projecting into a plane does work well a.s. for any plane (different from deterministic systems where projections may be degenerate). A number of further properties (invariance by homotopy and by conjugacy) and applications are presented.     

Long-Memory Errors in Time Series Regressions with a Unit Root

This paper is concerned with estimation and inference in univariate time series regression with a unit root when the error sequence exhibits long-range temporal dependence. We consider generating mechanisms for the unit root process which include models with or without a drift term and we study the limit behavior of least squares statistics in regression models without drift and trend, with drift but no time trend, and with drift and time trend. We derive the limit distribution and rate of convergence of the ordinary least squares (OLS) estimator of the unit root, the intercept and the time trend in the three regression models and for the two different data-generating processes. The limiting distributions for the OLS estimator differ from those obtained under the hypothesis of weakly dependent errors not only in terms of the limiting process involved but also in terms of functional form. Further, we characterize the asymptotic behavior of both the t statistics for testing the unit root hypothesis and the t statistic for the intercept and time trend coefficients. We find that t ratios either diverge to infinity or collapse to zero. The limiting behavior of Phillips's Z _α and Z _t semiparametric corrections is also analyzed and found to be similar to that of standard Dickey– Fuller tests. Our results indicate that misspecification of the temporal dependence features of the error sequence produces major effects on the asymptotic distribution of estimators and t ratios and suggest that alternative approaches might be more suited to testing for a unit root in time series regression.     

Numerical and experimental analysis of pure aluminium shear panels with welded stiffeners

In the field of passive seismic protection of framed buildings shear panels can be effectively applied as hysteretic devices. Recently, a wide experimental and numerical study has been undertaken at the University of Naples in order to investigate the behaviour of aluminium alloy stiffened shear panels. Test results show that the proposed system is characterised by a large energy dissipation capacity and therefore is suitable to be used for seismic protection of new and existing framed buildings. To simulate the hysteretic behaviour of the systems, according to the experimental tests, a refined FEM model has been set up. The comparison between experimental and numerical results shows that the adopted model is reliable enough to well interpret a number of important behavioural phenomena in terms of the main global features of the system.     

大都市区的棋盘博弈：区域设计中形态学主题的运用

中国空前的城市化速度与规模亟需更先进的规划设计策略。探索基于形态学的区域设计研究教学方法,从而制定体现中国大都市区特征的空间策略。在设计课程背景下,介绍了以形态学主题为基础的探索性棋盘博弈这一方法论,并应用到粤港澳大湾区空间转型的场景设计中。评估了香港理工大学设计学院和代尔夫特理工大学城市学系连续4年的一系列合作成果。1）沿着设计课程的流程,阐明了教学轨迹。2）调查了不同形态学主题如何影响学生的设计成果,对比了成果的空间特异性以及设计提案的激进程度。3）探讨了是否部分形态学主题更适用于大湾区社会文化与环境的特殊性。在6次课程中,学生们研究了8个形态学主题：点状、线状、条状、巨型街区、放射状、环状、交叉状和边缘状。实践表明存在冗余的主题,因此对主题的进一步确立值得深入研究。需要指出,2所大学的设计课程存在差异,这似乎也影响了棋盘博弈法在各自课程中扮演的作用。整体而言,此教学方法论可以产生远超传统空间规划的设计策略。因此,以形态学主题为基础的棋盘博弈是一套充满前景的方法论,并且今后有望结合更多利益相关方的参与,进行进一步深化和测试。     

Evolution of silicon bulk lifetime during III–V‐on‐Si multijunction solar cell epitaxial growth

The evolution of Si bulk minority carrier lifetime during the heteroepitaxial growth of III–V on Si multijunction solar cell structures via metal‐organic chemical vapor deposition (MOCVD) has been analyzed. In particular, the impact on Si lifetime resulting from the four distinct phases within the overall MOCVD‐based III–V/Si growth process were studied: (1) the Si homoepitaxial emitter/cap layer; (2) GaP heteroepitaxial nucleation; (3) bulk GaP film growth; and (4) thick GaAs_yP_1‐y compositionally graded metamorphic buffer growth. During Phase 1 (Si homoepitaxy), an approximately two order of magnitude reduction in the Si minority carrier lifetime was observed, from about 450 to ≤1 µs. However, following the GaP nucleation (Phase 2) and thicker film (Phase 3) growths, the lifetime was found to increase by about an order of magnitude. The thick GaAs_yP_1‐y graded buffer was then found to provide further recovery back to around the initial starting value. The most likely general mechanism behind the observed lifetime evolution is as follows: lifetime degradation during Si homoepitaxy because of the formation of thermally induced defects within the Si bulk, with subsequent lifetime recovery due to passivation by fast‐diffusing atomic hydrogen coming from precursor pyrolysis, especially the group‐V hydrides (PH₃, AsH₃), during the III–V growth. These results indicate that the MOCVD growth methodology used to create these target III–V/Si solar cell structures has a substantial and dynamic impact on the minority carrier lifetime within the Si substrate. Copyright © 2015 John Wiley & Sons, Ltd.     

13.3% efficient solution deposited Cu(In,Ga)Se2 solar cells processed with different sodium salt sources

In this work, we obtain the highest reported power conversion efficiency (13.3%) for sulfur‐free CIGSe solar cells by solution processing. Intentional sodium incorporation is achieved directly by dissolving sodium salts in the ink. The effect on solar cell properties of three sodium sources is investigated: NaCl, NaHCO₂, and NaSCN. A comparison is made with absorbers grown on soda‐lime glass substrates and in the absence of sodium sources. The incorporation via sodium salts yields significantly better results, which is attributed to enhanced‐sodium availability. A comparison with identically annealed sputtered metal precursor layers capable of delivering 15.1% module efficiency suggests that the cell results are limited by the selenization procedure. Copyright © 2015 John Wiley & Sons, Ltd.