Incremental Testability Analysis for Partial Scan Selection and Design Transformations

This paper presents an efficient estimation method for incremental testability analysis, which is based partially on explicit testability re-calculation and partially on gradient techniques. The analysis results have been used successfully to guide design transformations and partial scan selection. Experimental results on a variety of benchmarks show that the quality of our incremental testability analysis is similar to those of the conventional explicit testability re-calculation methods and the technique can be used efficiently for improving the testability of a design during the high-level test synthesis and partial scan selection processes.     

A recurrent stochastic binary network

Stochastic neural networks are usually built by introducing random fluctuations into the network. A natural method is to use stochastic connections rather than stochastic activation functions. We propose a new model in which each neuron has very simple functionality but all the connections are stochastic. It is shown that the stationary distribution of the network uniquely exists and it is approxi-mately a Boltzmann-Gibbs distribution. The relationship between the model and the Markov random field is discussed. New techniques to implement simulated annealing and Boltzmann learning are pro-posed. Simulation results on the graph bisection problem and image recognition show that the network is powerful enough to solve real world problems.     

增量法在深基坑支护结构计算中的应用

通过应用增量法的原理，用ＳＡＰ８４程序对深基坑支护结构进行内力分析，说明增量法的使用方法和其科学性、合理性、安全性，并希望该法的应用能编入《深基坑支护技术规程（送审稿）》和进入相关的应用程序，以期该法能够在更大的范围内推广应用。     

新型顶推支座在顶推法施工的使用

结合珠江大桥西桥工程实例,分别阐述了传统的更换支座方法的施工工艺及工期和改进支座兼作滑道的施工工艺及工期,并对其进行了比较,最后介绍了新型支座的选型,为桥梁顶推施工积累了经验。     

Incremental Induction of Decision Trees

This article presents an incremental algorithm for inducing decision trees equivalent to those formed by Quinlan's nonincremental ID3 algorithm, given the same training instances. The new algorithm, named ID5R, lets one apply the ID3 induction process to learning tasks in which training instances are presented serially. Although the basic tree-building algorithms differ only in how the decision trees are constructed, experiments show that incremental training makes it possible to select training instances more carefully, which can result in smaller decision trees. The ID3 algorithm and its variants are compared in terms of theoretical complexity and empirical behavior.     

基于组织资本互动转化的人力资本增值管理研究

从知识经济下企业面临诸多人力资本流失的挑战出发,提出了组织资本的内涵,指出企业人力资本与组织资本互动转化的动力,分析了其互动转化的过程,构建了其互动转化的模型,设计了其互动转化的双驱模型,提出了其互动转化的双驱机制.     

An experimental study on the effect of thinning band on the sheet formability in negative incremental forming

In negative incremental forming, a characteristic thinning band occurs on the parts when wall angles approach the maximum obtainable [D. Young, J. Jeswiet, Wall thickness variations in single point incremental forming, Proceedings of the Institute of Mechanical Engineers, Part B, Journal of Engineering Manufacture 218 (2004) 1453–1459]. The effect of this ultra-thin band on the fracture occurrence of part was studied in the current investigation. It was found that the occurrence of a thinning band on the test specimen of a formability test does not mean an effect on the test result. A reduction in the formability due to the occurrence of the thinning band occurs only if the specimen fractures in the flange area. In order to evaluate the real forming limit of a sheet metal, a condition regarding the occurrence of part fracture is proposed.     

分离式双向凸起特征的双面数控渐进成形过程有限元分析

双向凸起特征是指沿Z轴正方向和负方向两个方向上都存在相互分离凸起形状的特征。双面数控渐进成形是一种采用两个同步运动成形工具头的新的全无模成形技术。利用有限元分析软件ANSYS/LS-DYNA分析了基于双面数控渐进成形技术的双向凸起特征的成形可能性。分析结果表明:利用双面数控渐进成形技术完全可以成形加工出分离式双向凸起特征。     

�Ե�ǰ�Ĵ���Ȼ���۸�ĸ�����

为筹集天然气工业发展急需的资金,本文提出在天然气价格未全面调整前,对超包干天然气实行议价,随行就市,直接受市场调节。本文对这一办法进行了可行性分析,并列出超产气议价的幅度的计算方法,供决策参考。     

Comparison of glycemic index of spelt and wheat bread in human volunteers

The assessment of the glycemic index (GI) seems to be an important parameter to take into account in order to better understand the physiologic effects of foods with high carbohydrate levels. Among cereals, which are major sources of carbohydrates, spelt (Triticum spelta L.) has been considered as particularly interesting from a nutritional point of view. The aim of this study was to evaluate in vivo the GI of white spelt bread in healthy subjects. The wheat (Triticum aestivum L.) white bread was used as reference food. To avoid differences in the production of both breads, spelt and wheat breads were baked under the same controlled conditions. Results showed that the glycemic profile of spelt white bread was not different from that of wheat white bread (GI of 93 ± 9). The area under the glycemic curve significantly and negatively correlated to fasting glycemia and carbohydrate intake during evening meals preceding the test. In conclusion, the glycemic response to spelt bread was similar to that of wheat bread. However, in order to avoid more inter-individual variability, our data supports the importance to propose standardised carbohydrate content for the last meal before evaluating the GI of food.