امام بخاریؒ کا صحیح بخاری میں مؤطا امام مالک پراعتماد؛ تجزياتى مطالعہ

In every period, hadith experts have contributed to the preservation of the Hadith. Imam Malik composed M’ūaṭa to safeguard the hadith, and Imam al-Bukhari afterwards turned to al-Mu'tah for assistance. The research methodology of this paper is an analytical study of the reliance of Imām Bukhārī on Al-M’ūaṭa Imam Mālik in Ṣaḥiḥ Bukhārī. In our article, we came to the conclusion that Imam Bukhari recounted a total of six hundred sixty-eight narrations from Imam Malik in his Sahih, of which six hundred four are scriptural narrations that he took from ten versions of Al- M’ūaṭa. As a result, these narrations make up more than ninety percent of all narrations. Contrasted with in his Sahih, Imam Muslim narrates three hundred eighty-nine narrations from Imam Malik, three hundred twelve of which are scriptural narrations that he has derived from eight of narrations of al M’ūaṭa's. These narrations so account for more than eighty percent of all narrations.

Optimal Control of Multiple Reservoirs System under Water Scarcity

The use of mathematical programming for short term (10-day) operation of Indus River System under uncertainty was investigated. A two stage mix optimization procedure was proposed for the stochastic optimization of the Indus River System. The first stage of the proposed procedure cycles through three main programs, a transition probability matrix (tmp) computation algorithm, a DDP-SDP (Deterministic-Stochastic Dynamic Programming) model and a simulation program. In DDP-SDP program, four model types and three objective types were investigated for multiresevoir system. These non-linear objectives were calibrated for the large scale complex system to minimize the irrigation shortfalls, to maximize the hydropower generation and to optimize the flood storage benefits. Simulation program was used for the validation of each policy derived through this cycle. The accumulation of these programs is called 10 day reservoir operation model of the multireservoir Indus River System. Various model types in SDP/DDP formulation may produce different results in different reservoir conditions and different hydrologic regimes. The model types are therefore system specific. For the Indus Reservoir System best fit SDP model type was identified, alternate multi objective functions were proposed and analysed. Taking one or two objectives and ignoring other or considering all the objectives to optimize, produced different results in different model types. Especially the results were significantly different in terms of storage contents of the reservoir during simulation. The proposed procedure identifies the best stochastic operational policies for the system under uncertainty. The second stage of proposed procedure uses advantages of the stochastic optimal policies derived in the first stage of the optimization with a Network Flow programming (NFP) model developed for the Indus River System for 10 day operation. The whole system was represented by a capacitated network in which nodes are reservoirs, system inflow locations or canal diversion locations. The nodes are connected with the arcs which represent rivers, canal reaches or syphons in the system. The maximum and minimum flow conditions were defined from the physical data. The NFP model was solved with the help of two main programs, the out of kilter algorithm and on line reservoir operation model with stochastic operating policies. The accumulation of these programs is called 10 day stochastic network flow programming (SNFP) model of the multireservoir Indus River System. The proposed SNFP model provides two main benefits. First, the incorporation of the stochastic operating policies at reservoir nodes controls the uncertainty and improves the system operation performance. The stochastic behaviour of the inputs and non-linear objectives in the linear programming model is incorporated in this way. Second, the complete system is under control and presents acomplete physical picture of the system. The results obtained from the above two stage procedure were verified with help of simulating the system with forecasted inflows and comparing these results with actual historic data record. For this purpose, 10 day forecasting models were investigated, calibrated and verified. The results also proved the methodology effective for the test case. The reservoir operation model is characterized as generalised and flexible model, and can be used for any other reservoir. The SNFP model is system (the Indus River System) specific to and needs minor modifications to be used for other water resource systems.ii The proposed optimization procedure presents the optimum operation of reservoirs for irrigation water supplies, hydropower production and flood protection, optimal allocation of water resources in the canal network of Indus River System and identifies the resource limitations at various locations in the system. While comparing with the historic data records, the model performance was found to be better than the historic data at all locations in the system during simulation. The complete model may be used as a guiding tool for the optimum 10 day operation of the Indus River System. A two stage frame work consisting of a steady state SDP 10 day reservoir operation model followed by a Network Flow model appears to be promising for the optimization of Indus River System. The model has also been used for future planning of water resources in Pakistan. The methodology developed provides a viable way of applying stochastic optimization into deterministic optimization procedure under multireservoir, multiobjective water resource system with 10 day operation under uncertainty.