中国民俗文化与餐饮业发展

中国民俗文化类别多样、内涵丰富,是中国餐饮业重要的文化资源。文章不仅总结、分析了中国餐饮业对民俗文化传承及利用的现状、不足,而且提出了进一步传承及利用民俗文化、促进餐饮业发展的途径和方法。     

A formal approach to perfective software maintenance: System integration using a basis of formal object-oriented components

We investigate how a formalism known as a basis and common to many areas of applied mathematics and engineering can be applied to perfective maintenance and the integration of application systems in software engineering, using an object-oriented approach. It is concluded that this formalism serves as a mathematical model for perfective software maintenance and software systems integration activities under object-oriented development. Theorems and properties about the model are reported as guides to software maintenance. The model and formal maintenance techniques have been applied to a software system in the management information systems area to demonstrate this approach to perfective maintenance and to assist in validating the model.     

OSCARⅡ：面向对象的工程数据库管理系统

本文结合笔者开发的一个面向对象工程数据库管理系统ＯＳＣＡＲⅡ，介绍了面向对象工程数据库系统的结构和系统实现。ＯＳＣＡＲⅡ采用真正的Ｏ－Ｏ模型，即从数据模型到系统实现都摆脱了传统的数据模型如关系型的束缚，不同于用扩展关系模型实现的面向对象系统。在ＯＳＣＡＲⅡ的数据模型中包含了面向对象的基本特性，并在类定义、封装、继承、重载等方面都实现了丰富的具有工程实用性的语义。本文首先介绍了面向对象工程数据库的概况，然后描述了ＯＳＣＡＲⅡ的实现，包括系统组成、各主要核心模块的功能和关键技术。最后介绍了今后的研究方向。     

Model reduction of systems with zeros interlacing the poles

The problem of reducing a system with zeros interlacing the poles (ZIP) on the real axis is considered. It is proved that many model reduction methods, such as the balanced truncation, balanced residualization, suboptimal and optimal Hankel approximations, inherit the ZIP property. Properties of the Hankel singular values of ZIP systems are also listed.     

关于开放型集散式控制系统软件设计的讨论

按照传统的设计方法,一个集散式控制系统与硬件环境是紧密相关的。设计一个集散式控制系统,首先应考虑它的硬件环境设置,而它的软件系统设计则是在硬件环境的基础上进行的。随着面向对象技术的引入,面向对象集散式控制系统的软件设计已不必完全依赖于硬件的环境了,它的软件设计完全可以超前于硬件环境的设计,因为我们可以根据软件设计所提供的不同的基本控制元类来组装成硬件环境中提出的各种不同的控制要求。在本文中,以一个机动车自动检测控制系统的模型,来讨论如何利用面向对象技术设计一个易维护,易组合与拆卸的开放型集散式控制系统。     

钢中奥氏体晶界遗传性再探讨

作者用２０Ｃｒ２Ｎｉ４Ａ钢研究了晶界遗传现象和本质、再次处理前的热变形对晶界遗传的影响以及晶界传对力学性能的影响。研究表明，该钢存在典型的晶界遗传现象，其本质在于加热过程中于原晶界处形核的新相奥氏体分属于两个原奥氏体晶粒，并且不能跨越原晶界合并或长大。高温大变形能够彻底消除晶界遗传现象。遗传下来的粗大原晶界对材料的力学性能无特殊影响。     

降梯,升梯加热工艺对奥氏体自发再结晶消除组织遗传的影响

研究了降梯、升梯加热工艺对26Cr2Ni4MoV钢奥氏体自发再结晶消除组织遗传的影响。结果表明,奥氏体自发再结晶是消除组织遗传的有效方法之一;采用降梯、升梯加热均可使奥氏体晶粒由1级细化到7～8级。     

Towards a Declarative Semantics of Inheritance with Exceptions

This paper presents a declarative semantics of compositional inheritance in an object-oriented logic programming framework with explicit exceptions,based on the iterated least fixpoint semantics to normal logic programs.Taking logic objects with exceptions as a kind of non-monotonic theory,the nonmonotonicity of inheritance is achieved,which is of importance for modeling incoplete knowledge and requirement specifications in both artificial intelligence and software engineering.