Department of Computer Science

More ...

About Department of Computer Science

Facts about Department of Computer Science

We are proud of what we offer to the world and the community

10

Publications

22

Academic Staff

172

Students

47

Graduates

Programs

Major

...

Details

Who works at the Department of Computer Science

Department of Computer Science has more than 22 academic staff members

staff photo

Mr. Hussein R H Gannud

رئيس قسم علوم الحاسب الآلي

Publications

Some of publications in Department of Computer Science

تقييم الجاهزية التعليمية لتطبيق التعليم الالكتروني في جامعة طرابلس (دراسة حالة خاصة كلية العلوم)

أهداف الدراسة: 1. تحديد المعايير الأساسية في تقييم جاهزية المؤسسات التعليمية لتطبيق التعليم الالكتروني . 2. تحديد عناصر التقييم وآلياته في مختلف مراحل تطبيق التعليم الالكتروني . 3. تقييم الجاهزية التعليمية لتطبيق التعليم الإلكتروني في كلية العلوم في جامعة طرابلس . ولهذا فقد طرحت مجموعة من الفرضيات وهي : الفرضية الأولى: لا يوجد دليل إحصائي على استعداد الطلبة للتعلم في بيئة التعليم الالكتروني من حيث مستوى خلفيتهم عن التعليم الالكتروني والرغبة في التعلم من خلاله . الفرضية الثانية: لا يوجد دليل إحصائي على استعداد الطلبة للتعلم في بيئة التعليم الالكتروني من حيث مستواهم في مهارات استخدام تقنية المعلومات والحاسوب والانترنت. الفرضية الثالثة: لا يوجد دليل إحصائي على استعداد الطلبة للتعلم في بيئة التعليم الالكتروني من حيث قدرتهم على توفير الإمكانيات اللازمة لهذه البيئة التعليمية. الفرضية الرابعة: لا يوجد دليل إحصائي على استعداد الكلية في تطبيق التعليم الالكتروني من حيث توفر الإمكانيات اللازمة لهذه البيئة التعليمية. الفرضية الخامسة: لا يوجد دليل إحصائي على استعداد أعضاء هيئة التدريس في استخدام بيئة التعليم الالكتروني في التعليم من حيث مستوى خلفيتهم عنها و الرغبة في التعليم من خلاله . الفرضية السادسة: لا يوجد دليل إحصائي على استعداد أعضاء هيئة التدريس في استخدام بيئة التعليم الالكتروني في التعليم من حيث مستواهم في مهارات استخدام تقنية المعلومات والحاسوب والانترنت. الفرضية السابعة: لا يوجد دليل إحصائي على استعداد أعضاء هيئة التدريس في استخدام بيئة التعليم الالكتروني في التعليم من حيث قدرتهم على توفير الإمكانيات اللازمة لهذه البيئة التعليمية . الفرضية الثامنة: إحصائياً لا يوجد دليل على توفر الإمكانيات داخل الكلية اللازمة لتفعيل نظام التعليم الالكتروني . وتحقيقاً لهذه الفرضيات تم تقسيم الدراسة إلى جانبين نظري وعملي ، حيث تناول الجانب النظري النقاط التالية: 1. الأسس النظرية للتعليم الالكتروني. 2. أنواع جاهزية تطبيق التعليم الالكتروني. 3. إختبار الجاهزية التعليمية في كلية العلوم لتطبيق التعليم الالكتروني. أما في الجانب العملي فقد اعتمدت في هذه الرسالة على منهجية دراسة حالة (Case Study) ولقد اتبعت الأسلوب الكمي للتوصل إلى الحقائق وذلك بتصميم استبيانات تضم مجموعة من الأسئلة يتم تحليلها بعد إتمام عملية التجميع وتم اختيار العينة من شريحتين من داخل المؤسسة التعليمية المستهدفة في الدراسة (كلية العلوم/ جامعة طرابلس) والشرائح هي فئة أعضاء هيئة التدريس والفئة الثانية الطلبة، والسبب هو أن الأساتذة والطلبة هم المعنيون باستخدام بيئة التعليم الالكتروني في حالة وجودها. وبعد الانتهاء من عملية جمع البيانات تم إجراء تحليل للبيانات وفي عملية التحليل تم استخدام البرنامج الإحصائي Statistical Package for the Social Sciences (SPSS) لإجراء العمليات الإحصائية في تحليل البيانات تم اختبار المتوسط الحسابي(Mean Value) والانحراف المعياري (Std.Deviation) بالإضافة إلى قياس عامل الارتباط بين المتغيرات المستقلة والتابعة (Bivariate Correlations). أهم نتائج الدراسة:1.. توجد فروق ذات دلالة إحصائية على عدم استعداد الطلبة للتعلم في بيئة التعليم الالكتروني من حيث مستوى خلفيتهم عن التعليم الالكتروني والرغبة في التعلم من خلاله حيث كانت معظم إجابات أفراد العينة بدرجة ضعيفة وهذا مايثبت صحة الفرضية الأولى في الدراسة. 2. توجد فروق ذات دلالة إحصائية على عدم استعداد الطلبة للتعلم في بيئة التعليم الالكتروني من حيث مستواهم في مهارات استخدام تقنية المعلومات والحاسوب والانترنت حيث كانت معظم إجابات أفراد العينة بدرجة ضعيفة وهذا مايثبت صحة الفرضية الثانية في هذه الدراسة. 3. توجد فروق ذات دلالة إحصائية على عدم استعداد الطلبة للتعلم في بيئة التعليم الالكتروني من حيث قدرتهم على توفير الإمكانيات اللازمة لهذه البيئة التعليمية حيث كانت معظم إجابات أفراد العينة بدرجة ضعيفة وهذا مايثبت صحة الفرضية الثالثة في هذه الدراسة.4. توجد فروق ذات دلالة إحصائية على عدم استعداد الكلية لتطبيق التعليم الالكتروني من حيث توفر الإمكانيات اللازمة لهذه البيئة التعليمية حيث كانت معظم إجابات أفراد العينة بدرجة ضعيفة جداً وهذا مايثبت صحة الفرضية الرابعة في هذه الدراسة. 5. توجد فروق ذات دلالة إحصائية على استعداد أعضاء هيئة التدريس في استخدام بيئة التعليم الالكتروني في التعليم من حيث مستوى خلفيتهم عنها والرغبة في التعليم من خلاله حيث كانت معظم إجابات أفراد العينة بدرجة عالية وهذا مايثبت عدم صحة الفرضية الخامسة في الدراسة. 6. توجد فروق ذات دلالة إحصائية على عدم استعداد أعضاء هيئة التدريس لاستخدام بيئة التعليم الالكتروني في التعليم من حيث مستواهم في مهارات استخدام تقنية المعلومات والحاسوب والانترنت حيث كانت معظم إجابات أفراد العينة بدرجة متوسطة وعالية وهذا مايثبت صحة الفرضية السادسة في الدراسة. 7. توجد فروق ذات دلالة إحصائية على استعداد أعضاء هيئة التدريس في استخدام بيئة التعليم الالكتروني في التعليم من حيث قدرتهم على توفير الإمكانيات اللازمة لهذه البيئة التعليمية حيث كانت معظم إجابات أفراد العينة بدرجة عالية وهذا مايثبت عدم صحة الفرضية السابعة في الدراسة. 8. توجد فروق ذات دلالة إحصائية على عدم توفر الإمكانيات اللازمة داخل الكلية لتفعيل نظام التعليم الالكتروني حيث كانت معظم إجابات أفراد العينة بدرجة ضعيفة جداً وهذا مايثبت صحة الفرضية الثامنة في الدراسة.
البشير محمد عبدالله خليل (2013)
Publisher's website

Mixed Languages Programming Technique Based on Data Variables Emigration

Abstract A technique for mixed–languages program is introduced to mix C and FORTRAN. programming languages. This technique enables the programmer to develop programs. composed of different code sections each written in either C or FORTRAN. Each. Section can access and use the variables decleared in other sections. The variables. Decleared in C sections can be used in FORTRAN sections. This process in which a data variable is declared in a program section of a certain. Language and used in another section of another language is given the name "Data Variable Emigration". A preprocessor is designed to read the mixed source program, separate the code. Sections in different files and determine the emigrated variables and define them by the syntax of the language they emigrated to. Then the preprocessor send the sections files to the compilers to get the object files and send these files to a common linker to produce one execution file.
رحاب عبد الله رجب بن عبد الله (2009)
Publisher's website

Evaluation of System-on-Chip Interconnect Architectures: A Case study of Fat-tree Interconnection Networks

Abstract In practice, most SoCs are multiprocessor systems-on-chips (MPSoCs) because it is too difficult to design a complex system-on-chip without making use of multiple CPUs. MPSoCs are the latest picture of very large scale integration (VLSI) technology. The architecture of the system is generally tailored to the application rather than being a general-purpose chip. This in turn enforces designers to move beyond logic design into advanced computer architecture and parallel processing. In such architectures, cores are integrated via a custom or commercial interconnection network with a controller, timing and a function interface to the external world. Current state-of-the-art SoCs already embeds typical sub-systems such as digital signal processors (DSP), RAM, ROM, MPEG cores.The main goal of this thesis is to design an efficient switch for Fat-tree interconnection networks. In addition a useful survey study for interconnection networks architectures, technologies and routing algorithms was provided. The survey included in some details commonly used switching methods and virtual channel arrangements. The proposed switch structure has been validated by a software model.A set of algorithms and procedures have been developed to facilitate the switch functionality. Those procedures include the control of transmission of the packets from switch input buffer to switch output buffer and transferring packets from switch output buffer to neighboring switch input buffer. While the input/output link controllers take care of buffer assignments to flits (packet) and deals with buffer organization. More over, the algorithms include (i) the routing algorithm which is the least common ancestor routing algorithm, (ii) arbitration algorithm that based on round-robin technique.Therefore in this thesis we have proved the correctness of the functionality of the proposed switch in software model that have been written in C++ language. The obtained simulation results of the switch functionality in fat-tree of 16 nodes definitely declare the correctness of the proposed arbitration scheme as well as showing the efficiency of the routing algorithm. Finally, we can say that the fat-tree interconnection network is very good candidate to implement future NoC connectivity for current and future multiprocessor systems-on-chips (MPSoCs) designs due to its modular, flexible and regular structured design. In turn, these features are suitable as well for VLSI realizations.
أسماء شعبان العصار (2010)
Publisher's website