Automating application software generation

Many approaches have been proposed to enhance software productivity and reliability. These approaches typically fall into three categories: the engineering approach, the formal approach and the knowledge-based approach. But the optimal gain in software productivity cannot be obtained if one relies on only one of these approaches. This paper describes the work in knowledge-based software engineering conducted by the authors for the past 10 years. The final goal of the research is to develop a paradigm for software engineering which integrates the three approaches mentioned above. A knowledge-based tool which can support the whole process of software development is provided in this paper.     

Education-driven research in CAD

We argue for a new research category, named education-driven research (EDR), which fills the gap between traditional field-specific research that is not concerned with educational objectives and research in education that focuses on fundamental teaching and learning principles and possibly on their customization to broad areas (such as mathematics or physics), but not to specific disciplines (such as CAD). The objective of EDR is to simplify the formulation of the underlying theoretical foundations and of specific tools and solutions in a specialized domain, so as to make them easy to understand and internalize. As such, EDR is a difficult and genuine research activity, which requires a deep understanding of the specific field and can rarely be carried out by generalists with primary expertise in broad education principles. We illustrate the concept of EDR with three examples in CAD: (1) the Split and Tweak subdivisions of a polygon and its use for generating curves, surfaces, and animations; (2) the construction of a topological partition of a plane induced by an arbitrary arrangement of edges; and (3) a romantic definition of the minimal and Hausdorff distances. These examples demonstrate the value of using analogies, of introducing evocative terminology, and of synthesizing the simplest fundamental building blocks. The intuitive understanding provided by EDR enables the students (and even the instructor) to better appreciate the limitations of a particular solution and to explore alternatives. In particular, in these examples, EDR has allowed the author to: (1) reduce the cost of evaluating a cubic B-spline curve; (2) develop a new subdivision curve that is better approximated by its control polygon than either a cubic B-spline or an interpolating 4-point subdivision curve; (3) discover how a circuit inclusion tree may be used for identifying the faces in an arrangement; and (4) rectify a common misconception about the computation of the Hausdorff error between triangle meshes. We invite the scientific community to encourage the development of EDR by publishing its results as genuine research contributions in peer-reviewed professional journals.     

Preparation of clean coal by flotation following ultra fine liberation

This paper reports the results of current fundamental research at the Department of Process Engineering, University of Miskolc on the processing of clean coal from Mecsek bituminous coal, Southern Hungary. The theoretical possibility of the separation of different petrographic components was proven experimentally and their liberation degree was determined based on the petrographic composition, flotation kinetic study of isolated components (groups of components), scanning electron microscopy and microprobe analyses. The mill with stirred ball media was chosen for the ultra-fine liberation of the coal components. It was revealed that along with the liberation of coal components, their surface oxidation and spontaneous agglomeration, entrapping the mineral impurities take place in ultra-fine grinding. This paper discusses the interfacial phenomena occurring in the ultra-fine grinding process and their influence on the flotation. The concept for the advanced preparation of clean coal was developed, tested and proved. The main steps of this concept are the ultra-fine liberation in the stirred-media mill, the de-agglomeration of flocs spontaneously formed during the ultra-fine grinding and the induced (hydrophobic) flocculation with the following two-step flotation in a flotation column.     

The Structure of Clusters and Jets of Pulsed Plasma Expanding into Vacuum

The space-time distribution of the basic kinetic parameters of a plasma is experimentally determined under conditions of expansion of plasma clusters and jets into vacuum. It is demonstrated that the dynamics and structure of plasmoids injected by pulsed erosion plasma accelerators of the electrothermal type are characterized by two successive stages or two modes of acceleration, namely, the Joule heating of electrons in the initial region of the path and the collisionless expansion of rarefied plasma.     

引水发电系统无压隧洞中弃水堰位置的数值模拟研究

水电站引水发电系统无压隧洞中的水力过渡过程是近年来电站设计中出现的一个新课题,特别是流域梯级电站开发中经常遇到。结合工程实例应用扩散法,给出了无压隧洞水力过渡过程数值模拟的基本方程以及上下游及弃水堰等边界附加方程,模拟了弃水堰布置在不同位置下,无压隧洞内的水位变化过程。研究成果和讨论对实际工程应用具有参考意义。     

Implicit–Explicit Schemes for BGK Kinetic Equations

In this work a new class of numerical methods for the BGK model of kinetic equations is presented. In principle, schemes of any order of accuracy in both space and time can be constructed with this technique. The methods proposed are based on an explicit–implicit time discretization. In particular the convective terms are treated explicitly, while the source terms are implicit. In this fashion even problems with infinite stiffness can be integrated with relatively large time steps. The conservation properties of the schemes are investigated. Numerical results are shown for schemes of order 1, 2 and 5 in space, and up to third-order accurate in time.     

Simulation model of general human and humanoid motion

In the last decade we have witnessed a rapid growth of Humanoid Robotics, which has already constituted an autonomous research field. Humanoid robots (or simply humanoids) are expected in all situations of humans’ everyday life, “living” and cooperating with us. They will work in services, in homes, and hospitals, and they are even expected to get involved in sports. Hence, they will have to be capable of doing diverse kinds of tasks. This forces the researchers to develop an appropriate mathematical model to support simulation, design, and control of these systems. Another important fact is that today’s, and especially tomorrow’s, humanoid robots will be more and more humanlike in their shape and behavior. A dynamic model developed for an advanced humanoid robot may become a very useful tool for the dynamic analysis of human motion in different tasks (walking, running and jumping, manipulation, various sports, etc.). So, we derive a general model and talk about a human-and-humanoid simulation system. The basic idea is to start from a human/humanoid considered as a free spatial system (“flier”). Particular problems (walking, jumping, etc.) are then considered as different contact tasks – interaction between the flier and various objects (being either single bodies or separate dynamic systems).     

The atoms, molecules and fibers of organizations

The increasing demands concerning the modifiability and connectivity of business processes cannot be met adequately anymore by relying on best practices only. There is an urgent need for a reference conceptual framework for studying, modeling, analyzing and designing business processes. The Language–Action Perspective (LAP), in particular Habermas’ theory of Communicative Action offers a sound and rigid foundation for such a framework. In this paper, the DEMO (Demo Engineering Methodology for Organizations)-framework is presented. It builds on the LAP-based theoretical foundation of the DEMO methodology. Several other LAP-based frameworks have been proposed in the past years. They are evaluated in a comparative review with the DEMO-framework. Several shortcomings of these frameworks are revealed and discussed. The practical applicability of the DEMO-framework is demonstrated using a small example.