NF C93-450/A1-1985 NFC93-450-1983的补充件1
作者:标准资料网 时间:2024-05-16 01:43:42 浏览:8174
来源:标准资料网
【英文标准名称】:
【原文标准名称】:NFC93-450-1983的补充件1
【标准号】:NFC93-450/A1-1985
【标准状态】:现行
【国别】:法国
【发布日期】:1985-09-01
【实施或试行日期】:1985-09-20
【发布单位】:法国标准化协会(AFNOR)
【起草单位】:
【标准类型】:()
【标准水平】:()
【中文主题词】:
【英文主题词】:
【摘要】:
【中国标准分类号】:L15
【国际标准分类号】:17_200_20
【页数】:10P;A4
【正文语种】:其他
【英文标准名称】: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
【正文语种】:英语
基本信息
标准名称: | 火力发电厂燃料试验方法--入炉煤和入炉煤粉样品的采取方法 |
英文名称: | Sampling Methods for Coal and Pulverized Coal as Fireed |
中标分类: |
矿业 >>
固体燃料矿 >>
电站、工业锅炉用煤 |
发布部门: | 中华人民共和国电力工业部 |
发布日期: | 1995-05-03 |
实施日期: | 1995-10-01 |
首发日期: | 1900-01-01 |
作废日期: | 1900-01-01 |
提出单位: | 电力工业部 |
归口单位: | 电力工业部电厂化学标准化技术委员会 |
起草单位: | 电力工业部热工研究院 |
出版社: | 中国电力出版社 |
出版日期: | 1995-10-01 |
页数: | 4页 |
适用范围
本标准规定了入炉原煤和入炉煤粉样品的采取方法。
本标准适用于火电厂燃用的各种煤。
前言
没有内容
目录
没有内容
引用标准
没有内容
所属分类: 矿业 固体燃料矿 电站 工业锅炉用煤