咨询与建议

限定检索结果

文献类型

  • 121 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 74 篇 工学
    • 19 篇 计算机科学与技术...
    • 9 篇 机械工程
    • 8 篇 材料科学与工程(可...
    • 6 篇 仪器科学与技术
    • 6 篇 环境科学与工程(可...
    • 6 篇 软件工程
    • 4 篇 电气工程
    • 4 篇 测绘科学与技术
    • 4 篇 地质资源与地质工...
    • 4 篇 轻工技术与工程
    • 4 篇 食品科学与工程(可...
    • 3 篇 电子科学与技术(可...
    • 3 篇 信息与通信工程
    • 3 篇 控制科学与工程
    • 3 篇 化学工程与技术
    • 3 篇 交通运输工程
    • 3 篇 生物工程
  • 21 篇 医学
    • 15 篇 临床医学
    • 3 篇 中西医结合
    • 3 篇 药学(可授医学、理...
  • 17 篇 理学
    • 5 篇 数学
    • 5 篇 生态学
    • 2 篇 物理学
    • 2 篇 化学
  • 11 篇 农学
    • 5 篇 农业资源与环境
    • 3 篇 林学
  • 7 篇 管理学
    • 5 篇 管理科学与工程(可...
  • 4 篇 法学
    • 3 篇 法学
  • 4 篇 教育学
    • 4 篇 教育学
  • 3 篇 经济学
    • 3 篇 应用经济学
  • 1 篇 艺术学

主题

  • 3 篇 形式化验证
  • 2 篇 equivalence
  • 2 篇 凋亡
  • 2 篇 高通量测序
  • 2 篇 prime
  • 2 篇 vega
  • 2 篇 输入设备
  • 2 篇 有机硝酸酯
  • 2 篇 sbas-insar
  • 2 篇
  • 2 篇 形式化方法
  • 2 篇 二氧化氮
  • 2 篇 空间机器人
  • 2 篇 目标检测
  • 2 篇 ideals
  • 2 篇 任务调度
  • 2 篇 多样性
  • 2 篇 虚拟漫游
  • 2 篇 发酵工程
  • 2 篇 肺癌

机构

  • 11 篇 中国科学院成都计...
  • 11 篇 广西民族大学
  • 7 篇 中国科学院大学
  • 5 篇 长安大学
  • 5 篇 北京交通大学
  • 5 篇 广西混杂计算与集...
  • 5 篇 广东省河源市人民...
  • 4 篇 大连理工大学
  • 3 篇 长江师范学院
  • 3 篇 广西壮族自治区亚...
  • 3 篇 南京师范大学
  • 3 篇 北京林业大学
  • 3 篇 华东政法大学
  • 3 篇 中国科学技术大学
  • 3 篇 东北农业大学
  • 2 篇 guangxi key labo...
  • 2 篇 河北工程大学
  • 2 篇 自然资源部陕西西...
  • 2 篇 西部矿产资源与地...
  • 2 篇 中科院系统科学所

作者

  • 19 篇 吴尽昭
  • 7 篇 吴涛
  • 7 篇 李今朝
  • 5 篇 何锦照
  • 5 篇 吴凤
  • 5 篇 张忠强
  • 5 篇 于红涛
  • 4 篇 陈今朝
  • 4 篇 张莉娟
  • 4 篇 张双成
  • 4 篇 司锦钊
  • 3 篇 陈金钊
  • 3 篇 韩国强
  • 3 篇 许晓曦
  • 3 篇 胡金朝
  • 3 篇 徐珒昭
  • 3 篇 罗义灿
  • 3 篇 吴强
  • 3 篇 吴志刚
  • 3 篇 吴鹏飞

语言

  • 106 篇 中文
  • 15 篇 英文
检索条件"作者=jinzhao wu"
121 条 记 录,以下是21-30 订阅
排序:
基于Spin的安全协议形式化验证技术
收藏 引用
计算机应用 2014年 第A2期34卷 85-90页
作者: 冉俊轶 吴尽昭 中国科学院成都计算机应用研究所 成都610041 中国科学院大学 北京100049 广西混杂计算与集成电路设计分析重点实验室(广西民族大学) 南宁530000 北京交通大学计算机与信息技术学院 北京100044
针对安全协议的形式化验证问题,运用模型检测方法,以一种改进的入侵者Promela语义模型,对双方密钥分配中心协议进行Spin模型检测,验证发现其不满足线性时序逻辑(LTL)公式描述的安全性,得到了原协议的安全漏洞。针对该漏洞,提出了一种协... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
一种快速JPEG图像检索方法
收藏 引用
计算机工程 2005年 第10期31卷 148-149,184页
作者: 张问银 吴尽昭 中国科学院成都计算机应用研究所
给出了一种基于归一化转动惯量(Normalized Moment Inertia,NMI)的JPEG图像快速检索方法,其特点是直接在压缩域中利用DCT系数进行块分类,每一类分块形成一个二值索引图,统计该索引图的NMI值作为该类的一个特征,所有类的NMI特征构成了图... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
The Application of GIS in Small Watershed Classification in Loess Plateau
收藏 引用
Forest Ecosystems 1994年 第2期 36-45页
作者: Zhu jinzhao,wu Bin,Bi Huaxing,Zhou Changqing College of Soil and Water Conservation, Beijing Forestry UniversityBeijing 1 00083,P.R.China
TheApplicationofGIsinSmallWatershedClassificationinLoessPlateauZhuJinzhao,WuBin,BiHuaxing,ZhouChangqingColle... 详细信息
来源: 同方期刊数据库 同方期刊数据库 评论
物联网网关中轻量化规则引擎的设计与实现
收藏 引用
计算机应用 2015年 第4期35卷 1035-1039页
作者: 田瑞琴 吴尽昭 唐鼎 中国科学院成都计算机应用研究所 成都610041 广西混杂计算与集成电路设计分析重点实验室(广西民族大学) 南宁530006 中国科学院声学研究所高性能网络实验室 北京100190
针对物联网网关不适用于多个应用场景的问题,提出了在网关上实现规则引擎的方法。该方法通过"关联事实"属性和"议程推理"机制,解决了传统规则引擎如JRules等无法应用于轻量级网关设备并且运行时间和响应时间较长的问题。添加"关联... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
一种基于路径的快速均值偏移算法
收藏 引用
计算机应用与软件 2013年 第12期30卷 1-3,11页
作者: 康青杨 吴尽昭 沈强 赵志军 中科院成都计算所 四川成都610041 无锡中科智能信息处理研发中心有限公司 江苏无锡214135 广西民族大学 广西南宁530006 中国科学院声学研究所 北京100190
均值偏移算法是一种统计迭代算法,因为其具备良好的鲁棒性,所以被广泛地应用于计算机视觉与模式识别等领域。然而该算法因计算量大、收敛速度慢而无法适用于一些对实时性要求较高、资源受限的场合。提出一种改进的迭代算法,该迭代算法... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于符号模拟的电路中错误诊断方法研究
收藏 引用
现代电子技术 2009年 第16期32卷 1-3,7页
作者: 齐芳 吴尽昭 河南省计量科学研究院 河南郑州450008 中国科学院成都计算机应用研究所 四川成都610041
错误诊断是在逻辑芯片中预测潜在错误点的过程。为了快速有效地诊断电路中的错误,提出一种将符号模拟技术应用到基于区域模型的错误诊断法上的新思想,具体方法是通过对要诊断的电路进行区域划分,然后利用符号模拟方法依据两种测量标准... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
一种蜂窝基站的迭代加权质心定位算法
收藏 引用
计算机应用与软件 2013年 第7期30卷 1-3,61页
作者: 张飞虎 吴尽昭 沈强 田一姝 中国科学院成都计算机应用研究所 四川成都610041 广西民族大学广西混杂计算与集成电路设计分析重点实验室 广西南宁530006 中国科学院声学研究所高性能网络实验室 北京100190
在蜂窝系统中,信号受多径传播和非视距传播等因素影响,导致基于距离的GPRS定位的精度难以提高。针对该问题,提出一种基于多个基站的GPRS定位算法,它综合考虑了蜂窝网络中基站的分布特征和移动台接收的信号强度。在对孤立基站的有效性进... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
模拟与混合信号电路的形式化验证
收藏 引用
计算机工程 2016年 第8期42卷 34-38,45页
作者: 杨世瀚 吴尽昭 丁广泓 秦董洪 广西混杂计算与集成电路设计分析重点实验室 南宁530006 广西民族大学信息科学与工程学院 南宁530006
针对模拟与混合信号(AMS)电路形式化建模逼真度低和描述不规范的问题,提出一种基于基尔霍夫电流定律节点分析的形式化建模方法。通过扩展计算树逻辑公式,在保留电路更多物理特性的前提下综合描述和验证AMS电路的离散事件和动态行为,保... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
集成电路验证技术
收藏 引用
中国基础科学 2007年 第3期9卷 11-14页
作者: 刘卓军 吴尽昭 中科院数学与系统科学研究院 中科院成都计算机应用研究所
1994年,Intel开发的奔腾586处理器被发现在执行某个特定的浮点运算时出现错误.这种错误发生的几率虽然很小,27 000年才可能出现一次,但Intel还是不得不为此付出4.75亿美元的巨额代价,召回了有缺陷的奔腾处理器.1996年6月4日,欧洲航天局... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于ASP的中职学校教务管理系统的设计开发
收藏 引用
电子测试 2016年 第22期27卷 69-70页
作者: 刘为玉 吴金照 陈佳山 江苏连云港工贸高等职业技术学校 连云港职业技术学院
为了提高中等职业学校教务管理工作的效率和质量,提出了基于ASP作为开发环境,采用B/S架构,并以SQL Server作为后台数据库的教务管理系统的设计开发。通过教务管理系统实现了教学过程管理的信息化和网络化,运行效果好,极大地提高了工作... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论