A hybrid model of microstructural evolution of a coupled multi-field system that is subjected to ion irradiation is presented. Materials exposed to low energy ion irradiation experience a wide range of radiation effec...
详细信息
We investigate multilevel characteristics in resistive memory serving as synaptic device for neuromorphic computing system. Our findings reveal that an abruptly formed filament degrades analog switching behavior durin...
详细信息
ISBN:
(纸本)9781509007271
We investigate multilevel characteristics in resistive memory serving as synaptic device for neuromorphic computing system. Our findings reveal that an abruptly formed filament degrades analog switching behavior during potentiation. By means of balanced SET/RESET pulse operation and modulation of switching gap to control the filament growth, a gradually changed conductance behavior was achieved.
Direct cost estimation is beneficial in residential construction projects because it enables decision-makers to proactively manage project costs, which can result in the successful completion of the project. Currently...
详细信息
Direct cost estimation is beneficial in residential construction projects because it enables decision-makers to proactively manage project costs, which can result in the successful completion of the project. Currently, traditional bottom-up cost estimation used for modular residential construction projects is a time-consuming and knowledge-intensive procedure. In contrast to bottom-up cost estimation, using machine learning techniques for initial construction cost estimation can significantly overcome these drawbacks and help decision-makers effectively perform proactive cost management. Machine learning has been successfully used in studies before for this purpose, but not for projects involving the construction of modular homes. This study therefore employs and validates the use of machine learning to estimate direct costs (direct material costs and direct labour costs) in order to quickly, accurately, and conveniently estimate costs for modular residential construction projects.
SD2 is a system of Venn-type diagrams that can be used to reason diagrammatically about sets, their cardinalities and their relationships. They augment the systems of Venn-Peirce diagrams investigated by Shin to inclu...
详细信息
ISBN:
(纸本)0769508405
SD2 is a system of Venn-type diagrams that can be used to reason diagrammatically about sets, their cardinalities and their relationships. They augment the systems of Venn-Peirce diagrams investigated by Shin to include lower and upper bounds for the cardinalities of the sets represented by regions of diagrams. This paper summarises their syntax and semantics and introduces inference rules for reasoning with the system. We discuss the soundness of the system and develop a proof strategy for completeness simpler than that adopted by Shin. I We expect this strategy to extend to other, richer spider diagram systems and to constraint diagrams, the visual notation that has been used in conjunction with object-oriented modelling notations such as the Unified Modelling Language.
Self-bored pressuremeter (SBP) tests are an important part of site investigations for gravity base structure (GBS) foundations. This applies in particular when such structures are expected to experience significant la...
详细信息
暂无评论