An approach for robust PDE-constrained optimization with application to shape optimization of electrical engines and of dynamic elastic structures under uncertainty

We present a robust optimization framework that is applicable to general nonlinear programs (NLP) with uncertain parameters. We focus on design problems with partial differential equations (PDE), which involve high computational cost. Our framework addresses the uncertainty with a deterministic worst-case approach. Since the resulting min–max problem is computationally intractable, we propose an approximate robust formulation that employs quadratic models of the involved functions that can be handled efficiently with standard NLP solvers. We outline numerical methods to build the quadratic models, compute their derivatives, and deal with high-dimensional uncertainties. We apply the presented approach to the parametrized shape optimization of systems that are governed by different kinds of PDE and present numerical results.     

Feature sequencing in the rapid design system using a genetic algorithm

This paper addresses the feature sequencing problem in the Rapid Design System (RDS). The RDS is a feature-based design system that integrates product design and process planning. An important issue in feature-based process planning for machined parts is the order in which material is removed to form the resultant part. The order, or sequence, is partially dependent on the geometric relationships between features. The sequence affects the safety, the time it takes to machine the part, and the quality of the finished part. The sequence of material removal depends on two types of relations between features: (1) intersections and (2) interfeature associations. Both types of relations compound the search for an optimal sequence of material removal. Therefore, the research problem has been the discovery and development of a genetic algorithm (GA) that efficiently searches the solution space for all possible sequences and identifies the best sequences in terms of safety, time and quality.     

Non-functional properties in the model-driven development of service-oriented systems

Systems based on the service-oriented architecture (SOA) principles have become an important cornerstone of the development of enterprise-scale software applications. They are characterized by separating functions into distinct software units, called services, which can be published, requested and dynamically combined in the production of business applications. Service-oriented systems (SOSs) promise high flexibility, improved maintainability, and simple re-use of functionality. Achieving these properties requires an understanding not only of the individual artifacts of the system but also their integration. In this context, non-functional aspects play an important role and should be analyzed and modeled as early as possible in the development cycle. In this paper, we discuss modeling of non-functional aspects of service-oriented systems, and the use of these models for analysis and deployment. Our contribution in this paper is threefold. First, we show how services and service compositions may be modeled in UML by using a profile for SOA (UML4SOA) and how non-functional properties of service-oriented systems can be represented using the non-functional extension of UML4SOA (UML4SOA-NFP) and the MARTE profile. This enables modeling of performance, security and reliable messaging. Second, we discuss formal analysis of models which respect this design, in particular we consider performance estimates and reliability analysis using the stochastically timed process algebra PEPA as the underlying analytical engine. Last but not least, our models are the source for the application of deployment mechanisms which comprise model-to-model and model-to-text transformations implemented in the framework VIATRA. All techniques presented in this work are illustrated by a running example from an eUniversity case study.     

Assessing canopy mortality during a mountain pine beetle outbreak using GeoEye-1 high spatial resolution satellite data

Continuing, severe outbreaks of mountain pine beetle (Dendroctonus ponderosae) across western North America have resulted in widespread mortality of lodgepole pine (Pinus contorta). Multiple studies have used high spatial resolution satellite data to map areas of beetle kill; these studies have largely focused on mapping red canopy cover associated with recent tree mortality and have not examined mapping gray canopy cover that occurs after red needles have dropped. The work presented here examines the use of newly available GeoEye-1 data for mapping both red and gray canopy area in southeastern Wyoming lodgepole pine forest. A 0.5 m spatial resolution, pan-sharpened GeoEye-1 image was used to classify areas of green, red, and gray canopy cover. Reference data were collected at twelve 500 m² field plots. Shadow-normalized green, red, and gray canopy area from classified GeoEye-1 data closely agreed with field-estimated green, red, and gray canopy area. Mean absolute error in canopy cover for the twelve sample plots was 8.3% for the green class, 5.4% for the red class, and 7.2% for the gray class. When all twelve plots were aggregated, remotely sensed estimates of green, red, and gray cover were within 1.7% of the field-estimated cover. Our results demonstrate that high spatial resolution spaceborne multispectral data are a promising tool for mapping canopy mortality caused by mountain pine beetle outbreaks.     

Improving literacy and metacognition with electronic portfolios: Teaching and learning with ePEARL

Can an electronic portfolio that is both a multimedia container for student work and a tool to support key learning processes have a positive impact on the literacy practices and self-regulated learning skills of students? This article presents the findings of a yearlong study conducted in three Canadian provinces during the 2007–2008 school year initially involving 32 teachers and 388 students. Due to varying levels of implementation our final data set included 14 teachers and 296 students. Using a non-equivalent pre-test/post-test design, we found that grade 4–6 students who were in classrooms where the teacher provided regular and appropriate use of the electronic portfolio tool ePEARL (i.e., medium–high implementation condition, n = 7 classrooms and 121 students), compared to control students (n = 7 classrooms and 175 students) who did not use ePEARL, showed significant improvements (p < .05) in their writing skills on a standardized literacy measure (i.e., the constructed response subtest of the Canadian Achievement Test-4th ed.) and certain metacognitive skills measured via student self-report. The results of this study indicate that teaching with ePEARL has positive impacts on students’ literacy and self-regulated learning skills when the tool is used regularly and integrated into classroom instruction.     

On the nature of support in computer-supported collaborative learning using gStudy – January 17, 2009

The authors of the articles in this special issue of Computers in Human Behavior explore the nature of support in gStudy, a computer-supported collaborative learning (CSCL) environment, especially from the perspective of the theory of self-regulation [e.g., Zimmerman, B. J. (2000). Attainment of self-regulation: A social cognitive perspective. In M. Boekaerts, P. Pintrich, & M. Zeidner (Eds.), Handbook of self-regulation, research and applications (pp. 13–39). Orlando, FL: Academic Press]. To comment critically on the systematic and comprehensive research this collection of articles represents is a daunting task. Therefore, I want to begin by insuring that the reader has the appropriate impression of the quality and importance of the collection of studies and the tool itself.     

Energy optimal spacecraft attitude control subject to convergence rate constraints

Attitude control of operational satellites is still predominantly performed by standard controllers such as Proportional plus Derivative (PD) control laws, which are still preferred for implementation to the computationally intensive nonlinear optimal control techniques, representing higher implementation complexity. In this paper, an inverse optimal control approach based on phase space geometry is presented, which is easy to implement and free from numerical and computational issues. The optimal control objective is to minimize a norm of the control torque subject to a rapidity constraint on the convergence rate of a Lyapunov function, under the effect of a benchmark controller. The proposed optimization method is shown to significantly enhance the torque-rapidity trade-off compared to the benchmark controller, chosen to be a PD law then a sliding mode controller. The inverse optimal control scheme is implemented on an air bearing table experimental platform.     

一种互联网海量情报规则优化方法

现在很多部门都需要通过规则处理海量情报数据,规则的数量一旦达到海量级规模,对规则的处理技术的要求将会变得越来越高,海量规则的优化将是一个十分重要的问题.文中展示了一种海量规则的优化方法.若两个规则网最后的计算结果是一样的,则可以认为这两个规则网是等价的.基于该等价规则模块的变换可以将代价小的规则模块替换掉代价大的规则模块,从而以后可以选择一种代价最小的规则模块.本文提出规则网模块等价替换的5种优化方法,并对其做了相应的证明.通过优化,可以使得海量规则网处于计算代价尽量最小状态,以此减少处理机的计算工作量.分析表明,通过等价规则替换,可以大大提高规则处理效率.