Undecidability of accordance for open systems with unbounded message queues

We study asynchronously communicating open systems modeled as Petri nets with an interface. An accordance preorder describes when one open system can be safely replaced by another open system without affecting some behavioral property of the overall system. Although accordance is decidable for several behavioral properties if we assume a previously known bound on the maximal number of pending messages, we show that it is not decidable without this assumption.     

Tomorrow’s ethics and today’s response: An investigation into the ways information systems professionals perceive and address emerging ethical issues

This paper explores the question of how foresight and futures research can identify and address ethical issues in the field of Information Systems (IS). Starting from the premise that such IS are part of socio-technical systems, the interaction between technology and human actors raise ethical concerns. Early recognition of these concerns can address ethical issues and improve the use of the technology for a range of social and organisational goals. This paper discusses research conducted in two futures research projects. Both projects investigated emerging information and communication technologies (ICTs) and ethics. The first project established approaches for identifying future technologies and their related ethical concerns. This led to the identification of 11 emerging ICTs and their associated ethical concerns. The second project took these general ethical concerns and focused on their role in IS. Specifically, how IS professionals view future emerging technologies, their associated ethical concerns, and how they think these concerns could be addressed. The key findings are that IS professionals are primarily interested in the job at hand and less so in the ethical concerns that the job might bring; ethics is a concern that is best left for others to deal with. This paper considers the implications of research on ethics in emerging ICTs and draws general conclusions about the relevance of future technologies research in IS.     

Hydrocarbon synthesis over sulfide catalysts. Break-down of the Anderson-Schulz-Flory distribution

The kinetics of hydrocarbon synthesis over sulfide-based catalysts was studied. It appears that the formation of methane follows another reaction path than that of higher hydrocarbons. This might explain the very high selectivities for ethane and propane as compared with conventional Fischer-Tropsch catalysts. Reference is made to testing of the catalysts at industrial conditions.     

Investigations on the adhesion and interfacial properties of polyurethane foam/thermoplastic materials

The adhesion and interfacial properties of polyurethane (PU) foams with thermoplastic (TP) materials were investigated using different techniques. The adhesion performance of PU foam with TP materials was evaluated using the peel test method, and the adhesion durability was checked after different climate treatments. X‐ray photoelectron spectroscopy (XPS), atomic force microscopy (AFM), and contact angle measurements were used to study the surface and interface morphology of PU foam and TP material system. Three types of PU foam samples which differ in their composition and also five commercially available TP blends systems, based on poly(carbonate), poly(styrene‐co‐maleic anhydride), poly(acrylonitrile‐butadiene‐styrene), and silicone acrylate rubber have been used. The slow reacting foam shows the best adhesion properties with all the TP materials. The climate treatments strongly effected the PU foam adhesion durability with poly(carbonate) containing TP materials (70–80% loss in adhesion), but nearly no effect with poly(styrene‐co‐maleic anhydride). The samples with lowered adhesion could be separated by peeling without visible foam residues on the TP surface. AFM, XPS, and surface tension studies have shown that the surface properties of the TP material are still governed by the PU foam. © 2007 Wiley Periodicals, Inc. J Appl Polym Sci 104: 479–488, 2007     

Untersuchung des Passivierungsmechanismus von Eisen in Phosphatelektrolyten an erosiv beanspruchten Oberflächen

Investigation into the passivation mechanism of iron in phosphate electrolytes on surfaces exposed to erosive attack On iron electrodes in neutral phosphate electrolytes by continuous solid particle impingement a reaction layer is formed within the transition potential region under anodic polarization. XPS and AES investigations show that the reaction layer formed under impingement will be replaced by an oxide layer during the transition into the passive state under simultaneous decrease of the layer thickness. The active/passive transition in phosphate electrolytes may be attached to the equilibrium potential of the reaction . According to this thermodynamic interpretation of both the active/passive transition and the passive/active transition, respectively on iron in presence of phosphate ions may be described as the Fe(II)/Fe(III)-redox reaction with two solid phases, the iron(II)-phosphate phase and the iron(III)-oxide phase. The increase of the interfacial dynamic processes at the solid/liquid interface causes in consequence of the solid particle impingement that thermodynamic laws govern the course of reactions.     

Combining the triangle method with thermal inertia to estimate regional evapotranspiration — Applied to MSG-SEVIRI data in the Senegal River basin

Spatially distributed estimates of evaporative fraction and actual evapotranspiration are pursued using a simple remote sensing technique based on a remotely sensed vegetation index (NDVI) and diurnal changes in land surface temperature. The technique, known as the triangle method, is improved by utilizing the high temporal resolution of the geostationary MSG-SEVIRI sensor. With 15 min acquisition intervals, the MSG-SEVIRI data allow for a precise estimation of the morning rise in land surface temperature which is a strong proxy for total daytime sensible heat fluxes. Combining the diurnal change in surface temperature, dT_s with an interpretation of the triangular shaped dT_s − NDVI space allows for a direct estimation of evaporative fraction. The mean daytime energy available for evapotranspiration (R_n − G) is estimated using several remote sensors and limited ancillary data. Finally regional estimates of actual evapotranspiration are made by combining evaporative fraction and available energy estimates. The estimated evaporative fraction (EF) and actual evapotranspiration (ET) for the Senegal River basin have been validated against field observations for the rainy season 2005. The validation results showed low biases and RMSE and R² of 0.13 [−] and 0.63 for EF and RMSE of 41.45 W m^− 2 and R² of 0.66 for ET.