At the IPCO VI conference Cornuéjols and Dawande proposed a set of 0-1 linear programming instances that proved to be very hard to solve by traditional methods, and in particular by linear programming based branc...
详细信息
In this paper an overview is given of the "Have Java"2 project to attain a pure Java parallel Navier-Stokes flow solver (JParNSS) based on the thread concept and remote method invocation @MI). The goal of th...
详细信息
In this paper an overview is given of the "Have Java"2 project to attain a pure Java parallel Navier-Stokes flow solver (JParNSS) based on the thread concept and remote method invocation @MI). The goal of this project is to produce an industrial flow solver running on an arbitrary sequential or parallel architecture, utilizing the Internet, capable of handling the most complex 3D geometries as well as flow physics, and also linking to codes in other areas such as aeroelasticity etc. Since Java is completely object oriented the code has been written in an object-oriented programming (OOP) style. The code also includes a graphics user interface (GUI) as well as an interactive steering package for the parallel architecture. The Java OOP approach provides profoundly improved software productivity, robustness, and security as well as reusability and maintainability. OOP allows code construction similar to the aerodynamic design process because objects can be software coded and integrated, reflecting actual design procedures. In addition, Java is the programming language of the Internet and thus Java objects on disparate machines or even separate networks can be connected. We explain the motivation for the design of JParNSS along with its capabilities that set it apart from other solvers. In the first two sections we present a discussion of the Java language as the programming tool for aerospace applications. In section three the_ objectives of the Have Java project arc presented. In the next section the layer structures of JParNSS are discuss-ed with emphasis on the parallelization and client-server (RMI) layers. JParNSS, like its predecessor ParNSS (ANSI-C), is based on the multiblock idea, and allows for arbitrarily complex topologies. Grids are accepted in GridPro or Plot3D format. Using GridPro property settings, grids of any size or block number can be directly read by JParNSS without any further modifications, requiring no additional preparation time for the solver
Inequalities and convexity properties known for the gamma function are extended to the q-gamma function, 0 > q > 1. Applying some classical inequalities for convex functions, we deduce monotonicity results for s...
详细信息
The problem of proving a number is of a given arithmetic format with some prime elements, is raised in RSA undeniable signature, group signature and many other cryptographic protocols. So far, there have been several ...
详细信息
In this paper we will present a general purpose h-p finite element (or spectral/hp element) code for solving the Navier-Stokes equations in moving computational domains without the need for remeshing. The code uses Ga...
详细信息
In this paper we will present a general purpose h-p finite element (or spectral/hp element) code for solving the Navier-Stokes equations in moving computational domains without the need for remeshing. The code uses Galerkin and discontinuous Galerkin projections and a high-order trial basis suitable for polymorphic subdomains. Using these techniques we model fluid/structure interactions with large structural deformation without remeshing while maintaining both numerical accuracy and convergence. Specific case studies we present include simulations of flow past an `energy-harvesting eel', a 3D flow in a micro-pump, and arterial flows.
Evaluation strategies to assess the effectiveness of legal knowledge based systems enable strengths and limitations of systems to be accurately articulated. This facilitates efforts in the research community to develo...
详细信息
ISBN:
(纸本)9781581131659
Evaluation strategies to assess the effectiveness of legal knowledge based systems enable strengths and limitations of systems to be accurately articulated. This facilitates efforts in the research community to develop systems and also promotes the adoption of research prototypes in the commercial world. However, evaluation strategies for systems that operate in a domain as complex as law are difficult to specify. In this paper, we present an evaluation framework put forward by Reich and describe how this motivated the evaluation of our systems in Australian family law. Strategies surveyed include a comparison of linear regression with neural networks, user acceptance surveys, a comparison of system predictions with those from past cases, and a comparison of system outputs with those proposed by a panel of lawyers. Specific criteria for the evaluation of explanation facilities are also described.
We report the results of a theoretical study of electron scattering by CO2 at incident electron energies ranging from 0.25 to 10 eV using the complex Kohn variational method. These are the first fully ab initio calcul...
详细信息
We report the results of a theoretical study of electron scattering by CO2 at incident electron energies ranging from 0.25 to 10 eV using the complex Kohn variational method. These are the first fully ab initio calculations to accurately reproduce the two dominant features observed in experiment, namely, the dramatic rise in the integral cross sections below 2.0 eV and the resonance enhancement near 3.8 eV. Both of these effects are sensitive to the inclusion of electronic correlation effects involving long-range target polarization and short-range distortion. We have also carried out a preliminary study of effects of target vibrational motion in 2Πu symmetry with an adiabatic nuclei treatment of the symmetric stretch mode. We find that this has a substantial effect on the width of the 3.8 eV resonance feature and gives results for both the integral elastic and total cross sections in excellent agreement with experiment. Our calculated differential elastic cross sections are also in good accord with recent experimental results.
In order to prepare for the upgrade of the German national scientific network to gigabit capacity in the year 2000, two testbeds have been set up. One of them, the 'Gigabit Testbed West', uses a 2.4 Gbit/s ATM...
详细信息
In order to prepare for the upgrade of the German national scientific network to gigabit capacity in the year 2000, two testbeds have been set up. One of them, the 'Gigabit Testbed West', uses a 2.4 Gbit/s ATM link to connect the Research Centre Julich and the GMD-National Research Center for Information technology in Sankt Augustin. The testbed is the basis for several application projects, ranging from metacomputing to multimedia. This paper gives an overview of the infrastructure of the testbed and its applications. As an example, the real-time analysis and visualization of functional MRI measurements of the human brain are described in detail.
In this paper we discuss Split Up, a hybrid rule-based/neural network system which provides advice upon the distribution of property following divorce in Australia. The task of determining what property a Family Court...
The process of aerosuspension ignition of a suspension in air in a pulverized-coal burner with a preswitched muffle by a central axisymmetric air stream heated in an electric-arc plasmatron to a temperature of about ...
The process of aerosuspension ignition of a suspension in air in a pulverized-coal burner with a preswitched muffle by a central axisymmetric air stream heated in an electric-arc plasmatron to a temperature of about ≈5000K is numerically simulated. This process is the basis of a new fuel-oil-free method of ignition of the boilers of thermal power stations. The method is rather promising from the viewpoint of both economy and ecology. The goal of numerical simulation is to study the process of ignition of coal particles in the flow and to identify the conditions necessary for the transition to self-sustained burning of a coal-dust mixture. The results obtained revealed the significant role of radiative heat transfer in initializing the burning process of solid fuel particles.
暂无评论