ASTM D 1179-1988 水中氟化物离子的测试方法
作者:标准资料网 时间:2024-05-14 15:47:15 浏览:9750
来源:标准资料网
下载地址: 点击此处下载
【英文标准名称】:TestMethodsforFluorideIoninWater
【原文标准名称】:水中氟化物离子的测试方法
【标准号】:ASTMD1179-1988
【标准状态】:作废
【国别】:美国
【发布日期】:1988
【实施或试行日期】:
【发布单位】:美国材料与试验协会(ASTM)
【起草单位】:ASTM
【标准类型】:()
【标准水平】:()
【中文主题词】:试验;氟化物;水;氟化物离子
【英文主题词】:water;fluorides;testing;fluorideions
【摘要】:
【中国标准分类号】:Z16
【国际标准分类号】:13_060_40
【页数】:6P;A4
【正文语种】:英语
【原文标准名称】:水中氟化物离子的测试方法
【标准号】:ASTMD1179-1988
【标准状态】:作废
【国别】:美国
【发布日期】:1988
【实施或试行日期】:
【发布单位】:美国材料与试验协会(ASTM)
【起草单位】:ASTM
【标准类型】:()
【标准水平】:()
【中文主题词】:试验;氟化物;水;氟化物离子
【英文主题词】:water;fluorides;testing;fluorideions
【摘要】:
【中国标准分类号】:Z16
【国际标准分类号】:13_060_40
【页数】:6P;A4
【正文语种】:英语
下载地址: 点击此处下载
【英文标准名称】:Informationtechnology-Programminglanguages-GuidefortheuseoftheAdaprogramminglanguageinhighintegritysystems
【原文标准名称】:信息技术.编程语言.高度集成系统Ada编程语言使用指南
【标准号】:BSISO/IECTR15942-2000
【标准状态】:现行
【国别】:英国
【发布日期】:2000-12-15
【实施或试行日期】:2000-12-15
【发布单位】:英国标准学会(GB-BSI)
【起草单位】:BSI
【标准类型】:()
【标准水平】:()
【中文主题词】:程序设计语言;数字计算机;手册;数据处理
【英文主题词】:Ada;Computersoftware;Dataprocessing;Definition;Definitions;Guidelines;Informationtechnology;Interfaces(dataprocessing);Programming;Programminglanguages;Usage
【摘要】:ThisTechnicalReportprovidesguidanceontheuseofAdawhenproducinghighintegritysystems.Inproducingsuchapplicationsitisusuallythecasethatadherencetoguidelinesorstandardshastobedemonstratedtoindependentbodies.Theseguidelinesorstandardsvaryaccordingtotheapplicationarea,industrialsectorornatureoftheriskinvolved.Forsafetyapplications,theinternationalgenericstandardis[IEC61508]ofwhichpart3isconcernedwithsoftware.Forsecuritysystems,themulti-nationalgenericassessmentguideis[ISOCD15408].Forsector-specificguidanceandstandardsthereare:Airbornecivilavionics:[DO-178B]Nuclearpowerplants:[IEC880]Medicalsystems:[IEC601-4]Pharmaceutical:[GAMP]Fornational/regionalguidanceandstandardstherearethefollowing:UKDefence:[DS00-55]Europeanrail:[EN50128]Europeansecurity:[ITSEC]USnuclear:[NRC]UKautomotive:[MISRA]USmedical:[FDA]USspace:[NASA]TheabovestandardsandguidesarereferredtoasStandardsinthisTechnicalReport.TheabovelistisnotexhaustivebutindicativeofthetypeofStandardtowhichthisTechnicalReportprovidesguidance.ThespecificStandardsabovearenotaddressedindividuallybutthisTechnicalReportissynthesizedfromananalysisoftheirrequirementsandrecommendations.1WithinthescopeThisTechnicalReportassumesthatasystemisbeingdevelopedinAdatomeetastandardlistedaboveoroneofasimilarnature.TheprimarygoalofthisTechnicalReportistotranslategeneralrequirementsintoAdaspecificones.Forexample,ageneralstandardmightrequirethatdynamictestingprovidesevidenceoftheexecutionofallthestatementsinthecodeoftheapplication.Inthecaseofgenerics,thisisinterpretedbythisTechnicalReporttomeanallinstantiationsofthegenericshouldbeexecuted.ThisTechnicalReportisintendedtoprovideguidanceonly,andhencethereareno'shalls'.However,thisTechnicalReportidentifiesverificationandvalidationissueswhichshouldberesolvedanddocumentedaccordingtothesector-specificstandardsbeingemployed.ThefollowingtopicsarewithinthescopeofthisTechnicalReport:·thechoiceoffeaturesofthelanguagewhichaidverificationandcompliancetothestandards,·identificationoflanguagefeaturesrequiringadditionalverificationsteps,·theuseoftoolstoaiddesignandverification,·issuesconcerningqualificationofcompilersforuseonhighintegrityapplications,·tools,suchasgraphicdesigntools,whichgenerateAdasourcecodewhichisaccessibletousers.ToolswhichgenerateAdasourcecoderequirespecialconsideration.Wheregeneratedcodemaybemodifiedorextended,verificationoftheextensionsandoverallsystemwillbeassistediftheguidelineshavebeentakenintoaccount.Evenwheremodificationisnotplanned,inspectionandanalysisofthegeneratedcodemaybeunavoidableunlessthegeneratoristrustedor'qualified'accordingtoanapplicablestandard.Finally,evenifgeneratedcodeisneithermodifiednorinspected,theoverallverificationprocessmaybemademorecomplicatedifthecodedeviatesfromguidelinesintendedtofacilitatetestingandanalysis.PotentialusersofsuchtoolsshouldevaluatetheircodegenerationagainsttheguidanceprovidedinthisTechnicalReport.2OutofscopeThefollowingtopicsareconsideredtobeoutofscopewithrespecttothisTechnicalReport:·Domain-specificstandards,·Application-specificissues,·Hardwareandsystem-specificissues,·Humanfactorissuesintheapplication(asopposedtohumanfactorsintheuseoftheAdalanguagewhichisinscope).
【中国标准分类号】:L74
【国际标准分类号】:35_060
【页数】:60P.;A4
【正文语种】:英语
【英文标准名称】:Requirementforsteeldrumreprocessing
【原文标准名称】:鼓形钢桶回收要求
【标准号】:JISZ1641-2007
【标准状态】:现行
【国别】:日本
【发布日期】:2007-02-20
【实施或试行日期】:
【发布单位】:日本工业标准调查会(JP-JISC)
【起草单位】:TechnicalCommitteeonLogisticsandDistributionofGoods
【标准类型】:()
【标准水平】:()
【中文主题词】:
【英文主题词】:
【摘要】:この規格は,JISZ1600のドラムタイプD及びJISZ1601のドラムタイプCに規定するH級及びM級の鋼製ドラム(以下,ドラムという。)の,リュース及びリサイクル処理作業における要求事項について規定する。
【中国标准分类号】:A82;Z50
【国际标准分类号】:13_030_50;55_140
【页数】:6P;A4
【正文语种】:日语
【原文标准名称】:信息技术.编程语言.高度集成系统Ada编程语言使用指南
【标准号】:BSISO/IECTR15942-2000
【标准状态】:现行
【国别】:英国
【发布日期】:2000-12-15
【实施或试行日期】:2000-12-15
【发布单位】:英国标准学会(GB-BSI)
【起草单位】:BSI
【标准类型】:()
【标准水平】:()
【中文主题词】:程序设计语言;数字计算机;手册;数据处理
【英文主题词】:Ada;Computersoftware;Dataprocessing;Definition;Definitions;Guidelines;Informationtechnology;Interfaces(dataprocessing);Programming;Programminglanguages;Usage
【摘要】:ThisTechnicalReportprovidesguidanceontheuseofAdawhenproducinghighintegritysystems.Inproducingsuchapplicationsitisusuallythecasethatadherencetoguidelinesorstandardshastobedemonstratedtoindependentbodies.Theseguidelinesorstandardsvaryaccordingtotheapplicationarea,industrialsectorornatureoftheriskinvolved.Forsafetyapplications,theinternationalgenericstandardis[IEC61508]ofwhichpart3isconcernedwithsoftware.Forsecuritysystems,themulti-nationalgenericassessmentguideis[ISOCD15408].Forsector-specificguidanceandstandardsthereare:Airbornecivilavionics:[DO-178B]Nuclearpowerplants:[IEC880]Medicalsystems:[IEC601-4]Pharmaceutical:[GAMP]Fornational/regionalguidanceandstandardstherearethefollowing:UKDefence:[DS00-55]Europeanrail:[EN50128]Europeansecurity:[ITSEC]USnuclear:[NRC]UKautomotive:[MISRA]USmedical:[FDA]USspace:[NASA]TheabovestandardsandguidesarereferredtoasStandardsinthisTechnicalReport.TheabovelistisnotexhaustivebutindicativeofthetypeofStandardtowhichthisTechnicalReportprovidesguidance.ThespecificStandardsabovearenotaddressedindividuallybutthisTechnicalReportissynthesizedfromananalysisoftheirrequirementsandrecommendations.1WithinthescopeThisTechnicalReportassumesthatasystemisbeingdevelopedinAdatomeetastandardlistedaboveoroneofasimilarnature.TheprimarygoalofthisTechnicalReportistotranslategeneralrequirementsintoAdaspecificones.Forexample,ageneralstandardmightrequirethatdynamictestingprovidesevidenceoftheexecutionofallthestatementsinthecodeoftheapplication.Inthecaseofgenerics,thisisinterpretedbythisTechnicalReporttomeanallinstantiationsofthegenericshouldbeexecuted.ThisTechnicalReportisintendedtoprovideguidanceonly,andhencethereareno'shalls'.However,thisTechnicalReportidentifiesverificationandvalidationissueswhichshouldberesolvedanddocumentedaccordingtothesector-specificstandardsbeingemployed.ThefollowingtopicsarewithinthescopeofthisTechnicalReport:·thechoiceoffeaturesofthelanguagewhichaidverificationandcompliancetothestandards,·identificationoflanguagefeaturesrequiringadditionalverificationsteps,·theuseoftoolstoaiddesignandverification,·issuesconcerningqualificationofcompilersforuseonhighintegrityapplications,·tools,suchasgraphicdesigntools,whichgenerateAdasourcecodewhichisaccessibletousers.ToolswhichgenerateAdasourcecoderequirespecialconsideration.Wheregeneratedcodemaybemodifiedorextended,verificationoftheextensionsandoverallsystemwillbeassistediftheguidelineshavebeentakenintoaccount.Evenwheremodificationisnotplanned,inspectionandanalysisofthegeneratedcodemaybeunavoidableunlessthegeneratoristrustedor'qualified'accordingtoanapplicablestandard.Finally,evenifgeneratedcodeisneithermodifiednorinspected,theoverallverificationprocessmaybemademorecomplicatedifthecodedeviatesfromguidelinesintendedtofacilitatetestingandanalysis.PotentialusersofsuchtoolsshouldevaluatetheircodegenerationagainsttheguidanceprovidedinthisTechnicalReport.2OutofscopeThefollowingtopicsareconsideredtobeoutofscopewithrespecttothisTechnicalReport:·Domain-specificstandards,·Application-specificissues,·Hardwareandsystem-specificissues,·Humanfactorissuesintheapplication(asopposedtohumanfactorsintheuseoftheAdalanguagewhichisinscope).
【中国标准分类号】:L74
【国际标准分类号】:35_060
【页数】:60P.;A4
【正文语种】:英语
【英文标准名称】:Requirementforsteeldrumreprocessing
【原文标准名称】:鼓形钢桶回收要求
【标准号】:JISZ1641-2007
【标准状态】:现行
【国别】:日本
【发布日期】:2007-02-20
【实施或试行日期】:
【发布单位】:日本工业标准调查会(JP-JISC)
【起草单位】:TechnicalCommitteeonLogisticsandDistributionofGoods
【标准类型】:()
【标准水平】:()
【中文主题词】:
【英文主题词】:
【摘要】:この規格は,JISZ1600のドラムタイプD及びJISZ1601のドラムタイプCに規定するH級及びM級の鋼製ドラム(以下,ドラムという。)の,リュース及びリサイクル処理作業における要求事項について規定する。
【中国标准分类号】:A82;Z50
【国际标准分类号】:13_030_50;55_140
【页数】:6P;A4
【正文语种】:日语
