Parameter estimation for a morphochemical reaction-diffusion model of electrochemical pattern formation

The process of electrodeposition can be described in terms of a reaction-diffusion partial differential equation (PDE) system that models the dynamics of the morphology profile and the chemical composition. Here we fit such a model to the different patterns present in a range of electrodeposited and electrochemically modified alloys using PDE constrained optimization. Experiments with simulated data show how the parameter space of the model can be divided into zones corresponding to the different physical patterns by examining the structure of an appropriate cost function. We then use real data to demonstrate how numerical optimization of the cost function can allow the model to fit the rich variety of patterns arising in experiments. The computational technique developed provides a potential tool for tuning experimental parameters to produce desired patterns.     

Effects of fiber from tropical corn and forage sorghum silages on intake, digestion, and performance of lactating dairy cows

Tropical corn silage was compared with sorghum silage as a basal forage in the diets of high producing dairy cows. Sorghum and tropical corn silages were each included in place of ground corn at incremental concentrations in the experimental diets. Eight separate diets were fed, four diets containing each silage ranging in forage neutral detergent fiber (NDF) from approximately 25 to 31% and ranging in total NDF from approximately 41 to 45%. Diets were arranged in a 2 x 4 factorial design and were fed to lactating cows (n = 24; pretrial mean milk production = 39 kg/d; body weight = 656 kg; and days in milk = 81). As concentrations of dietary NDF increased, intake and milk production decreased linearly. The impact of dietary NDF on intake was greater for diets based on tropical corn silage than for diets based on sorghum silage. Energy intake and milk production were reduced, but cows consumed more fiber when challenged with higher dietary concentrations of fiber. The in vitro rate and extent of digestion of dietary samples were correlated with intake response. The rate of in vitro fiber digestion was slower for samples that contained tropical corn silage than for samples that contained sorghum silage. In vivo digestibility measurements were influenced by intake and dietary composition. Results of this trial indicated that sorghum silage can have equal or slightly greater nutritional value than tropical corn silage when these forages are fed at equal concentrations of dietary fiber.     

Changes in US government procurement policy

‘Shrinking government’ and ‘Empowerment” really mean something in the standards business. New US government policies will sharply curtail the use of “MIL” specifications and standards. This dramatic move offers industry a more active role by creating new ‘performance-based’ standards. This article reviews the US department of Defence (DoD) decision and its expected consequences in the context of Aerospace Fluid Power.     

Linguistic Knowledge, Processing Speed, and Metacognitive Knowledge in First- and Second-Language Reading Comprehension: A Componential Analysis.

The authors report results of a study into the role of components of first-language (L1; Dutch) and second-language (L2; English) reading comprehension. Differences in the contributions of components of L1 and L2 reading comprehension are analyzed, in particular processing speed in L1 and L2. Findings indicate that regression weights of the L1 and L2 components are different. Although correlations between most processing speed components and reading comprehension are substantial, there are no unique contributions to the explanation of either L1 or L2 reading comprehension when linguistic and metacognitive knowledge are accounted for. In addition, L1 reading comprehension is shown to have a large contribution to L2 reading comprehension, supporting theories of L1-L2 transfer of reading skills. Results are discussed from a developmental perspective. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Development of adolescent reading comprehension in language 1 and language 2: A longitudinal analysis of constituent components.

This study investigated the relationship between reading comprehension development of 389 adolescents in their dominant language (Language 1 [L1], Dutch) and a foreign language (Language 2 [L2], English). In each consecutive year from Grades 8 through 10, a number of measurements were taken. Students' reading comprehension, their linguistic knowledge (vocabulary and grammar knowledge) and processing efficiency (speed of word recognition and sentence comprehension) in both languages, and their metacognitive knowledge about reading were assessed. The relative strengths of the effects of these components of reading were analyzed to distinguish among 3 hypotheses about the relationship between L1 and L2 reading comprehension: the transfer hypothesis, the threshold hypothesis, and the processing efficiency hypothesis. The transfer hypothesis predicts a strong relationship between L1 and L2 reading comprehension and a strong effect of metacognitive knowledge on L2 reading comprehension, whereas the threshold and processing efficiency hypotheses predict a more important role of language-specific knowledge and processing skills. Results support the transfer hypothesis, although language-specific knowledge and fluency also contribute to L2 reading performance. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Comparative evaluation of platforms for parallel Ant Colony Optimization

The rapidly growing field of nature-inspired computing concerns the development and application of algorithms and methods based on biological or physical principles. This approach is particularly compelling for practitioners in high-performance computing, as natural algorithms are often inherently parallel in nature (for example, they may be based on a “swarm”-like model that uses a population of agents to optimize a function). Coupled with rising interest in nature-based algorithms is the growth in heterogenous computing; systems that use more than one kind of processor. We are therefore interested in the performance characteristics of nature-inspired algorithms on a number of different platforms. To this end, we present a new OpenCL-based implementation of the Ant Colony Optimization algorithm, and use it as the basis of extensive experimental tests. We benchmark the algorithm against existing implementations, on a wide variety of hardware platforms, and offer extensive analysis. This work provides rigorous foundations for future investigations of Ant Colony Optimization on high-performance platforms.     

Tight Bounds for Distributed Minimum-Weight Spanning Tree Verification

This paper introduces the notion of distributed verification without preprocessing. It focuses on the Minimum-weight Spanning Tree (MST) verification problem and establishes tight upper and lower bounds for the time and message complexities of this problem. Specifically, we provide an MST verification algorithm that achieves simultaneously $\tilde{O}(m)$ messages and $\tilde{O}(\sqrt{n} + D)$ time, where m is the number of edges in the given graph G, n is the number of nodes, and D is G’s diameter. On the other hand, we show that any MST verification algorithm must send $\tilde{\varOmega}(m)$ messages and incur $\tilde{\varOmega}(\sqrt{n} + D)$ time in worst case. Our upper bound result appears to indicate that the verification of an MST may be easier than its construction, since for MST construction, both lower bounds of $\tilde{\varOmega}(m)$ messages and $\tilde{\varOmega}(\sqrt{n} + D)$ time hold, but at the moment there is no known distributed algorithm that constructs an MST and achieves simultaneously $\tilde{O}(m)$ messages and $\tilde{O}(\sqrt{n} + D)$ time. Specifically, the best known time-optimal algorithm (using ${\tilde{O}}(\sqrt {n} + D)$ time) requires O(m+n ^3/2) messages, and the best known message-optimal algorithm (using ${\tilde{O}}(m)$ messages) requires O(n) time. On the other hand, our lower bound results indicate that the verification of an MST is not significantly easier than its construction.     

Compact separator decompositions in dynamic trees and applications to labeling schemes

This paper presents an efficient scheme maintaining a separator decomposition representation in dynamic trees using asymptotically optimal labels. In order to maintain the short labels, the scheme uses relatively low message complexity. In particular, if the initial dynamic tree contains only the root, then the scheme incurs an O(log⁴ n) amortized message complexity per topology change, where n is the current number of vertices in the tree. As a separator decomposition is a fundamental decomposition of trees used extensively as a component in many static graph algorithms, our dynamic scheme for separator decomposition may be used for constructing dynamic versions to these algorithms. The paper then shows how to use our dynamic separator decomposition to construct efficient labeling schemes on dynamic trees, using the same message complexity as our dynamic separator scheme. Specifically, we construct efficient routing schemes on dynamic trees, for both the designer and the adversary port models, which maintain optimal labels, up to a multiplicative factor of O(log log n). In addition, it is shown how to use our dynamic separator decomposition scheme to construct dynamic labeling schemes supporting the ancestry and NCA relations using asymptotically optimal labels, as well as to extend a known result on dynamic distance labeling schemes. Supported in part at the Technion by an Aly Kaufman fellowship. Supported in part by a grant from the Israel Science Foundation.     

A simulation-based scheduling system for real-time optimization and decision making support

This paper presents an industrial application of simulation-based optimization (SBO) in the scheduling and real-time rescheduling of a complex machining line in an automotive manufacturer in Sweden. Apart from generating schedules that are robust and adaptive, the scheduler must be able to carry out rescheduling in real time in order to cope with the system uncertainty effectively. A real-time scheduling system is therefore needed to support not only the work of the production planner but also the operators on the shop floor by re-generating feasible schedules when required. This paper describes such a real-time scheduling system, which is in essence a SBO system integrated with the shop floor database system. The scheduling system, called OPTIMISE scheduling system (OSS), uses real-time data from the production line and sends back expert suggestions directly to the operators through Personal Digital Assistants (PDAs). The user interface helps in generating new schedules and enables the users to easily monitor the production progress through visualization of production status and allows them to forecast and display target performance measures. Initial results from this industrial application have shown that such a novel scheduling system can help both in improving the line throughput efficiently and simultaneously supporting real-time decision making.