Electrospun fiber membranes from blends of poly(vinylidene fluoride) with fouling‐resistant zwitterionic copolymers

Nonwoven super‐hydrophobic fiber membranes have potential applications in oil–water separation and membrane distillation, but fouling negatively impacts both applications. Membranes were prepared from blends comprising poly(vinylidene fluoride) (PVDF) and random zwitterionic copolymers of poly(methyl methacrylate) (PMMA) with sulfobetaine methacrylate (SBMA) or with sulfobetaine‐2‐vinylpyridine (SB2VP). PVDF imparts mechanical strength to the membrane, while the copolymers enhance fouling resistance. Blend composition was varied by controlling the PVDF‐to‐copolymer ratio. Nonwoven fiber membranes were obtained by electrospinning solutions of PVDF and the copolymers in a mixed solvent of N,N‐dimethylacetamide and acetone. The PVDF crystal phases and crystallinities of the blends were studied using wide‐angle X‐ray diffraction and differential scanning calorimetry (DSC). PVDF crystallized preferentially into its polar β‐phase, though its degree of crystallinity was reduced with increased addition of the random copolymers. Thermogravimetry (TG) showed that the degradation temperatures varied systematically with blend composition. PVDF blends with either copolymer showed significant increase of fouling resistance. Membranes prepared from blends containing 10% P(MMA‐ran‐SB2VP) had the highest fouling resistance, with a fivefold decrease in protein adsorption on the surface, compared to homopolymer PVDF. They also exhibited higher pure water flux, and better oil removal in oil–water separation experiments. © 2018 Society of Chemical Industry     

Development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application

Safety-critical software systems such as certain nuclear instrumentation and control (NI&C) systems should be developed with thorough verification. This study presents a method of software requirement verification with a case study for a nuclear power plant (NPP) protection system. The verification introduces colored petri net (CPN) for system modeling and prototype verification system (PVS) for mathematical verification. In order to aid flow-through from modeling by CPN to mathematical proof by PVS, an information extractor from CPN models has been developed in this paper. In order to convert the extracted information to the PVS specification language, a translator has also been developed. This combined method has been applied to the functional requirements of the Wolsong NPP Shut Down System #2 (SDS2); logical properties of the requirements were verified. Through this research, guidelines and a tool support for the use of formal methods have been developed for application to NI&C software verification.     

Abnormal junction profile of silicided p+/n shallowjunctions: a leakage mechanism

The leakage mechanism in p⁺/n shallow junctions fabricated using Co silicidation and shallow trench isolation processes has been investigated using transmission electron microscopy (TEM) combined with selective chemical etching. TEM and TSUPREM-4 simulation results show that dopant profiles bend upward near the edge of the active region. The formation of the abnormal profile is attributed to transient enhanced diffusion induced by source/drain implantation. Based on the TEM and simulation results, it is suggested that the shallower junctions formed near the active edge can serve as a source for leakage current in the silicided p+ /n shallow junctions     

Acute aortic outflow obstruction by diminution of bulboventricular foramen size after volume unloading in univentricular physiology

A young child with [S, L, L] segmental anatomy, double-inlet left ventricle, transposition of the great arteries, rudimentary right ventricle, and mildly restrictive bulboventricular foramen is reported, in whom intraoperative temporary snaring of the modified Blalock-Taussig shunt resulted in instantaneous and dramatic volume contraction of the left ventricle, decrease in bulboventricular foramen size, and increase of the gradient across the latter from 10 mm Hg preoperatively to 50 mm Hg. A modified Damus-Stansel-Kaye procedure using autogenous aortic tissue resulted in unobstructed aortic outflow; in addition, a bidirectional cavopulmonary shunt was performed. The importance of early relief of actual or potential aortic outflow obstruction in hearts with restrictive bulboventricular foramen is emphasized.     

A novel dynamic survivable routing in WDM optical networks with/without sparse wavelength conversion

In this paper, we study the dynamic survivable routing problem, both in optical networks without wavelength conversion and in optical networks with sparse wavelength conversion, and propose a novel hybrid algorithm for it based on the combination of mobile agents technique and genetic algorithms (GA). By keeping a suitable number of mobile agents in the network to cooperatively explore the network states and continuously report cycles (that are formed by two disjoint-link routes) into the routing tables, our new hybrid algorithm can promptly determine the first population of cycles for a new request based on the routing table of its source node, without the time consuming process associated with current GA-based lightpath protection schemes. We further improve the performance of our algorithm by introducing a more advanced fitness function that is suitable for both the above networks. Extensive simulation studies on the ns-2 network simulator show that our hybrid algorithm achieves a significantly lower blocking probability than the conventional survivable routing algorithms for all the cases we studied.     

Satellite SAR Remote Sensing of Great Lakes Ice Cover,Part 2. Ice Classification and Mapping

During the 1997 winter season, shipborne polarimetric backscatter measurements of Great Lakes (freshwater) ice types using the Jet Propulsion Laboratory C-band scatterometer, together with surface-based ice physical characterization measurements and environmental parameters, were acquired concurrently with Earth Resource Satellite 2 (ERS-2) and RADARSAT Synthetic Aperture Radar (SAR) data. This polarimetric data set, composed of over 20 variations of different ice types measured at incident angles from 0° to 60° for all polarizations, was processed to radar cross-section to establish a library of signatures (look-up table) for different ice types. The library is used in the computer classification of calibrated satellite SAR data. Computer analysis of ERS-2 and RADARSAT ScanSAR images of Great Lakes ice cover using a supervised classification technique indicates that different ice types in the ice cover can be identified and mapped, and that wind speed and direction can have an influence on the classification of water as ice based on single frequency, single polarization data. Once satellite SAR data are classified into ice types, the ice map provides important and necessary input for environmental protection and management, ice control and ice breaking operations, and ice forecasting and modeling efforts.     

Bandwidth and region division for broadband multi-cell networks

A cell planning technique termed BRD (bandwidth and region division) is presented for overcoming interference, maintaining QoS (quality of service) and improving channel capacity over OFDM (orthogonal frequency division multiplexing)-based broadband cellular networks. Through an optimal combination of sectorization and zero padding, bandwidth and region division is achieved that minimizes the outage probability for forward-link cell planning. In order to verify the effectiveness of the proposed algorithm, a Monte Carlo simulation is performed over multi-cell environments.     

A practical SPICE model based on the physics and characteristics of realistic single-electron transistors

A practical model for a single-electron transistor (SET) was developed based on the physical phenomena in realistic Si SETs, and implemented into a conventional circuit simulator. In the proposed model, the SET current calculated by the analytic model is combined with the parasitic MOSFET characteristics, which have been observed in many recently reported SETs formed on Si nanostructures. The SPICE simulation results were compared with the measured characteristics of the Si SETs. In terms of the bias, temperature, and size dependence of the realistic SET characteristics, an extensive comparison leads to good agreement within a reasonable level of accuracy. This result is noticeable in that a single set of model parameters was used, while considering divergent physical phenomena such as the parasitic MOSFET, the Coulomb oscillation phase shift, and the tunneling resistance modulated by the gate bias. When compared to the measured data, the accuracy of the voltage transfer characteristics of a single-electron inverter obtained from the SPICE simulation was within 15%. This new SPICE model can be applied to estimating the realistic performance of a CMOS/SET hybrid circuit or various SET logic architectures.     

Difficult to Let Housing Association Stock in England: Property,Management and Context

Problems related to unpopular housing are not new in Britain's social rented sector. In the past, however, these have generally been associated with housing provided directly by the state through local authorities. For many, the term 'difficult to let' has become synonymous with large, ageing, poor quality estates managed under a centralised framework and subject to a long period of low investment and indifferent management. There has also been a long-standing assumption that social housing allocations systems tend to channel the most vulnerable tenants into the least desirable housing. In fact, the problem of difficult to let property is now as pervasive in the not-for-profit sector managed by housing associations as it is within council housing. In many cases the developments affected are small in scale and, in a significant proportion of cases, recently constructed. In explaining why property becomes difficult to let, the local and regional context is clearly important. The balance between social, economic and housing demand circumstances and property and estate characteristics varies between regions. There is relatively little evidence that difficult to let housing association properties are occupied by disproportionate numbers of the most severely disadvantaged tenants and this suggests that something has happened to modify the segregating effects of allocations systems observed in earlier studies. Nevertheless, this apparent change must be seen within the context of the general trend towards a residual role for social housing in its entirety. The social class and income range of new social sector tenants now is much diminished by comparison with earlier decades with few distinctions between the occupiers of difficult to let and other housing.     

Substrate transport and cocaine binding of human dopamine transporter is reduced by substitution of carboxyl tail with that of bovine dopamine transporter

A chimeric dopamine transporter (DAT) cDNA encoding mutant human DAT (hDAT) protein in which the intracellular carboxyl-terminal tail is replaced by that of the bovine dopamine transporter (bDAT) was constructed. The chimeric hDAT cDNA was expressed in COS-7 cells, and [3H]dopamine and [3H]MPP+ uptake and [3H]CFT binding capacities were assessed. Substrate transport and ligand binding of bDAT were reduced by 32-43% as a result of substitution of the carboxyl tail in hDAT, suggesting that the functional characteristics of bDAT arise from differences in the carboxyl tail between human and bovine DAT. Thus, it appears that the sequences encoded within the carboxyl terminal of DAT would be one of the important determinants for its functions.