With a tremendous advent of new technologies, the quality of human lives is changing day by day. The major focus is on how to improve the health care systems efficiency to help achieve greater life expectancy. Healthc...
详细信息
ISBN:
(数字)9781728140018
ISBN:
(纸本)9781728140025
With a tremendous advent of new technologies, the quality of human lives is changing day by day. The major focus is on how to improve the health care systems efficiency to help achieve greater life expectancy. Healthcare systems integrated with IoTs are built which generates timely results instead of going to hospitals just for a routine check up and can inform the near emergency care units in case of any anomaly. The elderly people are the ones who are in dire need of home based health assessment systems as they have a higher risk of getting diseases specially when they are living alone. The proposed home based improved health care system for the elderly people using fuzzy logic not only assess the physical health but it also assess the stress level of the patient which is often neglected. The data for physical health is collected using sensors and the data for mental health, in terms of stress level, is collected by taking different parameters into account. The proposed healthcare system can save the life of the elderly people by generating result at an early stage of physical illness or stress level so medical assistance can be timely provided.
In the design optimization of electric machine, we ordinarily derive the objective physical quantities, e.g., the shape of the investigated model as design variables, by using numerical method such as the finite eleme...
详细信息
ISBN:
(数字)9781728155920
ISBN:
(纸本)9781728155937
In the design optimization of electric machine, we ordinarily derive the objective physical quantities, e.g., the shape of the investigated model as design variables, by using numerical method such as the finite element method with the analysis conditions. In recent years, the representation learning using Deep Learning much attracts attention because it can acquire the features of data as a distributed representation and reproduce corresponding data. In this paper, utilizing machine learning technology, we propose an application of Conditional Variational Auto-Encoder (CVAE) to reproduce the more adequate shape of magnetic materials, i.e., design variables, corresponding to the intended magnetic energy, i.e., objective function values.
In this paper, density based topology optimization is considered in nonlinear magnetostatics. Previously, topology optimization in linear magnetostatics was formulated to design Hall-effect thrusters and it was solved...
详细信息
ISBN:
(数字)9781728155920
ISBN:
(纸本)9781728155937
In this paper, density based topology optimization is considered in nonlinear magnetostatics. Previously, topology optimization in linear magnetostatics was formulated to design Hall-effect thrusters and it was solved using gradient based solvers. In that previous version, the gradient information was provided by the continuous adjoint method. Herein, the adjoint approach is updated in order to take into account the saturation aspect of materials. This new version of the adjoint method is implemented and compared to a finite difference approach. The comparison shows that the so-developed adjoint based gradient information in non linear magnetostatics is accurate and ready for use to solve a topology optimization design problem. Hence, a Hall-effect thruster topology optimization problem is solved in both linear and non-linear cases and a comparative description of the found designs will be presented.
We present a logical calculus extending the classical propositional calculus with an additional connective which has some features of substructural logic. This results in a logic which seems to be suitable for reasoni...
详细信息
Most current programming languages do not restrict the use of the concurrency primitives they provide, leaving it to the programmer to detect data races. In this paper, we revisit the monitor concept, which guards aga...
详细信息
Rough sets theory is used to handle uncertain and inconsistent information. While, Pawlak's decision logic of rough sets is based on classical bivalence logic, this may cause a limitation for the various reasoning...
详细信息
Rough sets theory is used to handle uncertain and inconsistent information. While, Pawlak's decision logic of rough sets is based on classical bivalence logic, this may cause a limitation for the various reasoning. In this study, we propose four-valued logics, as the deduction basis for the decision logic. To provide four-valued semantics to decision logic of rough set, we introduce a Ziarko's variable precision rough set. As a deductive system, we adopt tableau calculi and define a consequence relation to construct deductive system based on four-valued semantics. Furthermore, weak-negation is introduced to compensate the deduction property of four-value logics. Finally, we discuss Henkin-type proof of the completeness theorem for the system. (C) 2018 The Authors. Published by Elsevier Ltd.
Doctors' personalized outpatient scheduling is an important and challenging problem, which is due to the existence of spatio-temporal constraints, and resulting in difficult to meet the willings of physicians. In ...
详细信息
Past research into decidable fragments of first-order logic (FO) has produced two very prominent fragments: the guarded fragment GF, and the two-variable fragment FO2 . These fragments are of crucial importance becaus...
详细信息
While the object-orientation is the most used paradigm for developing general purpose software systems, the use of reactive systems has been growing lately. One of the differences between them is that while the first ...
详细信息
We introduce a logic to express structural properties of automata with string inputs and, possibly, outputs in some monoid. In this logic, the set of predicates talking about the output values is parametric, and we pr...
详细信息
ISBN:
(纸本)9783319986531;9783319986548
We introduce a logic to express structural properties of automata with string inputs and, possibly, outputs in some monoid. In this logic, the set of predicates talking about the output values is parametric, and we provide sufficient conditions on the predicates under which the model-checking problem is decidable. We then consider three particular automata models (finite automata, transducers and automata weighted by integers - sum-automata -) and instantiate the generic logic for each of them. We give tight complexity results for the three logics and the model-checking problem, depending on whether the formula is fixed or not. We study the expressiveness of our logics by expressing classical structural patterns characterising for instance finite ambiguity and polynomial ambiguity in the case of finite automata, determinisability and finite-valuedness in the case of transducers and sum-automata. Consequently to our complexity results, we directly obtain that these classical properties can be decided in PTime.
暂无评论