一种新型的多层复合软包装材料

综述了高阻隔性层合食品软包装的现状及发展趋势。介绍了以ＰＣ为结构层的新型多层复合材料ＰＣ／ＥＶＯＨ／ＰＰ，并评价了它在高阻隔性、高温、高湿、共挤加工等方面的综合性能及用于层含软包装的可行性。     

Cost estimation of structural skeleton using an interactive automation algorithm: A conceptual approach

This paper addresses a new concept for generating bills of quantities (B.o.Qs) using AutoCAD drawings for a building project, which demonstrates the application of Industry Foundation Class (IFC), developed by International Alliance for Interoperability (IAI). The procedure considers types of materials and the structural shapes of the AutoCAD drawings to compute the cost of the structural skeleton elements using interactive automation. The main concept focuses on using layer computation of the AutoCAD drawing after converting it into a drawing inter-exchangeable file format (DXF). Once the coordinates are detected, it is easier to determine the area and volume for any structural shape, including circles and polygons. The extracting method is a new technique for structural engineers and quantity surveyors to estimate required material for beam, columns, slabs and foundations. The algorithm extracts and recognizes the layers and objects from a two dimensional DXF drawing along with the coordinates information. The results obtained using this technique are more accurate and reliable than manual procedures or any other traditional techniques. In this paper, an automated and interactive procedure for B.o.Q computation is demonstrated. The process involves a user-friendly interface, dynamic linking to the structural drawings and tracking of B.o.Q modifications at the same time.     

Twinning of YBa2Cu3O7 thin films on different substrates

The twinning of YBa₂Cu₃O₇ (YBCO) thin films with c-axis orientation on (001) MgO, (001) SrTiO₃, (012) LaAlO₃, (110) NdGaO₃ and (001) NdGaO₃ substrates, prepared by laser ablation, has been examined using a combination of and θ/2θ scans at a four-circle diffractometer. On all substrates, except for (001) NdGaO₃, the tetragonal to orthorhombal phase transition results in four different orientations of YBCO twins relating to the substrate. On (001) NdGaO₃ only two different twin orientations, accompanied by a slight lattice monoclinization, has been observed.     

压水堆核电厂用全自动多螺栓四同步安装机的结构创新研究

首先在结构上创造了新型螺栓、螺母和一套崭新的安装机。在主机上去掉了精密、复杂、昂贵的机器人或机械手，改用结构简单的集成齿轮机构，以实现同步旋拧功能；运用现代流体传动与控制的理论，建立流本控制的数学模型和传递函数，从而实现了4个同步安装的效果。     

A New Approach to Abstract Syntax with Variable Binding

The permutation model of set theory with atoms (FM-sets), devised by Fraenkel and Mostowski in the 1930s, supports notions of ‘name-abstraction’ and ‘fresh name’ that provide a new way to represent, compute with, and reason about the syntax of formal systems involving variable-binding operations. Inductively defined FM-sets involving the name-abstraction set former (together with Cartesian product and disjoint union) can correctly encode syntax modulo renaming of bound variables. In this way, the standard theory of algebraic data types can be extended to encompass signatures involving binding operators. In particular, there is an associated notion of structural recursion for defining syntax-manipulating functions (such as capture avoiding substitution, set of free variables, etc.) and a notion of proof by structural induction, both of which remain pleasingly close to informal practice in computer science. Received October 2000 / Accepted in revised form April 2001     

Divide and Congruence Applied to η-Bisimulation

We present congruence formats for η- and rooted η-bisimulation equivalence. These formats are derived using a method for decomposing modal formulas in process algebra. To decide whether a process algebra term satisfies a modal formula, one can check whether its subterms satisfy formulas that are obtained by decomposing the original formula. The decomposition uses the structural operational semantics that underlies the process algebra.     

Using information-systems constructs to study online- and telephone-banking technologies

The research literature has seen a number of studies aimed at understanding customer attitudes towards banking technologies, and thereby providing implications for developmental planning and marketing. However, even though banking technologies have a significant amount of information systems (IS) component to them, there is a paucity of research that considers them from the IS perspective. In this paper, we fill this gap by considering three constructs, namely usefulness, ease of use and usage, that are all rooted in the IS literature. We study user’s perceptions of these constructs, as well as the relationships among them, for both online and telephone banking.     

基于Delphi开发的POS系统的研究

零售业是生活中常见的行业，在零售业中引入了电子收款机系统（Point of Sells，POS）即进销存管理系统，是商店经营中的最热门的话题之一。这种进销存管理系统一般是现在比较常见的客户端／服务器模式也即C／S模式。文章介绍了采用INSPRISE公司的DELPHI7.0开发工具结合SQL SERVER2000数据库服务器。首先在短时间内建立系统应用原型，然后，对初始原型系统进行需求更迭，不断修正和改进，直到形成用户满意的可行系统。     

电流变材料及其结构设计

对各种电流变材料做了较贩综述，并从结构与性能关系的角度进行了简单的分析，以鱼电流变材料的结构设计。     

有关H－Ⅱ运载火箭的动力学课题研究

重点介绍有关Ｈ—Ⅱ运载火箭（以下简称Ｈ—Ⅱ）的一些动力学课题的研究状况。其中，重要的动力学课题有全箭振动、ＰＯＧＯ、防液体晃动、分离动力学试验、动力学环境试验等。针对这些动力学课题，日本有关部门已研究多年，既作了充分的地面试验，又进行了有效的工程应用研究，最终保证了Ｈ—Ⅱ的首次飞行成功。