النشر العلمي

  • Suitable approach using agricultural residues for pulp and paper manufacturing

The chemical compositions, fibre
dimensions, elemental analysis and paper characteristics
of sesame, karkadeh and okra stalks were studied in this
work. It was found that the α-cellulose content of karkadeh,
sesame and okra stalks were 45.8, 42.3 and 37.9%,
respectively. Klason lignin was found to be the highest in
okra 21.4% while it was 20.8 and 19.3% in sesame and
karkadeh, respectively. Soda and soda-anthraquinone (AQ)
pulping as sulfur-free processes were applied on these raw
materials for producing pulp fibers. The results showed
that a lower kappa number, higher screened pulp yield, and
better paper handsheet properties were obtained for the
pulp produced via soda-AQ pulping than the soda process.
The soda-AQ and soda pulping of karkadeh generated pulp
with the highest yields of 46.6% and 43.5% and kappa
numbers of 18.0 and 19.4, respectively. Papers produced
from karkadeh pulp showed the highest brightness of
77.64 and 75.50%, tensile index of 52.3 and 51.7 N.m/g,
tear index of 4.6 and 5.5 mNm2/g and burst index of 3.9
and 3.5 KPa m2/g for soda-AQ and soda pulp, respectively.
Furthermore, the morphological analysis and chemical
compositions of karkadeh, sesame and okra stalks showed
their suitability for pulp and paper production.

published in Nordic Pulp & Paper Research Journal

  • وسطية الأمة بين مقاصد الدعوة وقيم التواصل

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

1- أن وسطية الأمة امر لازم لها في كل أحوالها وليست هي حالة طارئة أو وضع محدث فرضته عوامل الزمان وإكراهات الأوضاع الراهنة للأمة كما يتوهم البعض فالوسطية نواة في كينونة الأمة وركيزة في وجودها ، فقد اكتسبت الأمة خيريتها من وسطيتها؛

2- أن من مقتضيات الوسطية الفاعلية والتفاعل والتي تتجسد في هذه الورقة عبر مفهومي الدعوة والاتصال

3-  أن اعتقاد التوسط في قياس وضع الذات المسلمة بمعيار الآخر هو من أبرز مظاهر التداعي الحضاري والتفاعل السلبي مع الآخر.

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

 

 

 

 

 

 

 

 

published in مؤتمر دور الوسطية في تحقيق الأمن والسلام”

  • القانون الواجب التطبيق علي عقد النقل الجوي

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

published in مجلة كلية الشريعة جامعة القرآن الكريم وتآتصيل العلوم

  • A Survey of Verification Tools Based on Hoare Logic

The quality and the correctness of software has a great concern in computer systems. Formal verification tools can used to provide a confidence that a software design is free from certain errors. This paper surveys tools that accomplish automatic software verification to detect programming errors or prove their absence. The two tools considered are tools that based on Hoare logic namely, the KeY-Hoare and Hoare Advanced Homework Assistant (HAHA). A detailed example on these tools is provided, underlining their differences when applied to practical problems.

published in (International Journal of Software Engineering & Applications (IJSEA

  • Alneelain: A formal Specification Language

In computer science, specification language is
defined as a formal language used during systems analysis,
requirements analysis and system design to describe a system.
This description will be at much higher level than programming,
which is used to produce the executable code for a system.
Formal specification language provides mathematical
representation of the system and expresses the specification in a
language whose vocabulary syntax and semantic are properly
defined. Today, a variety of formal specification languages are in
use some of them are either based on algebraic specification or on
model-based specification. In this paper a new specification
language called Alneelain specification language is presented. It is
based on axiomatic specification. The primary concern in
designing the compiler of Alneelain specification language, was
with syntax and semantics of the language. Compared to other
specification language, Alneelain Language is the easiest way to
write a formal specification without mush mathematical details.
In additions, the specification written in Alneelain syntax will be
precise, clear, and concise.

published in (2017 International Conference on Communication, Control, Computing, and Electronics Engineering (ICCCCEE

© 2016 University Of Gezira. All rights reserved | Design by Informatics Administration