SDL的静态语义定义框架

Ｓ Ｄ Ｌ 语言自身的形式化描述对于该语言的不断发展、完善将发挥重要的核心作用。 Ｓ Ｄ Ｌ－ ９２的形式语义已无法充分满足应用需要,本文对 Ｓ Ｄ Ｌ 现有的静态语义定义方法进行了深入的分析,提出了一种基于抽象语法树和谓词演算的 Ｓ Ｄ Ｌ 静态语义定义方法。     

茶叶提取物在食品添加剂方面的研究和应用

本文较全面地综述了目前国内外以茶多酚、茶氨酸、茶碱、茶色素等茶叶提取物作为天然食品添加剂,所进行的研究和应用情况。     

月光之丽、变彩之奇的月光石

根据所藏月光石的光薄片鉴定研究，阐述了月光石的美学特征和产生原因。介绍了月光石的产出特征和相应的月光石文化，同时介绍了我国关于“和氏壁”属性与月光石关系的研究历史及现状。     

Conceptual modeling of data base operations

A formalism adequate for the specification of behavioral properties of data bases is proposed. The formalism is a many-sorted first order predicate calculus, including a formalized notion of data base state. Both update and query requests are modeled through expressions by the use of predicates supplied in the language of the formal system, and are treated uniformly as a theorem proving process. The process consists of using the axioms defining the data base for either synthesizing a valid sequence of update operations (if such exists) or for answering the query.     

拉舍尔花边中传统牡丹花纹的构图设计

通过对多梳拉舍尔花边的设计实践与实物分析,以及对花边中牡丹纹艺术特色的深入解剖,阐述了拉舍尔花边中牡丹纹的构图设计方法,从花边中牡丹纹构图的形式美规律、牡丹纹的构图方式以及层次表现方面进行归纳。研究结果表明,变化与统一、调和与对比、对称与均衡、节奏与韵律是花边中牡丹纹构图的形式美规律,中心式构图、三角形构图、散点式构图以及弧线式构图被应用于花边中牡丹纹的构图设计中。本文研究为花边中传统牡丹纹的构图设计提供新的理论和实践参考。     

分形图案与传统纺织印花图案的形式美感对比

 分形图案和传统纺织印花图案属于不同的美学范畴。通过分析分形图案和传统纺织印花图案各自的美感特征,从对称与均衡、奇异与和谐、重复与渐变、节奏与韵律、简单与复杂5个方面对分形图案和传统纺织印花图案的形式美感进行了对比,指出分形图案虽然有其独特的视觉审美价值,但在印花技术、创作方式、文化内涵等方面存在一定的局限性,传统纺织印花仍然具有不可替代性。     

ASN_EZE: An Analgesic for Writers of ASN.1 Applications

Many programmers find that the logical structure of data defined in ASA.1 is simple enough, but the physical representation requires painfully careful attention to lots of detail. ASN.1 'compilers' which we had used required a programmer ot know the intricacies of both ASN.1 and the generated code. Furthermore those which generated 'C' code were prone to 'memory leaks' and produced bulky code. Two features of object orientiation led us to develop a code generator that procues 'C++'. First Class inheritance permits a small number of functions to operate on objects of any derived class. Second, the destructors of such objects can be designed to prevent memory leaks automatically. Our own use of the system shows that within a few days programmers withh no pair exposure to ASN.1 can start writing applications using only the ASN.1 specification for reference. The generated code is compact and well protected anainst memory leaks. This paper describes the capabilies of the code generator, the library of functions for handling all ASN.1 objects so generated, and the interior structure of these objects which allows the library functions to navigate any hierarchy. The las section discusses our experience in using the system.     

有机硅专业论文英文摘要中的常见错误和语言特点

指出了有机硅专业英文摘要中存在的问题,针对有机硅专业论文的特征,从词和句两方面,分析了有机硅专业论文的语言特点。     

抽象泛函微分方程的最大解和最小解

本文利用增算子不动点定理讨论了抽象泛函微分方程的最大解和最小解,得到了迭代公式,并把结果应用于偏泛函微分方程。     

基于气血养颜的中医护肤品的设计思路

气血是中医对饮食和氧气在脏腑协同作用下生成的对人体有濡养作用和温煦、激发、防御作用的"精微物质"及其功能的一种定义。气血既是人体生长发育的物质基础,也是保持健康美容的物质基础,气血化生以后,借助遍布全身的经络系统上荣皮毛,气血上荣是中医美容的基础。活血化瘀、清热祛湿、补益气血、益气固表以达到温通皮部经络,保持气血最后一公里物流系统的畅通,气血上荣,达到气血养颜的中医美容目的。