以质量管理体系为基础建立实施整合型QHSE管理体系

通过体系整合的必要性和可行性分析,介绍运用管理的系统方法,以质量管理体系为基础,策划、推进及实施整合型QHSE管理体系的做法,并对各阶段体系建立的方法与措施进行阐述。     

建安工程扣件式钢管脚手架作业中安全技术的应用

扣件式钢管脚手架应用代表着建筑工业化的一个重要发展方向 ,如何安全、规范地使用扣件式钢管脚手架将是我们标准化施工的新课题     

QD-Janus: A sequential implementation of Janus in Prolog

Janus is a language designed for distributed constraint programming. This paper describes QD-Janus, a sequential implementation of Janus in Prolog. The compiler uses a number of novel analyses and optimizations to improve the performance of the system. The choice of Prolog as the target language for a compiler, although unusual, is motivated by the following: (i) the semantic gap between Janus and Prolog is much smaller than that between Janus and, say, C or machine language—this simplifies the compilation process significantly, and makes it possible to develop a system with reasonable performance fairly quickly; (ii) recent progress in Prolog implementation techniques, and the development of Prolog systems whose speeds are comparable to those of imperative languages, indicates that the translation to Prolog need not entail a significant performance loss compared to native code compilers; and (iii) compilation to Prolog can benefit immediately from a significant body of work on, and implementations of, parallel Prolog systems. Our experience indicates that translation of logic programming languages to Prolog, accompanied by the development of good program analysis and optimization tools, is an effective way to quickly develop flexible and portable implementations with good performance and low cost.     

MPI及其Java实现

随着科学技术的发展，对计算机的并行计算技术的要求越来越高。消息传递接口MPI提供了一种很好的方法。MPI API可以高效地在异构环境中使用，并可以在众多厂商的平台上实现，底层的通信和系统不会有大的改变。java语言是伴随着网络计算技术而诞生的编程语言，它对网络有较好的支持，在网络计算技术中，有着举足轻重的地位。许多分布式应用程序都是由Java开发的。开发一个Java版的MPI很有必要。但MPI论坛未定义MPI的java接口，本文从MPI的基本概念入手，说明了如何用java语言实现MPI。     

Adding Support for Persistence to CLOS via Its Metaobject Protocol

Language-level support for object persistence frees programmers from having to confront a broad class of database issues from within their applications. By virtue of its metaobject protocol, CLOS is a language whose semantics can be tailored by individual programmers. We used the metaobject protocol to extend CLOS with support for object persistence. Our goal was to obtain a version of CLOS with persistence to which we could easily port a commercial geometric CAD modeling system. We describe the design and implementation of our persistence extension and highlight the strengths and weaknesses exhibited by the CLOS metaobject protocol during our experiment. For many aspects of the implementation we found that the metaobject protocol was ideal. In other cases we had to choose among paying a large performance penalty, extending the protocol, and bypassing the protocol by modifying the language implementation directly.     

银行网上支付系统的设计与实现

随着现代网络技术的不断发展,网上购物、网上支付的情况也越来越多,人们也慢慢适应了这种消费和支付形式。进行网上支付是有效开展电子商务的中心环节,也是保障电子商务可以顺利得到开展的基础性条件。网上支付系统的有效设计和实现,可以使我国银行在电子领域的基本配套服务不断得到完善。为了进一步对我国的银行网上支付系统进行研究,探讨了银行网上支付系统的设计与实现。     

信息技术课堂有效教学的实施与评价

现今信息技术高速发展,信息技术课堂教学也随着信息技术而不断进行改革与创新。加强信息技术课堂有效教学,促进学生进行有效学习,提高教师课堂教学效果和学生课堂学习效率已经成为教育重点关注的问题。本文结合学科特点和教学实践,探讨了在新的课程要求下如何采用恰当的教学方法进行有效教学,并建立一种以学生发展为中心、对学生起激励作用的教学评价方式,以达到全面提升学生信息素养的教学目标。