Generalized modal satisfiability

It is well known that modal satisfiability is PSPACE-complete (Ladner (1977) [21]). However, the complexity may decrease if we restrict the set of propositional operators used. Note that there exist an infinite number of propositional operators, since a propositional operator is simply a Boolean function. We completely classify the complexity of modal satisfiability for every finite set of propositional operators, i.e., in contrast to previous work, we classify an infinite number of problems. We show that, depending on the set of propositional operators, modal satisfiability is PSPACE-complete, coNP-complete, or in P. We obtain this trichotomy not only for modal formulas, but also for their more succinct representation using modal circuits. We consider both the uni-modal and the multi-modal cases, and study the dual problem of validity as well.     

Tensile stresses in the edges of injection moldings: Roles of packing pressure,machine compliance,and resin compression

The slow spontaneous development of cracks in the edges of injection moldings under “field” conditions has been observed for 30 years or more. While environmental stress cracking agents have long been implicated, the magnitude and distribution of the stresses associated with cracking have been obscure. The current study of these stresses involved polycarbonate as a model test material that was molded under systematically varied molding conditions. Surface tensile stresses, though rarely great enough alone to cause “dry” crazing or cracking were revealed through exposure to environmental stress crazing and cracking (ESC) agents. Using an old technique involving a set of calibrated ESC liquids, edge tensile stresses as great as 18 MPa were found in the edges of the moldings. Other, independent methods of stress assessment gave results in semiquantitative agreement with those of the ESC tests. Packing force, machine compliance, injection hold time, and mold flashing emerged as major variables either raising or mitigating stress levels. The root cause of the edge tensions is the mismatch in the times and pressures at which the skins and cores of moldings solidify. In short, skins quench at low pressure first, while cores solidify later during the packing stage. Upon release from the mold, elastic recovery of the core stretches the skin. More importantly, machine and mold compliances allow expansion of the part in the packing stage, during which certain areas of the skin are stretched. Solidifying the core during the packing preserves part of the skin extension as elastic strain. These effects are capable of outweighing the classical tendency of quenching to generate skin compression and core tension. A number of other effects, including release from the mold before the core has solidified, and flashing of the mold, have been found to limit the rise of skin tension.     

Hierarchically Structured Poly(alkyl‐p‐xylylene) Nonwovens with Superhydrophobic Properties

Hierarchically structured poly(alkyl‐p‐xylylene) (alkyl‐PPX) nonwovens are prepared by specific parameter variation during the electrospinning process. The investigated parameters are changes in solutions properties and ambient humidity level, which lead to the formation of different fiber architectures and surface morphologies. The characterization of the nonwovens by scanning electron microscopy confirms the formation of hierarchically structured fibers, comprising bead‐on‐string architecture if spun from tetra­hydrofuran (THF) solutions, and porous surfaces at relative humidity (RH) levels > 30% for both chloroform and THF solutions. The wetting properties of nonwovens spun from THF and chloroform solutions are analyzed by water contact angle (CA) measurements, roll‐angle determination, and high speed imaging. PPX‐heptyl and PPX‐butyl fiber mats spun from 2.5 wt% THF and PPX‐heptyl spun from 3 wt% chloroform solutions at RH > 75% show superhydrophobic and self‐cleaning properties with CA > 153° and roll‐off angles of 10–15°. The nonwovens maintain their fiber morphology and water‐repellent properties after thermal and mechanical stress.

     

Optimal sensor placement for joint parameter and state estimation problems in large-scale dynamical systems with applications to thermo-mechanics

We consider large-scale dynamical systems in which both the initial state and some parameters are unknown. These unknown quantities must be estimated from partial state observations over a time window. A data assimilation framework is applied for this purpose. Specifically, we focus on large-scale linear systems with multiplicative parameter-state coupling as they arise in the discretization of parametric linear time-dependent partial differential equations. Another feature of our work is the presence of a quantity of interest different from the unknown parameters, which is to be estimated based on the available data. In this setting, we employ a simplicial decomposition algorithm for an optimal sensor placement and set forth formulae for the efficient evaluation of all required quantities. As a guiding example, we consider a thermo-mechanical PDE system with the temperature constituting the system state and the induced displacement at a certain reference point as the quantity of interest.     

Evidence of perchlorate (ClO4-) reduction in plant tissues (poplar tree) using radio-labeled 36ClO4-

Phytoremediation of perchlorate (ClO4) by poplar trees Populus deltoidex nigrawas investigated using small cuttings growing in hydroponic Hoagland solution and plant tissue cultures, consisting of spherical photosynthetic cell aggregates (i.e. nodules) developing in Murashige and Skoog culture medium. Both plants and nodules were grown under a 16 h/8 h photoperiod cycle and under sterile conditions. Degradation experiments, performed by the incubation of pregrown plants and nodules in the presence of 36Cl radio-labeled ClO4- (25 mg L(-1)), showed a reduction of the initial ClO4- concentration in the solution of about 50% after 30 d of incubation. Analysis of the distribution of radioactivity in different plant fractions indicated that 27.4% of the total was translocated to the leaves, while 66.9% remained in the solution. Very little radioactivity (less than 3.0%) was detected in the other parts of the plants. 32.0% of the radioactivity recovered in the solution was shown to consist of 36Cl- and 68.0% of nontransformed 36ClO4-. The radioactivity recovered in the leaf extracts was distributed as chloride (36Cl-) (1.6% of the total), chlorite (36ClO2-) (2.4%), chlorate (36ClO3-) (4.8%), nontransformed 36ClO4- (21.6%), and an unidentified organic compound (1.4%). The radioactivity recovered in the solution containing submerged nodules consisted of 36Cl- (6.4% of the total), 36ClO3- (1.3%), and nontransformed 36ClO4- (51.5%). Radioactivity detected in the nodule extracts was distributed as 36Cl- (2.0% of the total), 36ClO2- (5.2%), 36ClO3- (6.4%), 36ClO4- (22.7%), and an unidentified organic compound (0.5%). These results provide evidence of perchlorate reduction inside poplar tree tissues. 36ClO4- is partially reduced to 36ClO3-, 36ClO2-, and 36Cl-.