CB 1241-1995 鱼雷燃烧泵通用规范
作者:标准资料网 时间:2024-05-22 08:45:57 浏览:8825
来源:标准资料网
基本信息
| 标准名称： | 鱼雷燃烧泵通用规范 |
| 中标分类： |
|
| ICS分类： |
军事工程 >>
军事工程、军事物资、武器
|
| 发布日期： | 1995-12-19 |
| 实施日期： | 1996-08-01 |
| 首发日期： | 1900-01-01 |
| 作废日期： | 1900-01-01 |
| 出版日期： | 1900-01-01 |
| 页数： | 12页 |
适用范围
没有内容
前言
没有内容
目录
没有内容
引用标准
没有内容
所属分类： 军事工程 军事工程 军事物资 武器
【英文标准名称】: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
【正文语种】:英语
【英文标准名称】:StandardTestMethodforDynamicModulusofAsphaltMixtures
【原文标准名称】:沥青混合物动态模量的标准试验方法
【标准号】:ASTMD3497-1979
【标准状态】:现行
【国别】:美国
【发布日期】:1979
【实施或试行日期】:
【发布单位】:美国材料与试验协会(ASTM)
【起草单位】:ASTM
【标准类型】:()
【标准水平】:()
【中文主题词】:承重面的表面修饰;路面(道路);地沥青;公路建设;试验;路面;施工材料;建筑;材料;表面;精整;模数;动态试验;混合物;刚度
【英文主题词】:surfacefinishesforloadbearingplanes;pavement;surfaces;rigidity;constructionmaterials;testing;construction;finishes;materials;roadconstruction;modules;mixtures;dynamictesting;pavements(roads);a
【摘要】:
【中国标准分类号】:E43
【国际标准分类号】:93_080_20;91_100_50
【页数】:3P;A4
【正文语种】:英语
