A method for modeling crosscutting concerns in the concurrent software system is presented based on the aspect-oriented（A-O） technique and the statechart of unified modeling language （UML）. Modeled with UML statec...A method for modeling crosscutting concerns in the concurrent software system is presented based on the aspect-oriented（A-O） technique and the statechart of unified modeling language （UML）. Modeled with UML statechart diagrams, the primary system functions and corresponding traversal features are enveloped into various orthogonal regions of a composite state. The mutual relationships between orthogonal regions are implied by the orders of broadcast events. Using a modular transition system as a basic computational model, the formalization description of A-O statechart models is proposed. The precise semantics of model elements and modeling procedures is given. The example study indicates that the separation strategy of crosscutting concerns is implemented in the design phase of the concurrent software system with this method. Meanwhile, the software modeling method has advantages of loose coupling, adaptability and traceability.展开更多
The Subtropolis Mine is a room-and-pillar mine extracting the Vanport limestone near Petersburg,Ohio,U.S.In February of 2018,mine management began implementing a heading re-orientation to better control the negative e...The Subtropolis Mine is a room-and-pillar mine extracting the Vanport limestone near Petersburg,Ohio,U.S.In February of 2018,mine management began implementing a heading re-orientation to better control the negative effects of excessive levels of horizontal stress.The conditions in the headings improved,but as expected,stress-related damage concentrated within crosscuts.The mine operator has worked to lessen the impact of the instabilities in the outby crosscuts by implementing several engineering controls.With the implementation of each control,conditions were monitored and analyzed using observational and measurement techniques including 3D LiDAR surveys.Since the heading re-orientation,several 3D LiDAR surveys have been conducted and analyzed by researchers from the National Institute for Occupational Safety and Health(NIOSH).This study examines(1)the characteristics of each 3D LiDAR survey,(2)the change in the detailed strata conditions in response to stress concentrations,and(3)the change detection techniques between 3D LiDAR surveys to assess entry stability.Ultimately,the 3D LiDAR surveys proved to be a useful tool for characterizing ground instability and assessing the effectiveness of the engineering controls used in the heading re-orientation at the Subtropolis Mine.展开更多
文摘A method for modeling crosscutting concerns in the concurrent software system is presented based on the aspect-oriented（A-O） technique and the statechart of unified modeling language （UML）. Modeled with UML statechart diagrams, the primary system functions and corresponding traversal features are enveloped into various orthogonal regions of a composite state. The mutual relationships between orthogonal regions are implied by the orders of broadcast events. Using a modular transition system as a basic computational model, the formalization description of A-O statechart models is proposed. The precise semantics of model elements and modeling procedures is given. The example study indicates that the separation strategy of crosscutting concerns is implemented in the design phase of the concurrent software system with this method. Meanwhile, the software modeling method has advantages of loose coupling, adaptability and traceability.
文摘The Subtropolis Mine is a room-and-pillar mine extracting the Vanport limestone near Petersburg,Ohio,U.S.In February of 2018,mine management began implementing a heading re-orientation to better control the negative effects of excessive levels of horizontal stress.The conditions in the headings improved,but as expected,stress-related damage concentrated within crosscuts.The mine operator has worked to lessen the impact of the instabilities in the outby crosscuts by implementing several engineering controls.With the implementation of each control,conditions were monitored and analyzed using observational and measurement techniques including 3D LiDAR surveys.Since the heading re-orientation,several 3D LiDAR surveys have been conducted and analyzed by researchers from the National Institute for Occupational Safety and Health(NIOSH).This study examines(1)the characteristics of each 3D LiDAR survey,(2)the change in the detailed strata conditions in response to stress concentrations,and(3)the change detection techniques between 3D LiDAR surveys to assess entry stability.Ultimately,the 3D LiDAR surveys proved to be a useful tool for characterizing ground instability and assessing the effectiveness of the engineering controls used in the heading re-orientation at the Subtropolis Mine.
