Approximating schedules for dynamic process graphs efficiently

A model for parallel and distributed programs, the dynamic process graph (DPG), is investigated under graph-theoretic and complexity aspects. Such graphs embed constructors for parallel programs, synchronization mechanisms as well as conditional branches. They are capable of representing all possible executions of a parallel or distributed program in a very compact way. The size of this representation can be as small as logarithmic with respect to the size of any execution of the program.

In a preceding paper [A. Jakoby, et al., Scheduling dynamic graphs, in: Proc. 16th Symposium on Theoretical Aspects in Computer Science STACS'99, LNCS, vol. 1563, Springer, 1999, pp. 383–392] we have analysed the expressive power of the general model and various variants of it. We have considered the scheduling problem for DPGs given enough parallelism taking into account communication delays between processors when exchanging data. Given a DPG the question arises whether it can be executed (that means whether the corresponding parallel program has been specified correctly), and what is its minimum schedule length.

In this paper we study a subclass of dynamic process graphs called -output DPGs, which are appropriate in many situations, and investigate their expressive power. In a previous paper we have shown that the problem to determine the minimum schedule length is still intractable for this subclass, namely this problem is -complete as is the general case. Here we will investigate structural properties of the executions of such graphs. A natural graph-theoretic conjecture that executions must always split into components that are isomorphic to subgraphs turns out to be wrong. We are able to prove a weaker property. This implies a quadratic upper bound on the schedule length that may be necessary in the worst case, in contrast to the general case, where the optimal schedule length may be exponential with respect to the size of the representing DPG. Making this bound constructive, we obtain an approximation to a -complete problem. Computing such a schedule and then executing the program can be done on a parallel machine in polynomial time in a highly distributive fashion.     

用反射法自动测量大尺寸样品的折射率分布

针对大尺寸样品的折射率分布测量,引入自动扫描装置和适时数据处理系统,研究出一种高灵敏度的智能化反射法折射率分布测量仪,可进行快速、自动、准确的折射率分布测量.经理论分析和实验研究提出了一套合理的实验数据处理方法.并具体介绍和详尽分析了实验装置,讨论了有关理论和实验误差,给出了消除各种误差的有效方法,最终得出较为理想的实验结果.     

Second order parabolic equations in Banach spaces with dynamic boundary conditions

In this paper, we exhibit a unified treatment of the mixed initial boundary value problem for second order (in time) parabolic linear differential equations in Banach spaces, whose boundary conditions are of a dynamical nature. Results regarding existence, uniqueness, continuous dependence (on initial data) and regularity of classical and strict solutions are established. Moreover, several examples are given as samples for possible applications.

     

Semigroups Generated by Ordinary Differential Operators in L 1(I)*

In this paper we give necessary and sufficient conditions for the existence of a C> ₀-semigroup in L ¹(I) (I real interval) generated by a second-order differential operator when suitable boundary conditions at the endpoints are imposed.     

大焦深成像系统仿真实验研究

如何增大非相干光学成像系统的焦深是应用光学研究领域的热点问题.本文对采用高次非球面光学掩模板与图像处理相结合增大成像光学系统焦深的新方法进行了深入分析,建立了大焦深成像系统仿真实验模型,并进行了大焦深成像系统仿真实验.实验结果证明了该方法在维持原相对孔径的同时使光学系统在较大的离焦范围内有好的成像质量.实际应用中还要综合考虑模板参量、信噪比等关键因素.     

未确知数学方法处理物理实验数据

介绍未确知数学方法，并用未确知数学方法分析处理物理实验数据，与传统的数据处理方法比较，未确知数学方法不必对数据作任何假设，因此更合理，也更符合实际。     

一种新的超分辨记录点的读出技术

提出一种新的超分辨记录点的读出技术—超分辨反射膜技术，详细分析了其原理。用该技术，以Sb为超分辨反射膜，SiN为介电层，在激光波长为632．8nm和光学头的数值也径为0．40的读出光学系统中实现了直径为380nm的超分辨记录点的读出。同时研究了Sb薄膜厚度对读出信噪比的影响规律，发现最佳的Sb薄膜厚度为28～30nm，所得的信噪比为38～40dB。     

Load-Carrying Capacity of Circular Plates Made of a Fiber-Reinforced Composite

The load-carrying capacity of circular plates made of a fiber-reinforced composite and loaded with axisymmetric transverse forces under axisymmetric boundary conditions is investigated. The plates can be freely supported or clamped along their contour. To the known yield condition used, in the plane of main bending moments, there correspond irregular hexagons, which depend on the mechanical properties of composite constituents and some characteristic geometrical parameters. It is shown that, depending on the ratio of ultimate radial and circumferential bending moments, in the plastic state, the circular plates (the central part of the clamped plates) take the form of a cone or a frustum of cone. For each of the cases, the limit load is found, which is a function of the above-mentioned mechanical parameters. The statically allowable fields of bending moments and the corresponding allowable fields of deflection rates are determined. The solutions found are exact. Special cases for the freely supported plates are analyzed, and the results obtained are presented in the form of graphs.__________Translated from Mekhanika Kompozitnykh Materialov, Vol. 41, No. 2, pp. 177–192, March–April, 2005.     

Two-dimensional autocorrelation function analysis of smoked foil patterns

Digital image processing techniques have been applied to the analysis of cellular smoked foil patterns from gaseous detonations. In particular, the two-dimensional autocorrelation function is applied to digital cell pattern images and an orientational correlation parameter is calculated. Taking line profiles along the directions of highest correlation provides an unbiased method of determining the mean cell size in each of the two principal directions. By analyzing the width, amplitude and angular position of the orientational correlation plots, information can be extracted concerning the cellular pattern regularity, the relative angular correlation between two sets of transverse waves in two directions, and the mean shape or elongation of the cells within the pattern. The technique is applied to smoked foils from oxyacetylene mixtures with argon dilutions ranging from 0 to 75% to quantify the increase in regularity with argon dilution. This method provides a simple and useful way of analyzing cellular patterns and constitutes a promising technique for improving smoked foil diagnostics.     

Existence and boundary behavior for singular nonlinear differential equations with arbitrary boundary conditions

Existence theory is developed for the equation ?(u)=F(u), where ? is a formally self-adjoint singular second-order differential expression and F is nonlinear. The problem is treated in a Hilbert space and we do not require the operators induced by ? to have completely continuous resolvents. Nonlinear boundary conditions are allowed. Also, F is assumed to be weakly continuous and monotone at one point. Boundary behavior of functions associated with the domains of definitions of the operators associated with ? in the singular case is investigated. A special class of self-adjoint operators associated with ? is obtained.