JIS F0502-1978 设计船舶热交换器采用的海水温度
作者:标准资料网 时间:2024-05-14 12:33:55 浏览:9137
来源:标准资料网
【英文标准名称】:Seawatertemperaturefordesigningmarineheatexchangers
【原文标准名称】:设计船舶热交换器采用的海水温度
【标准号】:JISF0502-1978
【标准状态】:作废
【国别】:日本
【发布日期】:1978-02-01
【实施或试行日期】:
【发布单位】:日本工业标准调查会(JISC)
【起草单位】:TechnicalCommitteeonShips
【标准类型】:()
【标准水平】:()
【中文主题词】:海船;热交换器;水;温度;海水;名称与符号
【英文主题词】:designations;seawater;;temperature
【摘要】:
【中国标准分类号】:U42
【国际标准分类号】:47_020_30
【页数】:13P;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
【正文语种】:英语
【英文标准名称】:Roadvehicles-Functionalsafety-Part4:Productdevelopmentatthesystemlevel
【原文标准名称】:道路车辆.功能安全性.第4部分:系统级产品开发
【标准号】:ISO26262-4-2011
【标准状态】:现行
【国别】:国际
【发布日期】:2011-11
【实施或试行日期】:
【发布单位】:国际标准化组织(IX-ISO)
【起草单位】:ISO/TC22
【标准类型】:()
【标准水平】:()
【中文主题词】:
【英文主题词】:Automotiveengineering;Electricalequipment;Electronicengineering;Electronicsystems;Functionalefficiency;Functionalreliability;Functionality;Life(durability);Motorvehicles;Privatecars;Productdevelopment;Reliability;Roadvehicles;Safetyrequirements;Safetysystems;Systems
【摘要】:
【中国标准分类号】:T35
【国际标准分类号】:43_040_01;43_040_10
【页数】:36P;A4
【正文语种】:英语
