淹没水跃的数值模拟

本文通过求解时均N－S方程κ－ε紊流模型，数值模拟了淹没水跃由静止到最终稳定的全过程。采用隐式非正交同位网格有限体积法离散控制方程组，利用动网格技术跟踪自由表面，并由Orlanski开边界条件得到无反射的出口边界。文中给出了淹没水跃在不同时刻自由表面形状、内部流场结构和流速矢量的变化情况，并与试验资料进行了比较。结果表明，本文方法能够准确有效地描述淹没水跃这类复杂自由表面流动的紊动特性。     

武山铜矿主井系统延深改造及效果浅析

武山铜矿主井延深时根据新的采、选工艺要求，在前期工程的基础上，对其箕斗提升系统进行改造，增设坑内破碎。针对该矿特粘的矿石性质和前期工程遗留问题，在具体设计和实施过程中采取特别措施保证系统通畅和安全并注意节省投资。同时对尚存在的问题也提出了新的思考。     

浅析2020年前美军事战略重点的转变--从装备发展看美国军事战略重点可能的变化

美国21世纪前期的军事战略重点将是争夺外空优势，夺取制天权和制信息权。分析了美国夺取外空优势的原因，及其为夺取外空优势在国家政策、航天发展和技术准备等方面采取的措施。     

A Sensitivity-Based Design Space Exploration Methodology for Embedded Systems

In this paper, we propose a system-level design methodology for the efficient exploration of the architectural parameters of the memory sub-systems, from the energy-delay joint perspective. The aim is to find the best configuration of the memory hierarchy without performing the exhaustive analysis of the parameters space. The target system architecture includes the processor, separated instruction and data caches, the main memory, and the system buses. To achieve a fast convergence toward the near-optimal configuration, the proposed methodology adopts an iterative local-search algorithm based on the sensitivity analysis of the cost function with respect to the tuning parameters of the memory sub-system architecture. The exploration strategy is based on the Energy-Delay Product (EDP) metric taking into consideration both performance and energy constraints. The effectiveness of the proposed methodology has been demonstrated through the design space exploration of a real-world case study: the optimization of the memory hierarchy of a MicroSPARC2-based system executing the set of Mediabench benchmarks for multimedia applications. Experimental results have shown an optimization speedup of 2 orders of magnitude with respect to the full search approach, while the near-optimal system-level configuration is characterized by a distance from the optimal full search configuration in the range of 2%.     

城市形象的建筑环境美学设计问题

城市形象是创造富于个性化城市的关键,而建筑环境美学设计水准则是体现城市形象的要素之一。据此,作者从分析中国城市形象的美学误区出发,研究了不同城市建筑品位的形成特点,进而提出塑造好宜人城市美学空间的科学思考。     

基于地理信息系统的天津房地产管理数据库

从地理信息系统CIS的组成开始．提出该类系统的组织与管理方法，同时重点介绍了在现阶段开发该类系统时所使用的高端技术，最后对GIS系统的发展趋势作出分析与顶测。     

Probabilistic output admissible set for systems with time-varying uncertainties

This paper considers time-varying uncertain constrained systems, and develops a method for computing a probabilistic output admissible (POA) set. This set consists of the initial states probabilistically assured to satisfy the constraint. The time-invariant counterpart has already been investigated in Hatanaka and Takaba [Computations of probabilistic output admissible set for uncertain constrained systems, Automatica 44 (2) (2008), to appear]. We first define the POA set for time-varying uncertainties with finite dimensional probability space. Then, we show that an algorithm similar to Hatanaka and Takaba [Computations of probabilistic output admissible set for uncertain constrained systems, Automatica 44 (2) (2008), to appear] provides the POA set also in the time-varying case, as long as an upper bound of a what we call future output admissibility (FOA) index is available. We moreover present two methods for computing the upper bound of the FOA index: probabilistic and deterministic methods. A numerical simulation demonstrates the effectiveness of our algorithm.     

Forced Vertical Vibration of Circular Plate in Multilayered Poroelastic Medium

This paper considers the vertical vibrations of an elastic circular plate in a multilayered poroelastic half space. The plate is subjected to axisymmetric time–harmonic vertical loading and its response is governed by the classical thin-plate theory. The contact surface between the plate and the multilayered half space is assumed to be smooth and either fully permeable or impermeable. The half space under consideration consists of a number of layers with different thicknesses and material properties and is governed by Biot’s poroelastodynamic theory. The vertical displacement of the plate is represented by an admissible function containing a set of generalized coordinates. Contact stress and pore pressure jump are established in terms of generalized coordinates through the solution of flexibility equations based on the influence functions corresponding to vertical and pore pressure loading. Solutions for generalized coordinates are obtained by establishing the equation of motion of the plate through the application of Lagrange’s equations of motion. Selected numerical results are presented to portray the influence of various parameters on dynamic interaction between an elastic plate and a multilayered poroelastic half space.     

Breaking the search space symmetry in partitioning problems: An application to the graph coloring problem

Many problems consist in splitting a set of objects into different groups so that each group verifies some properties. In practice, a partitioning is often encoded by an array mapping each object to its group numbering. In fact, the group number of an object does not really matter, and one can simply rename each group to obtain a new encoding. That is what we call the symmetry of the search space in a partitioning problem. This property may be prejudicial for optimization methods such as evolutionary algorithms (EA) which require some diversity during the search.     

CMYK图像的TIFF格式

为满足印前和艺术设计过程中的图像处理的需要,介绍一种基于CMYK(青-品红-黄-黑)颜色空间的图像在TIFF文件中的存储,以及对此类图像的通用处理方法。通过对TIFF文件内部结构的解析,了解如何才能准确地对一幅CMYK图像进行描述、存储和处理。另外,文中还给出使用libtiff函数库处理TIFF文件的样例。