EN 1312-1997 圆木材和板材.锯板批量体积测定
作者:标准资料网 时间:2024-05-08 07:10:27 浏览:9910
来源:标准资料网
【英文标准名称】:Roundandsawntimber-Determinationofthebatchvolumeofsawntimber;GermanversionEN1312:1997
【原文标准名称】:圆木材和板材.锯板批量体积测定
【标准号】:EN1312-1997
【标准状态】:现行
【国别】:
【发布日期】:1997-06
【实施或试行日期】:
【发布单位】:欧洲标准学会(EN)
【起草单位】:
【标准类型】:()
【标准水平】:()
【中文主题词】:长度;体积;木材;硬木;软木;宽度;测定;计算方法;数学计算;测量
【英文主题词】:Batchsize;Cubicmeasure;Determination;Hardwoods;Length;Logs;Mathematicalcalculations;Measurement;Methodsofcalculation;Sawntimber;Softwoods;Starches;Volume;Width;Wood
【摘要】:
【中国标准分类号】:B68
【国际标准分类号】:79_040
【页数】:5P.;A4
【正文语种】:英语
基本信息
| 标准名称： | 生漆 |
| 中标分类： |
农业、林业 >>
林业 >>
林产化工原料 |
| 替代情况： | 被GB/T 14703-1993代替 |
| 发布日期： | |
| 实施日期： | 1985-01-01 |
| 首发日期： | |
| 作废日期： | |
| 出版日期： | |
| 页数： | 10页 |
适用范围
没有内容
前言
没有内容
目录
没有内容
引用标准
没有内容
所属分类： 农业 林业 林业 林产化工原料
【英文标准名称】: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
【正文语种】:英语
