الإجارة وعقد التمليك

تخضع الإجارة لضوابط محددة تسمى الشروط، وهذه الشروط تنقسم إلى أربعة أقسام، شرط يكون مقتضى للعقد، وهو صحيح بالاتفاق، وشرط فيه مصلحة، سواء كانت مصلحة لأحد المتعاقدين أو للعقد، وشرط وصف في المبيع أو الثمن، وهو صحيح أيضاً، وشرط منفعة وهو من المختلف فيه، لذا فإن شروط العقود معظمها تكون جائزة. واعتمد الباحث على المنهج التحليلي، فتناول اللفظ الخاص بمحل الدراسة وعرفه لغة واصطلاحا، مستدلا عليه من مراجعه الأصلية، ثم عرَّج على أقوال الفقهاء لتعزيز ما ترجح منها، وذلك بعد أن بيَّنه بالتحليل والتوثيق. توصلت الدراسة إلى مجموعة من النتائج، أهمها: هنالك ضوابط لحالات العقود الجائزة، منها ما يتعلق بالأحكام ومنها ما يتعلق بالمعنى ومنها ما يتعلق بالشكل ومنها ما يتعلق بالزمان، كما سيتبين لنا في مواطن البحث. وأوصى الباحث بمجموعة من التوصيات أهمها ضرورة أن يلتزم المتعاقدون في معاملاتهم بالضوابط الشرعية لكل عقد وعدم الإعراض عن تلك الضوابط؛ لأن في ذلك مفسدة في أمورهم الدينية والدنيوية، واضطراب في أحوالهم ومعاشاتهم.

Development and Analysis of Batch and Continuous Crystallization Models

This thesis presents the development and simulation of batch and continuous crystallization models. Especially, models are derived for simulating batch and continuous enantioselec- tive preferential crystallization processes in single and coupled crystallizers. Such processes are highly important in chemical and pharmaceutical industries. The effects of nucleation, growth, and fines dissolution phenomena on the crystal size distribution (CSD) are inves- tigated. For the first time continuous preferential crystallization is investigated and the effects of different seeding and operating strategies on the process are analyzed. To judge the quality of the process some goal functions are used, such as purity, productivity, yield and mean crystal size of the preferred enantiomer. The semi-discrete high resolution finite volume schemes (HR-FVS) and the discontinuous Galerkin (DG) finite element method are proposed for solving these models. The resulting systems of ordinary differential equa- tions (ODEs) are solved by using explicit and nonlinearly stable high order Runge- Kutta method. The schemes satisfy the total variation bounded (TVB) property which guarantees the positivity of the schemes, for example the non-negativity of CSD in the present case. The suggested methods have capabilities to capture sharp discontinuities and narrow peaks of the CSD. In DG-schemes, the accuracy of the method can be improved by introducing additional nodes in the same solution element and, thus, avoids the expansion of mesh stencils which is normally observed in high order finite volume schemes. For that reason, the method can be easily applied up to boundary cells without loosing accuracy. It was found that the proposed numerical schemes have the capability to solve the given models more efficiently and accurately. The results support process design and optimization.