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.     

Gd2O3:Eu纳米晶的制备及其光谱性质研究

以EDTA为络合剂，聚乙二醇为有机分散剂，用络合溶胶—凝胶法制备出Gd2O3:Eu纳米晶。用XRD，SEM，X—射线能量色散谱仪(EDS)，荧光分光光度计等分析手段对Gd2O3:Eu的纳米晶结构、形貌、组分的均匀性以及发光特性进行了研究。结果表明：EDTA—M凝胶仅在800℃焙烧即可得到颗粒细小、组分均匀、纯立方相的Gd2O3:Eu纳米晶，颗粒基本呈球形，粒径为30nm左右。对样品的激发光谱、发射光谱测定表明：Gd2O3:Eu纳米晶在269nm光激发下发红光，发射光谱谱峰在611nm，与体材料基本相同；激发光谱中电荷迁移带(CTB)明显红移，从体材料的255nm移至269nm，移动了约14nm；猝灭浓度从体材料的6％提高到8％。     

The Exact Hausdorff Measure Function of the Level Sets of Multi-parameter Symmetric Stable Process

In this paper, we investigate the Hausdorff measure for level sets of N-parameter Rd-valued stable processes, and develop a means of seeking the exact Hausdorff measure function for level sets of N-parameter Rd-valued stable processes. We show that the exact Hausdorff measure function of level sets of N-parameter Rd-valued symmetric stable processes of index α is Ф（r） = r^N-d/α （log log l/r）d/α when Nα 〉 d. In addition, we obtain a sharp lower bound for the Hausdorff measure of level sets of general （N, d, α） strictly stable processes.     

A risk model driven by Lévy processes

We present a general risk model where the aggregate claims, as well as the premium function, evolve by jumps. This is achieved by incorporating a Lévy process into the model. This seeks to account for the discrete nature of claims and asset prices. We give several explicit examples of Lévy processes that can be used to drive a risk model. This allows us to incorporate aggregate claims and premium fluctuations in the same process. We discuss important features of such processes and their relevance to risk modeling. We also extend classical results on ruin probabilities to this model. Copyright © 2003 John Wiley & Sons, Ltd.     

The Asymmetric Avalanche Process

An asymmetric stochastic process describing the avalanche dynamics on a ring is proposed. A general kinetic equation which incorporates the exclusion and avalanche processes is considered. The Bethe ansatz method is used to calculate the generating function for the total distance covered by all particles. It gives the average velocity of particles which exhibits a phase transition from an intermittent to continuous flow. We calculated also higher cumulants and the large deviation function for the particle flow. The latter has the universal form obtained earlier for the asymmetric exclusion process and conjectured to be common for all models of the Kardar–Parisi–Zhang universality class.     

酵母蛋白质网络的动力学性质

蛋白质-蛋白质、蛋白质-DNA相互作用网络决定了细胞中各种关键功能的执行．基于芽殖酵母(budding yeast saccharomyces cerevisiae)的蛋白质-蛋白质相互作用网络数据和相关的实验文献，我们建立了调控细胞周期和生命周期(cell cycle and life cycle)的蛋白质网络，并利用离散模型研究了该网络的动力学性质，研究表明：细胞周期网络的动力学性质具有很强的稳定性，约94％的蛋白质初态将演化到对应于生物学G1基态的稳定态，使其成为惟一的全局吸引点；同时，绝大多数的初态的演化路径都通过由G1激发态到G1基态的细胞周期演化路径，使细胞周期路径成为全局性的“吸引”路径。     

马科维兹资产组合选择模型的旋转算法

提出线性不等式组的一种旋转算法，并用其求解马科维兹资产组合选择模型，此算法每次迭代约需n^2次乘法和加法，其中n是模型中变量的数目，在微机上运行Delphi程序的实验结果表明，从上海和深圳股市1072支股票70期周末收盘价计算出20个最优投资组合仅需314次迭代和45s。     

Liminf results on the increments of an (N,d)-Gaussian process

We establish some liminf theorems on the increments of a (N,d)-Gaussian process with the usual Euclidean norm, via estimating upper bounds of large deviation probabilities on the suprema of the (N,d)-Gaussian process. This revised version was published online in June 2006 with corrections to the Cover Date.     

单光子探测器量子效率的绝对自身标定方法

提出一种单光子探测器量子效率的绝对自身标定方案，利用光参量下转换过程中产生的光子对在时间上的相关性，先将参量光束分为两路，然后引入相对延时，使同时产生的孪生光子先后进入单光子探测器，然后将探测器之后的电路分为三路，其中一路直接进入计数器得到探测器所探测到的光子的总计数率，另两路用电路方法引入和光路相当的相对延时，经符合电路后进入计数器，得到前后到达探测器的光子对之间的符合计数率.这样，从符合计数率与总光子计数率之比即可在不需要任何其他探测器或者参照标准的情况下获得探测器的量子效率.文中给出两种方案，分别适     

A theoretical analysis of the TiO2/Sn doped (1 1 0) surface properties

We have used the periodic quantum-mechanical method with density functional theory at the B3LYP level in order to study TiO₂/Sn doped (1 1 0) surfaces and have investigated the structural, electronic and energy band properties of these oxides. Our calculated relaxation directions for TiO₂ is the experimental one and is also in agreement with other theoretical results. We also observe for the doped systems relaxation of lattice positions of the atoms. Modification of Sn, O and Ti charges depend on the planes and positions of the substituted atoms. Doping can modify the Fermi levels, energy gaps as well as the localization and composition of both valence and conduction band main components. Doping can also modify the chemical, electronic and optical properties of these oxides surfaces increasing their suitability for use as gas sensors and optoelectronic devices.