消解原理:在我们前面所说的谓词公式,推理规则和置换合一等概念基础上我们进一步研究消解原理.什么是消解?我们举个例子:如果存在公式E1\/E2和另一个公式~E2\/E3,那么E1\/E3在逻辑上就成立,这就是消解,我们称E1\/E3为E1\/E2和~E2\/E3的消解式.在说明消解过程之前,我们先说明任意一谓词演算公式可...

[阅读全文]

我们来讲讲高级求解技术:1.规则演绎系统:我们用if-then规则来求解问题:IFif1if2if3...THENthen1then2then3...如果then后面是新断言,那么称为规则演绎系统,如果then后面是用于规定动作我们称为反应式系统.我们说说规则演绎系统,通常我们把规则演绎系统中每个if为前项,每个the...

[阅读全文]

医院信息化发展调查研究报告（来自赛迪）　医院信息化发展调查研究报告（作者：赛迪顾问　2000年12月05日11:52）　　信息技术的应用对医疗卫生行业来说并不是新事物，特别是我国1995年开始的“金卫工程”推动了医疗卫生行业信息化的建设，提高了医务人员的工作效率，加快了病人就诊的速度，根除了“三长一短”（挂号、收费、取...

[阅读全文]

视讯向哪延伸长久、信息

[阅读全文]

(接上期)4.标准建模语言UML的应用领域UML的目标是以面向对象图的方式来描述任何类型的系统,具有很宽的应用领域。其中最常用的是建立软件系统的模型,但它同样可以用于描述非软件领域的系统,如机械系统、企业机构或业务过程,以及处理复杂数据的信息系统、具有实时要求的工业系统或工业过程等。总之,UML是一个通用的标准建模语言...

[阅读全文]

语音识别技术面临的问题高皓2000/12/19　　凭心而论，语音识别是一项复杂的技术，特别对于汉语语音识别尤其如此。因此，尽管多年前就有众多公司和研究机构开始了语音技术，包括语音识别和语音合成技术的研究，但直到最近一两年，在国内应该说是今年，才开始有规模的商用。　　国外已经有了不少较大规模的语音识别IVR系统或者呼叫中...

[阅读全文]

会议电视技术及其发展北京邮电大学图象处理与传输实验室全子一杨成军从６０年代开始，世界发达国家开始研究模拟会议电视系统，并逐渐商用化。６０年代末期，在压缩编码技术推动下，由模拟系统转向数字系统。８０年代初期，研制出２Ｍｂｉｔ／ｓ彩色数字会议电视系统，日本和美国形成非标准的国内会议电视网。８０年代中期，大规模集成电路技术飞...

[阅读全文]

PROPFINDPROPFINDDAV方法用来获取节点的属性。属性包含PRESENCEINFORMATION的一些元组（相关值的集合），如在线状态或所代表的PRINCIPAL的显示名称。对于RVP，PROPFIND方法用来从其它PRINCIPALS各自的本地服务器上获取其在线状态。此方法还可以用来提取RVP实现可能保持...

[阅读全文]

中关村能成为下一个硅谷吗？1999年，世纪之末的中国发生了许多大事。从经济的层面上去看，中国与美国正式签署WTO双边协议，算是最让人高兴的事，无论是中国政府的官员，工业企业的老板，还是外商企业的代表，人们无不憧憬着这一协议给二十一世纪的中国所带来的商业机遇。在中国的大城市上海，财富500家论坛的成功举行给企业界更多的启...

[阅读全文]

UNIX中的复用消息SystemV中的IPC技术是指进程间相互通讯技术。消息队列使用消息队列标识符标识，具有足够权限的任何进程都可以往一个给定消息队列放置消息，并且也可以从队列中读出消息。与一个队列中的每个消息相关联的类型字段可用于标识消息，从而允许多个进程在单个队列上复用消息。考虑我行储蓄通存通兑的实现过程，模拟一个...

[阅读全文]

基于MPEG技术的电视会议系统山歌MPEG技术MPEG技术是近10年国际图像压缩编码技术的结晶，也是伴随信息时代应运而生的热门技术。随着各种图像压缩方法的出现和应用，国际标准化组织（ISO）和国际电信联盟（ITU）致力于制定统一的规范和标准，先后推出了电视会议的H.261建议，静止图像压缩的JPEG标准，黑白二值图像压...

[阅读全文]

响应作为对pragma/notify的Notification-Type的成功SUBSCRIBE请求的响应，PRESENCESERVICE返回一个响应代码：200-Successful（成功）。响应标头包含有关成功订阅的详细信息，其中包括Subscription-Id标头和Subscription-Lifetime标头...

[阅读全文]

网络是泡沫吗？随着美国Nasdaq股市网络股的狂升和暴跌，“网络究竟是不是

[阅读全文]

HereisalistofinstructionsandopcodesusedbyIntel,AMD,CyrixandNexgen.WeusedgdbtogetalltheinfooutoftheprocessorsTableofcontentsTechnicalSpecificationsInstructionsan...

[阅读全文]

　　近来随着计算机的快速发展，各种棋类游戏被纷纷请进了电脑，使得那些喜爱下棋，又常常苦于没有对手的棋迷们能随时过足棋瘾。而且这类软件个个水平颇高，大有与人脑分庭抗礼之势。其中战胜过国际象棋世界冠军-卡斯帕罗夫的“深蓝”便是最具说服力的代

[阅读全文]

会议电视技术介绍　　在今天的世界里，企业与他们的合作伙伴及客户间需要高效、可靠的交流工具。通过传统交换网络、IP网络以及Internet上的信息，人们可以实现包含视频、音频和同步多媒体在内的丰富协同工

[阅读全文]

AI(5)不知你学过离散数学没有,如果学过下面的可以跳过,没学过的最好找一本书学学.我们来看看知识表示法的另一种表示方法:谓词逻辑法谓词逻辑的基本组成部分为:谓词符号,变量符号,函数符号和常量符号,例如要表示机器人(ROBOT)在房间(ROOM)里,我们可以用简单的原子公式:INROOM(ROBOT,ROOM)其中RO...

[阅读全文]

StuartForbes，ICL，英国曼彻斯特摘要随着对电子商务的需求的增长，企业需要可伸缩的、高性能的、能够处理繁重的交易量和大量用户的Internet解决方案。许多演示表明这些解决方案具有很高的性能，但它们通常不是基于真实世界的解决方案。ICL和Microsoft联合在曼彻斯特和Redmond进行了基准测试，以检验...

[阅读全文]

这是在Linux下面最常用的一个统一的链表结构，Linux就是用这个结构将所有的Driver、Device什么的都分别串在一起。我觉得写得非常好，大家来看一看。-#ifndef_LINUX_LIST_H#define_LINUX_LIST_H#ifdef__KERNEL__structlist_head{　　struc...

[阅读全文]

嵌入式综合性网站http://www.eg3.com(英文)丰富的产品介绍、丰富的链接(嵌入式领域)。http://www.embedded-directory.com(英文)嵌入式产品、工具介绍，包括硬件、软件、开发工具、开发服务商、测试设备、单板、处理器、信号处理器、分析仪等。http://altair.ihep....

[阅读全文]

I、配置之前的工作配置之前，但是是去找个合适的地方下载。现在，PHP已经发展到PHP4了，所以，我只是将PHP4的安装配置介绍给大家，其实PHP3的配置和PHP4是差不多的。另外，考虑到我本人用Linux用得少，而且，绝大多数人用win系统，所以，在本站只将win下的配置。个人认为，最好的PHP4下载地点是：http:...

[阅读全文]

EROSGPL了！(及主要特色介绍)(Watson，99/10/285:52pm于202.96.19.50)如果说Linux将会被取代，没准新的明星就是它！它叫ExtremelyReliableOperatingSystem，意即“极端可靠的操作系统”。我对其中的理论所知非常有限，所以难以把关于它的论文介绍给大家，我可...

[阅读全文]

Redhat6配置实例2000-12-2516:26作者：李家芳（leejiafang@163.net）以下是我使用Redhat6.0的一些笔记，与大家分享。使用APACHE提供虚拟主机WEBSERVER-1.先把主机配置为多主址,在X下运行linuxconf命令:在Server栏下配置virtualhost,选定网卡...

[阅读全文]

作者:hushui(202.119.65.122)日期:09-2911:27为自由而战--记自由软件之父RichardStallman蓝森林http://www.lslnet.com2000年6月13日09:14　　自由软件之父：里查德·史托曼(RichardStallman)，在@!#$信息科技大会的记者招待会上畅谈...

[阅读全文]

偷看ASP原码的6种方法在没有打ServicesPack6补丁的NTserver上，至少有6种方法可以看到ASP程序的源代码,它们是:1、http://www.someserver.com/msadc/Samples/SELECTOR/showcode.asp?source=/msadc/Samples/SELECTO...

[阅读全文]

瘦客户机、Windows终端和NC的差别瘦客户机、Windows终端和NC的差别刘红个人电脑使人们的工作方式发生了革命性的变革。但现在的商业界已今非昔比,它变得更加复杂,更加实时,更加昂贵,更加互联,更加在线,也更加

[阅读全文]

置换和合一:置换:在谓词逻辑中一个重要的规则是假元推理,它是由合式公式W1和W1=>W2产生合式公式W2,另一个重要的规是则全称化推理:它是由合式公式(\-/x)W(x)产生合式公式W(A).例一:表达式P[x,f(y),B]的4个置换是:s1={z/x,w/y}s2={C/y}s3={q(z)/x,A/y}s4={c...

[阅读全文]

垂直对齐文本在“格式”菜单上单击“文本”，然后单击“文本块”。默认情况下是“居中”，使文本超出形状的高度，延伸到顶端和底端之外。选择“靠上”可使文本与形状的顶部对齐，只延伸到底端之外，这样看起来更分明。选择“靠下”可使文本底线与底端边界对齐。水平对齐文本在“格式”菜单上单击“文本”，然后单击“段落”。现在您可以选择“靠...

[阅读全文]

由于在泰坦尼克号制作中的出色表现，LINUX系统开始引起了人们的注意，在最近的各种电脑杂志和报刊上的介绍文章渐渐多了起来，许多厌倦了windows的朋友都对这个一年半载不会死机的超强壮系统很感兴趣，所以flp特搜集了一些关于LINUX的网站介绍给大家，不久我们还将推出LINUX一系列文章，敬请关注：1、最好的linux...

[阅读全文]

解读IEEE802.11标准文章来源:赛迪网楚狂(2000-12-21)IEEE802.11是第一代无线局域网标准之一。该标准定义了物理层和媒体访问控制(MAC)协议的规范，允许无线局域网及无线设备制造商在一定范围内建立互操作网络设备。　　IEEE802.11工作委员会对无线局域网的业务及应用环境、功能条件等设置了以下...

[阅读全文]