掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
中文会议
>
其他
>
第一届中国人工智能联合学术会
第一届中国人工智能联合学术会
召开年:
1990
召开地:
长春
出版时间:
主办单位:
会议文集:
中国人工智能
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
线性可采纳搜索算法的充要条件
张伟
《第一届中国人工智能联合学术会》
|
1990年
搜索论;
2.
解释与联想的学习方法
龚义涛
《第一届中国人工智能联合学术会》
|
1990年
解释;
3.
聚类分析引导的自动规则获取
杨庆
《第一届中国人工智能联合学术会》
|
1990年
聚类分析;
4.
一种获取物体表面三维信息的算法原理
魏湘曙
《第一届中国人工智能联合学术会》
|
1990年
算法;
5.
面向机械设计的智能CAD环境
寿宇澄
《第一届中国人工智能联合学术会》
|
1990年
计算机辅助设计;
6.
复杂背景下目标识别的一种基于知识的方法
王以治
《第一届中国人工智能联合学术会》
|
1990年
人工智能;
7.
一个实用的LSI版图设计规则检查及修改系统
毛晓明
《第一届中国人工智能联合学术会》
|
1990年
图象处理;
8.
PCB逻辑图手稿输入系统
沈清
《第一届中国人工智能联合学术会》
|
1990年
逻辑设计;
9.
泛欧几何的基础编码——段码及其应用
刘鸿健
《第一届中国人工智能联合学术会》
|
1990年
编码;
10.
一种新型人工智能语言系统设计技术研究
胡运发
《第一届中国人工智能联合学术会》
|
1990年
人工智能;
11.
一个实用的PROLOG-DBMS系统实现
李磊
《第一届中国人工智能联合学术会》
|
1990年
数据库;
12.
人工智能系统体系结构的功能化设计
高济
《第一届中国人工智能联合学术会》
|
1990年
系统结构;
13.
一种新型智能机核心语言模型——LFOO
李凯
《第一届中国人工智能联合学术会》
|
1990年
逻辑设计;
14.
CASE:一个基于属性描述的增量式概念获取系统
陈世福
《第一届中国人工智能联合学术会》
|
1990年
学习机;
15.
面向概念的通用知识获取系统
王申康
《第一届中国人工智能联合学术会》
|
1990年
人工智能;
16.
智能装配机器人知识库及装配顺序的规划方法
何菁
《第一届中国人工智能联合学术会》
|
1990年
机器人;
17.
利用人工势场的移动机器人局部路径规划
金小平
《第一届中国人工智能联合学术会》
|
1990年
机器人;
18.
电液位置伺服系统仿人智能型模糊-自适应控制
王应建
《第一届中国人工智能联合学术会》
|
1990年
自适应控制;
19.
WOIMS:油田井下作业智能管理系统
蔡令涵
《第一届中国人工智能联合学术会》
|
1990年
知识表达;
20.
论思维及模拟智能
尹红风
《第一届中国人工智能联合学术会》
|
1990年
思维;
21.
用于识别多字体英文印刷字符的人工神经网络
林填机
《第一届中国人工智能联合学术会》
|
1990年
人工神经;
22.
联接机制表达知识的两种方案
王珏
《第一届中国人工智能联合学术会》
|
1990年
人工智能;
23.
大型专家系统设计方法
涂序彦
《第一届中国人工智能联合学术会》
|
1990年
系统设计;
24.
具有两级不确定性的推理模型
刘大有
《第一届中国人工智能联合学术会》
|
1990年
专家系统;
25.
知识库系统KBS/TH-1的研究与实现
王克宏
《第一届中国人工智能联合学术会》
|
1990年
数据库;
26.
在多个ES协作系统中不一致性问题的处理
刘大有
《第一届中国人工智能联合学术会》
|
1990年
一致性;
27.
多专家系统协作时辨论过程中的相对正确度及其计算
马志方
《第一届中国人工智能联合学术会》
|
1990年
函数;
28.
高性能专家系统工具DECISION-T
史济建
《第一届中国人工智能联合学术会》
|
1990年
人工智能;
29.
用面向对象的数据库系统支持知识库的管理
陈平
《第一届中国人工智能联合学术会》
|
1990年
数据库;
30.
面向并行求解的通用黑板系统开发工具GDBDT
张赤红
《第一届中国人工智能联合学术会》
|
1990年
人工智能;
31.
支持专家系统开发:协同式界面模型
吴朝晖
《第一届中国人工智能联合学术会》
|
1990年
系统结构;
32.
一种集成化的知识表示途径
杨德仁
《第一届中国人工智能联合学术会》
|
1990年
人工智能;
33.
计算机科学中的逻辑挑战
刘叙华
《第一届中国人工智能联合学术会》
|
1990年
逻辑系统;
34.
基于闭半环算法簇的形式证明和具体实现
薛锦云
《第一届中国人工智能联合学术会》
|
1990年
算法;
35.
基于MSLDNF消解的缺省推理系统
范仲春
《第一届中国人工智能联合学术会》
|
1990年
缺省理论;
36.
直觉模糊逻辑中的归结方法
石生力
《第一届中国人工智能联合学术会》
|
1990年
逻辑;
37.
再谈一阶逻辑的重写证明算法
刘广清
《第一届中国人工智能联合学术会》
|
1990年
重写规则(转换语法);
38.
CSCAS:规范化简的计算机代数系统
李岳峰
《第一届中国人工智能联合学术会》
|
1990年
计算机系统;
39.
连接法中的几个简化规则及其算法
缪淮笔
《第一届中国人工智能联合学术会》
|
1990年
算法;
40.
多维线性空间的非确定性问题求解研究
刘国衡
《第一届中国人工智能联合学术会》
|
1990年
问题解答;
41.
一种机器学习发现系统
蔡庆生
《第一届中国人工智能联合学术会》
|
1990年
学习机;
42.
MPLS:一个数学证明学习系统
徐立本
《第一届中国人工智能联合学术会》
|
1990年
学习系统;
43.
SWT3——一个基于问题分解的布尔函数极小化方法
洪家荣
《第一届中国人工智能联合学术会》
|
1990年
布尔函数;
44.
从示例中学习规则的基本框架
吴轶华
《第一届中国人工智能联合学术会》
|
1990年
学习机;
45.
解释学习的星法
何钦铭
《第一届中国人工智能联合学术会》
|
1990年
解释;
46.
ABAS——一个基于联想的类比学习系统
赵德开
《第一届中国人工智能联合学术会》
|
1990年
人工智能;
47.
围线特征基元及其在二维速度场计算中的应用
傅洁
《第一届中国人工智能联合学术会》
|
1990年
围线基元;
48.
基于预测的三维物体识别定位
万享
《第一届中国人工智能联合学术会》
|
1990年
模式识别;
49.
MRRE:三维多体运动参数的鲁棒估计
庄新华
《第一届中国人工智能联合学术会》
|
1990年
刚体运动学;
50.
ECARG的匹配及其应用研究
王成道
《第一届中国人工智能联合学术会》
|
1990年
图象分析;
51.
基于PROLOG和GKS一体化的图形系统
王鸿谷
《第一届中国人工智能联合学术会》
|
1990年
图象处理;
52.
三种归结原理的相容性问题
刘叙华
《第一届中国人工智能联合学术会》
|
1990年
归结原理;
53.
算子fuzzy逻辑及其归结推理的改进
刘叙华
《第一届中国人工智能联合学术会》
|
1990年
算子;
54.
汉语同音字识别
杜中军
《第一届中国人工智能联合学术会》
|
1990年
汉语;
55.
概念程序设计及其支撑系统的设计与实现
郭福顺
《第一届中国人工智能联合学术会》
|
1990年
概念;
56.
智能数据库研究
吴信东
《第一届中国人工智能联合学术会》
|
1990年
数据库;
57.
可信度函数的分解
郑方青
《第一届中国人工智能联合学术会》
|
1990年
函数;
58.
DAI系统控制的分布及其规划
高济
《第一届中国人工智能联合学术会》
|
1990年
人工智能;
59.
约束知识环境
廖乐健
《第一届中国人工智能联合学术会》
|
1990年
一致性;
60.
一种新的知识表示方法——FGR及其应用
李祖枢
《第一届中国人工智能联合学术会》
|
1990年
人工智能;
61.
定性推理
石纯一
《第一届中国人工智能联合学术会》
|
1990年
推理;
62.
假设推理中多推理者的推理机制研究
王献昌
《第一届中国人工智能联合学术会》
|
1990年
推理;
63.
仿人智能控制理论研究
李祖枢
《第一届中国人工智能联合学术会》
|
1990年
控制论;
64.
控制系统故障诊断的智能方法
谭民
《第一届中国人工智能联合学术会》
|
1990年
控制系统;
65.
基于知识的非线性动态系统的容错控制研究
周京华
《第一届中国人工智能联合学术会》
|
1990年
人工智能;
66.
人工智能中的两个学派
张钹
《第一届中国人工智能联合学术会》
|
1990年
人工智能;
67.
自动生成层次神经网络的反推(Back-Propagationⅸ学习算法
庄新华
《第一届中国人工智能联合学术会》
|
1990年
神经网络;
68.
纹理特征抽取和纹理识别的神经网络系统
王成道
《第一届中国人工智能联合学术会》
|
1990年
神经网络;
69.
数学形态学——串行算法和圆盘序列分解
龚炜
《第一届中国人工智能联合学术会》
|
1990年
算法;
70.
智能计算机操作系统的设想
周天爵
《第一届中国人工智能联合学术会》
|
1990年
操作系统;
71.
电子设备的实时维护与诊断
魏蛟龙
《第一届中国人工智能联合学术会》
|
1990年
电子器件;
72.
汉语人机接口HRJ的自动分词技术
黄祥喜
《第一届中国人工智能联合学术会》
|
1990年
自动分词;
73.
现代汉语句子分析中的歧义现象及其处理策略
刘开瑛
《第一届中国人工智能联合学术会》
|
1990年
汉语;
74.
基于合一的汉语生成
李东
《第一届中国人工智能联合学术会》
|
1990年
汉语;
75.
英语并列连接结构的一种分析方法
沙新时
《第一届中国人工智能联合学术会》
|
1990年
句法;
76.
能处理模糊概念的数据库自然语言接口DBFNLI
姜良
《第一届中国人工智能联合学术会》
|
1990年
数据库;
77.
书面汉语自动分词和理解系统PTCUS
黄祥喜
《第一届中国人工智能联合学术会》
|
1990年
汉语;
78.
对机器翻译速度的探讨
吴岩
《第一届中国人工智能联合学术会》
|
1990年
机器翻译;
79.
对自动文摘的研究和实践
徐越
《第一届中国人工智能联合学术会》
|
1990年
文摘;
80.
等式型函数逻辑型语言执行机制的研究
田新民
《第一届中国人工智能联合学术会》
|
1990年
函数;
81.
并行推理机RAP/LOP-WAM的抽象机模型和体系结构
高耀清
《第一届中国人工智能联合学术会》
|
1990年
推理;
82.
CASC语言实现中若干人工智能技术
衷仁保
《第一届中国人工智能联合学术会》
|
1990年
人工智能;
83.
移动机器人路径规划算法的实验研究
艾海舟
《第一届中国人工智能联合学术会》
|
1990年
机器人;
意见反馈
回到顶部
回到首页