SY/T 6066-2012 原油输送管道系统能耗测试和计算方法
作者:标准资料网 时间:2024-05-17 00:47:01 浏览:9439
来源:标准资料网
基本信息
标准名称: | 原油输送管道系统能耗测试和计算方法 |
替代情况: | 替代SY/T 6066-2003 |
发布部门: | 国家能源局 |
发布日期: | 2012-08-23 |
实施日期: | 2012-12-01 |
首发日期: | |
作废日期: | |
出版社: | 石油工业出版社 |
出版日期: | 2012-12-01 |
适用范围
没有内容
前言
没有内容
目录
没有内容
引用标准
没有内容
所属分类: 医药 卫生 劳动保护 医药 卫生 劳动保护综合 医学 医药卫生技术 医学科学和保健装置综合
【英文标准名称】:Informationtechnology-CommonLogic(CL):aframeworkforafamilyoflogic-basedlanguages
【原文标准名称】:信息技术.通用逻辑(CL):基于逻辑的语言族的构架
【标准号】:ISO/IEC24707-2007
【标准状态】:现行
【国别】:国际
【发布日期】:2007-10
【实施或试行日期】:
【发布单位】:国际标准化组织(ISO)
【起草单位】:ISO/IECJTC1/SC32
【标准类型】:()
【标准水平】:()
【中文主题词】:数据交换;数据结构;数据语法;数据传送;定义;电子数据处理;交换;交换格式;可扩展标记语言;信息交流;信息技术;因特网;逻辑;标记语言;语义学;句法;XML
【英文主题词】:Dataexchange;Datastructures;Datasyntax;Datatransfer;Definition;Definitions;EDP;Exchange;Exchangeformats;ExtensibleMarkupLanguage;Informationexchange;Informationtechnology;Internet;Logic;Markuplanguage;Semantics;Syntax;XML
【摘要】:ThisInternationalStandardspecifiesafamilyoflogiclanguagesdesignedforuseintherepresentationandinterchangeofinformationanddataamongdisparatecomputersystems.ThefollowingfeaturesareessentialtothedesignofthisInternationalStandard:?Languagesinthefamilyhavedeclarativesemantics.Itispossibletounderstandthemeaningofexpressionsintheselanguageswithoutappealtoaninterpreterformanipulatingthoseexpressions.?Languagesinthefamilyarelogicallycomprehensive—atitsmostgeneral,theyprovidefortheexpressionofarbitraryfirst-orderlogicalsentences.?Interchangeofinformationamongheterogeneouscomputersystems.ThefollowingarewithinthescopeofthisInternationalStandard:?representationofinformationinontologiesandknowledgebases;?specificationofexpressionsthataretheinputoroutputofinferenceengines;?formalinterpretationsofthesymbolsinthelanguage.ThefollowingareoutsidethescopeofthisInternationalStandard:?thespecificationofprooftheoryorinferencerules;?specificationoftranslatorsbetweenthenotationsofheterogeneouscomputersystems;?computer-basedoperationalmethodsofprovidingrelationshipsbetweensymbolsinthelogical“universeofdiscourse”andindividualsinthe“realworld”.ThisInternationalStandarddescribesCommonLogic’ssyntaxandsemantics.Itdefinesanabstractsyntaxandanassociatedmodel-theoreticsemanticsforaspecificextensionoffirstorderlogic.Theintentisthatthecontentofanysystemusingfirst-orderlogiccanberepresentedinthisInternationalStandard.Thepurposeistofacilitateinterchangeoffirst-orderlogic-basedinformationbetweensystems.IssuesrelatingtocomputabilityusingthisInternationalStandard(efficiency,optimization,etc.)arenotaddressed.
【中国标准分类号】:L74
【国际标准分类号】:35_060
【页数】:73P.;A4
【正文语种】:英语
基本信息
标准名称: | 植物检疫 木薯单爪螨检疫鉴定方法 |
英文名称: | Plant quarantine -- Methods for inspection and identification of cassaca green mite |
中标分类: |
农业、林业 >>
植物保护 >>
植物检疫、病虫害防治 |
发布部门: | 中华人民共和国国家质量监督检验检疫总局 |
发布日期: | 2002-11-25 |
实施日期: | 2003-05-01 |
首发日期: | |
作废日期: | |
主管部门: | 中华人民共和国国家质量监督检验检疫总局 |
提出单位: | 认证认可监督管理委员会 |
归口单位: | 认证认可监督管理委员会 |
起草单位: | 中华人民共和国深圳出人境检验检疫局 |
起草人: | 屈娟、余道坚、仲建忠、顾光昊 |
出版日期: | 2003-05-01 |
页数: | 7页 |
适用范围
本标准规定了进境植物检疫中木薯单爪蜻Monon ychellu.s ta najo a ( Bondar)的检疫和鉴定方法。
本标准适用于进境木薯属繁殖材料插条(插枝)携带木薯单爪蜻的检疫和鉴定.
前言
没有内容
目录
没有内容
引用标准
没有内容
所属分类: 农业 林业 植物保护 植物检疫 病虫害防治