High levels of equol in organic skimmed Finnish cow milk

The isoflavonoids, equol, formononetin, daidzein, genistein, biochanin A, and O-demethylangolensin (O-DMA), were analyzed from commercial cartons of skimmed Finnish milk by HPLC-diode array detector (DAD)-FL. We found 411 +/- 65 ng/mL of equol and traces of formononetin and daidzein in organic skimmed milk whereas conventionally produced milk contained 62 +/- 16 ng/mL of equol and no formononetin or daidzein.     

On simplification of large fault trees

This paper describes some fault tree optimization algorithms used in STUK PSA code SPSA that is capable of generating minimal cut sets for fault trees containing 12 000 gates and basic events. The complexity of a minimal cut set search is a function of multiple gates and basic events. In a fault tree containing 1000 multiple elements, these optimizations reduce the number of multiple elements often by 30 to 50%. One novel feature of the algorithm is that no boolean reduction rules are used, since the fault tree itself contains its simplification rules.     

Vertically high-density interconnection for mobile application

There are several PWB technologies in the market that enables high density interconnection for product miniaturization, and this paper focuses on two HDI technologies, SSP and FVSS^®, and discuss the new PWB technologies and the reliability evaluation results for mobile applications. SSP is manufactured in simple lamination process using conventional FR4 materials, which enables future cost reduction and high reliability. FVSS contains filled buried via hole (BVH) and filled micro blind via (μvia) process. By combining the two process FVSS accomplishes high vertical design capability with Stacked μvia-on-μvia and stacked μvia-on-BVH designs.Key reliability requirements for final product quality is drop and temperature cycling reliability in board level in addition to evaluate PWB specific tests to compare performance of new materials used in PWB.     

Significance of tissue anisotropy in optical tomography of the infant brain

We study the effect of tissue anisotropy in optical tomography of neonates. A Monte Carlo method capable of modeling photon migration in an arbitrary 3D tissue model with spatially varying optical properties and tissue anisotropy is used for simulating measurements of neonates. Anatomical and diffusion tensor magnetic resonance imaging of neonates are used for creating the anatomical models. We find that tissue anisotropy affects the measured signal and the pattern of sensitivity in optical measurements.     

Tissue biocompatibility of new biodegradable drug-eluting stent materials

Drug-eluting stents are a recent innovation for endovascular and endourethral purposes. The aim of this study was to assess the biocompatibility of new biodegradable drug-eluting stent materials in vivo. Rods made of SR-PLDLA (self-reinforced poly-96l,4d-lactic acid) covered with P(50l/50d)LA and rods made of 96l/4D SR-PLA and covered with P(50l/50d)LA including indomethacin 3.3 μg/mm² or dexamethasone 1.5 μg/mm², were inserted into the dorsal muscles of 20 rabbits serving as test animals. Rods made of silicone and organotin-positive polyvinylchloride were used as negative and positive controls. The animals were sacrificed after 1 week, 1 month, 2 months or 4 months. Histological changes attributable to the operative trauma were seen in all specimens at 1 week and 1 month. At 2 months both dexamethasone and indomethacin induced less fibrosis than the plain SR-PLDLA covered with P(50l/50d)LA without drug. At 4 months dexamethasone induced both chronic inflammatory changes and foreign body reaction, whereas the reactions in the indomethacin and drug-free plain SR-PLDLA groups were insignificant. The new biodegradable drug-eluting stent materials are highly biocompatible. Drug-eluting biodegradable stents may offer a promising new treatment modality for vascular and urethral diseases. However, further studies are needed to demonstrate their feasibility and efficacy.     

The effect of low-intensity pulsed ultrasound on bone healing in SR-PLLA rod fixed experimental distal femur osteotomy in rat

The effects of low-intensity pulsed ultrasound (30 mW/cm²) were investigated in experimental cancellous bone fracture healing in bioabsorbable self-reinforced poly-l-lactide (SR-PLLA) rod fixed distal femur osteotomy in rats. A transverse transcondylar osteotomy was fixed with one SR-PLLA rod in 32 male Wistar rats of the age of 20 weeks. Half of the rats had a daily 20-min ultrasound exposure for three weeks. The follow-up times were three, six, and 12 weeks. Radiographical, histological, microradiographical, oxytetracycline labeling, and histomorphometrical analyses were performed. No foreign-body reactions were noted. The biocompatibility of SR-PLLA and ultrasound was found to be good. In the radiological and histological assessments there was a slight tendency for enhanced healing in the ultrasound group at three weeks, but at six and 12 weeks no differences were observed. The histomorphometrical and oxytetracycline labeling analyses showed that ultrasound exposure had no significant effects on bone healing. The present study shows that there were no obvious findings to support the hypothesis that low-intensity pulsed ultrasound enhances bone healing in self-reinforced poly-l-lactide (SR-PLLA) rod fixed experimental metaphyseal distal femur osteotomy in rats. The observed good biocompatibility provides a safe starting-point for clinical trials on bioabsorbable fixation combined with low-intensity ultrasound.     

Preparation and Study of Pd Catalysts Supported on Activated Carbon Cloth (ACC) for Direct Synthesis of H2O2 from H2 and O2

Activated carbon cloths (ACCs) were used as supports for Pd catalysts. The catalyst preparation was carried out by the impregnation method using acidic solution of palladium dichloride (PdCl₂) as metal precursor. The effects of the oxidation state of the loaded metal, heat treatment of the catalysts in different atmosphere (H₂, air) at different temperatures and surface chemistry of the support on the catalyst characterizations and the catalytic activities were investigated. Wet oxidation of ACC was done by nitric acid in order to induce oxygen-containing surface functional groups. Surface chemistry of the support and oxidation state of the metallic phase was investigated by means of XPS, TPD, SEM, DTA and TGA tests. Direct synthesis of hydrogen peroxide from H₂ and O₂ was performed batch wise in a stainless steel autoclave. The reactions were conducted under high pressure (38 bar) at 0 °C and methanol was used as reaction medium. The direct synthesis results showed that the oxygen-containing surface functional groups increase the selectivity of the catalysts by reducing the rate of water production. Existence of the oxidized state of Pd (PdO) also makes the catalyst more selective than the corresponding zerovalent state (Pd0). PdO affected on selectivity by increasing the rate of H₂O₂ production and reducing the amount of production of water, simultaneously.     

BMC via on-the-fly determinization

This paper develops novel bounded model checking (BMC) techniques for asynchronous parallel systems. The aim is to increase the efficiency of BMC by exploiting the inherent concurrency in such systems. This added efficiency is gained by covering more reachable states within a given bound using two techniques. Firstly, a nonstandard execution model, step executions, where multiple actions can take place simultaneously is applied. Secondly, the number of executions the system can have is reduced by modeling the execution of the system components as if they were determinized. This determinization technique also enables the removal of the internal transitions of the components. Step executions can be further restricted to a subclass called process executions without losing any reachable states.The paper presents a translation scheme for BMC of reachability properties. The translation is from an asynchronous system where the components are modeled as labeled transition systems (LTSs) to a propositional formula. The models of the formula correspond to the step executions of the original system where each component is replaced with its determinized counterpart. The formula for step executions can be easily extended in such a way that its models correspond to the process executions of the system. The translation scheme has been implemented and some experimental comparisons performed. The results show that the bound needed to detect a violation of a reachability property is, for step and process executions, in most cases lower than in interleaving executions and that the running time of the model checker using process executions is smaller than of that using steps. Moreover, the performance compares favorably to a state-of-the-art interleaving BMC implementation in the NuSMV system.     

美卓新型Nordberg C130型颚式破碎机

颚式破碎机的破碎腔体积对破碎效率至关重要。与同规格的上一款机型相比，美卓新推出的NordbergC130型颚式破碎机的破碎腔体积增大21％，一次可破碎更多的矿石；其超大的给料口，可确保在恶劣工况下拥有更高产量。