期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到5篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
Livechart：一种用于活动性验证的Statechart 被引量：1
1
作者 张兴元 谢希仁 《计算机学报》 EI CSCD 北大核心 1996年第1期1-9,共9页
Ｌｉｖｅｃｈａｒｔ是对Ｈａｒｅｌ的Ｓｔａｔｅｃｈａｒｔ的扩展．它可用于并发系统活动性的验证，并具有直观和严格的特点．它既可以方便地表达用户的直觉又具有严格的语义，因此它在用户的直觉和形式证明之间建立了一个良好的接口．... Ｌｉｖｅｃｈａｒｔ是对Ｈａｒｅｌ的Ｓｔａｔｅｃｈａｒｔ的扩展．它可用于并发系统活动性的验证，并具有直观和严格的特点．它既可以方便地表达用户的直觉又具有严格的语义，因此它在用户的直觉和形式证明之间建立了一个良好的接口．本文给出了Ｌｉｖｅｃｈａｒｔ的语义和用Ｌｉｖｅｃｈａｒｔ进行活动性验证的方法． 展开更多
关键词 协议验证 STATECHART 活动性验证 计算机网络
在线阅读 下载PDF
理化实验室标准物质的管理 被引量：11
2
作者 郭爱华 王玮 姜志 《理化检验（化学分册）》 CAS CSCD 北大核心 2015年第2期239-241,共3页
标准物质是具有准确的特性量值、高度均匀与稳定性良好的测量标准,是量值传递的物质基础。在理化检测中,标准物质可被用于测量系统的校准、测量程序的评估、给其他物质赋值、质量控制和分析方法的评价等。这些测量都依赖于标准物质,并... 标准物质是具有准确的特性量值、高度均匀与稳定性良好的测量标准,是量值传递的物质基础。在理化检测中,标准物质可被用于测量系统的校准、测量程序的评估、给其他物质赋值、质量控制和分析方法的评价等。这些测量都依赖于标准物质,并由标准物质将测量的结果溯源到国际单位制(SI)。因此,标准物质是实验室开展检测工作所必需的重要资源,其正确的管理和使用是实验室检测工作的一项重要基础内容, 展开更多
关键词 理化实验室 量值传递 实验室检测 测量标准 测量系统 理化检测 校准状态 测量程序 能力验证活动 质量控制
在线阅读 下载PDF
浅谈畜产品质检机构存在的问题及规范管理措施 被引量：1
3
作者 刘海琴 《河南农业》 2016年第1期50-50,共1页
随着＂苏丹红＂＂三聚氰胺＂＂瘦肉精＂及＂速成鸡＂等畜产品质量安全事件的不断发生,全国各地畜产品检测机构应运而生。以河南为例,从2004年至今,全省18个地级市都陆续建立了畜产品质量监测检验中心,并先后通过了计量认证。这些监测检... 随着＂苏丹红＂＂三聚氰胺＂＂瘦肉精＂及＂速成鸡＂等畜产品质量安全事件的不断发生,全国各地畜产品检测机构应运而生。以河南为例,从2004年至今,全省18个地级市都陆续建立了畜产品质量监测检验中心,并先后通过了计量认证。这些监测检测为畜牧执法部门提供了有力的技术支持,担负着提高畜产品质量安全水平、加强畜产品质量安全监管的重任。但随着检测工作的开展,各种问题也不断涌出。 展开更多
关键词 质检机构 计量认证 检测机构 “苏丹红” 监测检验 实验室仪器设备 能力验证活动 管理体系文件 实验室资质 认定评审
在线阅读 下载PDF
国有资产评估工作中若干问题的探讨
4
《中国注册会计师》 1990年第6期35-38,共4页
为适应国有资产优化组合和物价水准变动等客观需要,当国有资产产权或经营权变动时,实行资产评估,是加强国有资产管理的重要环节。下面就国有资产评估工作中的若干问题作些初步探讨。一、国有资产评估与清产核资的关系国有资产评估是国... 为适应国有资产优化组合和物价水准变动等客观需要,当国有资产产权或经营权变动时,实行资产评估,是加强国有资产管理的重要环节。下面就国有资产评估工作中的若干问题作些初步探讨。一、国有资产评估与清产核资的关系国有资产评估是国有资产产权或经营权发生变动时,由国有资产管理部门批准的资产评估机构,根据国家有关法律规定和资产占用单位提供的资料,按照规定的程序和科学的方法对国有资产现值进行评定估算的一种验证活动。 展开更多
关键词 国有资产评估 国有资产产权 资产评估机构 国有资产管理 资产存量 现值 验证活动 清查财产 财产抵押 核定资金
在线阅读 下载PDF
加快推进我省县级水生动物疫病防治站资质认定工作浅议
5
作者 施录禄 《黑龙江水产》 2016年第1期20-22,共3页
近年来，按照国家农业部的统一规划，在全国范围内建设了一批重点县级水生动物疫病防治站。我省两期共建设了21个县级水生动物疫病防治站。经过几年的建设，大部分县级水生动物疫病防治站可开展实验室常规鱼病诊断、常规水质项目分析，... 近年来，按照国家农业部的统一规划，在全国范围内建设了一批重点县级水生动物疫病防治站。我省两期共建设了21个县级水生动物疫病防治站。经过几年的建设，大部分县级水生动物疫病防治站可开展实验室常规鱼病诊断、常规水质项目分析，但目前还没有一个县级水生动物疫病防治站通过实验室资质认定评审。2006年颁布的《中华人民共和国农产品质量安全法》，把农产品质量管理上升到了法律的高度，不仅需要配套建立相关的检验检测机构，更要求从法律的层面加强管理，提升水平。因此，县级水生动物疫病防治站尽快运转、发挥作用是大势所趋。 展开更多
关键词 水生动物疫病 资质认定 水质项目 认定评审 水产养殖病害 检测机构 能力验证活动 病害测报 计量行政部门 监督评审
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部