107 research outputs found
Coherent tool support for design-space exploration
No full textEmbedded Systems Innovation by TNO developed three generic tools to improve industrial applicability. POOSL provides an integrated editing, debugging and validating environment for system modelling, combined with a simulator. TRACE is a tool for visualizing quantitative analysis results. Design Framework (DF) aims for system architecting including architectural views, work flow support and the link of architectural reasoning to concrete modeling activities and artifacts. However, there is no integrated environment to support these three tools to work together. This project proposes a prototype to demonstrate cooperation between the three generic tools as an integrated environment for design-space exploration. The report describes the process that was applied to the new integrated environment, Exploration Experiment (EE). EE provides a platform to define an experiment by specifying a sequence of a model and executors. From DF, the user can execute a defined experiment and get the execution results automatically. In addition to the development of EE, this report also includes the process of the development of TRACE extensions. The extensions contain new functionalities of multiple Gantt Chart comparison and design-space visualizations, a standalone application and an executable JAVA Archive file
Graph packing with constraints on edges
No full textA graph consists of a set of vertices (nodes) and a set of edges (line connecting vertices). Two graphs pack when they have the same number of vertices and we can put them in the same vertex set without overlapping edges. Studies such as Sauer and Spencer, Bollobas and Eldridge, Kostochka and Yu, have shown sufficient conditions, specifically relations between number of edges in the two graphs, for two graphs to pack, but only a few addressed packing with constraints. Kostochka and Yu proved that if e_1e_2 < (1 - \eps)n^2, then and pack with exceptions. We extend this finding by using the language of list packing introduced by Gyori, Kostochka, McConvey, and Yager, and we show that the triple with e_1e_2 + \frac{n-1}{2}\cdot e_3 < (2 - \eps)\binom{n}{2} pack with well-defined exceptions.MathematicsBachelors of Science (BS
Replication Data for: Late Holocene relative sea-level records from coral microatolls in Singapore
No full textThis dataset contains the supplementary files and data that were used to produce the Late Holocene relative sea-level record in the manuscript titled: "Late Holocene relative sea-level records from coral microatolls in Singapore"
A Modified Three-Dimensional Negative-Poisson-Ratio Metal Metamaterial Lattice Structure
No full textMechanical metamaterials are of interest to researchers because of their unique mechanical properties, including a negative Poisson structure. Here, we study a three-dimensional (3D) negative-Poisson-ratio (NPR) metal metamaterial lattice structure by adding a star structure to the traditional 3D concave structure, thus designing three different angles with a modified NPR structure and control structure. We further study the mechanical properties via finite element numerical simulations and show that the stability and stiffness of the modified structures are improved relative to the control structure; the stability decreases with increasing star body angle. The star angle has the best relative energy absorption effect at 70.9°. The experimental model is made by selective laser melting (SLM) technology (3D printing), and the compression experiment verification used an MTS universal compressor. The experimental results are consistent with the changing trend in finite element simulation
Urban Social Exclusion in Transitional China
No full textThis paper demonstrates that urban social exclusion in China does not only include restricted participation by the ¿underclass¿ in urban life, but also the deprivation of certain political, social and economic rights. In addition, the paper describes how the character of urban social exclusion has changed over time. The author also examines the social exclusion of rural workers living and working in urban areas. The paper concludes by arguing that urban social exclusion in China needs coordinated reforms that target the whole set of problems in the urban ¿underclass¿ lacking political rights, social protection and economic opportunities.social exclusion, urban China, rural to urban migrants
Transition-Metal-Triggered High-Efficiency Lithium Ion Storage via Coordination Interactions with Redox-Active Croconate in One-Dimensional Metal–Organic Anode Materials
No full text
- …
