435 research outputs found

    Model Checking Cyber-Physical Energy Systems

    No full text
    Cyber-Physical Systems (CPS) integrates computing and physical processing: their behaviour is dictated by both computation and physical components. In this paper, we present a Model Checking approach for the automatic verification of the correctness of the system at hand. The strengths of our approach are the followings. First, we have implemented the CPS using the modelling and simulation based software JModelica to exploit its modular and parametrizables components. Second, we have verified the system's properties with a model-checking technique to exploit the automaticity of this approach and the completeness of the exploration of all the states of the CPS. In fact, with very few basic notions of the field to investigate, it is possible to design a complete model of a CPS. The system we model, for our proof of concept, is a Distributed Maximum Power Point Tracking (DMPPT) for photovoltaic systems, which relies on a control software to manage the system in every condition imposed by the environment (e.g. irradiation, temperature). We have parameterized the main physical inputs to carry out an automatic verification of a thorough simulation of the circuit under a large number of operational conditions, to deeply investigate the critical aspects of the system. The final goal of our study has been to design a tool to enable automatic verification using a model-checking approach in order to ensure the system correctness with respect to given requirements provided by the designer

    Interview with Abdel Tawab Youssef

    No full text
    لقاء مع عبد التواب يوسف الأديب و المؤلف المصري و الذى إشتهر بالكتابة في أدب الأطفال بمناسبة إنتخابه أمين عام لإتحاد كتاب مصر. أجرى هذا اللقاء حسن شمس الدين.An interview with Abdel Tawab Youssef, Egyptian children's book author, on the occasion of his election as Secretary General of Egypt Writers' Union. Interview conducted by Hassan Shams El Din

    Energy Production:A Comparison of Forecasting Methods using the Polynomial Curve Fitting and Linear Regression

    No full text
    In this study, two methods for forecasting the energy production are presented: the polynomial Curve fitting and linear regression. On the one hand, to combine the production of the wind and solar power. On the other hand, to sustain a continuous production and ensure the availability of as much energy as the consumption requires. The linear regression provided a fair result comparing to the first one of the model. In summary, Polynomial curve fitting model provided the highest R-square and adjusted R-square indicating that the model was the most appropriate among the two types of models. Polynomial curve fitting models are, therefore, recommended for forecasting the energy production applications. Simulation results obtained to analyze the relationship and interaction between the power demand and generation. Further, historical data are utilized to predict which type of source (conventional or renewable) can be effective for electricity production by means of adjustment through R-square measures and least square error (SSE)

    How expensive is grid-connected solar photovoltaic in Marrakesh: an economic analysis

    No full text
    The cost of Solar photovoltaic (PV) electricity is rapidly falling. This falling cost suggests a bright future for electricity generation using solar photovoltaic. In the past the Governments of some countries such as Germany, Japan, USA, Australia, and etc. had introduced solar PV incentive programs to encourage their people to use solar PV for electricity production. Many people in these countries, who were interested in generating part of their electricity emission-free, have chosen to use grid-connected solar PV on the roof of their properties. These countries have terminated their incentive programs mainly because the solar PV electricity can now compete with the cost of electricity from conventional technologies. The objective of this paper is to present the results of a study conducted on the economic aspects of solar PV to estimate the electricity price of grid-connected rooftop PV system under climate conditions and geographical location of Marrakesh (at the latitude of 31.63° N, and longitude of 8.01° W), to see if the use of PV electricity is attractive and affordable by residential customers. The results of this study will help the Government of Morocco to determine an appropriate feed-in tariff for solar PV electricity in Marrakesh

    Service Quality in the Finnish Health Care System and Patients’ Decisions

    Full text link
    Customer service is considered an important part of any organization and one which has a direct effect on the organization income and customer satisfaction toward organization efficiency. The value of organization services could change customer attitude. Each customer has his/her expec-tations and customer services could lead to memorable experiences, positive or negative ones and change customer perception towards what the organization offers. The customer or to be more specific healthcare patient, patient satisfaction is related to sharing in the decision making for treatment, care evaluation and cost reduction. The quality of health care services is of utmost importance to society and through research knowledge can be acquired about the importance of quality, concepts and its role in health care development and recommendations can be made to help in its improvement. In this research the author examines the Finnish healthcare system provision and policy. Research is conducted on client types, preferences and rights, and an understanding of the client’s attitude towards healthcare services and factors affecting their decisions is desired. The author aims to investigate how much the quality of customer service in the Finnish healthcare system could affect customers decisions. Does the experience of challenges in customer services direct custom-er/patient from public healthcare services to private ones or vice versa? The purpose of the thesis project to offer guidance for healthcare professionals to improve the management of the healthcare system. Guidance includes the area which are valued by customers, the painful and joyful moments during the customer journey. The author’s objectives during the research concern knowledge discovery; to know how much health care facilities put the quality factor in consideration, to be aware health care problems, to understand the different kinds of behaviors from the perspectives of professionals or clients, to summarize the most important elements which should be in any health organization to achieve a high level of quality and to decrease the gape between our needs and what are already offered by the health care

    Youssef al-Sebai as a novelist

    No full text
    Bu çalışmada, 20. yüzyıl Mısır edebiyatının önemli kısa hikâye ve roman yazarlarından biri olan Yusuf es-Sibâ'î'nin hayatı, edebî kişiliği ve romanları incelenmektedir. Sibâ'î'nin yaşadığı dönem; sosyal, siyasi ve kültürel açıdan önemli pek çok olaya şahitlik etmiştir. Bu olaylar arasında, 1919 ve 1952 devrimleri, Arap-İsrail savaşı, Mısır'ın öncülük ettiği Arap birliğinin kuruluşu, kadınların bireysel ve toplumsal hak ve özgürlüklere kavuşması gibi önemli gelişmeler yer almaktadır. Bu olaylara kayıtsız kalmayan Sibâ'î, romanları aracılığıyla Mısır'ın siyasi hayatını, bağımsızlık mücadelesini ve bu süreçte yaşanan önemli gelişmeleri kurgusal aleme taşımıştır. Bu durum yazarın romanlarının, sosyal, siyasi ve kültürel anlamda zengin bir içeriğe sahip olmasını sağlamıştır. Sibâ'î'nin fantastik, gerçekçi, romantik ve psikolojik türden kaleme aldığı romanlarında ağırlıklı olarak romantik bir eğilim kendini gösteriyor olsa da romantizmi ve realizmi aynı çatı altında başarılı bir şekilde birleştirdiği görülmektedir. Bu sayede, romanlarında gerçekçi ve romantik unsurları harmanlamış ve okuyucuya etkileyici bir okuma deneyimi sunmuştur. Ayrıca Sibâ'î'nin eserleri, Mısır edebiyatında bir dönüm noktası olarak kabul edilmektedir. Bu eserler, dönemin siyasi ve toplumsal sorunlarına dair kayda değer birer belge niteliği taşımaktadır. Bu yönüyle de yazarın eserleri Mısır edebiyatının önemli bir parçasıdır ve gelecek kuşaklara aktarılması gereken bir miras olarak değerlendirilmelidir.This work focuses on the life and literary works of Youssef al-Sebai, one of the leading short story and novel writers of 20th century Egyptian literature. The period in which the author lived witnessed many important events from political, social, and cultural perspectives. Among these events were the 1919 and 1952 revolutions, the Arab-Israeli war, the establishment of the Arab unity led by Egypt, and the achievement of individual and societal rights for women. Youssef al-Sebai did not remain indifferent to these events and addressed the significant developments that occurred during Egypt's political life and struggle for independence through his works. His works demonstrate that they have a rich content in terms of social, political, and cultural meanings. Youssef al-Sebai used fantastic, realistic, romantic and psychological genres in his works. Although a romantic tendency is mainly observed in his novels, the author successfully combined romanticism and realism under the same roof. In this way, he blended realistic and romantic elements in his works and provided readers with an impressive reading experience. Furthermore, Youssef al-Sebai's works are considered a turning point in Egyptian literature. These works are regarded as important documents on the political and societal issues of their time. In this sense, the author's works are an important part of Egyptian literature and should be recognized as a legacy that needs to be passed down to future generations

    Interview with Abdel Tawab Youssef

    No full text
    مقابلة مع الأديب وكاتب كتب الأطفال، عبد التواب يوسف، يناقش فيها مهنته في كتابة كتب الأطفال وأخر دراساته في الموضوعات المتصلة بذلك المجال بجامعات أمريكية، ويتحدث عن عدة كتب مهمة مثل كتاب ""تاريخ البشرية،"" لأرنولد توينبى، كما يتحدث عن قراءات مهمة للطفل في سن المدرسة وما قبلها في موضوعات مهمة وعميقة كمناقشة الموت، الحياة والجنس. قامت بالمقابلة درية شرف الدين.An interview with writer and children's books author, Abdel Tawab Youssef, in which he discusses writing children's books and tells about books ""The History of Humanity"" by Arnold Toynbee. The interview was conducted by Doria Sharaf El-Din

    THE LEVANT: ZONE OF CULTURE OR CONFLICT?

    Full text link
    Palestinian novelist Samir El-Youssef writes that the question in the title of this essay, “is the Levant a zone of conflict or culture?” is an ironic one indeed. Anyone with a token knowledge of the Levant, argues El-Youssef, knows that these lands are of both conflict and culture; the problem dwells in the fact that the people of the Levant need to be reminded that theirs is a land of great culture that deserves recognition and valorization as such. The author was born and brought up in Rashidiyyé—a Palestinian refugee camp in Southern Lebanon. Rashidiyyé, writes El-Youssef, was and still is as bad as a refugee camp could get. Yet, a mere fifteen minutes walk from the camp stood the ancient Phoenician port-city of Tyr; a harbour town housing the awesome vestiges of one of the greatest, most pacifist, most benevolent builders of civilization.  El-Youssef concludes that "the refugee camp (in its indigence,) and the ancient city (in all its glory,) standing side by side, are a stark example of the Levant being both a land of conflict and culture."</jats:p

    Towards Online Personalized-Monitoring of Human Thermal Sensation Using Machine Learning Approach

    No full text
    sponsorship: The Author Ahmed Youssef Ali Amer is funded by a European Union Grant through the Interreg V-A Euregio Meuse-Rhine wearIT4health project. (European Union Grant through the Interreg V-A Euregio Meuse-Rhine wearIT4health project)status: Published onlin
    corecore