DataSocket技术在远程测试中的研究与应用

本文介绍了一种实时数据传输技术-DataSocket,并给出了具体实例说明了如何将利用DataSocket技术来实现远程测试。     

Geotechnical properties of the soft soil in Guangzhou College City

The paper describes some geotechnical properties of the soft soils in Guangzhou College City, China, which are difficult to both sample and test. Laboratory and in situ tests were carried out to assess the physical and mechanical indices of the soils. The data were statistically analyzed and linear regression undertaken such that equations could be developed by which the geotechnical properties of the soft soils can be predicted. The statistical validity of the degree of correlation confirmed that using these equations, the mechanical indices can be estimated from physical indices determined by routine testing.      

Method of Reducing Error in Calculations of Active Power from Signal Samples

The paper presents the results of investigations into several methods of calculating the active power value from current and voltage signal samples. The accuracy attainable for nonsinusoidal signals whose frequency differs from the nominal one was determined. A new active power calculation method ensuring accurate results for sampling over two signal periods is proposed. The method uses a very simple computing algorithm.     

Equilibrium and crystallographic measurements of the binary tetrahydrofuran and helium clathrate hydrates

Clathrate compounds are crystalline materials formed by a physical interaction between host and relatively light guest molecules. Various types of nano-sized cages surrounded by host frameworks exist in the highly unique crystalline structures and free guest molecules are entrapped in an open host-guest network. Recently, we reported two peculiar phenomena, swapping and tuning, naturally occurring in the hydrate cages. Helium, one of the smallest light guest molecules, must be the challengeable material in the sense of physics and moreover possesses versatile applications in the field of superconductivity technology and thermonuclear industry. In this regard, we attempted for the first time to synthesize helium hydrates at moderate temperature and pressure conditions. According to inclusion phenomena, helium itself normally cannot form clathrate hydrates due to being too small molecularly without the help of hydrate former molecules (sI, sII, and sH formers). In this study, the hydrate equilibria of the binary clathrate hydrate containing tetrahydrofuran, helium, and water were determined at 2, 3, 5.56 THF mol%. Direct volumetric measurements were also carried out to confirm the exact amount of helium captured in the hydrate cages. Finally, the crystalline structure of the formed mixed hydrates was identified by powder X-ray diffraction, resulting in structure II.     

Strength and fracture toughness of nano and micron-silica particles bidispersed epoxy composites: evaluated by fragility parameter

In this study, we discuss the composition effect of 240 nm and 1.56 μm-silica particles on strength and fracture toughness by examining two parameters, fragility and glass transition temperature, that were derived from the thermo-viscoelasticity measurements. Experimental results showed that the composites had a lower fragility with higher strength and fracture toughness as the content of nanoparticles was increased regardless of glass transition temperature. The improvement in mechanical properties from adding nanoparticles was definitely explained by the fragility represented the heterogeneity in polymer matrix, and this was related to the interaction between particles and matrix. The fragility was found to be an effective parameter for evaluating strength and fracture toughness of epoxy composite containing a bidispersion of nano and micron-silica particles.     

On assertion-based encapsulation for object invariants and simulations

In object-oriented programming, reentrant method invocations and shared references make it difficult to achieve adequate encapsulation for sound modular reasoning. This tutorial paper surveys recent progress using auxiliary state (ghost fields) to describe and achieve encapsulation. It also compares this technique with encapsulation in the forms provided by separation logic. Encapsulation is assessed in terms of modular reasoning about invariants and simulations.     

提高高炉煤比的措施与效果

分析了影响高炉煤比提高的主要因素，提出了提高高炉煤比的改进措施，通过技术攻关，高炉煤比在无富氧条件下达到了100kg／t以上，降本增效效果明显。     

Algorithms for multiprocessor scheduling with two job lengths and allocation restrictions

A variant of the High Multiplicity Multiprocessor Scheduling Problem with C job lengths is considered, in which jobs can be processed only by machines not greater than a given index. When C=2, polynomial algorithms are proposed, for the feasibility version of the problem and for maximizing the number of scheduled jobs.