CRP复合材料板复合型裂纹扩展方向预测理论研究

本文对碳纤维增强的复合材料板裂纹扩展方向预测理论进行了研究。介绍了最新发展起来的复合材料Z断裂理论 ,并通过试验证明了新理论的正确性     

结构化面向对象形式规格说明语言OOZS——设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现：形式方法使目标软件系统的需求规格说明简明、精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然．本文讨论了Ｚ规格说明语言的应用限制,并在Ｚ语言的基础上介绍了结构化面向对象形式规格说明语言——ＯＯＺＳ的设计方法．该语言吸收了面向对象程序设计语言ＳｍａｌＴａｌｋ、Ｃ＋＋以及形式规格说明语言ＶＤＭ、Ｚｃ、Ｚ．Ｓ等的优点,引入了类、继承、入口、出口、Ｐｒｅ谓词、Ｐｏｓｔ谓词等机制,并对Ｚ语言的符号进行结构化处理,提高了形式规格说明的层次性和模块化能力,可用于大型面向对象软件系统需求规格说明的编写     

THE TYPE OF A CLASS OF VILENKIN CONVOLUTION OPERATORS

在满足第二个数公理的零紧Ａｂｅｌ群Ｇ的空间Ｌ（Ｇ）中研究了一类Ｖｉｌｅｎｋｉｎ卷积算子的性质．该类算子包括Ｖｉｌｅｎｋｉｎ－Ｆｏｕｒｉｅｒ级数的部份和、Ｆｅｊｅｒ平均等作为特例．文中证明了这类算子是弱（１,１）型和强（ｑ,ｑ）型的,１＜ｑ＜∞．     

一种面向对象的形式化规范说明技术

介绍了一种新的面向对象的形式化规范说明技术ＶＤＭ＋＋，它是ＶＤＭ的一种扩充．并且通过一个实例说明如何应用ＶＤＭ＋＋技术对面向对象系统进行形式化规范说明．     

基于通信顺序进程的计算机网络通信协议形式化描述

描述和设计计算机网络通信协议时，使用抽象的同步通信机制最为方便。但在实际中，使用异步通信机制将不可避免。基于霍尔的“通信顺序进程”和其他对通信协议描述与设计的理论研究结果，本文提出一个形式化方法，这个方法在不论使用何种实现通信机制的情况下都将保证通信协议的正确性     

用户界面模型与形式规格说明研究

在讨论人机交互方式和界面控制与通信的基础上，描述用户界面抽象模型及形式规格说明方法和技术方面的研究和进展。主要强调图形用户界面的模型和描述问题。     

型钢混凝土(SRC)梁受弯承载力计算方法比较

<钢骨混凝土结构设计规程>和<型钢混凝土组合结构设计规程>是现有的两部型钢混凝土设计规程,为了便于工程设计人员正确选用,对这两部规程的分析思路、并将相应的计算值与实验数据进行比较,得出两部规程不同的设计特点,并提出了现阶段存在的主要问题,最后提出一些适合工程应用的建议.     

Some Problems of Rails For High-speed Railway of China

Acciording to running experience of high-speed railway abroad,a full attention must be paid to some requirements of specifica-tion of rails for high-speed railway,such as materil mechanical properties,rimension tolernces,straightness,surface flatness and so on.It is suggested that the long-length rails should be laid in high-speed railway,and the feasibility of producing,welding and transporting of long-length rails should be researched.On the basis of technical innovation of domestic manufacturers,it is practicable to lay 50-100mlong-length rails should be researched.On the basis of producing,welding and transporting of long-length homemade rails in high-speed railway of China.The following welding programme of rails for hiah-speed railway can be adiop-ted:50-100m long-lenath rails can be welded as 500m long rail string through flash butt welding in plant,then in field the reid string can be welded through a mobile flash butt welding or thermit welding.As the specification of rails or high-seed railway is rigorous.some related techniques to long-length rails should be researched and practised as soon as possible,including mobile flash butt welding tech-nique,transporting and reinforcing techniques of lon-length rails,etc…     

我国公共图书馆标准规范内容体系构建

根据"图书馆学五要素"提出了公共图书馆标准规范的内容体系框架,包括服务与管理标准、馆藏建设标准、技术标准、工作人员标准和建筑与设备标准五大部分.     

聚讼与规范：经济犯罪概念的认定与特征的“限制”性释义

经济犯罪的概念虽被提出和使用很久,但至今仍未统一定论。我国的刑事政策决定了经济犯罪的客体,经济犯罪主要侵犯的客体是国家整体经济的秩序。本文在对域内外经济犯罪概念进行的聚讼与争鸣分析后,认为经济犯罪是指从事经济活动的自然人和法人在经济运行过程中,实施违反经济法规,侵害经济管理秩序和经济协调关系,情节严重,依法应当承担刑事责任的行为。经济犯罪概念的认定与特征的＂限制＂性释义取得规范,不仅易于了解经济犯罪的特殊性,也可使刑法的效能得到最大发挥。