Extending Extraterritorial Accomodations in Foreign Insolvency Proceedings

The Bankruptcy Reform Act of 1978 (Bankruptcy Code)2 provided a flexible means to achieve an economic and efficient administration of creditors\u27 claims and debtors\u27 assets in foreign insolvency proceedings, while recognizing well-established principles of international law. Moreover, if implemented properly, the Bankruptcy Code provisions can effectively address the increasingly complex issues arising in foreign bankruptcy proceedings

The application of CFD for military aircraft design at transonic speeds

Numerous computational fluid dynamics (CFD) codes are available that solve any of several variations of the transonic flow equations from small disturbance to full Navier-Stokes. The design philosophy at General Dynamics Fort Worth Division involves use of all these levels of codes, depending on the stage of configuration development. Throughout this process, drag calculation is a central issue. An overview is provided for several transonic codes and representative test-to-theory comparisons for fighter-type configurations are presented. Correlations are shown for lift, drag, pitching moment, and pressure distributions. The future of applied CFD is also discussed, including the important task of code validation. With the progress being made in code development and the continued evolution in computer hardware, the routine application of these codes for increasingly more complex geometries and flow conditions seems apparent

An open platform for rapid-prototyping protection and control schemes with IEC 61850

Communications is becoming increasingly important to the operation of protection and control schemes. Although offering many benefits, using standards-based communications, particularly IEC 61850, in the course of the research and development of novel schemes can be complex. This paper describes an open-source platform which enables the rapid prototyping of communications-enhanced schemes. The platform automatically generates the data model and communications code required for an intelligent electronic device to implement a publisher-subscriber generic object-oriented substation event and sampled-value messaging. The generated code is tailored to a particular system configuration description (SCD) file, and is therefore extremely efficient at runtime. It is shown here how a model-centric tool, such as the open-source Eclipse Modeling Framework, can be used to manage the complexity of the IEC 61850 standard, by providing a framework for validating SCD files and by automating parts of the code generation process. The flexibility and convenience of the platform are demonstrated through a prototype of a real-time, fast-acting load-shedding scheme for a low-voltage microgrid network. The platform is the first open-source implementation of IEC 61850 which is suitable for real-time applications, such as protection, and is therefore readily available for research and education

Applying WCET Analysis at Architectural Level

Real-Time embedded systems must enforce strict timing constraints. In this context, achieving precise Worst Case Execution Time is a prerequisite to apply scheduling analysis and verify system viability. WCET analysis is usually a complex and time-consuming activity. It becomes increasingly complex when one also considers code generation strategies from high-level models. In this paper, we present an experiment made on the coupling of the WCET analysis tool Bound-T and our AADL to code generator OCARINA. We list the different steps to successfully apply WCET analysis directly from model, to limit user intervention

Simulation Modeling and Analysis of Coal Shipping Operations

Computer simulations are increasingly powerful and realistic models for complex real-world scenarios, and our project applies this technology to model a coal transportation case study. Given a baseline scenario of fourteen carriers transporting coal from three U.S. locations to four international locations, we optimize operations in terms of product flow, time required for shipments, and total operation costs. Implementing the case study\u27s factors into modular code, we introduce several potential changes to current operations and develop specific scenarios. Further, in analyzing these scenarios we test for robustness and sensitivity, by changing values such as demand and bad weather occurrences, and noting how well the model responds. We ultimately gain a better intuition of the factors at play, identify optimizations, and develop a more efficient configuration. Also, we note several areas of potential improvement and suggest several directions for future work. Finally, taking advantage of modern graphical software, we present the optimized scenario in an animated interface, including a 3D view of the model and real-time data charts. While delving into complex data to reach the desired results, our model is accessible to a broad audience and presents an intriguing glimpse into the future of computational modeling

An Embedded Rule-Based Diagnostic Expert System in Ada

Ada is becoming an increasingly popular programming language for large Government-funded software projects. Ada with it portability, transportability, and maintainability lends itself well to today's complex programming environment. In addition, expert systems have also assumed a growing role in providing human-like reasoning capability expertise for computer systems. The integration is discussed of expert system technology with Ada programming language, especially a rule-based expert system using an ART-Ada (Automated Reasoning Tool for Ada) system shell. NASA Lewis was chosen as a beta test site for ART-Ada. The test was conducted by implementing the existing Autonomous Power EXpert System (APEX), a Lisp-based power expert system, in ART-Ada. Three components, the rule-based expert systems, a graphics user interface, and communications software make up SMART-Ada (Systems fault Management with ART-Ada). The rules were written in the ART-Ada development environment and converted to Ada source code. The graphics interface was developed with the Transportable Application Environment (TAE) Plus, which generates Ada source code to control graphics images. SMART-Ada communicates with a remote host to obtain either simulated or real data. The Ada source code generated with ART-Ada, TAE Plus, and communications code was incorporated into an Ada expert system that reads the data from a power distribution test bed, applies the rule to determine a fault, if one exists, and graphically displays it on the screen. The main objective, to conduct a beta test on the ART-Ada rule-based expert system shell, was achieved. The system is operational. New Ada tools will assist in future successful projects. ART-Ada is one such tool and is a viable alternative to the straight Ada code when an application requires a rule-based or knowledge-based approach