Derivation and consistency checking of models in early software product line engineering

Dissertação para obtenção do Grau de Doutor em Engenharia Informática

Design and Development of data mining models for the predictions of manpower placement in the technical Domain

Data mining is one of the hottest research areas nowadays as it has got wide variety of applications in common man’s life to make the world a better place to live. It is all about finding interesting hidden patterns in a huge history data base. As an example, from a sales data base, one can find an interesting pattern like “people who buy magazines tend to buy news papers also” using data mining. Now in the sales point of view the advantage is that one can place these things together in the shop to increase sales. In this research work, data mining is effectively applied to a domain called placement chance prediction, since taking wise career decision is so crucial for anybody for sure. In India technical manpower analysis is carried out by an organization named National Technical Manpower Information System (NTMIS), established in 1983-84 by India's Ministry of Education & Culture. The NTMIS comprises of a lead centre in the IAMR, New Delhi, and 21 nodal centres located at different parts of the country. The Kerala State Nodal Centre is located at Cochin University of Science and Technology. In Nodal Centre, they collect placement information by sending postal questionnaire to passed out students on a regular basis. From this raw data available in the nodal centre, a history data base was prepared. Each record in this data base includes entrance rank ranges, reservation, Sector, Sex, and a particular engineering. From each such combination of attributes from the history data base of student records, corresponding placement chances is computed and stored in the history data base. From this data, various popular data mining models are built and tested. These models can be used to predict the most suitable branch for a particular new student with one of the above combination of criteria. Also a detailed performance comparison of the various data mining models is done.This research work proposes to use a combination of data mining models namely a hybrid stacking ensemble for better predictions. A strategy to predict the overall absorption rate for various branches as well as the time it takes for all the students of a particular branch to get placed etc are also proposed. Finally, this research work puts forward a new data mining algorithm namely C 4.5 * stat for numeric data sets which has been proved to have competent accuracy over standard benchmarking data sets called UCI data sets. It also proposes an optimization strategy called parameter tuning to improve the standard C 4.5 algorithm. As a summary this research work passes through all four dimensions for a typical data mining research work, namely application to a domain, development of classifier models, optimization and ensemble methods.

Some Aspects of Domain Specific Conceptual Modeling for Simulation of Logistic Terminal Operations

When simulation modeling is used for performance improvement studies of complex systems such as transport terminals, domain specific conceptual modeling constructs could be used by modelers to create structured models. A two stage procedure which includes identification of the problem characteristics/cluster - ‘knowledge acquisition’ and identification of standard models for the problem cluster – ‘model abstraction’ was found to be effective in creating structured models when applied to certain logistic terminal systems. In this paper we discuss some methods and examples related the knowledge acquisition and model abstraction stages for the development of three different types of model categories of terminal systems

Understanding safety and production risks in rail engineering planning and protection

Much of the published human factors work on risk is to do with safety and within this is concerned with prediction and analysis of human error and with human reliability assessment. Less has been published on human factors contributions to understanding and managing project, business, engineering and other forms of risk and still less jointly assessing risk to do with broad issues of ‘safety’ and broad issues of ‘production’ or ‘performance’. This paper contains a general commentary on human factors and assessment of risk of various kinds, in the context of the aims of ergonomics and concerns about being too risk averse. The paper then describes a specific project, in rail engineering, where the notion of a human factors case has been employed to analyse engineering functions and related human factors issues. A human factors issues register for potential system disturbances has been developed, prior to a human factors risk assessment, which jointly covers safety and production (engineering delivery) concerns. The paper concludes with a commentary on the potential relevance of a resilience engineering perspective to understanding rail engineering systems risk. Design, planning and management of complex systems will increasingly have to address the issue of making trade-offs between safety and production, and ergonomics should be central to this. The paper addresses the relevant issues and does so in an under-published domain – rail systems engineering work.

The domain derivative in rough-surface scattering and rigorous estimates for first-order perturbation theory

We investigate Fréchet differentiability of the scattered field with respect to variation in the boundary in the case of time–harmonic acoustic scattering by an unbounded, sound–soft, one–dimensional rough surface. We rigorously prove the differentiability of the scattered field and derive a characterization of the Fréchet derivative as the solution to a Dirichlet boundary value problem. As an application of these results we give rigorous error estimates for first–order perturbation theory, justifying small perturbation methods that have a long history in the engineering literature. As an application of our rigorous estimates we show that a plane acoustic wave incident on a sound–soft rough surface can produce an unbounded scattered field.

Heat Conduction Equation Solution in the Presence of a Change of State in a Bounded Axisymmetric Cylindrical Domain

The heat conduction problem, in the presence of a change of state, was solved for the case of an indefinitely long cylindrical layer cavity. As boundary conditions, it is imposed that the internal surface of the cavity is maintained below the fusion temperature of the infilling substance and the external surface is kept above it. The solution, obtained in nondimensional variables, consists in two closed form heat conduction equation solutions for the solidified and liquid regions, which formally depend of the, at first, unknown position of the phase change front. The energy balance through the phase change front furnishes the equation for time dependence of the front position, which is numerically solved. Substitution of the front position for a particular instant in the heat conduction equation solutions gives the temperature distribution inside the cavity at that moment. The solution is illustrated with numerical examples. [DOI: 10.1115/1.4003542]

An aspect-oriented reference architecture for Software Engineering Environments

Reusable and evolvable Software Engineering Environments (SEES) are essential to software production and have increasingly become a need. In another perspective, software architectures and reference architectures have played a significant role in determining the success of software systems. In this paper we present a reference architecture for SEEs, named RefASSET, which is based on concepts coming from the aspect-oriented approach. This architecture is specialized to the software testing domain and the development of tools for that domain is discussed. This and other case studies have pointed out that the use of aspects in RefASSET provides a better Separation of Concerns, resulting in reusable and evolvable SEEs. (C) 2011 Elsevier Inc. All rights reserved.

SysPRE: systematized process for requirements engineering in knowledge discovery projects

The domain of Knowledge Discovery (KD) and Data Mining (DM) is of growing importance in a time where more and more data is produced and knowledge is one of the most precious assets. Having explored both the existing underlying theory, the results of the ongoing research in academia and the industry practices in the domain of KD and DM, we have found that this is a domain that still lacks some systematization. We also found that this systematization exists to a greater degree in the Software Engineering and Requirements Engineering domains, probably due to being more mature areas. We believe that it is possible to improve and facilitate the participation of enterprise stakeholders in the requirements engineering for KD projects by systematizing requirements engineering process for such projects. This will, in turn, result in more projects that end successfully, that is, with satisfied stakeholders, including in terms of time and budget constraints. With this in mind and based on all information found in the state-of-the art, we propose SysPRE - Systematized Process for Requirements Engineering in KD projects. We begin by proposing an encompassing generic description of the KD process, where the main focus is on the Requirements Engineering activities. This description is then used as a base for the application of the Design and Engineering Methodology for Organizations (DEMO) so that we can specify a formal ontology for this process. The resulting SysPRE ontology can serve as a base that can be used not only to make enterprises become aware of their own KD process and requirements engineering process in the KD projects, but also to improve such processes in reality, namely in terms of success rate.

A common Tabu search algorithm for the global optimization of engineering problems

A novel common Tabu algorithm for global optimizations of engineering problems is presented. The robustness and efficiency of the presented method are evaluated by using standard mathematical functions and hy solving a practical engineering problem. The numerical results show that the proposed method is (i) superior to the conventional Tabu search algorithm in robustness, and (ii) superior to the simulated annealing algorithm in efficiency. (C) 2001 Elsevier B.V. B.V. All rights reserved.

Patellofemoral pain syndrome: Electromyography in a frequency domain analysis

The Patellofemoral Pain Syndrome (PFPS), has a multifactorial etiology and affects approximately 7 to 15% of the population, mostly women, youth, adults and active persons. PFPS causes anterior or retropatelar pain that is exacerbated during functional motor gestures, such as up and down stairs or spending long periods of time sitting, squatting or kneeling. As the diagnostic evaluation of this syndrome is still indirect, different mechanisms and methodologies try to make a classification that distinguishes patients with PFPS in relation to asymptomatic. Thereby, the purpose of this investigation was to determine the characteristics of the electromyographic (EMG) signal in the frequency domain of the vastus medialis oblique (VMO) and vastus lateralis (VL) in patients with PFPS, during the ascent of stairs. 33 young women (22 control group and 11 PFPS group), were evaluated by EMG during ascent of stairs. The VMO mean power frequency (MPF) and the VL frequency 95% (F95) were lower in symptomatic individuals. This may be related to the difference in muscle recruitment strategy exerted by each muscle in the PFPS group compared to the control group.

Optic Disc Margin Anatomy in Patients with Glaucoma and Normal Controls with Spectral Domain Optical Coherence Tomography

Objective: To characterize optic nerve head (ONH) anatomy related to the clinical optic disc margin with spectral domain-optical coherence tomography (SD-OCT). Design: Cross-sectional study. Participants: Patients with open-angle glaucoma with focal, diffuse, and sclerotic optic disc damage, and age-matched normal controls. Methods: High-resolution radial SD-OCT B-scans centered on the ONH were analyzed at each clock hour. For each scan, the border tissue of Elschnig was classified for obliqueness (internally oblique, externally oblique, or nonoblique) and the presence of Bruch's membrane overhanging the border tissue. Optic disc stereophotographs were co-localized to SD-OCT data with customized software. The frequency with which the disc margin identified in stereophotographs coincided with (1) Bruch's membrane opening (BMO), defined as the innermost edge of Bruch's membrane; (2) Bruch's membrane/border tissue, defined as any aspect of either outside BMO or border tissue; or (3) border tissue, defined as any aspect of border tissue alone, in the B-scans was computed at each clock hour. Main Outcome Measures: The SD-OCT structures coinciding with the disc margin in stereophotographs. Results: There were 30 patients (10 with each type of disc damage) and 10 controls, with a median (range) age of 68.1 (42-86) years and 63.5 (42-77) years, respectively. Although 28 patients (93%) had 2 or more border tissue configurations, the most predominant one was internally oblique, primarily superiorly and nasally, frequently with Bruch's membrane overhang. Externally oblique border tissue was less frequent, observed mostly inferiorly and temporally. In controls, there was predominantly internally oblique configuration around the disc. Although the configurations were not statistically different between patients and controls, they were among the 3 glaucoma groups. At most locations, the SD-OCT structure most frequently identified as the disc margin was some aspect of Bruch's membrane and border tissue external to BMO. Bruch's membrane overhang was regionally present in the majority of patients with glaucoma and controls; however, in most cases it was not visible as the disc margin. Conclusions: The clinically perceived disc margin is most likely not the innermost edge of Bruch's membrane detected by SD-OCT. These findings have important implications for the automated detection of the disc margin and estimates of the neuroretinal rim. Financial Disclosure(s): Proprietary or commercial disclosure may be found after the references. Ophthalmology 2012;119:738-747 (C) 2012 by the American Academy of Ophthalmology.

Structure-function Relationships Using the Cirrus Spectral Domain Optical Coherence Tomograph and Standard Automated Perimetry

Purpose: To evaluate the relationship between glaucomatous structural damage assessed by the Cirrus Spectral Domain OCT (SDOCT) and functional loss as measured by standard automated perimetry (SAP). Methods: Four hundred twenty-two eyes (78 healthy, 210 suspects, 134 glaucomatous) of 250 patients were recruited from the longitudinal Diagnostic Innovations in Glaucoma Study and from the African Descent and Glaucoma Evaluation Study. All eyes underwent testing with the Cirrus SDOCT and SAP within a 6-month period. The relationship between parapapillary retinal nerve fiber layer thickness (RNFL) sectors and corresponding topographic SAP locations was evaluated using locally weighted scatterplot smoothing and regression analysis. SAP sensitivity values were evaluated using both linear as well as logarithmic scales. We also tested the fit of a model (Hood) for structure-function relationship in glaucoma. Results: Structure was significantly related to function for all but the nasal thickness sector. The relationship was strongest for superotemporal RNFL thickness and inferonasal sensitivity (R(2) = 0.314, P < 0.001). The Hood model fitted the data relatively well with 88% of the eyes inside the 95% confidence interval predicted by the model. Conclusions: RNFL thinning measured by the Cirrus SDOCT was associated with correspondent visual field loss in glaucoma.

Comparison between frequency domain and time domain riser analysis

In the optimization or parametric analyses of risers, several configurations must be analyzed. It is laborious to perform time domain solutions for the dynamic analysis, since they are time-consuming tasks. So, frequency domain solutions appear to be a possible alternative, mainly in the early stages of a riser design. However, frequency domain analysis is linear and requires that nonlinear effects are treated. The aim of this paper is to present a possible way to treat some of these nonlinearities, using an iterative process together with an analytical correction, and compare the results of a frequency domain analysis with the those of a full nonlinear analysis. [DOI: 10.1115/1.4006149]