This paper presents an augmented framework for analyzing Safety Critical Systems (SCSs) formally. Due to high risk of failure, development process of SCSs is required more attention. Model driven approaches are the on...This paper presents an augmented framework for analyzing Safety Critical Systems (SCSs) formally. Due to high risk of failure, development process of SCSs is required more attention. Model driven approaches are the one of ways to develop SCSs for accomplishing critical and complex function what SCSs are supposed to do. Two model driven approaches: Unified Modeling Language (UML) and Formal Methods are combined in proposed framework which enables the analysis, designing and testing safety properties of SCSs more rigorously in order to reduce the ambiguities and enhance the correctness and completeness of SCSs. A real time case study has been discussed in order to validate the proposed framework.展开更多
In this paper, the performance of various Pulse Position Modulation (PPM) schemes has been analysed for PIN and APD receivers in the presence of atmospheric turbulence. It is observed that the performance of the APD r...In this paper, the performance of various Pulse Position Modulation (PPM) schemes has been analysed for PIN and APD receivers in the presence of atmospheric turbulence. It is observed that the performance of the APD receiver is always better than that of the PIN receiver as expected. Among the various modulation schemes, the performance of Differential Amplitude PPM (DAPPM) scheme with more number of amplitude levels is better than that of the other schemes for the same single level peak amplitude. Further, the optimum gain of APD receiver does not change substantially for different modulation schemes and turbulent conditions.展开更多
This paper concerns with the treatment of bagasse wash water, which is generated after washing the stored bagasse before its use in the paper manufacture. The bagasse wash water, treated earlier in open lagoons, is no...This paper concerns with the treatment of bagasse wash water, which is generated after washing the stored bagasse before its use in the paper manufacture. The bagasse wash water, treated earlier in open lagoons, is now treated by the anaerobic process using UASB reactor. This study, based upon an operating unit, shows that the UASB reactor reduces COD of wash water by 85% - 90%, and results in significant emission reductions. Economic analysis carried out by using financial indicators such as DSCR, Payback period and IRR reveals very attractive rate of returns and thus, greatly reduces the risks in financing such projects by the financial institutions.展开更多
文摘This paper presents an augmented framework for analyzing Safety Critical Systems (SCSs) formally. Due to high risk of failure, development process of SCSs is required more attention. Model driven approaches are the one of ways to develop SCSs for accomplishing critical and complex function what SCSs are supposed to do. Two model driven approaches: Unified Modeling Language (UML) and Formal Methods are combined in proposed framework which enables the analysis, designing and testing safety properties of SCSs more rigorously in order to reduce the ambiguities and enhance the correctness and completeness of SCSs. A real time case study has been discussed in order to validate the proposed framework.
文摘In this paper, the performance of various Pulse Position Modulation (PPM) schemes has been analysed for PIN and APD receivers in the presence of atmospheric turbulence. It is observed that the performance of the APD receiver is always better than that of the PIN receiver as expected. Among the various modulation schemes, the performance of Differential Amplitude PPM (DAPPM) scheme with more number of amplitude levels is better than that of the other schemes for the same single level peak amplitude. Further, the optimum gain of APD receiver does not change substantially for different modulation schemes and turbulent conditions.
文摘This paper concerns with the treatment of bagasse wash water, which is generated after washing the stored bagasse before its use in the paper manufacture. The bagasse wash water, treated earlier in open lagoons, is now treated by the anaerobic process using UASB reactor. This study, based upon an operating unit, shows that the UASB reactor reduces COD of wash water by 85% - 90%, and results in significant emission reductions. Economic analysis carried out by using financial indicators such as DSCR, Payback period and IRR reveals very attractive rate of returns and thus, greatly reduces the risks in financing such projects by the financial institutions.
