Initial and boundary value problems arise in different fields of mathematics and engineering. They are a result of mathematical modeling of various real-life phenomena. Some of these models are of higher nonlinearity. Thus, an exact solution of such a problem is very less likely. For those kinds of problems, we see different approximation methods, both analytical and numerical. The subject of this study is to work out some analytical algorithms that can be used to obtained solutions of nonlinear problems. A major issue with series solution algorithms is the convergence of these methods, especially for the cases of semi-infinite domain. We have tried to address this issue and have developed some modified algorithms that can work even where the traditional ones fail. Techniques like variational iteration method (VIM), variation of parameters method (VPM) and homotopy perturbation method (HPM) have been improved. This study is supposed to help the research community to remove some inbuilt deficiencies (such as divergent results, small parameter assumptions, need of perturbation, huge computational work and very limited convergence) of these traditional techniques. Efforts have been made to modify these analytical techniques. The modified schemes so obtained are free from these deficiencies. The modified schemes, like variation of parameters method with auxiliary parameter (VPMAP), optimal variation of parameters method with Adomian’s polynomials (OVPMAP), optimal variational iteration method (OVIM), optimal variational iteration method with Adomian’s polynomials (OVIMAP) and optimal homotopy perturbation method (OHPM) have been implemented on many problems arising in different fields of sciences such as, mathematical biology, fluid flow through different geometries, heat transfer equations related to chemical engineering etc. Convergent solutions are obtained for both bounded and unbounded domains by making an appropriate use of the developed modified versions. A brand new analytical algorithm, namely generalized iterative scheme (GIS), has also been introduced. Once can see its effectiveness for certain types of problems. Accuracy of the results is verified by comparing approximate solution with exact solutions, wherever available, or the residual error analysis.
حکیم شریف الدین بقائی دہلی کی ایک عظیم خاندانی شخصیت اوربزرگان دین کے محب ِ خاص حکیم شریف الدین بقائی ۲؍ جنوری ۱۹۹۰ء کواس جہانِ فانی سے کوچ کرگئے۔اِنَّالِلّٰہِ وَاِنَّا اِلَیْہِ راجعُون۔ مرحوم بقائی انتہائی نیک،عابد وزاہد اور مُخیر تھے۔دینی اداروں سے ان کی وابستگی قابل قدر تھی۔ادارہ ندوۃ المصنفین کے قدیم ترین ممبر تھے اور حضرت مفتی عتیق الرحمن عثمانی صاحب ؒسے ان کا بڑاہی قریبی تعلق وشغف تھا۔بلکہ یہ کہنا زیادہ مناسب ہوگاکہ حکیم شریف الدین بقائی مفتی صاحبؒ کے شیدائی تھے۔مفتی صاحب کے ساتھ اکثر ان کی نشست رہتی تھی۔ان کے انتقال سے جہاں ان کے متعلقین اوردلّی والوں کوصدمہ عظیم ہواہے،وہیں ادارہ ندوۃ المصنفین وبرہان بھی اپنے قدیم ترین مخلص سے محروم ہوجانے کی وجہ سے سخت رنج وغم سے دوچار ہے۔ ان کے لائق ہونہار صاحبزادے ڈاکٹر معین الدین بقائی سے اظہار تعزیت کرتے ہوئے ادارہ مرحوم کی مغفرت کے لیے دعاگو ہے۔ [جنوری ۱۹۹۰ء]
State-Civil Society relations in Pakistan have seldom been far from problematic and when it comes to Civil Society Organizations (CSOs) working for women empowerment and gender equality the relations with the state become highly adverse. According to several researches gender insensitivity is often an important characteristic of fragile states. In this context, this paper seeks to explore the role of CSOs working for women empowerment in the history of Pakistan and their relationship with the state of Pakistan. It also tends to assess whether an improvement in this relationship can possibly help to diminish the fragility of the Pakistani state. The paper is based on qualitative research with an analytical approach and has been completed with the help of interviews with relevant persons and overview of related material in print and on line.
This research defines the software life cycle models and refers to the significance of the
requirements gathering and analysis. There are many methods for capturing software
requirements; this work focuses on one informal, two semiformal and two formal methods.
Informal method in the requirements elaboration uses QUARS Tool techniques to deal with
natural language. Semiformal methods are Unified Modeling Language (UML) and User
Requirements Notation (URN). UML and URN supports different types of diagrams to view the
system, URN is different from UML, and it is specially developed for telecommunication
services and systems. The conversion of the URN into the other International Telecommunication
Union -Telecommunication (ITU-T) languages is also supported.
Formal methods use set-theory and logics, Specification and Description Language (SDL) and
Knowledge Acquisition in automated specification or?Keep All Objectives Satisfied (KAOS) are
examples of formal methods. KAOS uses graphical notations to elaborate the problem.
Requirement engineering process has a great importance in the process of software development.
Study demonstrates that to produce quality software more attention should be paid in improving
the requirement engineering process.
In this research five key process areas are described for the improvement of the requirement
engineering process. First is the goal-based methodology in requirement engineering process.
The second area is to support the cyclical and incremental activities in requirement engineering
process. Third area is for encouraging the stakeholders involved in requirement engineering
process. Fourth is for the support of management and fifth is for defining the planning phase of
requirement engineering process.