In situ composite films were prepared by a two-step method. First, polypropylene and thermotropic liquid crystalline polymer (TLCP), Rodrun LC5000 (80 mol% p-hydroxy benzoic acid (HBA)/20 mol% polyethylene terephthalate (PET)), were melt blended in a twin-screw extruder and then fabricated by extrusion through a mini-extruder as cast film. Rheological behavior of the blends, morphology of the extruded strands and films, and tensile properties of the in situ composite films were investigated. Rheological behavior of the blends at 295 °C studied using a plate-and-plate rheometer revealed a substantial reduction of the complex viscosity with increasing TLCP content, and all specimens exhibited shear thinning behavior. Over the angular frequency range of 0.6-200 rad/s, the viscosity ratio (dispersed phase to matrix phase) was found to be very low, in the range of 0.03-0.07. Morphologies of the fracture surfaces of the blend extrudates and the film surfaces etched in permanganic solution were investigated by scanning electron microscope (SEM). The TLCP droplets in the extruded strands were seen with a progressive deformation into fibrillar structure when TLCP content was increased up to 30 wt%. In the extruded films, TLCP fibrils with increasing aspect ratio (length to width) were observed with increasing TLCP concentration. Orientation functions of each component were determined by X-ray diffraction using a novel separation technique. It was observed that the Young's modulus in machine direction of the extruded film was greatly improved with increasing TLCP loading, due to the increase in fiber aspect ratio and also molecular orientation. 相似文献
Particle Swarm Optimization (PSO) has recently emerged as a nature-inspired algorithm for real parameter optimization. This
article describes a method for improving the final accuracy and the convergence speed of PSO by firstly adding a new coefficient
(called mobility factor) to the position updating equation and secondly modulating the inertia weight according to the distance
between a particle and the globally best position found so far. The two-fold modification tries to balance between the explorative
and exploitative tendencies of the swarm with an objective of achieving better search performance. We also mathematically
analyze the effect of the modifications on the dynamics of the PSO algorithm. The new algorithm has been shown to be statistically
significantly better than the basic PSO and four of its state-of-the-art variants on a twelve-function test-suite in terms
of speed, accuracy, and robustness. 相似文献
In this article, a new method of pattern synthesis of centre fed, equal distance linear array having single and multiple synthesis objectives has been proposed and statistically investigated. Single objective of reduced side lobe level (SLL) and first null beamwidth (FNBW) has been considered separately. Consequently, multiple objectives of beamwidth and side lobe level have been investigated. Synthesis of linear array for suitable objectives has been investigated on Taylor one parameter distribution with equal progressive phase. Excitation amplitude of each array element is taken as optimization parameter where distribution has been optimized using Particle Swarm Optimization (PSO) for achieving low SLL. Later the same has been incorporated for obtaining suitable FNBW. In our optimization algorithm conventional PSO has been modified with a restricted search PSO (RSPSO) where search space has been predefined within excitation amplitude range. PSO within the defined range searches for optimum excitation amplitude to achieve the desired objectives. In order to illustrate the effectiveness of the proposed RSPSO, simulation results of three significant instances of linear array have been presented for both even and odd number of element. The design results obtained using RSPSO have improved result than those obtained using other state of the art evolutionary algorithms like differential evolution (DE), invasive weeds optimization (IWO) and Conventional particle Swarm optimization (CPSO) in a statistically significant way. 相似文献
This paper describes a methodology for developing and verifying a class of distributed systems in which the state space may
be discrete or continuous. Our focus is on systems where changes are local in that a small number of components change state
while the remainder of the system is unchanged. A proof methodology is developed that ensures global properties, such as invariants
and convergence, by guaranteeing local properties within subsystems. This methodology is used to prove the correctness of
concrete examples. We present a PVS library of theorems and proofs that can be used to reduce the work required to develop
and verify programs in this class. A transformation of these libraries to Java is also outlined. 相似文献
Bladder injury in the neonatal period is an exceedingly rare phenomenon that is usually iatrogenic. Bladder rupture as a complication of umbilical catheterization in a newborn with urinary ascites, respiratory distress and hematuria is presented and discussed. 相似文献
Timed I/O automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for example, to model a real-time software component controlling a physical process. The TIOA model is sufficiently general to subsume other models in use for timed systems. The Tempo Toolset, currently under development, is aimed at supporting system development based on TIOA specifications. The Tempo Toolset is an extension of the IOA toolkit, which provides a specification simulator, a code generator, and both model checking and theorem proving support for analyzing specifications. This paper focuses on the modeling of timed systems and their properties with TIOA and on the use of TAME4TIOA, the TAME (Timed Automata Modeling Environment) based theorem proving support provided in Tempo, for proving system properties, including timing properties. Several examples are provided by way of illustration. 相似文献
India has a large poor population in spite of having a steady economic growth. Supply of centralized grid power to remote villages of India is not feasible due to adverse topography and poor economic condition of the villagers. To supply the reliable power at a minimum cost including penalty due to carbon dioxide emission, a suitable decentralized energy combination using locally available resources may be a better sustainable solution. The economy of such a hybrid energy supply system significantly depends on storage devices and dispatch strategies. Therefore, selection of appropriate storage devices and dispatch strategy need to be optimized based on available local resources. In this study, the comparative analysis of techno-economic factors for five different storage devices (lead acid battery, lithium-ion battery, vanadium redox battery, zinc bromide battery and pumped hydro energy storage) are studied under two different dispatch strategies, i.e., Load Following and Cycle Charging. The estimated cost of energy and net present cost of the recommended optimum combined energy system are in the range of US$0.197/kWh–US$0.453/kWh and US$3,62,384–US$5,76,369, respectively. The cost of energy, net present cost and carbon dioxide emission for the selected energy generators combination with the zinc bromide battery is 48.964–56.512%, 24.149–32.147% and 43.419–55.865% lower than other storage-based energy systems, respectively. The abovementioned economic and environmental factors are lower by 34.113, 10.489 and 31.094%, respectively, under Load Following dispatch strategy with respect to the Cycle Charging dispatch strategy for the optimum energy combination with zinc bromide battery.