NF T76-407-2000 胶粘剂.水凝地面平整和/或找平填料的试验方法.流动性能的测定
作者:标准资料网 时间:2024-05-11 15:34:25 浏览:9008
来源:标准资料网
【英文标准名称】:Adhesives-Testmethodsforhydraulicsettingfloorsmoothingand/orlevellingcompounds-Determinationofflowcharacteristics.
【原文标准名称】:胶粘剂.水凝地面平整和/或找平填料的试验方法.流动性能的测定
【标准号】:NFT76-407-2000
【标准状态】:现行
【国别】:法国
【发布日期】:2000-05-01
【实施或试行日期】:2000-05-20
【发布单位】:法国标准化协会(AFNOR)
【起草单位】:
【标准类型】:()
【标准水平】:()
【中文主题词】:材料试验;定义;液压的;土壤;覆层;校正(误差);;;试验条件;填充料;流动性;流动性;评定;测量;试验装置;抽样方法;楼板;实验室试验;试验
【英文主题词】:
【摘要】:
【中国标准分类号】:G38
【国际标准分类号】:91_100_99
【页数】:7P;A4
【正文语种】:其他
【英文标准名称】:Informationtechnology-Programminglanguages-Prolog-Generalcore
【原文标准名称】:信息技术.编程语言.Prolog语言.通用芯
【标准号】:BSISO/IEC13211-1-1995
【标准状态】:现行
【国别】:英国
【发布日期】:1995-10-15
【实施或试行日期】:1995-10-15
【发布单位】:英国标准学会(GB-BSI)
【起草单位】:BSI
【标准类型】:()
【标准水平】:()
【中文主题词】:高级语言;合格;句法;计算机软件;数据表示;程序设计;程序设计语言;语义学;数据处理
【英文主题词】:Artificiallanguages;Compatibility;Computersoftware;Dataprocessing;Definitions;Generalconditions;Informationexchange;Informationtechnology;Programflows;Programminginstructions;Programminglanguages;Prolog;Semantics;Syntax
【摘要】:ISO/IEC13211isdesignedtopromotetheapplicabilityandportabilityofPrologtextanddataamongavarietyofdataprocessingsystems.ThispartofISO/IEC13211specifies:a)TherepresentationofPrologtext,b)ThesyntaxandconstraintsoftheProloglanguage,c)ThesemanticrulesforinterpretingPrologtext,d)TherepresentationofinputdatatobeprocessedbyProlog,e)TherepresentationofoutputproducedbyProlog,andf)TherestrictionsandlimitsimposedonaconformingPrologprocessor.NOTE—ThispartofISO/IEC13211doesnotspecify:a)thesizeorcomplexityofPrologtextthatwillexceedthecapacityofanyspecificdataprocessingsystemorlanguageprocessor,ortheactionstobetakenwhenthecorrespondinglimitsareexceeded;b)theminimalrequirementsofadataprocessingsystemthatiscapableofsupportinganimplementationofaPrologprocessor;c)themethodsofactivatingthePrologprocessororthesetofcommandsusedtocontroltheenvironmentinwhichPrologtextispreparedforexecutionandexecuted;d)themechanismsbywhichPrologtextispreparedforusebyadataprocessingsystem;e)thetypographicalrepresentationofPrologtextpublishedforhumanreading;f)theuserenvironment(toplevelloop,debugger,librarysystem,editor,compileretc.)ofaPrologprocessor.ThispartofISO/IEC13211isintendedforusebyimplementorsandknowledgeableprogrammers,andisnotatutorial.1NotesNotesinthispartofISO/IEC13211havenoeffectonthelanguage,PrologtextorPrologprocessorsthataredefinedasconformingtothispartofISO/IEC13211.Reasonsforincludinganoteinclude;a)CrossreferencestootherclausesandsubclausesofthispartofISO/IEC13211inordertohelpreadersfindtheirwayaround,b)Warningswhenabuilt-inpredicateasdefinedinthispartofISO/IEC13211hasadifferentmeaninginsomeexistingimplementations.
【中国标准分类号】:L74
【国际标准分类号】:35_060
【页数】:216P.;A4
【正文语种】:英语
