咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 2 篇 期刊文献

馆藏范围

  • 2 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 信息与通信工程
  • 1 篇 农学
    • 1 篇 植物保护
  • 1 篇 军事学
    • 1 篇 军队指挥学

主题

  • 1 篇 寄存器
  • 1 篇 茶尺蠖
  • 1 篇 研究进展
  • 1 篇 信道有界性
  • 1 篇 协议
  • 1 篇 防治技术
  • 1 篇 检证
  • 1 篇 展望

机构

  • 1 篇 中国农业科学院茶...
  • 1 篇 安溪铁观音集团股...
  • 1 篇 浙江大学
  • 1 篇 福建农业科学院茶...
  • 1 篇 绍兴御茶村茶业有...

作者

  • 1 篇 shao fengjing\ s...
  • 1 篇 李喜旺
  • 1 篇 苏亮
  • 1 篇 金李孟
  • 1 篇 孙晓玲
  • 1 篇 邵胜荣
  • 1 篇 刘丰静
  • 1 篇 娄永根

语言

  • 1 篇 英文
  • 1 篇 中文
检索条件"作者=Shao Fengjing\ Sun Xiaorui\ Liu Zunren "
共 2 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
A　VERIFICATION　METHOD　FOR　COMMUNICATION　PROTOCOLS　MODELED　AS　COMMUNICATING　EXTENDED　FINITE─STATE　MAC
收藏
分享
引用
青岛大学学报(自然科学版) 1996年 第3期 4-13页
作者： shao fengjing\ sun xiaorui\ liu zunren (Department of Computer, Qingdao University,Qingdao 266071)
本文建立了用于表述含有无限值状态成分的通讯协议机的抽象模型，给出了基于该模型的形式检证法，试制了检证系统．该检证法不需要假定信道的有界性．对于给定的通信协议，检证系统将判定其对指定状态的可到达性．做为检证例，从ＯＳＩ... 详细信息
来源： 同方期刊数据库 同方期刊数据库 评论
茶尺蠖绿色防控技术研究现状及展望
收藏
分享
引用
茶叶科学 2017年 第4期37卷 325-331页
作者： 李喜旺 刘丰静 邵胜荣 苏亮 金李孟 娄永根 孙晓玲 浙江大学昆虫科学研究所 浙江杭州310058 中国农业科学院茶叶研究所 浙江杭州310008 福建农业科学院茶叶研究所 福建福安355015 绍兴御茶村茶业有限公司 浙江绍兴312037 安溪铁观音集团股份有限公司 福建安溪362400
茶尺蠖是我国茶园重要的食叶性害虫之一,严重发生时可将茶树吃成光杆,甚至直接导致茶树死亡。茶尺蠖在我国多个省份大面积发生,常给茶叶生产带来严重的经济损失。近年来,关于茶尺蠖的种类厘清、挥发物引诱剂、性信息素鉴定和其他技术等... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件