Al-Buraimi University College
Al Buraymi, Oman
Time filter
Source Type

Khan A.M.,Al-Buraimi University College | Mallet F.,French Institute for Research in Computer Science and Automation | Rashid M.,University of Umm Al - Qura
Software and Systems Modeling | Year: 2017

The ever-increasing design complexity of embedded systems is constantly pressing the demand for more abstract design levels and possible methods for automatic verification and synthesis. Transforming a text-based user requirements document into semantically sound models is always difficult and error-prone as mostly these requirements are vague and improperly documented. This paper presents a framework to specify textual requirements graphically in standard modeling formalisms like uml and marte in the form of temporal and logical patterns. The underlying formal semantics of these graphical models allow to eliminate ambiguity in specifications and automatic design verification at different abstraction levels using these patterns. The semantics of these operators/patterns are presented formally as state automatons and a comparison is made to the existing ccsl relational operators. To reap the benefits of mde, a software plugin TemLoPAC is presented as part of the framework to transform the graphical patterns into ccsl and Verilog-based observers. © 2017 Springer-Verlag Berlin Heidelberg

Malik S.I.,Al-Buraimi University College
Proceedings of 2016 IEEE International Conference on Teaching, Assessment and Learning for Engineering, TALE 2016 | Year: 2016

Practice is considered an important step in grasping the precise concepts of computer programming for novices. An editor plays an integral part in promoting practice and acquiring programming skills. Most of the programming editors available in the market promote programming shortcut (to convert the problem statement directly into a computer program). In this study, a new editor was introduced in the introductory programming (IP) course based on the ADRI approach which discourages programming shortcut. Moreover, it focuses on paying equal attention to programming knowledge (syntax & syntax) and problem solving strategies. The results show improvement in achieving students' learning outcomes and positive impact on attrition rate. Students (treatment group) who used the ADRI editor show more satisfaction on using the program development environment compared to the control group. © 2016 IEEE.

Jabeur N.,Arab Open University | Sahli N.,German University of Technology in Oman | Khan I.M.,Al-Buraimi University College
Procedia Computer Science | Year: 2013

We survey the sensor network holes from a cause-effect-solution perspective. We first propose a new taxonomy (PLMS) which classifies holes into type groups according to the cause of anomaly. We discuss the effects of holes on the sensor network. Finally, we survey the different curative approaches (prevention, detection, repairing, avoidance). © 2013 The Authors. Published by Elsevier B.V.

Marzouk O.A.,Al-Buraimi University College
International Journal of Energy Research | Year: 2016

This work investigates the operation of a small-scale shell-and-tube-shaped module for separating hydrogen from high-pressure post-shift syngas that would be produced in integrated gasification combined cycle plants. The separation occurs via permeation through palladium membranes that form the wall of the tubes. The main objective is to examine the effect of four design variables on the permeation performance. These variables are (i) flow rate, (ii) baffle spacing, (iii) inserting stinger tubes inside the permeate tubes, and (iv) switching the permeate stream from the tubes to the shell. The problem is treated by using three-dimensional multi-species computational fluid dynamic models, incorporating the Sievert's law for the permeation action. Quantitative assessment of the permeation and the incurred pressure drop was done by monitoring key integral parameters, such as two-point efficiency, area-based efficiency, and hydrogen recovery. The considered variables allow a wide spectrum of operation modes. This work thus gives the interested reader a generic guideline about the module design suitable for their specific aims. © 2016 John Wiley & Sons, Ltd.

Mohammed AlKhoudary Y.A.,Al-Buraimi University College
International Journal of Applied Linguistics and English Literature | Year: 2015

This study explores the role of writing in developing students’ critical thinking. It also sheds light on traditional writing assignments which fail to help students develop their comprehension of course content and evaluate their writing products critically. Moreover, this probe is to discover learners and teachers’ attitude towards the role of critical thinking in promoting the writing skills at AlBuraimi University College (BUC). The result of this study focuses on the effect of integrating critical thinking on learners’ performance. The procedure of this investigation is based on a combination of qualitative, quantitative (1) one hundred students who are taking writing course are selected randomly and divided into two groups; (2) pre- and posttests conducted to both groups; (3) twenty teachers were selected randomly (10 males and 10 females); questionnaires are administered to EFL teachers at BUC. The findings of this study illustrate that students who write critically are mostly motivated and their performance is affected positively. It also reveals that there are significant differences in posttest scores between treatment and controlled group. Moreover, teachers’ response to questionnaire supports the idea of integrating critical thinking in teaching the writing skills at BUC. Thus, is recommended that teachers should use thinking skills to enhance students’ writing performance and creativity. © 2015, Australian International Academic Centre PTY LTD. All rights reserved.

Chalikendy M.A.,Al-Buraimi University College
International Journal of Applied Linguistics and English Literature | Year: 2015

This paper explores the ways in which literature function as a source and as a meaningful context for teaching and learning English as a second language or foreign language. It claims that literature is an authentic, stimulating and appealing material to the learners. Therefore, it encourages interaction, promotes language development and motivates learners in the process of learning. Traditionally it is taught as an academic subject without considering its potential in ESL/EFL classrooms. The paper argues that literature can be used as an effective source for teaching English language and the target culture; furthermore, it is used as a natural context for integrating language skills and systems. This paper demonstrates how a poem is used as a natural source or a material for developing English language and integrating the four language skills, grammar and vocabulary through communicative tasks and activities. © 2015, Australian International Academic Centre PTY LTD. All rights reserved.

Bassily A.M.,Al-Buraimi University College
Proceedings of the Institution of Mechanical Engineers, Part A: Journal of Power and Energy | Year: 2015

Increasing ambient temperature significantly reduces the efficiency and power output of the combined cycle power plant. Gas turbine (GT) inlet-cooling decreases air temperature at the inlet of the air compressor; thus, reduces the work of the compressor and increases the mass flow rate and power output. The steam-cooled GT has a higher output per kg of inlet air than the air-cooled GT; therefore, for the same power output, the mass flow rate and as a consequence the cooling load is lower for the steam-cooled GT. Accordingly, the impact of applying GT inlet-cooling on the performance of the combined cycle is expected to be different for the steam-cooled GT from that for the air-cooled GT. For hot and humid climates, the typical GT inlet-cooling techniques of evaporative, inlet-fogging, and desiccant-cooling are not effective while absorption and refrigeration GT inlet-cooling systems consume significant amounts of energy, which influence the efficiency and power output. In this paper, novel GT inlet-cooling techniques that take advantages of the process air and exhaust heat energies are introduced. The commercial STAG 107H steam/air-cooled GT combined cycle with such innovative GT inlet-cooling systems are modeled. The effectiveness of the novel cooling techniques is compared with that of the available GT inlet-cooling systems of inlet-fogging, refrigeration, and absorption. The impacts of varying ambient temperature and relative humidity on the performance of the commercial combined cycle with the different GT inlet-cooling techniques are presented, compared, and the results are discussed. The results indicate that the introduced innovative techniques for GT inlet-cooling are the most suitable for hot and humid climates with improvements of up to 1.2 percentage point in the combined cycle efficiency and 1.4% in the power output when compared with the refrigeration and absorption GT inlet-cooling systems. © IMechE 2015 Reprints and permissions:

Al-Mohammadi S.,Al-Buraimi University College | Al-Mohammadi S.,Manouba University | Derbel E.,Al-Buraimi University College
International Journal of Applied Linguistics and English Literature | Year: 2014

In today’s globalised world, technologies have been embedded in every aspect of daily activities and discourses. The field of education made no exception and hence technologies have become an integral part of all educational systems worldwide, but with different levels and layers. The presence of information technology in English language teaching has brought about notable changes for teachers and learners alike. Accordingly, this paper investigates the impact of integrating information technologies in ELT on EFL learners’ motivation and interest. Based on an authentic comparative case study, this paper explores the influence of information technology on EFL learners’ perceptions, motivation, and interest in the context of ELT in the Tunisian higher education. The findings of this study suggest that the integration of IT in ELT heavily affects EFL students’ motivation and academic performance and hence EFL instructors should take this variable into consideration. © Australian International Academic Centre.

Akadiri P.O.,Al-Buraimi University College
Journal of Building Engineering | Year: 2015

The selection of sustainable building materials has been identified as an important strategy in the design of a building. Although the sustainability imperative is gaining in importance, there are still major barriers preventing this''new style' architectural practice becoming the norm. This paper examines the major barriers encountered in the selection of sustainable building materials among building construction professionals in Nigeria. A questionnaire survey was developed to capture the perception of construction professionals regarding the significance of the identified barriers as it affects the selection and use of sustainable building materials. Case studies of three completed building projects were conducted with design team to validate the result of the survey. Research results show that perception of extra cost being incurred and lack of sustainable material information are identified as the top barriers to sustainable materials selection. The paper concludes with suggestions and actions that can help overcome these existing barriers. © 2015 Elsevier B.V. All rights reserved.

Khan A.M.,Al-Buraimi University College | Rashid M.,University of Umm Al - Qura
Proceedings - 2016 IEEE 19th International Symposium on Real-Time Distributed Computing, ISORC 2016 | Year: 2016

The UML and its associated profiles like MARTE and SysML provide a general framework to model and analyze embedded systems. Though mostly used for modeling, MARTE is equally capable of design verification techniques. The Clock Constraint Specification Language (CCSL) annexed to the MARTE provides the notion of logical time to model heterogeneous and concurrent systems and to address their time-related semantic issues. This paper advocates the use of CCSL to express the safety properties of UML/MARTE/SysML models and presents an automatic transformation of selected CCSL operators into equivalent SystemVerilog assertions. This contribution bridges the gap between the abstract CCSL specifications modeling causality relations and the RTL-based SystemVerilog assertions, hence achieving early design validation. SystemVerilog being a popular hardware description and verification language allows us to integrate the verification features in a classical design flow. In the end, the utility of the presented approach is demonstrated with the help of a case study. © 2016 IEEE.

Loading Al-Buraimi University College collaborators
Loading Al-Buraimi University College collaborators