MIL-STD-1322-808
时间:2024-05-16 04:40:17 来源: 标准资料网 作者：标准资料网 阅读：9995
MIL-STD-1322-808, MILITARY UNIT, LOAD FOR DOMESTIC AND OVERSEAS SHIPMENT MK 23 MODS JATO ROCKET MOTORS IN WOOD ADAPTER (30 APR 1993).
【英文标准名称】:Informationtechnology-CommonLogic(CL)-Aframeworkforafamilyoflogic-basedlanguages
【原文标准名称】:信息技术.普通逻辑(CL).基于逻辑的语言族的构架
【标准号】:BSISO/IEC24707-2007
【标准状态】:现行
【国别】:英国
【发布日期】:2007-10-31
【实施或试行日期】:2007-10-31
【发布单位】:英国标准学会(GB-BSI)
【起草单位】:BSI
【标准类型】:()
【标准水平】:()
【中文主题词】:数据交换;数据结构;数据语法;数据传送;定义;电子数据处理;交换;交换格式;可扩展标记语言;信息交流;信息技术;因特网;逻辑;标记语言;语义学;句法;XML
【英文主题词】:Dataexchange;Datastructures;Datasyntax;Datatransfer;Definition;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
【页数】:82P.;A4
【正文语种】:英语
【英文标准名称】:Safetystandardforoperatorcontrolledindustrialtowtractors;Addenda
【原文标准名称】:人工操作工业牵引拖拉机的安全标准修改件
【标准号】:ASMEB56.9aAddenda-1992
【标准状态】:作废
【国别】:美国
【发布日期】:1992-01-01
【实施或试行日期】:
【发布单位】:美国机械工程师协会(US-ASME)
【起草单位】:ASME
【标准类型】:()
【标准水平】:()
【中文主题词】:安全措施;操作说明书;设计;工业牵引车;维修;牵引力;安全要求;牵引车;牵引车
【英文主题词】:Design;Industrialtractors;Maintenance;Operatinginstructions;Safetymeasures;Safetyrequirements;Towtrucks;Tractiveforce;Tractors
【摘要】:
【中国标准分类号】:J83
【国际标准分类号】:53_060
【页数】:6P.;A4
【正文语种】:英语