Specifying hotel guestroom reservation system using Z notation

１　Ｉｎｔｒｏｄｕｃｔｉｏｎ　Ｓｐｅｃｉｆｉｃａｔｉｏｎｄｅｓｃｒｉｂｅｓｔｈｅｂｅｈａｖｉｏｒｏｆｔｈｅｓｙｓｔｅｍｉｎｔｅｒｍｓｏｆｒｅｓｕｌｔｓ,ｗｈｅｒｅａｓａｎｉｍｐｌｅｍｅｎｔａｔｉｏｎｄｅｆｉｎｅｓｂｅｈａｖｉｏｒｉｎｔｅｒｍｓｏｆｐｒｏｃｅｄｕｒｅ．Ｔｈｉｓｄｉｓｔｉｎｃｔｉｏｎｇｉｖｅｓｒｉｓｅｔｏｔｈｅｉｎｆｏｒｍａｌｎｏｔｉｏｎｏｆｄｅｓｃｒｉｂｉｎｇｓｐｅｃｉｆｉｃａｔｉｏｎａｓ“ｗｈａｔ”ａｓｏｐｐｏｓｅｄｔｏｄｅｓｃｒｉｂｉｎｇｉｍｐｌｅｍｅｎｔａｔｉｏｎａｓ“ｈｏ…     

Z39.50协议应用的比较研究

本文首先介绍近几年来国际上在Z39.50方面的研究与应用,然后采用对比研究的方法讨论国外信息工作者和中国信息工作者近年来所完成的工作,最后对我国的信息工作者今后应该在Z39.50上做的工作以及我国信息产业面临的机遇进行了探讨。     

Z39.50/Web网关系统的设计与实现原则

Z39.50 协议在异构系统之间的信息检索方面具有独特的优势, 而Z39.50/Web 网关的目的在于利用Web 的简单易用性和易接近性, 使Z39.50 应用得到更广泛的利用。本文首先介绍了Z39.50 协议的主要内容, 然后讨论了基于Web 的Z39.50 应用的机制, 最后着重阐述了在书目信息的检索应用方面, 设计和实现一个实用的Z39.50/Web 网关系统应该遵循的原则。     

描述资源集合的元数据

分析描述资源集合的元数据模型,介绍UKOLNSCD、RSLPCD、Z39.50ProfileforAccesstoDigitalCollections和RDFSiteSummary等描述资源集合的元数据格式。     

HTTP/Z39.50网关系统的实现

HTTP/Z39. 50 网关为存取互联网上大量存在的Z39. 50 服务器及其连接的数据库资源提供了崭新的途径, 是实现Z39. 50 强大信息检索功能与HTTP 普及易用集成的有效手段。本文给出了HTPP/Z39. 50 网关系统的应用模型, 并就实现一个有状态的HTTP/Z39. 50 网关的关键技术进行了讨论, 给出了解决办法。     

Z39.50协议在我国数字图书馆建设中的应用

本文介绍了Z39.50协议及其在国内数字图书馆建设中的应用情况,并分析了该协议在具体应用中存在的问题,展望了Z39.50的发展前景。     

The role of social trust in reducing long-term truancy and forming human capital in Japan

This paper attempts to examine how social trust influences human capital formation using prefectural level data in Japan. To this end, I constructed a proxy for social trust, based on the Japanese General Social Surveys. After controlling for socioeconomic factors, I found that social trust plays an important role in reducing the rate of long-term truancy in primary and junior high school. Results suggest that social trust improves educational quality.     

What will users expect from virtual learning methods？ A conceptual model to analyze future leaning method enhancements

ICT （information and communication technologies） add enormous approaches to utilize computing into users＇ daily lives. Every aspect of social needs has been touched by ICT, including learning. VL （virtual learning）, with the life span of slightly above a decade, still looks for possible approaches to enhance its functions with significant pressure from related disciplines for continual improvements. Very recently, with the introduction of Web 2.0, Semantic Web, and 3D （3-Dimensional） Virtual Environments, users have expanded their horizons of expectations. Along with this technology advancement, there has been a noticeable social and demographic transformation from recent years. Sociologists refer these as new generations of the human kind with high intellect, multitasking nature and high awareness of their environments. At present, they are getting into the education stream with high eager for creativity, flexibility and entertainment. Most of the present students in primary and secondary levels in schools show such characteristics and advance their expectations frequently. On the other hand, VL still has not accommodated new social networking and entertainment approaches as it confines to limitations from traditional learning pedagogies and administrative rules. So far, the only successful step it could take forward is the blended learning, which is now fading its novelty. The simple yet foremost essential question is, how far could people retain the students willingly with present VL methods？ Alternatively, will it become another unimpressive rigid approach of learning to the future generations？ This paper discusses possible approaches to evolve VL methods and models to make the future learning enjoyable yet comprehensive task. The paper tries to analyze briefly the different parameters significant to VL in a holistic manner, while providing an abstract model to analyze learning activities.