A QUASI-SIMPLEX METHOD FOR STRICTLY CONVEX QUADRATIC PROGRAMMING

本文提出一个不用 Kuhn- Tucker条件而直接搜索严格凸二次规划最优目标点的鲁棒方法 .在搜索过程中 ,目标点沿约束多面体边界上的一条折线移动 .这种移动目标点的思想可以被认为是线性规划单纯形法的自然推广 ,在单纯形法中 ,目标点从一个顶点移到另一个顶点。

Direct synthesis and characterization of titanium-substituted mesoporous molecular sieve SBA-15

Ti-substituted mesoporous SBA-15 (Ti-SBA-15) materials have been synthesized by using a new approach in which the hydrolysis of the silicon precursor (tetramethoxysilane, TMOS) is accelerated by fluoride. These materials were characterized by powder X-ray diffraction patterns (XRD), X-ray fluorescence spectroscopy (Y-RF), N-2 sorption isotherms, diffuse-reflectance UV-visible (UV-vis) and UV-Raman spectroscopy, Si-29 MAS NMR, and the catalytic epoxidation reaction of styrene. Experiments show that Ti-SBA-15 samples of high quality can be obtained under the following conditions: F/Si greater than or equal to 0.03 (molar ratio), pH less than or equal to 1.0, aging temperature less than or equal to 80 degreesC, and Ti/Si less than or equal to 0.01. It was found that the hydrolysis rate of TMOS was remarkably accelerated by fluoride, which was suggested to play the main role in the formation of Ti-SBA-15 materials of high quality. There is no stoichiometric incorporation of Ti, and the Ti contents that are obtained are quite low in the case of the approach that is proposed. The calcined Ti-SBA-15 materials show highly catalytic activity in the epoxidation of styrene.

Direct spectroscopic evidence for vanadium species in V-MCM-41 molecular sieve characterized by UV resonance Raman spectroscopy

Vanadium species in tetrahedral and octahedral coordination in V-MCM-41 molecular sieve are characterized by UV resonance Raman bands at 1070 and 930 cm(-1) respectively.

Synthesis of FeCoMnAPO-5 molecular sieve and catalytic activity in cyclohexane oxidation by oxygen

A new FeCoMnAPO-5 with AFI structure was synthesized under hydrothermal conditions and characterized by XRD, FT-IR, X-ray fluorescence, nitrogen adsorption and SEM. The oxidation of cyclohexane with molecular oxygen was studied over the catalyst at 403 K. It show d higher activity compared to FeAPO-5, CoAPO-5 and MnAPO-5. The FeCoMnAPO-5 catalyst was recycled twice without loss of activity or selectivity.

New route for light olefins production from chloromethane over HSAPO-34 molecular sieve

HSAPO-34 molecular sieve was employed in chloromethane conversion and showed high performance in activity and selectivity in production of light olefins. Our detailed IR investigation allowed the identification of the active sites and the adsorbed species and demonstrated that the conversion started from 350 degrees C with alkoxy group as the intermediate. The fixed-bed catalytic testing evidenced that in the range of 350-500 degrees C, 70-80% of chloromethane was transferred to ethylene, propylene and butenes. Increasing reaction temperature favors the conversion and enhances the yield of lighter olefins. A very important reversible phenomenon, the breaking of Al-O-P bonds upon adsorption of HCl, a main product of reaction to generate a large amount of P-OH groups and the recovery of Al-O-P upon removal of HCI was revealed. (c) 2005 Elsevier B.V. All rights reserved.

INVESTIGATION OF OCEAN ACOUSTICS USING AUTONOMOUS INSTRUMENTATION TO QUANTIFY THE WATER-SEDIMENT BOUNDARY PROPERTIES

Sound propagation in shallow water is characterized by interaction with the oceans surface, volume, and bottom. In many coastal margin regions, including the Eastern U.S. continental shelf and the coastal seas of China, the bottom is composed of a depositional sandy-silty top layer. Previous measurements of narrow and broadband sound transmission at frequencies from 100 Hz to 1 kHz in these regions are consistent with waveguide calculations based on depth and frequency dependent sound speed, attenuation and density profiles. Theoretical predictions for the frequency dependence of attenuation vary from quadratic for the porous media model of M.A. Biot to linear for various competing models. Results from experiments performed under known conditions with sandy bottoms, however, have agreed with attenuation proportional to f1.84, which is slightly less than the theoretical value of f2 [Zhou and Zhang, J. Acoust. Soc. Am. 117, 2494]. This dissertation presents a reexamination of the fundamental considerations in the Biot derivation and leads to a simplification of the theory that can be coupled with site-specific, depth dependent attenuation and sound speed profiles to explain the observed frequency dependence. Long-range sound transmission measurements in a known waveguide can be used to estimate the site-specific sediment attenuation properties, but the costs and time associated with such at-sea experiments using traditional measurement techniques can be prohibitive. Here a new measurement tool consisting of an autonomous underwater vehicle and a small, low noise, towed hydrophone array was developed and used to obtain accurate long-range sound transmission measurements efficiently and cost effectively. To demonstrate this capability and to determine the modal and intrinsic attenuation characteristics, experiments were conducted in a carefully surveyed area in Nantucket Sound. A best-fit comparison between measured results and calculated results, while varying attenuation parameters, revealed the estimated power law exponent to be 1.87 between 220.5 and 1228 Hz. These results demonstrate the utility of this new cost effective and accurate measurement system. The sound transmission results, when compared with calculations based on the modified Biot theory, are shown to explain the observed frequency dependence.

An inductive reasoning model in linear and quadratic sequences

Presentamos algunos resultados de una investigación más amplia cuyo objetivo general es describir y caracterizar el razonamiento inductivo que utilizan estudiantes de tercero y cuarto de Secundaria al resolver tareas relacionadas con sucesiones lineales y cuadráticas (Cañadas, 2007). Identificamos diferencias en el empleo de algunos de los pasos considerados para la descripción del razonamiento inductivo en la resolución de dos de los seis problemas planteados a los estudiantes. Describimos estas diferencias y las analizamos en función de las características de los problemas.

Automatic relative debugging of OpenMP programs

In this work we show how automatic relative debugging can be used to find differences in computation between a correct serial program and an OpenMP parallel version of that program that does not yield correct results. Backtracking and re-execution are used to determine the first OpenMP parallel region that produces a difference in computation that may lead to an incorrect value the user has indicated. Our approach also lends itself to finding differences between parallel computations, where executing with M threads produces expected results but an N thread execution does not (M, N > 1, M ≠ N). OpenMP programs created using a parallelization tool are addressed by utilizing static analysis and directive information from the tool. Hand-parallelized programs, where OpenMP directives are inserted by the user, are addressed by performing data dependence and directive analysis.

An environment for OpenMP code parallelization

This chapter discusses the code parallelization environment, where a number of tools that address the main tasks, such as code parallelization, debugging, and optimization are available. The parallelization tools include ParaWise and CAPO, which enable the near automatic parallelization of real world scientific application codes for shared and distributed memory-based parallel systems. The chapter discusses the use of ParaWise and CAPO to transform the original serial code into an equivalent parallel code that contains appropriate OpenMP directives. Additionally, as user involvement can introduce errors, a relative debugging tool (P2d2) is also available and can be used to perform near automatic relative debugging of an OpenMP program that has been parallelized either using the tools or manually. In order for these tools to be effective in parallelizing a range of applications, a high quality fully inter-procedural dependence analysis, as well as user interaction is vital to the generation of efficient parallel code and in the optimization of the backtracking and speculation process used in relative debugging. Results of parallelized NASA codes are discussed and show the benefits of using the environment.

The ParaWise expert assistant - widening accessibility to efficient and scalable tool Generated OpenMP code

Despite the apparent simplicity of the OpenMP directive shared memory programming model and the sophisticated dependence analysis and code generation capabilities of the ParaWise/CAPO tools, experience shows that a level of expertise is required to produce efficient parallel code. In a real world application the investigation of a single loop in a generated parallel code can soon become an in-depth inspection of numerous dependencies in many routines. The additional understanding of dependencies is also needed to effectively interpret the information provided and supply the required feedback. The ParaWise Expert Assistant has been developed to automate this investigation and present questions to the user about, and in the context of, their application code. In this paper, we demonstrate that knowledge of dependence information and OpenMP are no longer essential to produce efficient parallel code with the Expert Assistant. It is hoped that this will enable a far wider audience to use the tools and subsequently, exploit the benefits of large parallel systems.

Approximation Algorithms for a Symmetric Quadratic Knapsack Problem and its Scheduling Applications

We consider a knapsack problem to minimize a symmetric quadratic function. We demonstrate that this symmetric quadratic knapsack problem is relevant to two problems of single machine scheduling: the problem of minimizing the weighted sum of the completion times with a single machine non-availability interval under the non-resumable scenario; and the problem of minimizing the total weighted earliness and tardiness with respect to a common small due date. We develop a polynomial-time approximation algorithm that delivers a constant worst-case performance ratio for a special form of the symmetric quadratic knapsack problem. We adapt that algorithm to our scheduling problems and achieve a better performance. For the problems under consideration no fixed-ratio approximation algorithms have been previously known.