Network Discovery and Verification

Due to its fast, dynamic, and distributed growth process, it is hard to obtain an accurate map of the Internet. In many cases, such a map-representing the structure of the Internet as a graph with nodes and links-is a prerequisite when investigating properties of the Internet. A common way to obtain such maps is to make certain local measurements at a small subset of the nodes, and then to combine these in order to "discover" (an approximation of) the actual graph. Each of these measurements is potentially quite costly. It is thus a natural objective to minimize the number of measurements which still discover the whole graph. We formalize this problem as a combinatorial optimization problem and consider it for two different models characterized by different types of measurements. We give several upper and lower bounds on the competitive ratio (for the online network discovery problem) and the approximation ratio (for the offline network verification problem) in both models. Furthermore, for one of the two models, we compare four simple greedy strategies in an experimental analysis     

Orthographic Structure Versus Morphological Structure: Principles of Lexical Organization in a Given Language.

Most models of visual word recognition in alphabetic orthographies assume that words are lexically organized according to orthographic similarity. Support for this is provided by form-priming experiments that demonstrate robust facilitation when primes and targets share similar sequences of letters. The authors examined form-orthographic priming effects in Hebrew, Arabic, and English. Hebrew and Arabic have an alphabetic writing system but a Semitic morphological structure. Hebrew morphemic units are composed of noncontiguous phonemic (and letter) sequences in a given word. Results demonstrate that form-priming effects in Hebrew or Arabic are unreliable, whereas morphological priming effects with minimal letter overlap are robust. Hebrew bilingual subjects, by contrast, showed robust form-priming effects with English material, suggesting that Semitic words are lexically organized by morphological rather than orthographic principles. The authors conclude that morphology can constrain lexical organization even in alphabetic orthographies and that visual processing of words is first determined by morphological characteristics. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

考虑环保因素的最小费用电源规划研究

介绍电力部门降低污染物排放的必要性、可行性以及需要采取的一些措施，并介绍由泰国亚洲理工大学（AIT）开发的考虑环保因素的综合资源规划软件(IRPA)及其规划思路、所需数据和特点。对我国某省2003年～2017年的电力发展进行了规划研究。     

New Algorithms for Resource Reclaiming from Precedence Constrained Tasks in Multiprocessor Real-Time Systems

The scheduling of tasks in multiprocessor real-time systems has attracted many researchers in the recent past. Tasks in these systems have deadlines to be met, and most of the real-time scheduling algorithms use worst case computation times to schedule these tasks. Many resources will be left unused if the tasks are dispatched purely based on the schedule produced by these scheduling algorithms, since most of the tasks will take less time to execute than their respective worst case computation times. Resource reclaiming refers to the problem of reclaiming the resources left unused by a real-time task when it takes less time to execute than its worst case computation time. In this paper, we propose two algorithms to reclaim these resources from real-time tasks that are constrained by precedence relations and resource requirements, in shared memory multiprocessor systems. We introduce a notion called a restriction vector for each task which captures its resource and precedence constraints with other tasks. This will help not only in the efficient implementation of the algorithms, but also in obtaining an improvement in performance over the reclaiming algorithms proposed in earlier work [[2]]. We compare our resource reclaiming algorithms with the earlier algorithms and, by experimental studies, show that they reclaim more resources, thereby increasing the guarantee ratio (the ratio of the number of tasks guaranteed to meet their deadlines to the number of tasks that have arrived), which is the basic requirement of any resource reclaiming algorithm. From our simulation studies, we demonstrate that complex reclaiming algorithms with high reclaiming overheads do not lead to an improvement in the guarantee ratio.     

Augmenting a conceptual model with geospatiotemporal annotations

While many real-world applications need to organize data based on space (e.g., geology, geomarketing, environmental modeling) and/or time (e.g., accounting, inventory management, personnel management), existing conventional conceptual models do not provide a straightforward mechanism to explicitly capture the associated spatial and temporal semantics. As a result, it is left to database designers to discover, design, and implement - on an ad hoc basis - the temporal and spatial concepts that they need. We propose an annotation-based approach that allows a database designer to focus first on nontemporal and nongeospatial aspects (i.e., "what") of the application and, subsequently, augment the conceptual schema with geospatiotemporal annotations (i.e., "when" and "where"). Via annotations, we enable a supplementary level of abstraction that succinctly encapsulates the geospatiotemporal data semantics and naturally extends the semantics of a conventional conceptual model. An overarching assumption in conceptual modeling has always been that expressiveness and formality need to be balanced with simplicity. We posit that our formally defined annotation-based approach is net only expressive, but also straightforward to understand and implement.     

High Performance Air Pollution Simulation Using OpenMP

The aim of this work is to provide a high performance air quality simulation using the sulphur transport Eulerian model 2 (STEM-II) program. First of all we optimize the sequential program with the aim of increasing data locality. Then, the optimized program is parallelized using OpenMP shared-memory directives. Experimental results on a 32-processor SGI Origin 2000 show that the parallel program achieves important reductions in the execution times.     

Benchmarking System for Evaluating Management Practices in the Construction Industry

This paper presents the results obtained for the initial application of a management evaluation system whose objective is to provide a continuous improvement tool for construction companies through benchmarking management practices. The outlined system seeks to support a benchmarking system that has been recently established in the Chilean construction industry by incorporating qualitative management aspects in addition to performance indicators. Different analyses were made to determine trends in the sector and to establish correlations between qualitative aspects coming from surveys and quantitative aspects coming from performance indicators. Thirteen construction companies participated in the initial application of the benchmarking system. A correlation analysis found that safety performance was strongly related to companies having superior planning and control, quality management, cost control, and subcontractor management policies. A factor analysis found that central office priorities focus on strategic management policies having longer-term competitive impact, while site management emphasizes tactical management dimensions having short-term impact. There is scope to elevate the profile of continuous improvement initiatives to strategic significance at the central office level.     

Groundwater Flow and Contaminant Transport Simulation with Imprecise Parameters

A methodology has been developed in this study wherein a genetic algorithm (GA) is used to find a global optimal solution to a groundwater flow and contaminant problem by incorporating an artificial neural network (ANN) to evaluate the objective function within the genetic algorithm. The study shows that an ANN-GA technique can be used to find the uncertainties in output parameters due to imprecision in input parameters. The ANN-GA methodology is applied to five case studies involving radial flow in a well, one-dimensional solute transport in steady uniform flow, a two-dimensional heterogeneous steady flow, a two-dimensional solute transport, and a two-dimensional unsteady groundwater flow to demonstrate the efficiency and effectiveness of the developed algorithm. The results show that, with this approach, one can successfully measure the uncertainty in groundwater flow and contaminant transport simulations and achieve a considerable reduction in computational effort when compared to the vertex method that has been widely used in the past.     

Investigation of temperature-dependent polarization, dielectric, and magnetization behavior of multiferroic layered nanostructure

The PbZr_0.53Ti_0.47O₃(PZT)/CoFe₂O₄(CFO) layered nanostructures show lowering of dielectric constant and polarization, and an enhanced magnetization with a decrease in temperature from 400 K to 100 K. The temperature dependence of the real part of the dielectric constant illustrates a step-like behavior, whereas the imaginary part gives a relaxation peak near the step maxima temperature. A slow decrease in the polarization was observed from 300 K to 200 K, with an eventual collapse of polarization at ~ 100 K, and a complete polarization recovery with heating, these phenomena is reproducible over cycles of experiment. Remanent magnetization of the layered nanostructure was found to be three times higher at 100 K than that at room temperature. There is a slow enhancement in remanent (internal) magnetization with lowering of temperature, resulting in slow polarization switch and finally the collapse. The temperature-dependent dielectric, polarization and magnetization were different from the parent layer, indicating a kind of dynamic magneto-electric coupling in the layered nanostructures.     

Dielectric relaxation phenomena in the compound: LiCo<Subscript>3/5</Subscript>Mn<Subscript>1/5</Subscript>Cu<Subscript>1/5</Subscript>VO<Subscript>4</Subscript>

Solution-based chemical method has been used to produce LiCo_3/5Mn_1/5Cu_1/5VO₄ ceramics. The formation of the compound is checked by X-ray diffraction analysis and it reveals an orthorhombic unit cell structure with lattice parameters of a = 9.8262 Å, b = 3.0706 Å, c = 14.0789 Å. Field emission scanning electron micrograph indicates a polycrystalline texture of the material with grains of unequal sizes (~0.2 to 3 μm). Complex impedance spectroscopy technique is used to study the dielectric properties. Temperature dependence of dielectric constant (ε _r) at various frequencies exhibits the dielectric anomalies in ε _r at T _c (transition temperature) = 245, 255, 260 and 265 °C with (ε_r)_max. ~458, 311, 214 and 139 for 50, 100, 200 and 500 kHz, respectively. Frequency dependence of tangent loss at various temperatures shows the presence of dielectric relaxation in the material.