模2~l缩系的若干注记

在常见的数论文献中,模2l的缩系是用-1,5来生成的.文章推广了这一结果,给出了模2l最大阶元的刻画以及模2l缩系生成元组的刻画.特别地,证明了-1,3也可作为模2l的一个缩系生成元组.从数值上看,它们比常用的-1,5更简单.

有效微观状态数与系综变换

首先提出有效微观状态数的概念 ,以此为出发点阐明尽管就其本质看它们都与孤立系的微观状态数的地位相当 .证明了对于不同独立参量的系统 ,相应的有效微观状态数都扮演了特性函数的角色 ,于是由独立参量的各种组合会有各种有效微观状态数 ,从而有各种相应的系综 .

探究式教学设计在信息安全数学基础课程中的应用

针对传统信息安全数学基础课堂单纯讲授式教学存在的弊端,提出“以学为主”的探究式教学理念与方法,探讨如何根据WHERETO七要素制订追求学生深入探究的教学设计方案,以同余理论中的缩系为例,介绍探究式教学具体实践过程,最后说明教学效果。

若干数论问题的注记

本文主要对几个与同余类有关的命题给出新的简化证明。

数论函数中的R－空间的一个性质

本文证明了如果Ｔ是Ｒ－空间，ｆ是一个完全积性函数，若有ｋ次复系数非零多项式Ｐ（ｚ）使Ｐ（Ｅ）ｆ∈Ｔ，则一定有正整数Ｂ使（ＥＢ－１）ｋｆ∈Ｔ，Ｂ的所有素因子ｐ满足ｆ（ｐ）＝０，并且如果Ｐ（ｚ）是满足条件的最低次首１多项式，则Ｐ（ｚ）一定可以表示为若干个分圆多项式Ｆｄ（ｚ）的来积．此外使ｆ（ｐ）＝Ｏ的素数ｐ的个数不超过ｋ－１．

关于特征和定理的一个注记

阐述了模m的特征、模m的原特征与特征和的定义及其相关引理,然后指出了文献[1]中的特征和定理的证明过程中所存在的问题,同时给出了文献[1]中的特征和定理证明的关键步骤.

Study on compressibility of traffic flow

In order to describe the compressibility of traffic flows and determine the compression factors, the Mach number of gas dynamics is introduced, and the concept and the formula of the compression factor are obtained. According to the concept of the compression factor and its differential equation, a stop-wave model is built. The theoretical value and the observed one are obtained by the survey data in Changchun city. The relative error between the two values is 20. 3%. The accuracy is improved 39% compared with the result from the traditional stop-wave model. The results show that the traffic flow is compressible, and the methods of research on gas compressibility is also applicable to the traffic flow. The stop-wave model obtained by the compression factor can better describe the phenomenon of the stop wave at a signalized intersection when compared with the traditional stop-wave model.

Hot compressive behavior of Ti-3.0Al-3.7Cr-2.0Fe-0.1B titanium alloy

The hot deformation behavior of Ti-3.0Al-3.7Cr-2.0Fe-0.1B (TACFB) titanium alloy was investigated using a Gleeble-1500D thermal simulator in the temperature range of 800-950 °C, at constant strain rate from 0.01 s-1 to 10 s-1 and with height reduction of 70%. Flow stress and microstructure evolution during hot compression of TACFB alloy were investigated. The processing map of TACFB alloy was obtained. The results indicate that the hot deformation behavior of TACFB alloy is sensitive to the deformation temperature and strain rate. The peak flow stress decreases with increasing the test temperature and decreasing the strain rate. The constitutive relationship of TACFB alloy was obtained on the base of Arrhenius equations. When the strain rates are higher than 1.0 s-1, the dynamic recrystallization occurs, and the higher the strain rates are, the more the recrystallization is.

Vehicle detection method for expressway by MPEG compressed domain

A method which extracts traffic information from an MPEG-2 compressed video is proposed. According to the features of vehicle motion, the motion vector of a macro-block is used to detect moving vehicles in daytime, and a filter algorithm for removing noises of motion vectors is given. As the brightness of the headlights is higher than that of the background in night images, discrete cosine transform （DCT）coefficient of image block is used to detect headlights of vehicles at night, and an algorithm for calculating the DCT coefficients of P-frames is introduced. In order to prevent moving objects outside the expressway and video shot changes from disturbing the detection, a driveway location method and a video-shot-change detection algorithm are suggested. The detection rate is 97.4% in daytime and 95.4% in nighttime by this method. The results prove that this vehicle detection method is effective.

板块楼地面隆起的原因分析

一、问题的提出 在一些已交付使用的建筑物中.常常会看到一些板块楼地面,由于种种原因,引起粘结损坏,致使楼地面局部或大面积隆起拱出,这种现象一旦形成,不但直接影响人们的工作和生活,也带来不应有的经济损失。本人对板块楼地面隆起这种现象一直很关注,尤其是近几年。

ADVANCED FREQUENCY-DIRECTED RUN-LENTH BASED CODING SCHEME ON TEST DATA COMPRESSION FOR SYSTEM-ON-CHIP

Test data compression and test resource partitioning （TRP） are essential to reduce the amount of test data in system-on-chip testing. A novel variable-to-variable-length compression codes is designed as advanced fre- quency-directed run-length （AFDR） codes. Different [rom frequency-directed run-length （FDR） codes, AFDR encodes both 0- and 1-runs and uses the same codes to the equal length runs. It also modifies the codes for 00 and 11 to improve the compression performance. Experimental results for ISCAS 89 benchmark circuits show that AFDR codes achieve higher compression ratio than FDR and other compression codes.

Speeds of Sound and Excess Isentropic Compressibilities of Butyl Acetate＋Aromatic Hydrocarbons

Speed of sound data for butyl acetate＋benzene, or toluene, or o-xylene, or m-xylene, or p-xylene binary mixtures have been measured over the entire range of mole fraction at 308.15 K. The excess isentropic compressibilities （ Ks^E ） were computed from speed of sound and density data, derived from molar excess volume data. The Ks^E values were analyzed by using graph theoretical approach. The Ks^E values evaluated by graph theory compared reasonably well with their corresponding experimental values. The Ks^E data were also expressed in terms of Redlich-Kister polynomial equation to derive the coefficients and the standard deviation.

Pneumatic active suspension system for a one-wheel car model using fuzzy reasoning and a disturbance observer

This paper presents the construction of a pneumatic active suspension system for a one-wheel car model using fuzzy reasoning and a disturbance observer. The one-wheel car model can be approximately described as a nonlinear two degrees of freedom system subject to excitation from a road profile. The active control is composed of fuzzy and disturbance controls, and the active control force is constructed by actuating a pneumatic actuator. A phase lead-lag compensator is inserted to counter the performance degradation due to the delay of the pneumatic actuator. The experimental result indicates that the proposed active suspension improves much the vibration suppression of the car model.

Mechanics Model to Determine Swelling Potential of Expansive Soils

The factors influencing on soil expansion are reviewed in the paper. A mechanics model to determine swelling potential of expansive soils is presented. The mechanics model is based on the softening of expansive soil following absorption of water. The constitutive relationships of the mechanics model include the relationship among swelling under free load, swelling under load, and vertical pressure, and the relationship of swelling under free loading and swelling pressure. A concept of additional compression modulus is introduced and the method determining the modulus is proposed. Finally, the predicted results of swelling potential using the mechanics model compare well with the measured data.

Earth pressure coefficient at rest during secondary compression

In order to obtain the earth pressure coefficient at rest (K0) at higher consolidation pressures during secondary compression, a series of K0 tests for saturated reconstituted clay were conducted. The results indicate that the measured K0 in secondary compression can be described by equations related to internal friction angle, secondary compression coefficient, compression index, recompression index, and sediment time. Effects of consolidation pressures and sediment time on K0 during secondary compression can be attributed to cementation (part of cohesion) increase and internal friction angle decrease. Cementation increase leads to nonlinear variation for K0 and internal friction angle decrease results in increase of K0. K0 computed by equations associated with internal friction angle is overestimated at apparent lower consolidation pressures with different sediment time, which agrees with the measured values well at apparent higher consolidation pressures.

Numerical model of soft ground improvement by vertical drain combined with vacuum preloading

The rapid development of high-speed transportation infrastructure such as highway and high-speed railway has resulted in the advancement of soft soil improvement techniques. Vacuum preloading combined with vertical drains has been proved to be an effective method in the treatment of soft foundation. A three-dimensional numerical analysis of the coupled methods was presented, in which the smear zone and the well resistance were taken into account. The variations of the basic soil parameters including the permeability coefficient and the coefficient of volume compressibility were considered in the numerical model. The result of the numerical model was then compared to the measured value. The results indicate that the decrease of coefficient of volume compressibility accelerates the consolidation of the soil while the influence of hydraulic conductivity is insignificant. A cube drain presents the closest result to the real situation compared to the other equivalent methods of prefabricated vertical drain (PVD). The case study indicates that the numerical model with variation of soil parameters is closer to the measured value than the numerical model without variation of soil parameters.

Prediction of Cracking Gas Compressor Performance and Its Application in Process Optimization

Cracking gas compressor is usually a centrifugal compressor. The information on the performance of a centrifugal compressor under all conditions is not available, which restricts the operation optimization for compressor. To solve this problem, two back propagation (BP) neural networks were introduced to model the performance of a compressor by using the data provided by manufacturer. The input data of the model under other conditions should be corrected according to the similarity theory. The method was used to optimize the system of a cracking gas compressor by embedding the compressor performance model into the ASPEN PLUS model of compressor. The result shows that it is an effective method to optimize the compressor system.

Synthesis of Nano-ZSM-5 in Ultra-Concentrated System and Its Performance in Diesel Hydrodewaxing

Nanocrystalline ZSM-5(with a crystal size in the range of 20—30 nm) has been synthesized in only 20 h via the crystallization of ultra-concentrated homogeneous synthesis mixtures. The influence of low water content, use of compound surfactant, a proper crystallization time and SiO_2/Al_2O_3 molar ratio on the properties of the final nanocrystalline ZSM-5 has been studied. Especially, the use of compound surfactant has influenced some properties of nano-ZSM such as the morphology, crystal size and crystallization greatly. The nano-ZSM-5 zeolite was investigated using XRD, BET, SEM, NH_3-TPD, and other techniques. The evaluation results in a 200-mL hydrogenation unit indicated that the synthesized nano-ZSM-5 had excellent catalytic performance in diesel hydrodewaxing.

A New Measurement System for Static and Dynamic Clothing Pressure

This study aims to develop a system and measurement method for investigating the static and dynamic pressure behavior of compression products. The self-designed measurement system, named "cloth-press" (LLY-56B), is a direct measurement method, which is based on a rigid hemisphere with three pressure sensors distributed on its surface. The static pressure is measured at predetermined press depth, and the dynamic pressure is measured under the processing of fabric 3D deformation. The pressure distributions at the basic three sites are accepted as the measurement results. The measurement results provide much information in the field of compression fabric assessment, and the measurement system can be used in scientific research institutes and factories, contributing to optimize process parameters and quality control of compression garment.

Optimal synthesis of compression refrigeration system using a novel MINLP approach

The optimal design of a compression refrigeration system(CRS) with multiple temperature levels is very important to chemical process industries and also represents considerable challenges in process systems engineering. In this paper, a general methodology for the optimal synthesis of the CRS, which simultaneously integrates CRS and Heat Exchanger Networks(HEN) to minimize the total compressor shaft work consumption based on an MINLP model, has been proposed. The major contribution of this method is in addressing the optimal design of refrigeration cycle with variable refrigeration temperature levels. The method can be used to make major decisions in the CRS design, such as the number of levels, temperature levels, and heat transfer duties. The performance of the developed methodology has been illustrated with a case study of an ethylene CRS in an industrial ethylene plant, and the optimal solution has been examined by rigorous simulations in Aspen Plus to verify its feasibility and consistency.