A 3-DOF ultrasonic motor with a cylinder-shaped stator and a spherical rotor is developed. The motor provides 3-DOF rotation around x, y, and z-axes implemented by two second order bending modes with orthogonality an...A 3-DOF ultrasonic motor with a cylinder-shaped stator and a spherical rotor is developed. The motor provides 3-DOF rotation around x, y, and z-axes implemented by two second order bending modes with orthogonality and one first order longitudinal mode of the stator. The three modes must satisfy some conditions. In our previous research, in order to satisfy these conditions, a parameter fitting design method is used. However, it is an experiential design method with low efficiency and costs much time, sometimes it even cannot find a desired solution. This paper puts forward an optimal design method for the stator. Based on the method, an optimization program is developed in MATLAB environment. Using the program, a new prototype of 3-DOF ultrasonic motor is designed. Its stator has diameter of 20 mm, height of 67 mm, and mass of 157 g. Experimental results show that the measured stators′ modal frequencies and modal shapes are in good consistent agreement with the results obtained by the optimal design program.展开更多
Explaining the causes of infeasibility of Boolean formulas has many practical applications in electronic design automation and formal verification of hardware.Furthermore,a minimum explanation of infeasibility that ex...Explaining the causes of infeasibility of Boolean formulas has many practical applications in electronic design automation and formal verification of hardware.Furthermore,a minimum explanation of infeasibility that excludes all irrelevant information is generally of interest.A smallest-cardinality unsatisfiable subset called a minimum unsatisfiable core can provide a succinct explanation of infea-sibility and is valuable for applications.However,little attention has been concentrated on extraction of minimum unsatisfiable core.In this paper,the relationship between maximal satisfiability and mini-mum unsatisfiability is presented and proved,then an efficient ant colony algorithm is proposed to derive an exact or nearly exact minimum unsatisfiable core based on the relationship.Finally,ex-perimental results on practical benchmarks compared with the best known approach are reported,and the results show that the ant colony algorithm strongly outperforms the best previous algorithm.展开更多
Peer-to-peer (P2P) technology provides a cost-effective and scalable way to distribute video data. However, high heterogeneity of the P2P network, which rises not only from heterogeneous link capacity between peers bu...Peer-to-peer (P2P) technology provides a cost-effective and scalable way to distribute video data. However, high heterogeneity of the P2P network, which rises not only from heterogeneous link capacity between peers but also from dynamic variation of available bandwidth, brings forward great challenge to video streaming. To attack this problem, an adaptive scheme based on rate-distortion optimization (RDO) is proposed in this paper. While low complexity RDO based frame dropping is exploited to shape bitrate into available bandwidth in peers, the streamed bitstream is dynamically switched among multiple available versions in an RDO way by the streaming server. Simulation results show that the proposed scheme based on RDO achieves great gain in overall perceived quality over simple heuristic schemes.展开更多
Principally the basis of ISE is selecting of a support solid matrix and a nonsoluble compound or complexes of insighted cation, mixed with this solid. For preparing the ISE membranes there are some materials such PVC,...Principally the basis of ISE is selecting of a support solid matrix and a nonsoluble compound or complexes of insighted cation, mixed with this solid. For preparing the ISE membranes there are some materials such PVC, PE, organic polyelectrolytes, conducting polymers and inorganic compounds. The black white microscope photos are included, too. Detailed schemes and pictures of the electrodes and correlations were shown in the following article. Results are seen compatible for construction of the versatile ISE electrodes.展开更多
We present a semi-custom design methodology based on transistor tuning to optimize the design performance. Compared with other transistor tuning approaches, our tuning process takes the cross-talk effect into account ...We present a semi-custom design methodology based on transistor tuning to optimize the design performance. Compared with other transistor tuning approaches, our tuning process takes the cross-talk effect into account and prominently reduces the complexity for circuit simulation and analysis by decomposing the circuit network utilizing graph theory. Furthermore, the incremental placement and routing for the corresponding transistor tuning in conventional approaches is not required in our methodology, which might induce timing graph variation and additional iterations for design convergence. This methodology combines the flexible automated circuit tuning and physical design tools to provide more opportunities for design optimization throughout the design cycle.展开更多
The operation of a motor drive for high-power, high-speed applications, especially for the permanent-magnet synchronous AC motors with regeneration capability is presented. Power system utilizes a SVHPWM （space-vecto...The operation of a motor drive for high-power, high-speed applications, especially for the permanent-magnet synchronous AC motors with regeneration capability is presented. Power system utilizes a SVHPWM （space-vector-based hybrid pulse width modulation） for a reduced harmonic distortion and switching loss. Associated electromagnetic interference mitigation and cooling requirements are significantly reduced. Voltage source inverter drives a three-phase MLC200 flywheel. The modularity of the proposed topology also simplifies overall system design and manufacturability. The system topology and control strategy are discussed. Simulation results are presented to illustrate the harmonic distortion and switching loss reduction and reduced line current ripple.展开更多
A new series of fluorescent arylamino fumarinitrile derivatives was designed and optimized using density function theory at the B3LYP/6-31G^＊ level. Based on the optimized geometries, the electronic, fluorescent and ...A new series of fluorescent arylamino fumarinitrile derivatives was designed and optimized using density function theory at the B3LYP/6-31G^＊ level. Based on the optimized geometries, the electronic, fluorescent and 13C NMR spectra are calculated with INDO/CIS, CIS-ZINDO TD, and B3LYP/6-31G^＊ methods, respectively. Starting with the first of the series, the LUMO-HOMO energy gaps of the derivatives become wider and the fluorescent wavelengths and the main peaks in the electronic spectra are blue-shifted owing to the large steric effect of naphthyl rings. On the contrary, the energy gaps of the derivatives turn narrow, and the fluorescent wavelengths and the main peaks in the electronic spectra are red-shifted since hydroxyl groups improve the symmetry and extend the conjugation system. The chemical shifts of sp^2-C on the phenyl rings are moved upfield, while chemical shifts of carbon atoms on the cyano groups and those connected with the cyano groups are changed downfield in the presence of hydroxyl groups.展开更多
The continuing increase in IC （Integrated Circuit） power levels and microelectronics packaging densities has resulted in the need for detailed considerations of the heat sink design for integrated circuits. One of t...The continuing increase in IC （Integrated Circuit） power levels and microelectronics packaging densities has resulted in the need for detailed considerations of the heat sink design for integrated circuits. One of the major components in the heat sink is the heat spreader which must be designed to effectively conduct the heat dissipated from the chip to a system of fins or extended surfaces for convective heat transfer to a flow of coolant. The heat spreader design must provide the capability to dissipate the thermal energy generated by the chip. However, the design of the heat spreader is also dependent on the convection characteristics of the fins within the heat sink, as well the material and geometry of the heat spreader. This paper focuses on the optimization of heat spreaders in a heat sink for safe and efficient performance of electronic circuits. The results of the study show that, for air-cooled electronics, the convective effects may dominate the thermal transport performance of the heat spreader in the heat sink.展开更多
文摘A 3-DOF ultrasonic motor with a cylinder-shaped stator and a spherical rotor is developed. The motor provides 3-DOF rotation around x, y, and z-axes implemented by two second order bending modes with orthogonality and one first order longitudinal mode of the stator. The three modes must satisfy some conditions. In our previous research, in order to satisfy these conditions, a parameter fitting design method is used. However, it is an experiential design method with low efficiency and costs much time, sometimes it even cannot find a desired solution. This paper puts forward an optimal design method for the stator. Based on the method, an optimization program is developed in MATLAB environment. Using the program, a new prototype of 3-DOF ultrasonic motor is designed. Its stator has diameter of 20 mm, height of 67 mm, and mass of 157 g. Experimental results show that the measured stators′ modal frequencies and modal shapes are in good consistent agreement with the results obtained by the optimal design program.
基金the National Natural Science Foundation of China (No.60603088)
文摘Explaining the causes of infeasibility of Boolean formulas has many practical applications in electronic design automation and formal verification of hardware.Furthermore,a minimum explanation of infeasibility that excludes all irrelevant information is generally of interest.A smallest-cardinality unsatisfiable subset called a minimum unsatisfiable core can provide a succinct explanation of infea-sibility and is valuable for applications.However,little attention has been concentrated on extraction of minimum unsatisfiable core.In this paper,the relationship between maximal satisfiability and mini-mum unsatisfiability is presented and proved,then an efficient ant colony algorithm is proposed to derive an exact or nearly exact minimum unsatisfiable core based on the relationship.Finally,ex-perimental results on practical benchmarks compared with the best known approach are reported,and the results show that the ant colony algorithm strongly outperforms the best previous algorithm.
文摘Peer-to-peer (P2P) technology provides a cost-effective and scalable way to distribute video data. However, high heterogeneity of the P2P network, which rises not only from heterogeneous link capacity between peers but also from dynamic variation of available bandwidth, brings forward great challenge to video streaming. To attack this problem, an adaptive scheme based on rate-distortion optimization (RDO) is proposed in this paper. While low complexity RDO based frame dropping is exploited to shape bitrate into available bandwidth in peers, the streamed bitstream is dynamically switched among multiple available versions in an RDO way by the streaming server. Simulation results show that the proposed scheme based on RDO achieves great gain in overall perceived quality over simple heuristic schemes.
文摘Principally the basis of ISE is selecting of a support solid matrix and a nonsoluble compound or complexes of insighted cation, mixed with this solid. For preparing the ISE membranes there are some materials such PVC, PE, organic polyelectrolytes, conducting polymers and inorganic compounds. The black white microscope photos are included, too. Detailed schemes and pictures of the electrodes and correlations were shown in the following article. Results are seen compatible for construction of the versatile ISE electrodes.
基金Project (No. 2005AA1Z1271) supported by the Hi-Tech Researchand Development Program (863) of China
文摘We present a semi-custom design methodology based on transistor tuning to optimize the design performance. Compared with other transistor tuning approaches, our tuning process takes the cross-talk effect into account and prominently reduces the complexity for circuit simulation and analysis by decomposing the circuit network utilizing graph theory. Furthermore, the incremental placement and routing for the corresponding transistor tuning in conventional approaches is not required in our methodology, which might induce timing graph variation and additional iterations for design convergence. This methodology combines the flexible automated circuit tuning and physical design tools to provide more opportunities for design optimization throughout the design cycle.
文摘The operation of a motor drive for high-power, high-speed applications, especially for the permanent-magnet synchronous AC motors with regeneration capability is presented. Power system utilizes a SVHPWM （space-vector-based hybrid pulse width modulation） for a reduced harmonic distortion and switching loss. Associated electromagnetic interference mitigation and cooling requirements are significantly reduced. Voltage source inverter drives a three-phase MLC200 flywheel. The modularity of the proposed topology also simplifies overall system design and manufacturability. The system topology and control strategy are discussed. Simulation results are presented to illustrate the harmonic distortion and switching loss reduction and reduced line current ripple.
文摘A new series of fluorescent arylamino fumarinitrile derivatives was designed and optimized using density function theory at the B3LYP/6-31G^＊ level. Based on the optimized geometries, the electronic, fluorescent and 13C NMR spectra are calculated with INDO/CIS, CIS-ZINDO TD, and B3LYP/6-31G^＊ methods, respectively. Starting with the first of the series, the LUMO-HOMO energy gaps of the derivatives become wider and the fluorescent wavelengths and the main peaks in the electronic spectra are blue-shifted owing to the large steric effect of naphthyl rings. On the contrary, the energy gaps of the derivatives turn narrow, and the fluorescent wavelengths and the main peaks in the electronic spectra are red-shifted since hydroxyl groups improve the symmetry and extend the conjugation system. The chemical shifts of sp^2-C on the phenyl rings are moved upfield, while chemical shifts of carbon atoms on the cyano groups and those connected with the cyano groups are changed downfield in the presence of hydroxyl groups.
文摘The continuing increase in IC （Integrated Circuit） power levels and microelectronics packaging densities has resulted in the need for detailed considerations of the heat sink design for integrated circuits. One of the major components in the heat sink is the heat spreader which must be designed to effectively conduct the heat dissipated from the chip to a system of fins or extended surfaces for convective heat transfer to a flow of coolant. The heat spreader design must provide the capability to dissipate the thermal energy generated by the chip. However, the design of the heat spreader is also dependent on the convection characteristics of the fins within the heat sink, as well the material and geometry of the heat spreader. This paper focuses on the optimization of heat spreaders in a heat sink for safe and efficient performance of electronic circuits. The results of the study show that, for air-cooled electronics, the convective effects may dominate the thermal transport performance of the heat spreader in the heat sink.
