切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
答疑系统问题的Z语言规约
答疑系统问题的Z语言规约
来源 :计算机工程与设计 | 被引量 : 0次 | 上传用户:dhgczjd
【摘 要】
:
分析了目前答疑系统存在的不足之一,即缺少标准框架,从而很难实现答疑系统之间资源的共享。因此提出了使用形式化方法来构建统一的答疑系统,利用形式化语言Z对答疑系统的主要模
【作 者】
:
崔继
周竹荣
【机 构】
:
松山职业技术学院,西南大学
【出 处】
:
计算机工程与设计
【发表日期】
:
2007年11期
【关键词】
:
答疑系统
软件工程
形式化方法
模式
Z语言
query answering
software engineering
formal method
sch
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
分析了目前答疑系统存在的不足之一,即缺少标准框架,从而很难实现答疑系统之间资源的共享。因此提出了使用形式化方法来构建统一的答疑系统,利用形式化语言Z对答疑系统的主要模块进行需求规格说明。同时用Z语言描述了答疑系统的主要操作模式,包括关键词的提取、问题的检索和知识库的更新等操作。
其他文献
胡锦涛就新形势下发展两岸关系提出四点意见
2005年3月4日,中共中央总书记、国家主席、中央军委主席胡锦涛参加全国政协十届三次会议联组会,听取委员们的意见和建议,并就新形势下发展两岸关系提出了四点意见:
期刊
胡锦涛
两岸关系
一个中国原则
台湾省
国家主权
祖国统一事业
“台独”分子
国家分裂活动
如何对农机具进行技术保养
农机具在使用过程中难免会磨损、松动,尤其是有的农机具当作业周期结束时就进入了闲置期,为使农机具保持良好的技术状态,进行技术保养是必须的,它可以有效延长农机具的使用寿
期刊
技术状态
农机具
保养
使用寿命
安全性能
倒挂式圆管气吸玉米免耕精密播种机的研制
玉米播种器械能够在一定程度上提升整体的播种效率。研制先进的器械进行玉米免耕精密播种,对于我国现在的玉米种植而言有着重大的意义。在传统设备、气力式设备的使用基础上
期刊
精密播种机
排种器
企业循环水场改造探讨
通过对机械通风逆流式冷却塔与机械通风横流式冷却塔的对比分析,总结出老型机械通风逆流式冷却塔存在的问题,并针对存在的问题提出了一系列解决办法,对企业循环水场改造进行
期刊
化工企业
循环水场
设备改造
逆流式冷却塔
横流式冷却塔
机械通风
填料
某600MW锅炉一次风机抢风的分析
在国内火电厂的生产运行过程中,风机的抢风损坏事故现象时有发生,给电厂的稳定运行和经济指标带来了严重影响。通过对某电厂锅炉运行中一次风机抢风过程的分析,结合风机性能
期刊
锅炉
一次风机
抢风
分析
boiler
a primary air fan
grabbing wind
analysis
基于隔离技术的个性化桌面保护系统
信息安全乃至个人信息的安全随着信息化的普及逐渐成为社会关注的焦点.借鉴物理隔离的思想,提出一种基于隔离技术的、可个性化配置的桌面保护系统,克服用户在上网过程中的权
期刊
物理隔离
个性化
桌面保护系统
控制模型
访问控制
强审计
physical isolation
individuation
desktop protect
浅析小麦种植机械化问题与新技术
1、小麦种植机械化问题分析小麦种植实现机械化,使劳动力和种植成本大大的降低,具有很多优势,但是在机械种植中也存在一定的问题,而这些问题很可能造成小麦的不健康生长,导致
期刊
种植机械化
小麦种植
新技术
种植成本
机械化种植
70年代
劳动力
土壤
高校数字图书馆元数据检索系统的设计与实现
结合承担某高校数字图书馆建设工程项目背景,详细分析了元数据的重要性和都柏林核心数据的特点,提出了高校数字图书馆信息检索系统总的设计思想和统一资源检索模型,最后设计出了
期刊
数字图书馆
元数据
都柏林核心数据
对象数据
检索
digital library
metadata
Dublin Core
object data
r
引进BTEC课程模式 改革高职会计专业课程
课程改革是高职院校教育的核心问题。在新形势下,高职会计专业课程改革的任务更为紧迫,需要进行模式的根本转变。本文从课程研究领域的几个方面探讨了以学生为中心、以能力为本
期刊
高等职业教育
课程改革
BTEC模式
笼型异步电动机转子断条故障诊断技术
对笼型异步电动机转子断条故障诊断进行了研究,归纳和总结出几种方法。这些方法均由研究人员进行了仿真或实验验证,对检测笼型异步电动机的转子故障是有效的。并对各种方法进行
期刊
异步电动机
转子断条
故障检测
induction motor
broken rotor bar
fault detection
与本文相关的学术论文