Search

Abstract: A lot of work has been done in the field of multi-valued model checking home and abroad. But some research works are not perfect. Some problems in the semantic definitions of temporal operators and corresponding model checking algorithms are found in the paper “Model Checking Using Partial Kripke Structure with 3-Valued Temporal Logic”. Some counterexamples are given to show these errors. On the basis of the discussion, some sound semantic definitions of temporal operators and correct algorithms of model checking for some temporal operators are given. [Copyright &y& Elsevier]

Computational Thinking (CT) is pervasive in our daily lives and is useful for problem-solving. Decision-making is a crucial part of problem-solving. In the extant literature, problem-solving strategies in educational settings are often conveniently attributed to intuition; however, it is well documented that computer programmers might even have difficulty describing about their intuitive insights during problem-solving using natural language (such as English), and subsequently convert what has been described using words into software code. Hence, a more analytical approach using mathematical equations and descriptions of CT is offered in this paper as a potential form of rudimentary scaffolding, which might be useful to facilitators and learners of CT-related activities. In the present paper, the decision-making processes during an unplugged CT activity are delineated via Grey-based mathematical equations, which is useful for informing educators who may wish to explain to their learners about the various aspects of CT which are involved in the unplugged activity and simultaneously use these mathematical equations as scaffolds between the unplugged activity and computer code programming. This theoretical manuscript may serve as a base for learners, should the facilitator ask them to embark on a software programming activity that is closely associated to the unplugged CT activity.

Abstract  In this paper it is shown that the well known special orthotropy of paper, explained by micromechanical models of complex bodies, actually corresponds to a special case of orthotropy of a plane elastic body. The existence of this special orthotropy was predicted by the author in a previous work. [ABSTRACT FROM AUTHOR]

Bisphenol A (BPA) is an endocrine disrupting chemical used in a wide range of consumer products including photoactive dyes used in thermal paper. Recent studies have shown that dermal absorption of BPA can occur when handling these papers. Yet, regulatory agencies have largely dismissed thermal paper as a major source of BPA exposure. Exposure estimates provided by agencies such as the European Food Safety Authority (EFSA) are based on assumptions about how humans interact with this material, stating that ‘typical’ exposures for adults involve only one handling per day for short periods of time (<1 minute), with limited exposure surfaces (three fingertips). The objective of this study was to determine how individuals handle thermal paper in one common setting: a cafeteria providing short-order meals. We observed thermal paper handling in a college-aged population (n = 698 subjects) at the University of Massachusetts’ dining facility. We find that in this setting, individuals handle receipts for an average of 11.5 min, that >30% of individuals hold thermal paper with more than three fingertips, and >60% allow the paper to touch their palm. Only 11% of the participants we observed were consistent with the EFSA model for time of contact and dermal surface area. Mathematical modeling based on handling times we measured and previously published transfer coefficients, concentrations of BPA in paper, and absorption factors indicate the most conservative estimated intake from handling thermal paper in this population is 51.1 ng/kg/day, similar to EFSA’s estimates of 59 ng/kg/day from dermal exposures. Less conservative estimates, using published data on concentrations in thermal paper and transfer rates to skin, indicate that exposures are likely significantly higher. Based on our observational data, we propose that the current models for estimating dermal BPA exposures are not consistent with normal human behavior and should be reevaluated. [ABSTRACT FROM AUTHOR]

Abstract: Anaerobic digestion of pulp and paper sludge (PPS) and monosodium glutamate waste liquor (MGWL) was studied in completely stirred tank reactors (CSTR) at 37 ± 2 °C. This work focused on the effect of increased organic loading rate (OLR) on the methane production in long-term experiments. For OLR in the range of (1.5–5.0) kg m−3 d−1 based on VS fed, VFA and SCOD concentrations decreased for the first 10 days and then kept stable at about 2.3 kg m−3 and 4.0 kg m−3 respectively until to the critical OLR of 5.0 kg m−3 d−1; and the methane generation rate enhanced to 0.838 m3 m−3 d−1 during this period until to the reactor failure. Additionally, reaction rate constant k and sludge retention time (SRT) are described on the basis of a mass balance in a CSTR followed a first order kinetic equation. In the present study, values for ym and k were obtained as 0.733 m3 kg−1 of removed VS and 0.07 d−1, respectively. The simple model can apply for dimensioning a CSTR digesting of organic wastes from pulp and paper industries, food processing industries, sewage treatment plants or biogas crops. [Copyright &y& Elsevier]

We have developed a semi-empirical model to relate the tensile energy absorption (TEA) of paper sheets formed from high-consistency refined pulp to pulp properties, including water retention value (WRV), fibre length, and fibre curl. TEA is shown to be related to the normalized stretch (ratio of stretch to tensile strength) and the tensile strength of the pulp. Normalized stretch appears to be a function of fibre curl, whereas tensile strength for a given pulp is a function of the fibre length, fibre curl, and WRV. The manner in which these three pulp properties develop in a given refining operation determines the development of TEA. [ABSTRACT FROM AUTHOR]

Stochastic cellular automata for rock-paper-scissors games are related to Lotka-Volterra model. Simulations are usually performed by two methods local and global interactions. It is well known that the population dynamics with local interaction is stable, where all species coexist. In contrast, global interaction leads to extinction. So far, theories such as mean-field theory and pair approximation have been presented, but they never explained the stable dynamics in local simulation. In the present article, we apply effective medium approximation (EMA) which has been developed in Physics. The effective medium is determined in a self-consistent way. The EMA theory well predicts the stability of population dynamics. Moreover, it fairly explains the aggregation of each species observed in the stationary state. [ABSTRACT FROM AUTHOR]

Copyright of Revue Française de Sociologie is the property of Presses de Sciences Po and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

Abstract: Although the scale invariance is a main feature of growing networks, evidence from a few modelled networks show that the finite-size effect of network at a fixed time cannot be ignored. We propose a concept of time-dependent scale-free networks, and prove the criteria for the stability and scale-free of growing networks by the degree-growing Markov chain. Our results show the importance of rigorous theoretical analysis for the network science. [ABSTRACT FROM AUTHOR]

This paper aims at showing a new methodology to assess student learning in virtual spaces supported by Information and Communications Technology-ICT. The methodology is based on the Conceptual Pedagogy Theory, and is supported both on knowledge instruments (KI) and intelectual operations (IO). KI are made up of teaching materials embedded in the virtual environment. The student carries out IO in his/her virtual formation process based on KI. Both instruments of knowledge and intellectual operations can be mathematically modelled by using functions of increasing complexity order. These functions represent the student's learning change. This paper's main contribution is to show that these functions let the student go from a concrete thinking to a formal one in his/her virtual learning process. The research showed that 47% of the students moved from a concrete thinking level to the formal thinking level.

The article combines a theoretical approach to structuring knowledge that is based on the integrated use of fuzzy semantic network theory predicates, Boolean functions, theory of complexity of network structures and some practical aspects to be considered in the distance learning at the university. The paper proposes a methodological approach that takes into account these features. The paper deals with the structuring of project management programs of academic mobility. The features of these projects show their impact on the progress and results of the implementation. It is shown that traditional approaches to solving the problems of academic mobility management applications to integrate the process of setting objectives and planning projects. But due to the complexity of academic mobility programs to solve these problems effectively without decomposing it into components can be managed quite difficult. Therefore, the main idea of this paper is that an increasing the efficiency of the university on the basis of a possible application of rational structuring of academic mobility programs. The features of these projects shows their impact on the progress and results of their implementation and the ways of construction of project management Digital learning systems. The experience of universities of many countries shows that an effective tool to overcome these obstacles is Digital learning, which allows to get all necessary knowledge at any time and in any place. The identity of urgency takes in terms of academic mobility when students and teachers work in another country. The paper presents the analyse of the structure of scientific and methodological basis of project management systems. The model determines the effect of academic mobility project management tools through knowledge of business administration at the progress of the educational projects. In this structure are identified two parts: creation tool to identify knowledge users and how they change, and the creation of information tools effect on these people.

The paper argues that mathematical modeling is the essence of computational thinking. Learning a computer language is a valuable assistance in learning logical thinking but of less assistance when learning problem-solving skills. The paper is third in a series and presents some examples of mathematical modeling using spreadsheets at an advanced level such as high school or early college.

This paper deals with the problem of moisture in the transformer insulation system. The author proposed that apart from the temperature, the uneven aging of cellulose insulation may have a substantial effect on moisture distribution. The main goal of the research was to check the influence of the degree of aging of winding paper on moisture distribution by taking into account temperature distribution. New paper and paper at three different stages of aging were tested. The obtained results confirmed the hypothesis it was proven that the uneven aging of insulation may enhance moisture distribution in the insulation system. [ABSTRACT FROM PUBLISHER]

Abstract: Paper is an example of a valuable material that can be recycled and recovered. In this study, a two-stage stochastic revenue-maximization model is presented to determine a long-term strategy under uncertainty for a large-scale real-world paper recycling company. This network-design problem includes optimal recycling center locations and optimal flow amounts between the nodes in the multi-facility environment. The proposed model is formulated with two-stage stochastic mixed-integer and robust programming approaches. The models are solved by commercial software GAMS 21.6/CPLEX 9.0 and the results are compared. The study is followed by the analyses of the results. [Copyright &y& Elsevier]

Background Following years of sustained pressure on the UK health service, there is recognition amongst health professionals and stakeholders that current models of healthcare are likely to be inadequate going forward. Therefore, a fundamental review of existing social models of healthcare is needed to ascertain current thinking in this area, and whether there is a need to change perspective on current thinking. Method Through a systematic research review, this paper seeks to address how previous literature has conceptualized a social model of healthcare and, how implementation of the models has been evaluated. Analysis and data were extracted from 222 publications and explored the country of origin, methodological approach, and the health and social care contexts which they were set. Results The publications predominantly drawn from the USA, UK, Australia, Canada and Europe identified five themes namely: the lack of a clear and unified definition of a social model of health and wellbeing; the need to understand context; the need for cultural change; improved integration and collaboration towards a holistic and person-centred approach; measuring and evaluating the performance of a social model of health. Conclusion The review identified a need for a clear definition of a social model of health and wellbeing. Furthermore, consideration is needed on how a model integrates with current models and whether it will act as a descriptive framework or, will be developed into an operational model. The review highlights the importance of engagement with users and partner organizations in the co-creation of a model of healthcare. [ABSTRACT FROM AUTHOR]

Exact solutions for non-Newtonian fluids are rare, particularly for Maxwell fluids [1], such solutions do not exist. Generally, in non-Newtonian fluids, the relation which connects shear stress and shear rate is non-linear and the constitutive relation forms equations of non-Newtonian fluids which are higher order and complex as compared to Navier-Stokes equation governing the flow of viscous fluid. Due to this high nonlinearity, closed form solutions for non-Newtonian fluid flows are not possible for the problems with practical interest. More exactly, when such fluids problems are tackled via Laplace transform technique, often the inverse Laplace transforms of the transformed functions do not exist. Due to this difficulty, the researchers are usually using numerical procedures for finding the inverse Laplace transform. However, those solutions are not purely regarded as exact solutions. Owing the great diversity in the physical structure of non-Newtonian fluids, researchers have proposed a variety of mathematical models to understand the dynamics of such fluids. Mostly, these models fall in the subcategory of differential type fluids or rate types fluids. However, a keen interest of the researchers is seen in studying rate types fluids due to the fact that they incorporate both the elastic and memory effects together. The present comments concern some doubtful results included in the above paper [2]. [ABSTRACT FROM AUTHOR]

Abstract: A wide range of mathematical models for multiple effect evaporators in process industry including paper industry are well reported in the literature but not so extensive work on the dynamic behavior of MEE system is available in the literature. In the present study dynamic behavior of multi-effect evaporator system of a paper industry is obtained by disturbing the feed flow rate, feed concentration, live steam temperature and feed temperature. For this purpose an unsteady-state model for the multi-effect evaporator system is developed. Each effect in the process is represented by a number of variables which are related by the energy and material balance equations for the feed, product and vapor flow. A generalized mathematical model which could be applied to any number of effects and all kinds of feeding arrangements like forward feed, backward feed, mixed feed and spilt feed in the MEE system with simple modifications was finally obtained. Finally model for mixed feed sextuple effect falling film evaporators system was solved using MATLAB. For the steady state and dynamic simulation the ‘fsolve’ and ‘ode45’ solvers in MATLAB source code is used respectively. [Copyright &y& Elsevier]

This paper elucidates the question whether bubble effect can possibly take place in the insulation of OIP (Oil Impregnated Paper) type of bushings. The investigations were performed on a bushing insulation model and indicated to a possibility that the effect may occur. Presence of metallic screens in the insulation does not limit the development of gas bubbling; they only force the motion of water vapor bubbles along the model axis. The temperature dependence of bubble initiation on the water content in paper part of the bushing insulation is similar to the presented earlier in literature characteristics for bubbling in main insulation of power transformers. The possibility of bubble effect occurrence may explain the relatively frequent cases of transformer bushing failures. [ABSTRACT FROM PUBLISHER]

Significant dimensional variations may occur in paper-based materials when subjected to changes in moisture content. Moisture induced deformations are governed by the swelling of individual fibres, which is transferred through inter-fibre bonds to the entire fibrous network. Complex interactions between mechanical and hygro-expansive properties take place in the bonding areas, affecting the overall material response. In most network models, the role of these inter-fibre bonds is not explicitly incorporated. This work presents a periodic meso-structural model for the discrete fibrous network, which considers the free-standing fibre segments and inter-fibre bonds. Despite its simplicity, the reference unit-cell enables the incorporation of relevant micro- and meso-structural features such as network structure, fibres and bond geometry and hygro-elastic properties. The proposed model is solved analytically through a proper homogenization strategy, allowing to recover the paper’s anisotropic hygro-mechanical response in terms of effective elastic constants and effective hygro-expansive coefficients, exploiting the coupling at the meso-structural level between hygroscopic and mechanical behavior. A comparison with experimental results obtained from the literature shows that the presented approach is quite accurate in predicting the overall paper response, thereby revealing the influence of several meso-scale parameters (e.g. fibre orientation, dimensions, mechanical strength). [ABSTRACT FROM AUTHOR]

Recently, there has been a lot of success in using the deterministic approach to provide approximate characterization of Gaussian network capacity. In this paper, we take a deterministic view and revisit the problem of wiretap channel with side information. A precise characterization of the secrecy capacity is obtained for a linear deterministic model, which naturally suggests a coding scheme which we show to achieve the secrecy capacity of the degraded Gaussian model (dubbed as “secret writing on dirty paper”) to within half a bit. [ABSTRACT FROM PUBLISHER]

Abstract: This work is concerned with the adhesion strength between a paper web and a metal roll surface, which is a common situation in paper machines world-wide. It is shown that the classic expression relating the work of adhesion to the peeling angle and web tension is, in general, insufficient. An improved model is suggested to take into account the energy dissipation due to elastic–plastic deformation behavior of wet paper materials. To judge the model, an industrially relevant example of wet newsprint and a mild steel surface is studied. It is found that the agreement between theory and experimental observations is excellent. A key result is that elastic–plastic material behavior must always be included for wet paper materials in peeling processes. [ABSTRACT FROM AUTHOR]

In this paper the results of a questionnaire about mathematics teachers' inclusion in their teaching of mathematical modelling and problem posing are presented. To make teachers able to choose a coherent teaching method for a mathematical topic, teachers' knowledge of valuable methods for the teaching of mathematics should be fostered. In this sense, studying teachers' practice of modelling and problem posing is crucial in order to know if and which kind of support and professional development they need on such educational strategies. The questionnaire was administrated to Italian in-service mathematics teachers of primary and secondary school. Findings indicate that despite teachers implement regularly some aspects of mathematical modelling in their lessons, they ask more materials to support their preparation and practice. Problem posing, instead, might be more integrated in the classroom work, and consequently in teachers' professional development courses.

This paper demonstrates the learning of software engineering through modeling using Object-Oriented Analysis and Design approach with Unified Modeling Language. An online interview management system case project to the whole class was used to develop the software requirement specification. Through modelling, the processes to be considered in software development were also elaborated, where it starts with the identification of major or basic processes of the domain of application, followed by the identification of activities to be performed under each basic process and, finally, transforming the activities highlighted in the functional requirements presentation. Modeling was practised by students through group case projects, and students were active, engaging and focusing on the learning process in such a way that more than 85.9% of students had the courage to attempt design questions during university examinations.