Structured minimal-memory inexact quasi-Newton method and secant preconditioners for augmented Lagrangian optimization

Augmented Lagrangian methods for large-scale optimization usually require efficient algorithms for minimization with box constraints. On the other hand, active-set box-constraint methods employ unconstrained optimization algorithms for minimization inside the faces of the box. Several approaches may be employed for computing internal search directions in the large-scale case. In this paper a minimal-memory quasi-Newton approach with secant preconditioners is proposed, taking into account the structure of Augmented Lagrangians that come from the popular Powell-Hestenes-Rockafellar scheme. A combined algorithm, that uses the quasi-Newton formula or a truncated-Newton procedure, depending on the presence of active constraints in the penalty-Lagrangian function, is also suggested. Numerical experiments using the Cute collection are presented.

The role of cross-linking structures to the formation of one-dimensional nano-organized polyaniline and their Raman fingerprint

In the present work. the resonance Raman. UV-vis-NIR and scanning electron microscopic (SEM) data of nanorods (about similar to 300 rim in diameter) and nanofibers (about similar to 93 nm in diameter) of PANI are presented and compared. The PANI samples were synthesized in aqueous media with dodecybenzenesulfonic acid (DBSA) and beta-naphtalenesulfonic acid (beta-NSA) as dopants, respectively. The presence of hands at 578, 1400 and 1632cm(-1) in the Raman spectra of PANI-NSA and PANI-DBSA shows that the formation of cross-linking structures is a general feature of the PANI chains prepared in micellar media. It is proposed that these structures are responsible for the one-dimensional PANI morphology formation. In addition, the Raman band at 609cm(-1) of PANI fibers is correlated with the extended PANI chain coil formation. (C) 2008 Elsevier B.V. All rights reserved.

Using structured observation and content analysis to explore the presence of older people in public fora in developing countries

There is a lack of research on the everyday lives of older people in developing countries. This exploratory study used structured observation and content analysis to examine the presence of older people in public fora, and considered the methods’ potential for understanding older people’s social integration and inclusion. Structured observation occurred of public social spaces in six cities each located in a different developing country, and in one city in the United Kingdom, together with content analysis of the presence of people in newspaper pictures and on television in the selected countries. Results indicated that across all fieldwork sites and data sources, there was a low presence of older people, with women considerably less present than men in developing countries. There was variation across fieldwork sites in older people’s presence by place and time of day, and in their accompanied status. The presence of older people in images drawn from newspapers was associated with the news/non-news nature of the source. The utility of the study’s methodological approach is considered, as is the degree to which the presence of older people in public fora might relate to social integration and inclusion in different cultural contexts.

Extraction of structured programs from specification proofs

We present a method using an extended logical system for obtaining programs from specifications written in a sublanguage of CASL. These programs are “correct” in the sense that they satisfy their specifications. The technique we use is to extract programs from proofs in formal logic by techniques due to Curry and Howard. The logical calculus, however, is novel because it adds structural rules corresponding to the standard ways of modifying specifications: translating (renaming), taking unions, and hiding signatures. Although programs extracted by the Curry-Howard process can be very cumbersome, we use a number of simplifications that ensure that the programs extracted are in a language close to a standard high-level programming language. We use this to produce an executable refinement of a given specification and we then provide a method for producing a program module that maximally respects the original structure of the specification. Throughout the paper we demonstrate the technique with a simple example.