Determination of migration monomer styrene from GPPS (general purpose polystyrene) and HIPS (high impact polystyrene) cups to hot drinks

In this study, 162 samples were analysed for monomer styrene content with using high performance liquid chromatography (HPLC) method in hot tea, milk, cocoa milk. The monomer styrene content, expressed in μg/l of drink and the level of migration of styrene monomer were varied from 0.61 to 8.15 for hot tea, from 0.65 to 8.30 for hot milk, from 0.71 to 8.65 for hot cocoa milk in GPPS (general purpose polystyrene), from 0.48 to 6.85 for hot tea, from 0.61 to 7.65 for hot milk, from 0.72 to 7.78 for hot cocoa milk in HIPS (high performance polystyrene) cups in different temperatures and times. The estimated limit of detection of (HPLC) method for all samples was 0.001 mg/kg. There is linear regression for styrene monomer from 1 to 10 ng/ml. Several samples spiked with a known amount of styrene monomer. The results of the recovery in study for styrene monomer were determinate to be mean, 96.1 ± 1.92 to 99.7 ± 1.15%. The results of this study indicate that styrene monomer from polystyrene disposable into hot and fat drinks was migrated and this migration was highly dependent on fat content and temperature of drinks. The derived concentration of styrene monomer in this study was above the EPA (Environmental protection agency) recommended level, especially in MCLG (Maximum contaminant level goal) standard. More study is needed to further elucidate this finding

An overview of chemical additives present in plastics: Migration, release, fate and environmental impact during their use, disposal and recycling

Over the last 60 years plastics production has increased manifold, owing to their inexpensive, multipurpose, durable and lightweight nature. These characteristics have raised the demand for plastic materials that will continue to grow over the coming years. However, with increased plastic materials production, comes increased plastic material wastage creating a number of challenges, as well as opportunities to the waste management industry. The present overview highlights the waste management and pollution challenges, emphasising on the various chemical substances (known as “additives”) contained in all plastic products for enhancing polymer properties and prolonging their life. Despite how useful these additives are in the functionality of polymer products, their potential to contaminate soil, air, water and food is widely documented in literature and described herein. These additives can potentially migrate and undesirably lead to human exposure via e.g. food contact materials, such as packaging. They can, also, be released from plastics during the various recycling and recovery processes and from the products produced from recyclates. Thus, sound recycling has to be performed in such a way as to ensure that emission of substances of high concern and contamination of recycled products is avoided, ensuring environmental and human health protection, at all times

Static Model Analysis with Lattice-based Ontologies

This thesis demonstrates a correct, scalable and automated method to infersemantic concepts using lattice-based ontologies, given relatively few manualannotations. Semantic concepts and their relationships are formalized as alattice, and relationships within and between program elements are expressed asa set of constraints. Our inference engine automatically infers conceptswherever they are not explicitly specified. Our approach is general, in thatour framework is agnostic to the semantic meaning of the ontologies that ituses.Where practical use-cases and principled theory exist, we provide for theexpression of infinite ontologies and ontology compositions. We also showhow these features can be used to express of value-parametrized concepts andstructured data types. In order to help find the source of errors, we alsopresent a novel approach to debugging by showing simplified errors paths.These are minimal subsets of the constraints that fail to type-check, and aremuch more useful than previous approaches in finding the cause of program bugs.We also present examples of how this analysis tool can be used to expressanalyses of abstract interpretation; physical dimensions and units; constantpropagation; and checks of the monotonicity of expressions

C++ and Massively Parallel Computers

Our goal is to apply the software engineering advantages of object-oriented programming to the raw power of massively parallel architectures. To do this we have constructed a hierarchy of C++ classes to support the data-parallel paradigm. Feasibility studies and initial coding can be supported by any serial machine that has a C++ compiler. Parallel execution requires an extended Cfront, which understands the data-parallel classes and generates C* code. (C* is a data-parallel superset of ANSI C developed by Thinking Machines Corporation). This approach provides potential portability across parallel architectures and leverages the existing compiler technology for translating data-parallel programs onto both SIMD and MIMD hardware

On Relational Interfaces

In this paper we extend the work of Alfaro, Henzinger et al. on interface theories for component-based design. Existing interface theories often fail to capture functional relations between the inputs and outputs of an interface. For example, a simple synchronous interface that takes as input a number n ≥ 0 and returns, at the same time, as output n + 1, cannot be expressed in existing theories. In this paper we provide a theory of relational interfaces, where such input-output relations can be captured. Our theory supports synchronous interfaces, both stateless and stateful. It includes explicit notions of environments and pluggability, and satisfies fundamental properties such as preservation of refinement by composition, and characterization of pluggability by refinement. We achieve these properties by making reasonable restrictions on feedback loops in interface compositions