Support and precursor effects on the preparation of new heterogenized Pt/Sn catalysts for the selective hydroformylation of 1-pentene

New heterogenized Pt/Sn catalysts selective for the hydroformylation of 1-pentene have been synthesized. The complex cis-[PtCl₂(PPh₃)₂] and the SnCl₂.2H₂O or SnC₂O₄ precursors have been anchored on silica-, magnesia- and alumina-carriers. X-ray photoelectron spectroscopy was used to determine the surface composition and the nature of the anchored species. The hydroformylation activity was found to depend on the type of support and tin precursor used. Only the silica supported catalysts were active in the hydroformylation reaction. Samples prepared from SnCl₂-2H₂O were 200-fold more active than those prepared from SnC₂O₄. Selectivity ton-hexanal of the silica-supported catalyst prepared from SnCl₂-2H₂O was as high as 94.4% at 39.2% conversion of 1-pentene.     

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.     

Semantic conflict resolution ontology (SCROL): an ontology for detecting and resolving data and schema-level semantic conflicts

Establishing semantic interoperability among heterogeneous information sources has been a critical issue in the database community for the past two decades. Despite the critical importance, current approaches to semantic interoperability of heterogeneous databases have not been sufficiently effective. We propose a common ontology called semantic conflict resolution ontology (SCROL) that addresses the inherent difficulties in the conventional approaches, i.e., federated schema and domain ontology approaches. SCROL provides a systematic method for automatically detecting and resolving various semantic conflicts in heterogeneous databases. SCROL provides a dynamic mechanism of comparing and manipulating contextual knowledge of each information source, which is useful in achieving semantic interoperability among heterogeneous databases. We show how SCROL is used for detecting and resolving semantic conflicts between semantically equivalent schema and data elements. In addition, we present evaluation results to show that SCROL can be successfully used to automate the process of identifying and resolving semantic conflicts.     

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 Numerical Simulation in an Open Pit Mine in a Limestone Formation Using MODFLOW

Numerical groundwater simulations of a complex limestone formation quarry in northern Spain enabled problems there to be quantified. A conceptual model of the aquifer, based on extensive in situ field work and information analysis was developed using MODFLOW. Steady state simulations as well as a first transient simulation were performed. The predictions matched the measured flows in the pit reasonably well, allowing practical scenarios of immediate interest to be simulated. Model calibration suggested a new permeability zonation, dependent of the degree of fracturing. The model provides a consistent quantitative framework with which new tests or operations can be evaluated in a cost effective manner.