The paper presents results of numerical calculations of a diaphragm wall model executed in Poznań clay formation. Two selected FEM codes were applied, Plaxis and Abaqus. Geological description of Poznań clay formation in Poland as well as geotechnical conditions on construction site in Warsaw city area were presented. The constitutive models of clay implemented both in Plaxis and Abaqus were discussed. The parameters of the Poznań clay constitutive models were assumed based on authors’ experimental tests. The results of numerical analysis were compared taking into account the measured values of horizontal displacements.

CFD (Computational Fluid Dynamics) computations are carried out in order to investigate the flow distribution and its influence on the heat transfer processes in the high-performance heat exchanger. The subject of this investigation is the classical model of the high-performance heat exchanger with elliptical tubes and rectangular fins. It is possible to find the flow domains where the heat transfer conditions are impaired due to the fully developed turbulent flow. Therefore, the considerable thermal loads occur that may cause the breakdown of the heat exchanger. The emphasis of this investigation is put on the zones and the locations where the tubes are not properly fed with liquid, that result in occurrence of cavitation.

This study aims to design a novel air cleaning facility which conforms to the current situation in China, and moreover can satisfy our demand on air purification under the condition of poor air quality, as well as discuss the development means of a prototype product. Air conditions in the operating room of a hospital were measured as the research subject of this study. First, a suitable turbulence model and boundary conditions were selected and computational fluid dynamics (CFD) software was used to simulate indoor air distribution. The analysis and comparison of the simulation results suggested that increasing the area of air supply outlets and the number of return air inlets would not only increase the area of unidirectional flow region in main flow region, but also avoid an indoor vortex and turbulivity of the operating area. Based on the summary of heat and humidity management methods, the system operation mode and relevant parameter technologies as well as the characteristics of the thermal-humidity load of the operating room were analyzed and compiled. According to the load value and parameters of indoor design obtained after our calculations, the airflow distribution of purifying the air-conditioning system in a clean operating room was designed and checked. The research results suggested that the application of a secondary return air system in the summer could reduce energy consumption and be consistent with the concept of primary humidity control. This study analyzed the feasibility and energy conservation properties of cleaning air-conditioning technology in operating rooms, proposed some solutions to the problem, and performed a feasible simulation, which provides a reference for practical engineering.

In this paper we show how formal computer science concepts—such as encoding, algorithm or computability—can be interpreted philosophically, including ontologically and epistemologically. Such interpretations lead to questions and problems, the working solutions of which constitute some form of pre-philosophical worldview. In this work we focus on questions inspired by the IT distinction between digitality and analogicity, which has its mathematical origin in the mathematical distinction between discreteness and continuity. These include the following questions: 1) Is the deep structure of physical reality digital or analog, 2) does the human mind resemble a more digital or analog computational system, 3) does the answer to the second question give us a cognitively fruitful insight into the cognitive limitations of the mind? As a particularly important basis for the above questions, we consider the fact that the computational power (i.e., the range of solvable problems) of some types of analog computations is greater than that of digital computations.

Plate fin-tube heat exchangers fins are bonded with tubes by means of brazing or by mechanical expansion of tubes. Various errors made in the process of expansion can result in formation of an air gap between tube and fin. A number of numerical simulations was carried out for symmetric section of plate fin-tube heat exchanger to study the influence of air gap on heat transfer in forced convection conditions. Different locations of air gap spanning 1/2 circumference of the tube were considered, relatively to air flow direction. Inlet velocities were a variable parameter in the simulations (1– 5 m/s). Velocity and temperature fields for cases with air gap were compared with cases without it (ideal thermal contact). For the case of gap in the back of the tube (in recirculation zone) the lowest reduction (relatively to the case without gap) of heat transfer rate was obtained (average of 11%). The worst performance was obtained for the gap in the front (reduction relatively to full thermal contact in the average of 16%).

In the paper, the problem of isothermic DNA sequencing by hybridization, without any errors in its input data, is presented and an exact polynomial-time algorithm solving the problem is described. The correctness of the algorithm is con.rmed by an enumerative proof.

The joined wing concept is an unconventional airplane configuration, known since the mid-twenties of the last century. It has several possible advantages, like reduction of the induced drag and weight due to the closed wing concept. The inverted joined wing variant is its rarely considered version, with the front wing being situated above the aft wing. The following paper presents a performance prediction of the recently optimized configuration of this airplane. Flight characteristics obtained numerically were compared with the performance of two classical configuration airplanes of similar category. Their computational fluid dynamics (CFD) models were created basing on available documentation, photographs and some inverse engineering methods. The analysis included simulations performed for a scale of 3-meter wingspan inverted joined wing demonstrator and also for real-scale manned airplanes. Therefore, the results of CFD calculations allowed us to assess the competitiveness of the presented concept, as compared to the most technologically advanced airplanes designed and manufactured to date. At the end of the paper, the areas where the inverted joined wing is better than conventional airplane were predicted and new research possibilities were described.

Green spaces are an integral element of urban structures. They are not only a place of rest for their users, but also positively affect their well-being and health. The eff ect of these spaces, is the better, the smoother they create larger urban layout – stings of greenery. The introduction of urban greenery can and should be one of the basic elements of revitalization. Often, however, greenery is designed without multi-aspect analysis, enabling understanding of conditions and the use of existing potential in a given place. The use of computational design in conjunction with the use of generally available databases, such as numerical SRTM terrain models, publicly available OSM map database and EPW meteorological data, allows for the design of space in a more comprehensive way. These design methods allow better matching of the greenery design in a given area to specific architectural, urban and environmental conditions.

The issue of line simplification is one of the fundamental problems of generalisation of geographical information, and the proper parameterisation of simplification algorithms is essential for the correctness and cartographic quality of the results. The authors of this study have attempted to apply computational intelligence methods in order to create a cartographic knowledge base that would allow for non-standard parameterisation of WEA (Weighted Effective Area) simplification algorithm. The aim of the conducted research was to obtain two independent methods of non-linear weighting of multi-dimensional regression function that determines the “importance” of specific points on the line and their comparison to each other. The first proposed approach consisted in the preparation of a set of cartographically correct examples constituting a basis for teaching a neural network, while the other one consisted in defining inference rules using fuzzy logic. The obtained results demonstrate that both methods have great potential, although the proposed solutions require detailed parameterisation taking into account the specificity of geometric variety of the source data.

In order to explore creativity in design, a computational model based on Case-Based Reasoning (CBR) (an approach to employing old experiences to solve new problems) and other soft computing techniques from machine learning, is proposed in this paper. The new model is able to address the four challenging issues: generation of a design prototype from incomplete requirements, judgment and improvement of system performance given a sparse initial case base library, extraction of critical features from a given feature space, adaptation of retrieved previous solutions to similar problems for deriving a solution to a given design task. The core principle within this model is that different knowledge from various level cases can be explicitly explored and integrated into a practical design process. In order to demonstrate the practical significance of our presented computational model, a case-based design system for EM devices, which is capable of deriving a new design prototype from a real-world device case base with high dimensionality, has been developed.

The present study deals with modelling and validation of a planar Solid Oxide Fuel Cell (SOFC) design fuelled by gas mixture of partially pre-reformed methane. A 3D model was developed using the ANSYS Fluent Computational Fluid Dynamics (CFD) tool that was supported by an additional Fuel Cell Tools module. The governing equations for momentum, heat, gas species, ion and electron transport were implemented and coupled to kinetics describing the electrochemical and reforming reactions. In the model, the Water Gas Shift reaction in a porous anode layer was included. Electrochemical oxidation of hydrogen and carbon monoxide fuels were both considered. The developed model enabled to predict the distributions of temperature, current density and gas flow in the fuel cell.

DNA sequencing remains one of the most important problems in molecular and computational biology. One of the methods used for this purpose is sequencing by hybridization. In this approach usually DNA chips composed of a full library of oligonucleotides of a given length are used, but in principle it is possible to use another types of chips. Isothermic DNA chips, being one of them, when used for sequencing may reduce hybridization error rate. However, it was not clear if a number of errors following from subsequence repetitions is also reduced in this case. In this paper a method for estimating resolving power of isothermic DNA chips is described which allows for a comparison of such chips and the classical ones. The analysis of the resolving power shows that the probability of sequencing errors caused by subsequence repetitions is greater in the case of isothermic chips in comparison to their classical counterparts of a similar cardinality. This result suggests that isothermic chips should be chosen carefully since in some cases they may not give better results than the classical ones.

A new class of positive fractional 2D hybrid linear systems is introduced. The solution of the hybrid system is derived. The classical Cayley-Hamilton theorem is extended for fractional 2D hybrid systems. Necessary and sufficient conditions for the positivity are established.

We present a review of recent technical developments in Lattice Boltzmann Equations, as applied to single-phase flows with and without slip lenghts at the wall and for multi-phase flows in presence of hydrophobic walls. The interplay between roughness and hydrophobicity is discussed for microfluidics application. The issue of finite Knudsen effects is also addressed.

Small-scale vertical-axis wind turbines can be used as a source of electricity in rural and urban environments. According to the authors’ knowledge, there are no validated simplified aerodynamic models of these wind turbines, therefore the use of more advanced techniques, such as for example the computational methods for fluid dynamics is justified. The paper contains performance analysis of the small-scale vertical-axis wind turbine with a large solidity. The averaged velocity field and the averaged static pressure distribution around the rotor have been also analyzed. All numerical results presented in this paper are obtained using the SST k-ω turbulence model. Computed power coefficients are in good agreement with the experimental results. A small change in the tip speed ratio significantly affects the velocity field. Obtained velocity fields can be further used as a base for simplified aerodynamic methods.

This numerical research is devoted to introducing the concept of helical cone coils and comparing the performance of helical cone coils as heat exchangers to the ordinary helical coils. Helical and spiral coils are known to have better heat and mass transfer than straight tubes, which is attributed to the generation of a vortex at the helical coil. This vortex, known as the Dean Vortex, is a secondary flow superimposed on the primary flow. The Dean number, which is a dimensionless number used in describing the Dean Vortex, is a function of Reynolds Number and the square root of the curvature ratio, so varying the curvature ratio for the same coil would vary the Dean Number. Numerical investigation based on the commercial CFD software fluent is used to study the effect of changing the structural parameters (taper angle of the helical coil, pitch and the base radius of curvature changes while the height is kept constant) on the Nusselt Number, heat transfer coefficient and coil outlet temperature. Six main coils having pipe diameters of 10 and 12.5 mm and base radius of curvature of 70, 80 and 90 mm were used in the investigation. It was found that, as the taper angle increases, both Nusselt Number and the heat transfer coefficient increase, also the pitch at the various taper angles was found to have an influence on Nusselt Number and the heat transfer coefficient. A MATLAB code was built to calculate the Nusselt Number at each coil turn, then to calculate the average Nusselt number for all of the coil turns. The MATLAB code was based on empirical correlation of Manlapaz and Churchill for ordinary helical coils. The CFD simulation results were found acceptable when compared with the MATLAB results.

The considerations presented in this paper include a computer analysis of slide bearing wear prognosis using the solutions of recurrence equations complemented with the experimental data values. On the ground of the results obtained from analytical and computational numerical calculations, and taking into account the experimental parameters of bearing material and operation boundary conditions, the control problems of slide bearing wear surfaces have been presented. The obtained results allow us to see a connection between roughness, material properties, the amplitude of vibrations, the kind of the friction forces, the hardness of materials, the sliding speed in one side and the wear increments in succeeding time units of the exploitation process in other side.

Computational modeling plays an important role in the methodology of contemporary science. The epistemological role of modeling and simulations leads to questions about a possible use of this method in philosophy. Attempts to use some mathematical tools to formulate philosophical concepts trace back to Spinoza and Newton. Newtonian natural philosophy became an example of successful use of mathematical thinking to describe the fundamental level of nature. Newton’s approach has initiated a new scientific field of research in physics and at the same time his system has become a source of new philosophical considerations about physical reality. According to Michael Heller, some physical theories may be treated as the formalizations of philosophical conceptions. Computational modeling may be an extension of this idea; this is what I would like to present in the article. I also consider computational modeling in philosophy as a source of new philosophical metaphors; this idea has been proposed in David J. Bolter’s conception of defining technology. The consideration leads to the following conclusion: In the methodology of philosophy significant changes have been taking place; the new approach do not make traditional methods obsolete, it is rather a new analytical tools for philosophy and a source of inspiring metaphors.