A real-time mathematical model for two dimensional tidal flow and water quality is presented in this paper. The control-volume-based-finite-difference method and the 'power interpolation distribution' advocate...A real-time mathematical model for two dimensional tidal flow and water quality is presented in this paper. The control-volume-based-finite-difference method and the 'power interpolation distribution' advocated by Patankar [4] have been employed, and new boundary condition for tidal flow is recommended. The model is un- conditionally stable and convergent, and able to deal with irregular estuarine topography and movable boundary problems. Practical application of the model is illustrated by an example for the Swatou Bay. A fair agreement be- tween the values measured and computed demonstrates the validity of the model developed.展开更多
Some researchers have suggested that scientific foundations expressed in a mathematical form are needed to thrust the success of systems engineering as a discipline on its own merit. In order to contribute the develop...Some researchers have suggested that scientific foundations expressed in a mathematical form are needed to thrust the success of systems engineering as a discipline on its own merit. In order to contribute the development of such systems science, this paper investigates from a foundational standpoint the relationships between stakeholder needs, system requirements, and sets of systems. Various theorems and corollaries are proposed and mathematically proven. The theoretical elements are presented as a foundation for the development of a science for requirements engineering. The proposed foundations are finally tested to mathematically describe, in a rigorous and precise manner, qualities of good requirements, which are otherwise traditionally defined using vague narrative. By showcasing practical examples of the theoretical aspects, the paper is intended to serve as a bridge between practitioners and theorists.展开更多
文摘A real-time mathematical model for two dimensional tidal flow and water quality is presented in this paper. The control-volume-based-finite-difference method and the 'power interpolation distribution' advocated by Patankar [4] have been employed, and new boundary condition for tidal flow is recommended. The model is un- conditionally stable and convergent, and able to deal with irregular estuarine topography and movable boundary problems. Practical application of the model is illustrated by an example for the Swatou Bay. A fair agreement be- tween the values measured and computed demonstrates the validity of the model developed.
文摘Some researchers have suggested that scientific foundations expressed in a mathematical form are needed to thrust the success of systems engineering as a discipline on its own merit. In order to contribute the development of such systems science, this paper investigates from a foundational standpoint the relationships between stakeholder needs, system requirements, and sets of systems. Various theorems and corollaries are proposed and mathematically proven. The theoretical elements are presented as a foundation for the development of a science for requirements engineering. The proposed foundations are finally tested to mathematically describe, in a rigorous and precise manner, qualities of good requirements, which are otherwise traditionally defined using vague narrative. By showcasing practical examples of the theoretical aspects, the paper is intended to serve as a bridge between practitioners and theorists.
