大变量逻辑函数最佳覆盖问题研究

逻辑函数的最佳覆盖，一直是逻辑综合领域的关键环节。尤其是大变量逻辑函数最佳覆盖，对复杂的逻辑综合更为重要，但也更加困难。本文在对逻辑覆盖算法研究的基础上，提出了适合大变量逻辑函数最佳覆盖的Beister改进算法。经过大量算题的测试表明，改进的列覆盖算法在时间复杂度和选择效果方面均优于Beister算法。     

Changes in polymer foils used in food packaging tested by using differential scanning calorimetry

This work is an experimental study of the differential scanning calorimetry characterisation of polymer materials used in food packaging materials, such as polypropylene (0.03 mm), polyethylene (0.1 and 0.03 mm), poly(D-(-)-Β-hydroxybutyrate) (powder), two-layered polypropylene (0.064 mm), and two-layered polypropylene with poly-vinylidene-chloride (0.012/0.021). The polymer stability was checked by simulation of conditions during food preparation in microwave ovens, sterilisation or rapid freezing. The materials were tested in the temperature range from 40 to 200‡C at different scan rates from 2 to 30°C min⁻¹ during heating or cooling. The enthalpies show a high correlation coefficient (0.964) with scan rate. All samples undergo phase change in the temperature range from 107 to 173°C during heating and enthalpies are in the range from 31.8 to 71.1Jg⁻¹. Upon subsequent cooling from 200°C, the temperature range of phase changes is shifted to lower temperatures from 86 to 102°C with enthalpies ranging from 30.4 to 57.8 J g⁻¹. Experiments with exposure of polymers to microwave radiation and freezing prove that the phase change considering the temperature range is very similar in all experiments.     

Resource management in the next-generation DS-CDMA cellular networks

Direct sequence code-division multiple access has been shown as the predominant access technology to provide high-speed multimedia services in next-generation wireless cellular networks. The DS-CDMA cellular network significantly differentiates itself from the traditional narrowband TDMA/FDMA system, in which great capacity gain can be explored by taking advantage of its unique characteristics. This article addresses resource management in DS-CDMA cellular networks. We first provide an overview of the DS-CDMA network and discuss the main challenges in the design of resource management schemes. We then examine several critical issues within the scope of resource management, including congestion control, rate and power control, and cell planning, with the emphasis on call admission control. Finally, we offer some insights and discussions on the performance aspects, strengths, and weaknesses of existing proposals.     

In situ polymerization and characterization of polyester‐based polyurethane/nano‐silica composites

Polyester‐based polyurethane/nano‐silica composites were obtained via in situ polymerization and investigated by Fourier‐transform infrared spectroscopy (FTIR), or FTIR coupled with attenuated total reflectance (FTIR‐ATR), Transmission electron microscopy (TEM), atomic force microscopy (AFM), an Instron testing machine, dynamic mechanical analysis (DMA) and ultraviolet‐visible spectrophotometry (UV‐vis). FTIR analysis showed that in situ polymerization provoked some chemical reactions between polyester molecules and nano‐silica particles. FTIR‐ATR, TEM and AFM analyses showed that both surface and interface contained nano‐silica particles. Instron testing and DMA data showed that introducing nano‐silica particles into polyurethane enhanced the hardness, glass temperature and adhesion strength of polyurethane to the substrate, but also increased the resin viscosity. UV‐vis spectrophotometry showed that nano‐silica obtained by the fumed method did not shield UV radiation in polyurethane films. Copyright © 2003 Society of Chemical Industry     

Vortices in anisotropic type-II superconductors

We present a generalized variational model of an isolated vortex, valid in the anisotropic case when the external magnetic field is along one of the symmetry directions. We discuss the effects of the field anisotropy on the core and magnetic pinning of individual vortices.     

基于拓扑法的多关节机械手无碰路径规划

本文提出了一种基于拓扑法的多关节机械手无碰路径规划方法,文中重点讨论了三关节机械手路径规划时如何划分状态空间、判别各连通块之间的连通性以及路径搜索等问题,最后我们给出了一个实验结果以示该方法的有效性。     

0.5级电子式电能表的设计与实现

本文论述了一种普及型电子式电能表的设计原理和实现方法，具体讨论了时分割乘法器和电流互感器的组成和误差分析，最后给出测试结果。     

Sensitivity analysis of free torsional vibration frequencies of thin-walled i-beam resting on elastic foundation

The sensitivity analysis of natural frequencies of torsional vibration of thin-walled I-beams resting on a Winkler-type elastic foundation and subjected to axial static loads is discussed. The first-order variation of the frequencies due to the design variable variations is derived. The cross- ection dimensions, the beam material constants and the foundation stiffness are assumed to be the design variables. The considerations are based on the theory of thin-walled beams with nondeformable cross-section. The underintegral sensitivity coefficients of the flange width and the foundation stiffness variations for a simply supported I-beam are determined. An accuracy of approximation of the natural frequencies changes due to the design variable change, by means of their first-order variations, is also investigated.     

How to Control Robots Interacting with Dynamic Environment

The goal of this paper is to shed light on the control problem of constrained robot motion from the aspect of the dynamical nature of the environment with which the robot is in contact. Therefore, the criticism of traditional hybrid control which allows position/force feedback loops to split into independent control with respect to position and force, is not the main point we want to make. Reference to the papers written by the founders of hybrid control and their numerous followers served only to better understand the reason and motivation for suggesting a different approach to control of robots interacting with environment.The paper has a predominantly review character, based on recently published work. It also contains some new, unpublished results in the framework of the unified approach to the position/force control of robots, proposed by the present author and his co-workers. By pointing to the possibility of introducing an environment dynamics in the contact tasks of the machining type, the author emphasizes that the proposed dynamically interactive control can be applied to a completely different class of tasks, in which a contact is made between the system (constructions or structure) and very specific kinds of dynamic environments.     

Quantum phase transitions in 2D antiferromagnets

Quantum Monte Carlo results for the T = 0 order-disorder transition of two-dimensional dimerized quantum Heisenberg antiferromagnets are presented. For a two-layer model, with the dimers having one member on each plane, the finite-size scaling of the staggered structure factor and the staggered susceptibility is consistent with the 3D classical Heisenberg universality class, as required if the transition is described by the 2+1-dimensional non-linear sigma-model. However, for models with the dimers in a single plane, the behavior does not appear to be consistent with this universality class.