采矿爆破地震安全距离与设计参数的应用研究

依据爆破安全规程给出了实际检测资料的处理方法。根据爆破设计和检测数据拟合结果的差异性，讨论了爆破地震安全距离S随设计经验参数K、α值的变化规律和范围，得出K取最大值，α取最小值能够最大限度保证现场建筑物安全的结论。     

Hypermedia Support for Software Development: A Retrospective Assessment

Hypermedia technologies have been available for about a decade. Beginning with Douglas Engelbart, researchers have become interested in applying hypermedia concepts and technologies to software development. This paper assesses this symbiosis between hypermedia and software development as described by research contributions; by our count, more than one hundred articles. To date, no collection of, or guide to, this literature has been published. A number of significant contributions are classified, described, and appraised — providing a guide into what has been a rich but perhaps under-reported research area. Hypermedia has made significant contributions to software development in three primary areas: coping with massive amounts of information associated with software development projects; establishing and maintaining linkages between various types of software engineering documents; and enabling development engineers to record, document, and preserve knowledge about development thoughts, processes and rationale. These contributions may help direct the focus of future research towards building on, combining and assessing the resulting contributions. A research agenda is proposed along these lines.     

The Department of Defense Human factors standardization program

The Department of Defense (DoD) Human Factors Standardization Program is the most far-reaching standardization programme in the USA. It is an integrated component of the overall DoD Standardization Program. While only ten major documents are contained in the human factors standardization area, their effects on human factors engineering programmes are profound and wide-ranging. Preparation and updating of the human engineering standardisation documents have grown out of the efforts of several military agencies, contractors, consultants, universities and individuals. New documents, engineering practice studies and revision efforts are continuously planned by the Tri-Service (Army, Navy, Air Force) Human Factors Standardization Steering Committee in collaboration with industry groups and technical societies. The present five-year plan and other standardisation documents are readily available for review and input by anyone with relevant interests. Human factors specialists and other readers of this journal may therefore influence the direction of the human factors standardisation programme and the content of its military specifications, standards and handbooks.     

改性沥青关键问题的讨论

本文就改性沥青的路用性能、影响改性效果的关键因素、改性沥青技术指标与规范以及改性沥青的应用进行了讨论和分析，有关结论对于改性沥青的研究、开发及应用具有指导和参考价值。     

A case study in the mechanical verification of fault tolerance

To date, there is little evidence that modular reasoning about fault-tolerant systems can simplify the verification process in practice. This question is studied using a prominent example from the fault tolerance literature: the problem of reliable broadcast in point-to-point networks subject to crash failures of processes. The experiences from this case study show how modular specification techniques and rigorous proof re-use can indeed help in such undertakings.     

Foundations for a Combination of Heterogeneous Specification Components

In this paper, we advocate an approach to combine formal specification components. Our work aims at building or reusing specification components, and compose them with a gluing language constituted of a minimal but sufficient set of operators. The glue allows to have at one's disposal a global formal specification with heterogeneous components as basic entities. The interests are manifold: modelling the different aspects of systems, allowing the use of many existing specification languages, formalizing the links between components in an easy and graphical way, making the reuse of components easier. A case study about a vending machine is specified to illustrate how this approach could be practically used.     

Term rewriting and its application to recognizing handwritten Hindu numerals

In this paper the theoretical basis is presented and the implementation of a term rewriting system based on algebraic specifications is described. The input to this system is represented by an algebraic specification language, which forms not only the set of axioms but also the sorts, variables, operators and terms of a specific simulated theory or application. Rewriting and matching mechanisms provide the formal methodology for evaluating terms and proving assertions in an algebraic theory. Specifications are evaluated by interpreting terms by means of rewrite rules. The rules are described by the axioms of the specifications where the finite termination and congruence properties are assumed. A term rewriting system to recognize handwritten Hindu numerals is introduced as a case study. Besides rewriting, a robust algorithm is proposed to segment the numeral's image into strokes based on feature points and to identify cavity features. A syntactic representation (term) of the input image is matched and rewritten against a set of rules. Experimental results proved that the proposed system is tolerant to recognize a variety of numeral shapes with 96% successful recognition rate.     

试论压铸产品技术规范

系统介绍了以北美压铸协会和日本为代表的压铸产品技术规范,旨在推动我国压铸技术进步和适应外向型经济 的发展。     

办公文档模板的设计原则与制作方法

本文分析了自定义模板的意义、设计原则,并介绍了制作模板的基本方法和技巧。