Large improvements in application throughput of long-running multi-component applications using batch grids

Computational grids with multiple batch systems (batch grids) can be powerful infrastructures for executing long-running multi-component parallel applications. In this paper, we evaluate the potential improvements in throughput of long-running multi-component applications when the different components of the applications are executed on multiple batch systems of batch grids. We compare the multiple batch executions with executions of the components on a single batch system without increasing the number of processors used for executions. We perform our analysis with a foremost long-running multi-component application for climate modeling, the Community Climate System Model (CCSM). We have built a robust simulator that models the characteristics of both the multi-component application and the batch systems. By conducting large number of simulations with different workload characteristics and queuing policies of the systems, processor allocations to components of the application, distributions of the components to the batch systems and inter-cluster bandwidths, we show that multiple batch executions lead to 55% average increase in throughput over single batch executions for long-running CCSM. We also conducted real experiments with a practical middleware infrastructure and showed that multi-site executions lead to effective utilization of batch systems for executions of CCSM and give higher simulation throughput than single-site executions. Copyright (c) 2011 John Wiley & Sons, Ltd.

A simulation-based algorithm for optimal pricing policy under demand uncertainty

We propose a simulation-based algorithm for computing the optimal pricing policy for a product under uncertain demand dynamics. We consider a parameterized stochastic differential equation (SDE) model for the uncertain demand dynamics of the product over the planning horizon. In particular, we consider a dynamic model that is an extension of the Bass model. The performance of our algorithm is compared to that of a myopic pricing policy and is shown to give better results. Two significant advantages with our algorithm are as follows: (a) it does not require information on the system model parameters if the SDE system state is known via either a simulation device or real data, and (b) as it works efficiently even for high-dimensional parameters, it uses the efficient smoothed functional gradient estimator.

SARAS MEASUREMENT OF THE RADIO BACKGROUND AT LONG WAVELENGTHS

SARAS is a correlation spectrometer connected to a frequency independent antenna that is purpose-designed for precision measurements of the radio background at long wavelengths. The design, calibration, and observing strategies admit solutions for the internal additive contributions to the radiometer response, and hence a separation of these contaminants from the antenna temperature. We present here a wideband measurement of the radio sky spectrum by SARAS that provides an accurate measurement of the absolute brightness and spectral index between 110 and 175MHz. Accuracy in the measurement of absolute sky brightness is limited by systematic errors of magnitude 1.2%; errors in calibration and in the joint estimation of sky and system model parameters are relatively smaller. We use this wide-angle measurement of the sky brightness using the precision wide-band dipole antenna to provide an improved absolute calibration for the 150 MHz all-sky map of Landecker and Wielebinski: subtracting an offset of 21.4 K and scaling by a factor of 1.05 will reduce the overall offset error to 8 K (from 50 K) and scale error to 0.8% (from 5%). The SARAS measurement of the temperature spectral index is in the range -2.3 to -2.45 in the 110-175MHz band and indicates that the region toward the Galactic bulge has a relatively flatter index.

Impact of river runoff into the ocean on Indian summer monsoon

Rivers of the world discharge about 36000 km 3 of freshwater into the ocean every year. To investigate the impact of river discharge on climate, we have carried out two 100 year simulations using the Community Climate System Model (CCSM3), one including the river runoff into the ocean and the other excluding it. When the river discharge is shut off, global average sea surface temperature (SST) rises by about 0.5 degrees C and the Indian Summer Monsoon Rainfall (ISMR) increases by about 10% of the seasonal total with large increase in the eastern Bay of Bengal and along the west coast of India. In addition, the frequency of occurrence of La Nina-like cooling events in the equatorial Pacific increases and the correlation between ISMR and Pacific SST anomalies become stronger. The teleconnection between the SST anomalies in the Pacific and monsoon is effected via upper tropospheric meridional temperature gradient and the North African-Asian Jet axis.

Load Balancing with Availability Checker and Load Reporters (LB-ACLRs) for improved Performance in Distributed Systems

Distributed system has quite a lot of servers to attain increased availability of service and for fault tolerance. Balancing the load among these servers is an important task to achieve better performance. There are various hardware and software based load balancing solutions available. However there is always an overhead on Servers and the Load Balancer while communicating with each other and sharing their availability and the current load status information. Load balancer is always busy in listening to clients' request and redirecting them. It also needs to collect the servers' availability status frequently, to keep itself up-to-date. Servers are busy in not only providing service to clients but also sharing their current load information with load balancing algorithms. In this paper we have proposed and discussed the concept and system model for software based load balancer along with Availability-Checker and Load Reporters (LB-ACLRs) which reduces the overhead on server and the load balancer. We have also described the architectural components with their roles and responsibilities. We have presented a detailed analysis to show how our proposed Availability Checker significantly increases the performance of the system.

Modeling smart grids as complex systems through the implementation of intelligent hubs

ICINCO 2010

Control of dynamical systems with temporal logic specifications

This thesis is motivated by safety-critical applications involving autonomous air, ground, and space vehicles carrying out complex tasks in uncertain and adversarial environments. We use temporal logic as a language to formally specify complex tasks and system properties. Temporal logic specifications generalize the classical notions of stability and reachability that are studied in the control and hybrid systems communities. Given a system model and a formal task specification, the goal is to automatically synthesize a control policy for the system that ensures that the system satisfies the specification. This thesis presents novel control policy synthesis algorithms for optimal and robust control of dynamical systems with temporal logic specifications. Furthermore, it introduces algorithms that are efficient and extend to high-dimensional dynamical systems.

The first contribution of this thesis is the generalization of a classical linear temporal logic (LTL) control synthesis approach to optimal and robust control. We show how we can extend automata-based synthesis techniques for discrete abstractions of dynamical systems to create optimal and robust controllers that are guaranteed to satisfy an LTL specification. Such optimal and robust controllers can be computed at little extra computational cost compared to computing a feasible controller.

The second contribution of this thesis addresses the scalability of control synthesis with LTL specifications. A major limitation of the standard automaton-based approach for control with LTL specifications is that the automaton might be doubly-exponential in the size of the LTL specification. We introduce a fragment of LTL for which one can compute feasible control policies in time polynomial in the size of the system and specification. Additionally, we show how to compute optimal control policies for a variety of cost functions, and identify interesting cases when this can be done in polynomial time. These techniques are particularly relevant for online control, as one can guarantee that a feasible solution can be found quickly, and then iteratively improve on the quality as time permits.

The final contribution of this thesis is a set of algorithms for computing feasible trajectories for high-dimensional, nonlinear systems with LTL specifications. These algorithms avoid a potentially computationally-expensive process of computing a discrete abstraction, and instead compute directly on the system's continuous state space. The first method uses an automaton representing the specification to directly encode a series of constrained-reachability subproblems, which can be solved in a modular fashion by using standard techniques. The second method encodes an LTL formula as mixed-integer linear programming constraints on the dynamical system. We demonstrate these approaches with numerical experiments on temporal logic motion planning problems with high-dimensional (10+ states) continuous systems.

Effects of atmosphere visibility on performances of non-line-of-sight ultraviolet communication systems

Dependence of performances of non-line-of-sight (NLOS) solar-blind ultraviolet (UV) communication systems on atmosphere visibility is investigated numerically by correlating the propagation of UV radiation with the visibility. A simplified solar-blind UV atmospheric propagation model is introduced, and the NLOS UV communication system model is constituted based on the single scattering assumption. Using the model, numerical simulation is conducted for two typical geometry configurations and different modulation formats. The results indicate that the performance of the NLOS UV communication system is insensitive to variation of visibility in quite a large range, and deteriorates significantly only in very low-visibility weather, and is also dependent on the geometry configuration of the system. The results also show that the pulse position modulation (PPM) is preferable due to its high-power efficiency to improve the system performance. (c) 2007 Elsevier GmbH. All rights reserved.

Contributions on agreement in dynamic distributed systems

139 p.

Significant improvements in optical power budgets of real-time optical OFDM PON systems.

Based on a comprehensive theoretical optical orthogonal frequency division multiplexing (OOFDM) system model rigorously verified by comparing numerical results with end-to-end real-time experimental measurements at 11.25Gb/s, detailed explorations are undertaken, for the first time, of the impacts of various physical factors on the OOFDM system performance over directly modulated DFB laser (DML)-based, intensity modulation and direct detection (IMDD), single-mode fibre (SMF) systems without in-line optical amplification and chromatic dispersion compensation. It is shown that the low extinction ratio (ER) of the DML modulated OOFDM signal is the predominant factor limiting the maximum achievable optical power budget, and the subcarrier intermixing effect associated with square-law photon detection in the receiver reduces the optical power budget by at least 1dB. Results also indicate that, immediately after the DML in the transmitter, the insertion of a 0.02nm bandwidth optical Gaussian bandpass filter with a 0.01nm wavelength offset with respect to the optical carrier wavelength can enhance the OOFDM signal ER by approximately 1.24dB, thus resulting in a 7dB optical power budget improvement at a total channel BER of 1 × 10(-3).

A study of converter rating for brushless DFIG wind turbines

This paper studies the converter rating requirement of a Brushless Doubly-Fed Induction Generator for wind turbine applications by considering practical constraints such as generator torque-speed requirement, reactive power management and grid low-voltage ride-through (LVRT). Practical data have been used to obtain a realistic system model of a Brushless DFIG wind turbine using steady-state and dynamic models. A converter rating optimization is performed based on the given constraints. The converter current and voltage requirements are examined and the resulting inverter rating is compared to optimization algorithm results. In addition, the effects of rotor leakage inductance on LVRT performance and hence converter rating is investigated.

The role of potential structure in excitation functions of synthesizing superheavy nuclei

The excitation functions of two very similar reaction channels, Fe-58+Pb-208 ->(265)Hs+1n and Fe-58+Bi-209 ->(266)Mt+1n are studied in the framework of the dinuclear system conception. The fusion probabilities are found to be strongly subject to the structure of the driving potential. Usually the fusion probability is hindered by a barrier from the injection channel towards the compound nuclear configuration. The barrier towards the mass symmetrical direction, however, also plays an important role for the fusion probability, because the barrier hinders the quasi-fission, and therefore helps fusion.

Nuclear potential and fusion cross sections for synthesizing super-heavy elements in di-nuclear systems

A double folding method with simplified Skyreme-type nucleon-nucleon interaction is used to calculate the nuclear interaction potential between two nuclei. The calculation is performed in tip-to-tip orientation of the two nuclei if they are deformed. Based on this methods, the potential energy surfaces, the fusion probabilities and the evaporation residue cross sections for some cold fusion reactions leading to super-heavy elements within di-nuclear system model are evaluated. It is indicated that after the improvement, the exponential decreasing systematics of the fusion probability with increasing charge number of projectile on the Pb based target become better and the evaporation residue cross sections are in better agreement with the experimental data.

The influence of nuclear orientation in fusion dynamics

Fusion barriers have been calculated for different orientations of the axial symmetry axis of deformed projectile-and target-nucleus. Using the concept of dinuclear system, considering the strong competition between fusion and quasifission processes, by solving the master equation numerically to calculate the fusion probability of superheavy nuclei, we have estimated the dependence of the fusion probabilities for Ge-76 + Pb-208 and Ca-48 + Pu-244 on the orientation angles of the symmetry axis of projectile-and target-nucleus, which shows that belly-belly is the most favorable orientation for synthesizing superheavy nuclei.

基于双核模型对合成超重元素反应机制的研究

超重元素的合成是当前原子核物理研究的前沿领域之一。现有的兰州重离子加速器系统为我们提供了在实验上进行超重核研究的可能性。本论文就是为配合在兰州重离子加速器国家实验室开展这方面的物理工作而进行的理论研究。主要内容包括： （1） 我们分别采用数值和解析的办法计算了重离子碰撞过程中核作用势与库仑能，对双核模型中的粒子势能面进行了比较。 （2） 在模型的框架内，考虑了熔合与准裂变的竞争，对描述质量输运过程的主方程进行数值求解。求解是时间相关的，与径向动能、角动量以及形变的弛豫过程相耦合。 （3） 在双核模型基础上引入了Kramers 公式，计算了准裂变碎片的质量分布，得到了与实验符合的结果。提取出了碎片质量分布随时间的演化关系，为理解熔合与准裂变竞争过程提供了非常有用的信息。 （4）用统计模型对带有激发能的复合核的存活概率进行了研究。计算了合成超重元素的蒸发剩余截面，得到与实验符合很好的结果。 （5） 计算了核对称轴不同相对取向时的熔合位垒以及核对称轴不同相对取向对熔合概率的影响。结果表明不同的相对取向对熔合反应的影响较大，并发现弹靶碰撞为腰对腰时，更有利于发生熔合反应