Model-based diagnosis of spreadsheet programs: a constraint-based debugging approach

Spreadsheet programs are probably the most successful example of end-user software development tools and are used for a variety of purposes. Like any type of software, they are prone to error, in particular as they are usually developed by non-programmers. While various techniques exist to support the developer in finding errors in procedural programs, the tool support for spreadsheet debugging is still limited. In this paper, we show how techniques from model-based diagnosis can be applied and extended for spreadsheet debugging by translating the relevant parts of a spreadsheet to a constraint satisfaction problem. We additionally propose both problem-specific and generalizable extensions to the classical diagnosis algorithms which help to detect potential problems in a spreadsheet based on user-provided test cases more efficiently. The proposed techniques were integrated into a modular framework for spreadsheet debugging and evaluated with respect to scalability based on a number of real-world and artificially created spreadsheets. An additional error detection exercise involving 24 subjects was performed to assess the general applicability of such advanced spreadsheet debugging techniques for end users.     

The relationship between the author byline and contribution lists: a comparison of three general medical journals

The author byline is an indispensable component of a scientific paper. Some journals have added contribution lists for each paper to provide detailed information of each author’s role. Many papers have explored, respectively, the byline and contribution lists. However, the relationship between the two remains unclear. We select three prominent general medical journals: Journal of the American Medical Association (JAMA), Annals of Internal Medicine (Annals), and PLOS Medicine (PLOS). We analyze the relationship between the author byline and contribution lists using four indexes. Four main findings emerged. First, the number, forms, and names of contribution lists significantly differed among the three journals, although they adopted the criteria of the International Committee of Medical Journal Editors. Second, a U-shaped relationship exists between the extent of contribution and author order: the participation levels in contribution lists were highest for first authors, followed by last and second authors, and then middle authors with the lowest levels. Third, regarding the consistency between author order in the contribution list and byline, every contribution category has a high consistency in JAMA and Annals, while PLOS shows a low consistency, in general. Fourth, the three journals have a similar distribution for the first authors in the contribution category; the first author in the byline contributes the highest proportion, followed by the middle and second authors, and then the last author with the lowest proportion. We also develop recommendations to modify academic and writing practice: implement structured cross-contribution lists, unify formats and standards of contribution lists, draft the author contribution criteria in the social sciences and humanities, and consider author contribution lists in scientific evaluation.     

Effect of operating conditions on current density distribution and high frequency resistance in a segmented PEM fuel cell

Understanding losses in polymer electrolyte membrane fuel cells, in the form of ohmic and mass transport, is of great importance to their commercialization. In this study, we use a spatially resolved cell consisting of 49 segments to measure the local current density distribution and high frequency resistance (HFR). A parametric study is used to investigate the effects of cell voltage, inlet relative humidity and flow rate and configuration using a three-channel serpentine flow field. We found that as the cell voltage decreased, the current density increased, while the HFR decreased. However, at a low cell voltage of 200 mV, we found the HFR to be higher than that at 500 mV. This increase is attributed to the increased electro-osmotic drag. This trend is independent of the flow configuration. Further, we found that the effect of the inlet relative humidity on the HFR highly depends on the flow configurations. Finally, a sharp decrease in the current density at some specific bend segments was observed, which correlates with lower OCV values and higher HFR values at this position.     

Recovery and characterisation of coloured phenolic preparations from apple seeds

The aim of this study was to investigate whether complexly constituted phenolic extracts from apple seeds may be utilised for the recovery of natural coloured antioxidant preparations, which might serve as potential food or cosmetic ingredients.In a first step, the recovery of phenolic compounds was optimised by varying crucial extraction parameters. A single extraction step at 25 °C using an acetone–water mixture (60:40, v/v) and a solid-to-solvent ratio of 1:8 (w/v) for 1 h was found to be appropriate to achieve both high phenolic yields and antioxidant activities.In a second step, differently produced apple seed extracts and a phloridzin model solution were enzymatically treated by mushroom polyphenol oxidase to investigate the rate of pigment synthesis. Depending on the extraction procedure applied, synthesis rates, pigment yields and colour properties significantly differed. Compared to the phloridzin model solution, extracts recovered from the seeds showed comparable and even better results, thus indicating such preparations to be a promising alternative to synthetic yellow dyes.     

Oxidation Kinetics of an Amorphous Silicon Carbonitride Ceramic

The oxidation kinetics of amorphous silicon carbonitride (SiCN) was measured at 1350°C in ambient air. Two types of specimens were studied: one in the form of thin disks, the other as a powder. Both specimens contained open nanoscale porosity. The disk specimens exhibited weight gain that saturated exponentially with time, analogous to the oxidation behavior of reaction-bonded Si₃N₄. The saturation value of the weight gain increased linearly with specimen volume, suggesting the nanoscale pore surfaces oxidized uniformly throughout the specimen. This interpretation was confirmed by high-resolution electron microscopy and secondary ion mass spectroscopy. Experiments with the powders (having a particle size much larger than the scale of the nanopores) were also consistent with measurements of the disks. However, the powder specimens, having a high surface-to-volume ratio, continued to show measurable weight gain due to oxidation of the exterior surface. The wide range of values for the surface-to-volume ratio, which included all specimens, permitted a separation of the rate of oxidation of the free surface and the oxidation of the internal surfaces of the nanopores. Surface oxidation data were used to obtain the rate constant for parabolic growth of the oxidation scale. The values for the rate constant obtained for SiCN lay at the lower end of the spectrum of oxidation rates reported in the literature for several Si₃N₄ and SiC materials. Convergence in the behavior of SiCN and CVD-SiC is ascribed to the purity of both materials. Conversely, it is proposed that the high rates of oxidation of sintered polycrystalline silicon carbides and nitrides, as well as the high degree of variability of these rates, might be related to the impurities introduced by the sintering aids.     

High‐Temperature Creep Behavior of Dense SiOC‐Based Ceramic Nanocomposites: Microstructural and Phase Composition Effects

In this work, dense monolithic polymer‐derived ceramic nanocomposites (SiOC, SiZrOC, and SiHfOC) were synthesized via hot‐pressing techniques and were evaluated with respect to their compression creep behavior at temperatures beyond 1000°C. The creep rates, stress exponents as well as activation energies were determined. The high‐temperature creep in all materials has been shown to rely on viscous flow. In the quaternary materials (i.e., SiZrOC and SiHfOC), higher creep rates and activation energies were determined as compared to those of monolithic SiOC. The increase in the creep rates upon modification of SiOC with Zr/Hf relies on the significant decrease in the volume fraction of segregated carbon; whereas the increase of the activation energies corresponds to an increase of the size of the silica nanodomains upon Zr/Hf modification. Within this context, a model is proposed, which correlates the phase composition as well as network architecture of the investigated samples with their creep behavior and agrees well with the experimentally determined data.     

Structure of an <Emphasis Type="Italic">n</Emphasis>-heptane/toluene flame: Molecular beam mass spectrometry and computer simulation investigations

Molecular beam mass spectrometry was used to measure mole fraction profiles of the reactants, major reaction products and intermediates, including precursors of polycyclic aromatic hydrocarbons, in a premixed fuel-rich (equivalence ratio of 1.75) n-heptane/toluene/O₂/Ar flame stabilized on a flat burner at atmospheric pressure. The ratio of the liquid volumes in the n-heptane/toluene mixture was 7: 3. The chemical structure of the flame was modeled using a detailed mechanism of chemical reactions tested against experimental data of other authors on n-heptane/toluene flames and comprising the reactions of formation of polycyclic aromatic hydrocarbons. The mechanism was extended with cross-reactions involving derivatives of n-heptane and toluene. Overall, the new experimental data are in satisfactory agreement with the numerical simulation results; however, there are differences between the measured and calculated mole fraction profiles of some species. Analysis shows that in the n-heptane/toluene flame, the main reactions leading to the formation of low-aromatic compounds (benzene and phenyl) are reactions typical of the pure toluene flame.     

Understanding the binder chemistry,microstructure, and physical properties of volcanic ash phosphate geopolymer binder

This work aims to assess the influence of the chemical composition of the binder resulting from the reaction of phosphoric acid and volcanic ash on its final characteristics. Six initial compositions of volcanic ash phosphate geopolymer with molar ratios Fe/P of 0.27, 0.5, 0.54, 0.81, 1, and 1.5 were designed by adding various dosages of phosphoric acid to volcanic ash. The results show that the hardening time increases with the decrease of molar ratios Fe/P. An excess of phosphoric acid leads to an unstable binder that is partially destroyed with the aging of the binder. The volcanic ash phosphate geopolymer with molar ratios of Fe/P = 0.5–0.54 has the optimum compressive strength (49–53 MPa at 90 days), the lowest water absorption (8.8-9.5 wt.%) as well as porosity (18–19.6 vol.%). The main binder is a porous phase of ferro-silico-aluminophosphate. Secondary phases were also identified in some mixes including ferro-aluminophosphate and magnesium phosphate.     

Multicriteria optimization as enabler for Sustainable Ceramic Matrix Composites

Over the past 40 years, development of Ceramic Matrix Composites (CMCs) has focused mainly on the improvement of material performance and optimization of cost-efficient production routes. Recently, more fields of application have opened up for CMCs, in which environmental impacts are relevant. These impacts have barely been investigated so far but receive growing interest due to increasing awareness of the environmental consequences. Our innovative approach frames material properties in relation to environmental impacts (e.g., global warming potential in CO₂ emission) by varying process parameters to balance optimum performance against environmental considerations. First, the process of wet filament winding has been investigated up to the Carbon Fiber Reinforced Plastic (CFRP) state by changing both the curing and tempering temperatures. During the production of CFRP plates, mass and energy flows were tracked in each step. Three point-bending and interlaminar shear tests have been performed on the resulting samples to identify basic mechanical properties. The environmental impacts are determined by a cradle-to-gate Life Cycle Assessment (LCA), using the software SimaPro. The resulting tradeoffs between mechanical properties and environmental impacts show nonlinear behavior, thus revealing optimum points above which improved mechanical properties are associated with significantly higher CO₂ emissions.     

Imide‐containing ladder polyphenylsilsesquioxanes with high thermal stability and thermoplastic properties

This work reports for the first time the synthesis of ladder polyphenylsilsesquioxanes containing imide building blocks as parts of the main parallel chains. The ladder structure of the synthesized polymers was documented by means of small angle X‐ray scattering (SAXS) measurements. The obtained ladder polymers exhibit stability with respect to decomposition up to temperatures as high as 460°C; additionally, they have melting points far below their decomposition temperatures, which make them interesting candidate materials for thermoplastic processing. © 2013 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2014 , 131, 40085.