Dynamics of Solidification in 2% Corn Starch-Water Mixtures: Effect of Variations in Freezing Rate on Product Homogeneity

Directional solidification studies of gelatinized corn starch-water mixtures were undertaken in order to examine, in situ, the freezing behavior of this food model. The solidification rate was controlled by varying sample cell velocity as it moved from a 25°C hot stage to a -25°C cold stage. While freezing at cell velocities ≤7.5 μm/sec, starch granules were alternately pushed or entrapped by the advancing solid-liquid interface producing a segregated structure consisting of alternating high-starch and low-starch bands. At a cell velocity of 10 μm/sec, the frozen product was homogeneous. The relationship between the solid-liquid interface velocity and segregation behavior was quantified and compared to an existing model of particle-interface interactions.     

反向凝固法生产H90-钢-H90复合带

研究H90-钢-H90反向凝固复合过程中复合层厚度的变化规律以及复合带的组织和性能，探讨界面结合机理。结果表明：随着浸渍时间的增加，复合层的厚度变化经历了凝固生长、平衡相持和回熔3个阶段，钢带的预热温度越低，获得的最大复合层厚度越厚；H90复合层的组织为等轴晶粒，复合界面处Cu和Fe发生了扩散，而Zn未发生明显扩散，扩散层较薄，约为4μm；复合带的界面结合牢固；不同复合层厚度的复合带，其力学性能略有差异，但均达到GB5213——85所规定的F级深冲钢板的力学性能要求。     

浅谈水泥基渗透结晶型防水材料标准及性能指标

针对GB18445-2001《水泥基渗透结晶型防水材料》标准在使用过程中发现的一些问题，对标准中的部分性能指标的确定及试验方法提出修改意见。     

根本技术创新产品需求的获取及评价研究

根本技术创新对企业的发展具有决定性的意义。并对工程作为现代产品开发中新发展的系统化方法，在应用其对根本技术创新产品需求搜集及评价时，出现了满足顾客需求和创造顾客需求、资源需求与技术创新、理性决策与非理性决策、企业文化与技术创新等之间的矛盾。本文对产生这些矛盾的原因进行了分析，提出了相应的解决办法。     

基于CORBA和WEB的产品数据管理体系结构研究

 产品数据管理(product data management,PDM)作为产品信息管理集成框架,已成为当前研究开发型企业提高其核心竞争力的一种重要竞争策略.介绍了PDM技术的起源与发展,阐述了PDM的应用功能框架.结合当今软件技术的发展,分析了基于CORBA和WEB技术的PDM/CPC代表性产品Windchill平台的体系结构,指出了传统PDM过渡到CPC的必然发展趋势.     

Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.     

成品油汽运发货系统的研究与开发

介绍成品油传统汽运发货流程.指出其中的弊端,提出采用计算机网络化管理的思路,并对计算机成品油汽运发货系统的优点和功能进行了介绍,然后详细讨论了该系统的开发过程和功能实现,最后提出改进和发展方向。     

A hybrid extended finite element/level set method for modeling phase transformations

A hybrid numerical method for modelling the evolution of sharp phase interfaces on fixed grids is presented. We focus attention on two‐dimensional solidification problems, where the temperature field evolves according to classical heat conduction in two subdomains separated by a moving freezing front. The enrichment strategies of the eXtended Finite Element Method (X‐FEM) are employed to represent the jump in the temperature gradient that governs the velocity of the phase boundary. A new approach with the X‐FEM is suggested for this class of problems whereby the partition of unity is constructed with C¹(Ω) polynomials and enriched with a C⁰(Ω) function. This approach leads to jumps in temperature gradient occurring only at the phase boundary, and is shown to significantly improve estimates for the front velocity. Temporal derivatives of the temperature field in the vicinity of the phase front are obtained with a projection that employs discontinuous enrichment. In conjunction with a finer finite difference grid, the Level Set method is used to represent the evolution of the phase interface. An iterative procedure is adopted to satisfy the constraints on the temperature field on the phase boundary. The robustness and utility of the method is demonstrated with several benchmark problems of phase transformation. Copyright © 2002 John Wiley & Sons, Ltd.     

Interweaving genetic programming and genetic algorithm for structural and parametric optimization in adaptive platform product customization

An adaptive product platform offers high customizability for generating feasible product variants for customer requirements. Customization takes place not only to product platform structure but also to its relevant parameters. Structural and parametric optimization processes are interwoven with each other to achieve the total optimality. This paper presents an evolutionary method dealing with interwoven structural and parametric optimization of adaptive platform product customization. The method combines genetic programming and genetic algorithm for handling structural and parametric optimization, respectively. Efficient genetic representation and operation schemes are carefully adapted. While designing these schemes, features specific to structural and parameter customization are considered for the simplification of platform product management. The experimental results show that the performance of the proposed algorithm outperforms that of the tandem evolutionary algorithm in which a genetic algorithm for parametric optimization is totally nested in a genetic programming for structural optimization.     

外商直接投资对上海国内投资的挤出效应研究

建立了衡量挤入、挤出效应的数量模型，利用模型定量地讨论了外商直接投资(FDI)对上海国内投资的挤入、挤出效应，得到了外商直接投资对上海国内投资存在挤出效应的结论，并分析了产生挤出效应的原因。