标准资料网-标准资料免费资源平台

【英文标准名称】:Informationtechnology-Programminglanguages-Prolog-Modules
【原文标准名称】:信息技术.程序设计语言.PROLOG.模数
【标准号】:BSISO/IEC13211-2-2000
【标准状态】:现行
【国别】:英国
【发布日期】:2000-11-15
【实施或试行日期】:2000-11-15
【发布单位】:英国标准学会(GB-BSI)
【起草单位】:BSI
【标准类型】:()
【标准水平】:()
【中文主题词】:计算机软件;模数;数据表示;程序设计语言;程序设计;数据处理
【英文主题词】:Artificiallanguages;Compatibility;Computersoftware;Dataprocessing;Definition;Definitions;Generalconditions;Informationexchange;Informationtechnology;Programflows;Programminginstructions;Programminglanguages;Semantics;Syntax
【摘要】:ThispartofISO/IEC13211isdesignedtopromotetheapplicabilityandportabilityofPrologmodulesthatcontainPrologtextcomplyingwiththerequirementsoftheProgrammingLanguagePrologasspecifiedinthispartofISO/IEC13211.ThispartofISO/IEC13211specifies:a)TherepresentationofPrologtextthatconstitutesaPrologmodule,b)TheconstraintsthatshallbesatisfiedtopreparePrologmodulesforexecution,andc)Therequirements,restrictionsandlimitsimposedonaconformingPrologprocessorthatprocessesmodules.ThispartofISO/IEC13211doesnotspecify:a)ThesizeornumberofPrologmodulesthatwillexceedthecapacityofanyspecificdataprocessingsystemorlanguageprocessor,ortheactionstobetakenwhenthelimitisexceeded,b)ThemethodsofactivatingthePrologprocessororthesetofcommandsusedtocontroltheenvironmentinwhichPrologmodulesarepreparedforexecution,c)ThemechanismsbywhichPrologmodulesareloaded,d)TherelationshipbetweenPrologmodulesandtheprocessor-specificfilesystem.1NotesNotesinthispartofISO/IEC13211havenoeffectonthelanguage,Prologtext,moduletextorPrologprocessorsthataredefinedasconformingtothispartofISO/IEC13211.Reasonsforincludinganoteinclude:a)CrossreferencestootherclausesandsubclausesofthispartofISO/IEC13211inordertohelpreadersfindtheirwayaround,b)Warningswhenabuilt-inpredicateasdefinedinthispartofISO/IEC13211hasadifferentmeaninginsomeexistingimplementations.
【中国标准分类号】:L74
【国际标准分类号】:35_060
【页数】:32P.;A4
【正文语种】:英语


【英文标准名称】:TrustedmeasurementtechniquefortankvehiclesforthedeliveryoffueloilEL,dieselfuelandbiodieseltotheend-consumer
【原文标准名称】:对最终用户EL型燃油、柴油和生物柴油交付用槽罐车的可靠计量技术
【标准号】:DIN26053-2007
【标准状态】:现行
【国别】:德国
【发布日期】:2007-03
【实施或试行日期】:
【发布单位】:德国标准化学会(DIN)
【起草单位】:
【标准类型】:()
【标准水平】:()
【中文主题词】:附加设备;生物柴油;组件;消费者;定义;交付;柴油;最终制品;燃料油;作标记;测量;测量装置;计量学;石油产品;槽罐车;液罐集装箱
【英文主题词】:Additionalequipment;Biodiesel;Components;Consumers;Definition;Definitions;Delivery;Dieselfuels;Enduseproducts;Fueloil;Marking;Measurement;Measuringdevices;Metrology;Petroleumproducts;Roadtanke
【摘要】:ThestandardisapplicableformeasurementequipmentapprovedbycalibrationauthorityontankvehiclesintendedforthedeliveryoffueloilEL,dieselfuelandbiodieseltotheendconsumer.Themeasuresdescribedinthisstandardareexclusivelyformanipulationsafetyandfortheprotectionoftheendconsumer.#,,#
【中国标准分类号】:E98
【国际标准分类号】:43_080_10;75_180_30
【页数】:19P.;A4
【正文语种】:德语