Cube-octameric silsesquioxane (POSS)-capped magnetic iron oxide nanoparticles for the efficient removal of methylene blue

Octavinyl polyhedral oligomeric silsesquioxane (POSS) was polymerized on the surface of Fe3O4 nanoparticles (NPs) and then the NPs were functionalized with carboxylic acid groups using thiol-ene click reactions with thioglycolic acid.The as-prepared Fe3O4@POSS-COOH magnetic hybrid NPs had mesoporous structures with an average particle diameter of 15 nm and a relatively high specific surface area of 447 m^2· g^-1.Experimental results showed that 4 mg of Fe3O4@POSS-COOH NPs efficiently adsorbed and removed methylene blue from water at 5 min.This is due to the presence of both carboxylic acid and pendant vinyl groups on the Fe3O4@POSS-COOH NPs.These NPs could be easily withdrawn from water within a few seconds under moderate magnetic field and showed high stability in acid and alkaline aqueous mediums.     

A mathematical method to realize complex poles in a high-order passive switched-capacitor filter

A high-order discrete-time IIR low-pass with complex poles using charge sampling is presented in a single-stage structure by using a mathematical strategy. In comparison with the analog complex-poles G_m-C filters, the proposed filter consumes lower power and has good linearity, and all of the tunings are implemented only by capacitor sizes. The proposed filter is a seventh-order Butterworth, but this method can be generalized to implement other complex pole filters like Tchebyshev and Elliptic. Post-layout simulation results in 130-nm complementary metal-oxide-semiconductor (CMOS) show an IIP3 of +18 dBm and a noise figure of 5 dB. The filter has a rejection of more than 110 dB in its stop band and consumes 1.5 mW with a 1.6-V supply voltage, and circuit occupies an about 0.12 mm² of silicon.     

A new arrangement of Z‐source AC–AC converter and its closed‐loop control system

In this study, a Z‐source alternating current‐to‐alternating current (AC–AC) converter with a specific topology, which can provide both buck and boost modes, is investigated. This converter, which can be implemented easily, utilizes only two switches with complemented commands. A comparison between the Z‐source AC–AC converter and a conventional thyristor voltage controlled one is presented here, and it shows that in the most areas, the Z‐source converter provides a faster response and lower total harmonic distortion of the output currents than the conventional one. Moreover, the Z‐source converter is also extended to the multiphase systems. In addition, a new arrangement of this converter is proposed here to remove the isolated single‐phase sources. Furthermore, an open‐loop method is proposed for soft‐starting applications. Finally, a closed‐loop control system is also suggested for a three‐phase Z‐source converter to soft start and control the speed of an induction motor. Computer simulations show the validity and effectiveness of the proposed schemes. Copyright © 2014 John Wiley & Sons, Ltd.     

Analytical study of surface wave multiple refraction in boundary of a scalar impedance surface with a tensor impedance surface

In this paper, the multiple refraction phenomenon is investigated on the boundary of a scalar impedance surface (SIS) and a tensor impedance surface (TIS). When a surface wave (SW) propagates on the SIS and radiates to the boundary of the TIS, the propagation direction of it is changed and the refraction phenomenon is accrued. The method that is proposed in this paper can predict the multiple refraction for the SW. Moreover, another analytical method is introduced for designing the proposed structure which the double refraction (DR) occurs at arbitrary angles on it. Using it, a sample of the structure is designed by printed circuits in 15.2GHz and the results are verified by the full‐wave simulation and measurement. The results are shown that in the structure, DR is occurred in 2° and 22° as predicted. The proposed method can provide many applications such as design of SW power dividers based on the TISs, impedance surface based waveguides, holographic antennas, and feeding of array antennas.     

Abstraction and approximation in fuzzy temporal logics and models

Recently, by defining suitable fuzzy temporal logics, temporal properties of dynamic systems are specified during model checking process, yet a few numbers of fuzzy temporal logics along with capable corresponding models are developed and used in system design phase, moreover in case of having a suitable model, it suffers from the lack of a capable model checking approach. Having to deal with uncertainty in model checking paradigm, this paper introduces a fuzzy Kripke model (FzKripke) and then provides a verification approach using a novel logic called Fuzzy Computation Tree Logic* (FzCTL*). Not only state space explosion is handled using well-known concepts like abstraction and bisimulation, but an approximation method is also devised as a novel technique to deal with this problem. Fuzzy program graph, a generalization of program graph and FzKripke, is also introduced in this paper in consideration of higher level abstraction in model construction. Eventually modeling, and verification of a multi-valued flip-flop is studied in order to demonstrate capabilities of the proposed models.     

Insecurities in FORTRAN DO-loops

Despite a long-established body of relevant computer science, lack of precise specification of certain aspects of FORTRAN and deviation from the published standards permit the construction of non-standard programs which run under different systems to give contradictory results. This paper highlights certain deviant features of DO-loops.     

One-way ANOVA based on interval information

This paper deals with extending the one-way analysis of variance (ANOVA) to the case where the observed data are represented by closed intervals rather than real numbers. In this approach, first a notion of interval random variable is introduced. Especially, a normal distribution with interval parameters is introduced to investigate hypotheses about the equality of interval means or test the homogeneity of interval variances assumption. Moreover, the least significant difference (LSD method) for investigating multiple comparison of interval means is developed when the null hypothesis about the equality of means is rejected. Then, at a given interval significance level, an index is applied to compare the interval test statistic and the related interval critical value as a criterion to accept or reject the null interval hypothesis of interest. Finally, the method of decision-making leads to some degrees to accept or reject the interval hypotheses. An applied example will be used to show the performance of this method.     

Mixed Biogeography-Based Optimization for GENCOs’ Maintenance Scheduling in Restructured Power Systems

Power industry restructuring has brought new challenges to the generation unit maintenance scheduling problem. Maintenance scheduling establishes the outage time scheduling of units in a particular time horizon. In the restructured power systems, the decision-making process is decentralized where each generating company (GENCO) tries to maximize its own benefit. Therefore, the principle to draw up the unit maintenance scheduling is different from the traditional centralized power systems. The objective function for GENCOs is to minimize his maintenance investment loss. Therefore, he hopes to put its maintenance on the weeks when the market-clearing price is lowest so that maintenance investment loss descends. This paper addresses the unit maintenance scheduling problem of GENCOs in restructured power systems. The problem is formulated as a mixed integer programming problem, and it is solved by using an optimization method known as biogeography-based optimization (BBO). BBO is simple to implement in practice and requires a reasonably small amount of computing time and a small amount of data communication. BBO has been tested by applying it to a GENCO with three generating units. This model consists of an objective function and related constraints, e.g., maintenance window, generation capacity, load and network flow. The simulation result of this method is compared with a classic method. The outcome is very encouraging and proves that BBO is powerful for minimizing GENCOs’ objective function.