3,915 research outputs found
Perancangan Interior Griya Lanjut Usia St.Yosef Di Jawa Tengah Dengan Konsep “Keakraban”
Elderly house is a building that functioned as a shelter for the elderly man was being treated, cared for and given more attention. Numbers of elderly who do not consider the functional aspects and comfort make the elderly are reluctant to stay in elderly house. The purpose of this scheme is to provide seniors with atmosphere and design of the natural environment, safe, back to nature for the elderly and provide full facilities to serve the needs of the elderly. The concept of this design is applied to the familiarity of the layout, organization of space and furniture and adjacent groups. In addition, the combination of colors and materials also supports the concept of familiarity on St.Yosef elderly house. In St. Yosef between public spaces interconnected set, used together, and open to one another, this interior design benefits the elderly is to provide a means for the elderly where they can socialize with comfortable quarters feel feel like home
Bounded Verification with On-the-Fly Discrepancy Computation
Simulation-based verification algorithms can provide formal safety guarantees
for nonlinear and hybrid systems. The previous algorithms rely on user provided
model annotations called discrepancy function, which are crucial for computing
reachtubes from simulations. In this paper, we eliminate this requirement by
presenting an algorithm for computing piece-wise exponential discrepancy
functions. The algorithm relies on computing local convergence or divergence
rates of trajectories along a simulation using a coarse over-approximation of
the reach set and bounding the maximal eigenvalue of the Jacobian over this
over-approximation. The resulting discrepancy function preserves the soundness
and the relative completeness of the verification algorithm. We also provide a
coordinate transformation method to improve the local estimates for the
convergence or divergence rates in practical examples. We extend the method to
get the input-to-state discrepancy of nonlinear dynamical systems which can be
used for compositional analysis. Our experiments show that the approach is
effective in terms of running time for several benchmark problems, scales
reasonably to larger dimensional systems, and compares favorably with respect
to available tools for nonlinear models.Comment: 24 page
Recommended from our members
Effect of inlet conditions on taylor bubble length in microchannels
This paper was presented at the 2nd Micro and Nano Flows Conference (MNF2009), which was held at Brunel University, West London, UK. The conference was organised by Brunel University and supported by the Institution of Mechanical Engineers, IPEM, the Italian Union of Thermofluid dynamics, the Process Intensification Network, HEXAG - the Heat Exchange Action Group and the Institute of Mathematics and its Applications.The effect of inlet conditions on the frequency and size of the bubbles that form during gas-liquid Taylor flow in microchannels is investigated in this paper. Three different inlet configurations, T-, Y- and Mjunction as well as three test channels with hydraulic diameters 0.345mm, 0.577mm and 0.816mm were used. The test fluids were nitrogen and water or octane, that have different surface tension. It was found that
bubble length increased with increasing gas flowrate, gas inlet size and liquid surface tension and decreasing liquid flowrate. From the different inlet configurations, the M-junction resulted in the largest bubbles and the Y-junction in the smallest ones particularly at low liquid flowrates. The experimental bubble sizes were tested against a number of literature correlations but the agreement was not very good. Two new correlations were developed for the T- and the Y-junctions to calculate the unit cell (one bubble and one slug) frequency from which the bubble length can be found. Bubble lengths predicted from these correlations were in good agreement with experimental ones obtained from video recordings
Influence of the Thermophysical Model on the CFD Analysis of Oil-Cooled Transformer Windings
A disc-type winding of an oil-immersed power transformer is modeled with Computational Fluid Dynamics. Different approaches are implemented to evaluate the feasibility of the Boussinesq approximation: (i) constant fluid properties, (ii) variable viscosity and thermal diffusivity and (iii) temperature-dependent fluid properties. Temperature and flow distributions are reconstructed and put into relation with physical phenomena and model assumptions. Their comparison suggests that numerical results are fairly sensitive to the thermophysical model as long as the buoyancy force is a relevant component of the flow. Nonetheless, all the cases converge to very close predictions of the hot-spot value and location, with possibly positive implications for the use of reference parameters when deriving flow and heat transfer correlations for this topic
Theoretical advances on Economic Model Predictive Control with time-varying costs
© 2016 Published by Elsevier Ltd on behalf of International Federation of Automatic Control.Economic Model Predictive Control is a technique for optimization of economic revenues arising from controlled dynamical processes that has established itself as a variant of standard Tracking Model Predictive Control. It departs from the latter in that arbitrary cost functions are allowed in the formulation of the stage cost. This paper takes a further step in expanding the applicability of Economic Model Predictive Control by illustrating how the paradigm can be adapted in order to accommodate time-varying or parameter-varying costs
Field dependence–independence and instructional-design effects on learners’ performance with a computer-modeling tool
Angeli, C., Valanides, N., & Kirschner, P. A. (2009). Field dependence–independence and instructional-design effects on learners’ performance with a computer-modeling tool. Computers in Human Behavior, 25, 1355–1366.The study investigated the extent to which two types of instructional materials and learner field dependence–
independence affected learners’ cognitive load, time spent on task, and problem-solving performance
in a complex system with a computer-modeling tool. One hundred and one primary student
teachers were initially categorized into field dependent, field mixed, and field-independent learners
based on their performance on the Hidden Figures Test, and were then randomly assigned to two experimental
conditions. One group received a static diagram and a textual description in a split format, and
the second group received the same static diagram and textual description in an integrated format.
MANOVA revealed that the split-format materials contributed to higher cognitive load, higher time spent
on task, and lower problem-solving performance than the integrated-format materials. There was also an
interaction effect, only in terms of students’ problem-solving performance, between field dependence–
independence and instructional materials, indicating that the facilitating effect of the integrated-format
materials was restricted to the field-independent learners. Conclusions are drawn in terms of how the
well-documented split-attention effect manifests itself irrespective of students’ field dependence-independence.
Implications of the effects of reduced extraneous cognitive load on students’ problem-solving performance are also discussed
- …