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.     

Effect of the Treatment Temperature on the Surface Drying Set of Sugi Boxed-Heart Square Timber

High-temperature and controlled humidity treatment before drying has proven to be highly effective in preventing surface checks by forming drying sets in the surface layer of boxed-heart square timber in Japan. In this study, we examined the differences of the surface drying sets on sugi timber under different treatment temperatures. As a result, the width of a surface check after drying was much smaller at a treatment temperature of 120°C than at 80°C, and this indicates that the drying set with 120°C treatment would be larger than that with 80°C treatment. Also we observed that treatment temperature had a greater effect on the drying set as the drying advanced.     

自动检测系统原理应用和发展状况的研究

自动检测系统广泛应用于各类产品的设计、生产、使用、维护等各个阶段,对提高产品性能及生产率、降低生产成本及整个生产周期成本起着重要作用。首先介绍了检测、检验以及自动检测系统的概念,其次通过自动检测系统的各个组成部分,详述了系统的工作原理,介绍了自动检测系统组建的概念、结构以及在组建中所使用的关键技术。对早期的自动检测系统和新一代自动检测系统进行了介绍,并详述自动检测系统的3个发展阶段。     

VOD在有线电视网的实现

从视频点播系统的结构及组成和在有线电视网络中VOD系统的结构模式与应用两个方面，详细地阐述了如何利用有线电视网络实现视频点播，主要从以下3个方面介绍关于视频点播系统VOD技术：①视频点播VOD的技术原理；②视频点播系统的结构及组成；③有线电视视频点播系统的结构模式与应用。     

多目标二次规划非劣解集的理论生成及应用

本文对多目标二次规划问题非劣解集的理论生成进行了探讨,在介绍二次规划单目标问题优化解求法的基础上,提出了在决策平面上互切点,共交点轨迹的概念.由此导出了非劣解集的一般解析式(对切点解问题)和另一类交点解问题时的非劣解集求法,然后介绍了在目标平面非劣解集的解析表达式.使多目标二次规划问题整个非劣解集的推求严格、明确和方便,有理论和实际意义。文中以一个综合利用水库参数的多目标优选作为例子阐述了应用,并求出了最终的最佳协调解.     

On the monotonicity of (LDL) logic programs with set

LDL is one of the recently proposed logical query languages, which incorporate set, for data and knowledge base systems. Since LDL programs can simulate negation, they are not monotonic in general. On the other hand, there are monotonic LDL programs. This paper addresses the natural question of “When are the generally nonmonotonic LDL programs monotonic?” and investigates related topics such as useful applications for monotonicity. We discuss four kinds of monotonicity, and examine two of them in depth. The first of the two, called “ω-monotonicity”, is shown to be undecidable even when limited to single-stratum programs. The second, called “uniform monotonicity”, is shown to implyω-monotonicity. We characterize the uniform monotonicity of a program (i) by a relationship between its Bancilhon-Khoshafian semantics and its LDL semantics, and (ii) with a useful property called subset completion independence. Characterization (ii) implies that uniformly monotonie programs can be evaluated more efficiently by discarding dominated facts. Finally, we provide some necessary and/or sufficient, syntactic conditions for uniform monotonicity. The conditions pinpoint (a) enumerated set terms, (b) negations of membership and inclusion, and (c) sharing of set terms as the main source for nonuniform monotonicity.     

示例学习的扩张矩阵理论

本文提出示例学习的一种计算理论,扩张矩阵论.根据这个理论,示例学习中一些主要最优化问题被证明是NP难题,并给出这些难题的近似解法及下界的估计.     

Modified CIELAB formula tested using a textile pass/fail data set

The proposed new color-difference formula of CIE TC 129, which is a modified version of CIELAB, was tested with a recently published data set of textile pass/fail judgments. Goodness of fit is improved, if the parameter of lightness is set near 2, and if, additionally, a weight function for lightness is defined that reduces the weight of a lightness difference with lightness level in relation to chroma or hue scaling. © 1994 John Wiley & Sons, Inc.     

ZZ3200-14.5/28型支架快速倒装的实践

根据桃园矿单翼相邻工作面倒装的实践,从加快综采设备的搬家速度、提高劳动效率方面,简述桃园矿综采快速倒装的几点主要做法。     

Distinctive Features of Minimization of a Risk Functional in Mass Data Sets

A statistical learning model is considered within the framework of the theory of uniform convergence of frequencies of errors in the case where the convergence is violated as a result of increasing the informativeness of training examples. Drawbacks of nonconstructive refinements of Vapnik-Chervonenkis estimates based on an assumption on the distribution law of violations are shown. A new approach to obtaining constructive estimates for mass data sets is proposed.