•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第8461-8480项 搜索用时 132 毫秒
[首页] « 上一页 [419] [420] [421] [422] [423] 424 [425] [426] [427] [428] [429] 下一页 » 末  页»
8461.
  总被引:2,自引:0,他引:2
为了克服L.Farinas del Cerro等人的命题模态归方法过多的符号冗余,我们增加了一条两个可能处子约束下公式的归结规则,称之为樗模态旭结方法,证明了标记模态归结的可靠性与完备性,这种新模态归结方法具有下述特点:归结式未必是父子句的逻辑结果,但却是输入子句集的逻辑结果… …   相似文献
孙吉贵  刘叙华 《软件学报》1996,7(A00):156-162
8462.
  总被引:2,自引:0,他引:2
本文研究AutoCAD与外部关系数据库系统的连接技术,实现了两种高效实用的连接方法,并且对这两种方法进行了比较。  相似文献
8463.
  总被引:2,自引:0,他引:2
本文介绍了基于Novell Netware 3.11文件管理系统中网络文件共享的五种共享模式,对一些资料上关于这方面的论述进行了修正和完善,并探讨了在Novell Netware3.11局域网中文件共享的具体实现机制。  相似文献
8464.
  总被引:2,自引:0,他引:2
激光打标机是一种新型的机、光、电一体化设备,本文介绍了用单片机控制激光打标机的软、硬件接口。介绍的设备有产品问世。  相似文献
8465.
  总被引:2,自引:0,他引:2
如何描述证据理论中信任函数的动态变化是一个很重要的研究课题,证据函数的限定化概念在刻画这种动态变化方面具有重要用途,本文比较了限空化概念的2种定义方式,指出了Kruse等人在他们的著作“Uncertainty and Vagueness in Knowledge Bas… …   相似文献
刘大有  李岳峰 《软件学报》1996,7(A00):216-223
8466.
  总被引:2,自引:1,他引:2
韵律理解是言语合成的基础,本文分析了文语转换系统TTS(texe to speech)的研究现状,提出了韵律置标的方法,设计了韵律符号,并将其用于汉语TTS系统中,实现了重音和语调的模拟,改善了输出语音的自然度。  相似文献
蔡莲红  涂相华 《软件学报》1996,7(A00):514-518
8467.
  总被引:2,自引:0,他引:2
TMS320C25是一种高性能数字信号处理器。本文介绍了一种用TMS320C25与PC机构成的主从结构并行计算机系统。该系统的特点是将TMS320C25高速数字信号处理系统作为PC机的插件板,直接插入PC机的扩展槽中,利用双口RAM实现TMS320C25与PC机之间的相互通讯。它… …   相似文献
8468.
  总被引:2,自引:0,他引:2
本文简要介绍了华中理工大学校园网HUnet建设规划,分析了HUnet建设中图书馆自动化系统存在的问题,重点叙述了HUnet建设总体目标和策略,网络结构以及所采用的网络体系结构和协议,具体讨论了HUnet建设中的图书馆自动化发展策略。  相似文献
8469.
  总被引:2,自引:0,他引:2
本文提出数据库设计是管理信息系统开发中的重点,必须采用以数据为中心的开发方法,最后介绍了数据库设计的基本方法和一个实例。  相似文献
8470.
  总被引:2,自引:0,他引:2
本文简要介绍了多媒体技术和图文电视技术及其在电视会议系统中的应用,并简介了由四川鼎天微电有限公司研制的“多媒体图文电视会议系统”。该系统只需轻触多媒体电脑荧屏即可完成诸如各会场画面,声音的切换和各会场的摄像机的上,下,左,右运动及镜头的变倍,变焦,光圈等的操作,同时可捕捉画面,以… …   相似文献
8471.
  总被引:2,自引:2,他引:2
美国微软公司(Microsoft)提出的开放型数据库互连ODBC(OpenDataBaseConnectivity)是近期关于异构型数据库访问的最重要进展之一。本文分析了异构型数据库间不能互操作的原因,介绍了ODBC的产生与发展、体系结构与特性、以及一致性级别。  相似文献
8472.
  总被引:2,自引:0,他引:2
本文介绍了国外经济发达国家开发和应用医院信息系统的状况,探讨了医院信息系统所应提供的信息和功能,并提出我国今后开发医院信息的方向的建议。  相似文献
8473.
  总被引:2,自引:0,他引:2
本文按照经济规律分析了企业的总产值、资金投入和劳动力投入的关系,提出了三个关于企业人才总量需求预测模型;根据各类人员职务变动的概率,建立了预测企业各类人员需求的马尔可夫模型。本系统具有模型管理、数据库管理和对话管理的功能,实现了模型求解和统计检验的自动化,并有良好的通用性。用户可… …   相似文献
8474.
  总被引:2,自引:0,他引:2
“定量问题求解系统”,是AI和专家系统领域内的一门新技术。其目的是建立集科学、工程技术中广为应用的量、公式、定量等定理知识为一体的知识存储、检索和问题求解的计算机系统。本文简述国外计算机定量问题自动求解系统研究工作。全文介绍了定量问题求解系统的研究对象和一般的理论方法,并着重讨论… …   相似文献
8475.
  总被引:2,自引:0,他引:2
本采用面向对象的思想提出描述管理信息系统的一种体系模型,给出了在软件开发过程中如何获取体系模型中各组成部分的准则和方法,并应用于实际开发基础上中。  相似文献
王立福  易晓勇 《软件学报》1995,6(1):202-206
8476.
  总被引:2,自引:0,他引:2
本文介绍了新一代基于产品数据的数据交换标准PDES/STEP的结构和特点,并提出了将基于特征的造型系统所建立的产品信息模型运用PDES/STEP来表示,从而实现CAD/CAM信息集成系统中数据交换和共享的方法。  相似文献
8477.
  总被引:2,自引:0,他引:2
本文提出用等时扫描法设计实时开入软硬接口,以解决简化电路,保证实时性和去抖动等实际问题,该方法简单实用,经长期应用证明能被有效用于单片机智能仪器仪表及一般微机测控系统中。  相似文献
8478.
  总被引:2,自引:0,他引:2
本文对sigmoid函数的陡度、学习速率、动量因子等的选取探讨,分析它们对收敛速度的影响,提出一些选取时应考虑的问题,在模糊控制规则生成和智能控制应用中证明本文提出的BP算法参数选取方法能有效地缩短训练时间。  相似文献
8479.
  总被引:2,自引:0,他引:2
运算量极大是模板匹配运算的一个关键问题。本文在分析前人工作的基础上提出一种新的匹配算法-基于自学习阈值的快速匹配。本算法从图象本身特征出发,用学习的方法获得了序列阈值,使匹配运算得以加速;同时完全消除了图形匹配测并曲面呈现多峰时出现失配的的可能,而且使我峰状太忧为匹配加速的动力之… …   相似文献
8480.
  总被引:2,自引:0,他引:2
本文介绍了由单片机和PC机组成的测试系统在压力容器应力测试中的应用研究,并用三次样条插值法对测试结果进行处理,得出相当理想的结果,计算机绘制出的应力分布曲线与理论计算的分布曲线有良好的对应关系。  相似文献
[首页] « 上一页 [419] [420] [421] [422] [423] 424 [425] [426] [427] [428] [429] 下一页 » 末  页»