• Title/Summary/Keyword: Correctness-Centered

Search Result 4, Processing Time 0.017 seconds

A Framework for Development of Correctness Centered e-Learning based Curriculum in Sukkur Region

  • Ahmed Masood Ansari;Mumtaz H. Mahar
    • International Journal of Computer Science & Network Security
    • /
    • v.23 no.6
    • /
    • pp.13-16
    • /
    • 2023
  • This study aims to explore the status of e-learning in the public sector institutes of the Sukkur region in Pakistan. A survey was conducted to collect data from students and teachers regarding their awareness, access, and use of e-learning resources. The results showed that although there is a widespread use of the internet and mobile devices for accessing information, there is a lack of awareness and access to e-learning resources. Barriers to accessing e-learning content and a lack of familiarity with e-learning content development technologies were also identified. The study concludes that there is a need for improved e-learning facilities and curriculum in the public sector institutes of the Sukkur region in Pakistan. Recommendations are provided for developing a correctness-centered e-learning based curriculum that is tailored to the specific needs of the students in the region. It is hoped that the findings of this study will inform efforts to improve the teaching and learning process in the region and provide students with greater flexibility and access to study materials.

Subtree-based XML Storage and XPath Processing

  • Shin, Ki-Hoon;Kang, Hyun-Chul
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • v.4 no.5
    • /
    • pp.877-895
    • /
    • 2010
  • The state-of-the-art techniques of storing XML data, modeled as an XML tree, are node-based in the sense that they are centered around XML node labeling and the storage unit is an XML node. In this paper, we propose a generalization of such techniques so that the storage unit is an XML subtree that consists of one or more nodes. Despite several advantages with such generalization, a major problem would be inefficiency in XPath processing where the stored subtrees are to be parsed on the fly in order for the nodes inside them to be accessed. We solve this problem, proposing a technique whereby no parsing of the subtrees involved in XPath processing is needed at all unless they contain the nodes of the final query result. We prove that the correctness of XPath processing is guaranteed with our technique. Through implementation and experiments, we also show that the overhead of our technique is acceptable.

Cognitive-oriented Design of Automotive Instrument Panel (인지측면을 고려한 자동차 IP 설계)

  • Kang, Sun-Mo;Baek, Seung-Ryul;Park, Beom
    • Proceedings of the ESK Conference
    • /
    • 1987.04a
    • /
    • pp.143-148
    • /
    • 1987
  • The Design of automotive IP must be designed for improving safety, and for satisfying the consumer's preference and for enlarging the usability of various gauges and information displaydevices. Also, these objects become more important by regarded and will be treated very sensitively for the next-generation vehicle concepts. Therefore, Automotive IP must be designed to adjust these trends, besides accord with car-inner lifestyle. One of these concept's designs is to apply Human Sensibility Ergonomics. This study suggestes the driver-centered design of the IP components that focused on the audio unit and HVAC(Heat and Ventilation Air Conditioner) through cognitive experiment. Primarily, analyzed components of IP in use, then, combined these components (especially, the number and arry of buttons, the position of LCD panel, etc.) nd designed some sample images(prototypes) the same as real size. After the subjects looked at the sam ples at the interval of 0.2/0.4/0.6 seconds, subjects should fill out the given forms from their memory. Then, the optimal prototype of IP was designed in respect to the correctness of cognition. The results will show the basic guideline of optimal design of IP that in the case of aaudio unit, the position of LCD, the array and the number of channel, in the case of HVAC, the position of LCD, TEMP button type and other button types.

  • PDF

Prediction MOdels for Channel Bed Evolution Due to Short Term Floods (단기간의 홍수에 의한 하상변동의 예측모형)

  • Pyo, Yeong-Pyeong;Sin, Cheol-Sik;Bae, Yeol-Ho
    • Journal of Korea Water Resources Association
    • /
    • v.30 no.6
    • /
    • pp.597-610
    • /
    • 1997
  • One-dimensional numerical models using finite difference methods for unsteady sediment transport on alluvial river channel are developed. The Preissmann implicit scheme and the Lax-Wendroff two-step explicit scheme with the Method of Characteristics for water motion and a forward time centered space explicit scheme for sediment motion are developed to simulate the sediment transport rate and the variation of channel bed level. The program correctness of each model is successfully verified using volume conservation tests. The sensitivity studies show that higher peak stage level, steeper channel slope and longer flooding duration produce more channel bed erosion. and median grain size, $D_{50}=0.4mm$ give maximum volume loss in this study. Finally, the numerical models are found to produce reasonable results from the various sensitivity tests which reveal that the numerical models have properly responded to the changes of each model parameter.

  • PDF