Environmental durability, ageing and corrosion tests are applied before a product comes to the market to ensure that the product’s life time behaviour is well established. Current tests demand a long period of weeks months before safe results can be concluded based on the procedures described and implemented so far. The need for a reduction in time required for evaluation of a product’s behavio...

In Kontrollzentren für Telefon-, Verkehrsoder Energieversorgungsnetzen werden Leitstände verwendet, um dem Betriebspersonal einen schnellen Überblick über die Netzarchitektur und deren gegenwärtige Eigenschaften (z.B. Auslastung) zu bieten. Leitstände sind ein grundlegender Bestandteil von Kontrollzentren z.B. für Energieversorgungsnetze. Für Softwaresysteme sind solche Überwachungsund Steuerun...

The evolution of SAT technology over the last decade has motivated its application in model checking, initially through the utilization of SAT in bounded model checking (BMC) and, more recently, in unbounded model checking (UMC). This paper addresses the utilization of interpolants in UMC and proposes two techniques for improving the original interpolant-based UMC algorithm. These techniques in...

The OMG’s Model Driven Architecture (MDA) [OMG01] defines an approach to IT system specification that separates the specification of system functionality from the specification of the implementation of that functionality on a specific technology platform (e.g. CORBA, J2EE, .NET). Both specifications are expressed as models: Platform Independent Models (PIMs) specify the structure and functions ...

PURPOSE The purpose of this study was to analyze the influence of the platform switching concept on an implant system and peri-implant bone using three-dimensional finite element analysis. MATERIALS AND METHODS Two three-dimensional finite element models for wide platform and platform switching were created. In the wide platform model, a wide platform abutment was connected to a wide platform...

Design of a logistics network in proper way provides a proper platform for efficient and effective supply chain management. This paper studies a multi-period, multi echelon and multi-product integrated forward-reverse logistics network under uncertainty. First, an efficient complex mixed-integer linear programming (MILP) model by considering some real-world assumptions is developed for the inte...

DIWAN, MAITRIK Methodology for Analyzing Complex Algorithms for Small Satellites. (Under the direction of Professor Willam W. Edmonson). From the view point of an electrical engineer, one of the main challenges in the field of space science is the mapping of complex control algorithms onto appropriate hardware architectures. There is a wide knowledge gap between the team which designs these alg...

Concrete Task Model This model is Platform−specific UIML (WML) Platform−specific UIML (HTML) Platform−specific UIML (Java) (Generic UIML 1) Desktop family model

Here, we examine the capability of artificial neural networks (ANNs) in sensitivity analysis of the parameters of efficiency analysis model, namely data envelopment analysis (DEA). We are mainly interested to observe the required change of a group of parameters when another group goes under a managerial change, maintaining the score of the efficiency. In other words, this methodology provides a...