面向对象系统的时序逻辑描述

针对面向对象系统,定义了一种基于时序逻辑的形式化规约语言.它不仅支持对面向对象思想中重要概念,如类、对象、继承等的描述,而且支持对面向对象系统的时序属性的描述,如类的状态之间的转换,类中某些属性必须一直满足的约束条件等.能够实现对系统属性的推理也是用这种语言描述的系统的动机之一.通过对一个局域网用户访问控制实例的描述来实现对这种形式化规约语言的直观阐述与理解.     

非洲鸵鸟皮制作新颖包袋革的工艺研究(续)

以陕西省咸阳市博兰顿养殖公司的非洲鸵鸟皮作为原料皮,研究了非洲鸵鸟皮的组织构造。由此得知在鸵鸟皮制作加工过程中应注意去肉、脱脂、浸灰、漂色、鞣制、复鞣、染色加脂等一系列工序,以及如何保持鸵鸟皮独特的天然粒纹,通过对以上问题的研究,制定出了较为合理的非洲鸵鸟皮制革工艺,由此制得了柔软、丰满性好、天然羽管突出、毛盖粒纹清晰、立体感明显的新颖高档皮革。     

水利工程施工质量监理专项检测探讨

现行《水利工程施工监理规范》（SL288-2014）在条文说明中首次引用了专项检测的概念,规定了专项检测实施内容,但未对专项检测进行定义,也未制定专项检测的项目、频率及程序,因此专项检测在水利工程中实施效果并不十分理想。本文从专项检测频率、检测费用及检测程序三个方面入手,在总结水利工程及其他行业质量检测频率、检测内容及经验的基础上,提出了针对水利工程施工质量的专项检测实施项目、检测频率及程序,为专项检测在水利工程的推广运用提供参考。     

中国彩棉（集团）股份有限公司天然彩色棉产业标准化工作成功经验

中国彩棉(集团)股份有限公司(下简称“中国彩棉集团”,原新疆中国彩棉(集团)股份有限公司、新疆中国彩棉股份有限公司、新疆天彩科技股份有限公司)是以农业高新技术研究与推广应用为主的国有控股企业,主要从事天然彩色棉花科研、育种、种植、加工和销售等业务,是国家火炬计划重点高新技术企业、国家AAA级标准化良好行为企业、新疆自治区和兵团农业产业化重点龙头企业。经过几年的标准化生产和产业化发展,带动了新疆天然彩色棉产业的快速发展,证明了标准化的无限生命力,把新疆建成了我国最大的天然彩色棉花生产基地。一、天然彩色棉花的特…     

非洲鸵鸟皮制作新颖包袋革的工艺研究

以陕西省咸阳市博兰顿养殖公司的非洲鸵鸟皮作为原料皮,研究了非洲鸵鸟皮的组织构造。由此得知在鸵鸟皮制作加工过程中应注意去肉、脱脂、浸灰、漂色、鞣制、复鞣、染色加脂等一系列工序,以及如何保持鸵鸟皮独特的天然粒纹,通过对以上问题的研究,制定出了较为合理的非洲鸵鸟皮制革工艺,由此制得了柔软、丰满性好、天然羽管突出、毛盖粒纹清晰、立体感明显的新颖高档皮革。     

苗尾水电站导流洞出口防淘墙施工

苗尾水电站导流洞出口为高流速冲刷雾化区、防淘区,防淘墙施工质量直接关系着出口的运行安全。主要阐述大断面导流洞出口雾化区防淘墙施工方法。