3D Hair sketching for real-time dynamic & key frame animations

Physically based simulation of human hair is a well studied and well known problem. But the “pure” physically based representation of hair (and other animation elements) is not the only concern of the animators, who want to “control” the creation and animation phases of the content. This paper describes a sketch-based tool, with which a user can both create hair models with different styling parameters and produce animations of these created hair models using physically and key frame-based techniques. The model creation and animation production tasks are all performed with direct manipulation techniques in real-time.     

Ant colony optimization approach to estimate energy demand of Turkey

This paper attempts to shed light on the determinants of energy demand in Turkey. Energy demand model is first proposed using the ant colony optimization (ACO) approach. It is multi-agent systems in which the behavior of each ant is inspired by the foraging behavior of real ants to solve optimization problem. ACO energy demand estimation (ACOEDE) model is developed using population, gross domestic product (GDP), import and export. All equations proposed here are linear and quadratic. Quadratic_ACOEDE provided better-fit solution due to fluctuations of the economic indicators. The ACOEDE model plans the energy demand of Turkey until 2025 according to three scenarios. The relative estimation errors of the ACOEDE model are the lowest when they are compared with the Ministry of Energy and Natural Resources (MENR) projection.     

Apparatus for steady-state kinetic measurements of the catalytic reduction of nitric oxide by ammonia on iron oxide

The reduction of nitric oxide with ammonia on an unsupported iron oxide catalyst has been studied in a continuous-flow recycle reactor using simulated flue gas. The responses of the employed reactor system to step and pulse inputs of tracer indicate that the system could be regarded as a continuous stirred tank reactor (CSTR). Preliminary tests were carried out to determine the effect of temperature and particle size on the measured reaction rates. Additional experiments were performed in order to study the influence of oxygen and water concentration on these rates. A gas chromatographic system has been developed to analyze the gas components NO, N₂O, NO₂, NH₃, H₂O, O₂, CO₂ and N₂. In addition, the concentrations of NO and NO₂ were measured with a nondisperse infrared (NDUV/NDIR) analyzer.     

Forecasting of Turkey's net electricity energy consumption on sectoral bases

In this study forecast of Turkey's net electricity energy consumption on sectoral basis until 2020 is explored. Artificial neural networks (ANN) is preferred as forecasting tool. The reasons behind choosing ANN are the ability of ANN to forecast future values of more than one variable at the same time and to model the nonlinear relation in the data structure. Founded forecast results by ANN are compared with official forecasts.     

Isometric Texture Mapping for Free-form Surfaces

Texture mapping is a frequently exploited technique in computer graphics aimed at the emulation of high-resolution details in surfaces. In this paper we present a distance-ratios preservation method for bivariate raster texture mapping to free-form surfaces in an arbitrarily precise manner. The proposed method reduces the original general problem of computing the inverse of a three-dimensional parametric surface mapping into a problem of two-dimensional image warping. Several examples that demonstrate the proposed approach are also provided.     

General solution of one-dimensional,time dependent coupled heat flow systems

A new, powerful method of analysis, involving the combined use of finite integral transform and finite element techniques, is presented for the solution of time dependent heat flow systems composed of many one-dimensional elements connected through the nodes. This method leads to an eigenvalue problem which is not of the conventional Sturm-Liouville type. A procedure for the determination of the eigenvalues is described. The solution obtained is in the form of an infinite series and contains quasi-steady and transient terms. The general solution obtained can be applied in the mathematical modelling of many engineering applications such as the determination of the penetration of the daily temperature cycle into buildings, the analysis of heat transfer in array of extended surfaces in compact heat exchangers, and many others.     

A note on double lacunary statistical $$\sigma$$-convergence of fuzzy numbers

Quite recently, Sava? (Appl Math Lett 21:134–141, 2008), defined the lacunary statistical analogue for double sequence \(X=\{X_{k,l}\}\) of fuzzy numbers as follows: a double sequence \(X=\{X_{k,l}\}\) is said to be lacunary P-statistically convergent to \(X_{0}\) provided that for each \(\epsilon >0\)

$ P-\lim_{r,s}\frac{1}{h_{r,s}}\left | \{(k,l)\in I_{r,s}: d(X_{k,l },X_0)\geq \epsilon\}\right|= 0. $

In this paper we introduce and study double lacunary \(\sigma\)-statistical convergence for sequence of fuzzy numbers and also we get some inclusion theorems.

     

Modal logic as metalogic

The goal of this paper is to show how modal logic may be conceived as recording the derived rules of a logical system in the system itself. This conception of modal logic was propounded by Dana Scott in the early seventies. Here, similar ideas are pursued in a context less classical than Scott's.First a family of propositional logical systems is considered, which is obtained by gradually adding structural rules to a variant of the nonassociative Lambek calculus. In this family one finds systems that correspond to the associative Lambek calculus, linear logic, relevant logics, BCK logic and intuitionistic logic. Above these basic systems, sequent systems parallel to the basic systems are constructed, which formalize various notions of derived rules for the basic systems. The deduction theorem is provable for the basic systems if, and only if, they are at least as strong as systems corresponding to linear logic, or BCK logic, depending on the language, and their deductive metalogic is not stronger than they are.However, though we do not always have the deduction theorem, we may always obtain a modal analogue of the deduction theorem for conservative modal extensions of the basic systems. Modal postulates which are necessary and sufficient for that are postulates of S4 plus modal postulates which mimic structural rules. For example, the modal postulates which Girard has recently considered in linear logic are necessary and sufficient for the modal analogue of the deduction theorem.All this may lead towards results about functional completeness in categories. When functional completeness, which is analogous to the deduction theorem, fails, we may perhaps envisage a modal analogue of functional completeness in a modal category, of which our original category is a full subcategory.