首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 15 毫秒
1.
ELNF归约演算     
ELNF演算是在LNF演算的基础上扩充而成的函数/逻辑归约演算系统,扩充的主要工作包括逻辑变量、谓词名的引进。提出并描述了逻辑函子SOLUTION和PROVE及其归约规则.讨论了ELNF演算的基本概念。为表征HORN子句提供了一种有效方式。  相似文献   

2.
THEEFFECTOFZnOONBURNINGOFPORTLANDCEMENTCLLNKERINRAPIDHEATING-UPBURNINGXuGuangliangSouthwestINstituteofTechnologyHuangWenxiChe...  相似文献   

3.
关于渔船航行安全的探讨ONTHESAFETYOFFISHINGVESSELNAVIGATION郑奇侃,吴龙斌,朱伟ZhengQikanWuLongbingZhuWei(浙江水产学院舟山316101)(ZhejiangFisheriescollege,...  相似文献   

4.
将修正了的MYCIN的可信度因子CF与PROSPECTOR的两种规则的不确定度量充分性和必要性度量LS,LN,放在BAYES框架下进行综合考虑,建立CF与LS,LN的函数关系,最后用实例说明了此模型的计算方法与主观BAYES方法的结果是一致的  相似文献   

5.
利用WKL-3型可控式消煮炉测定土壤全氮的最佳时间研究刘东强,韩志卿,张电学(河北农业技术师范学院农学系,昌黎,066600)STUDYONTHEOPTIMUMTIMEFORDETERMININGTOTALNITROGENINSOILSWITHTHE...  相似文献   

6.
S_Ⅱ型高效生物复合肥防治花生根结线虫病效果白凤鸣,刘云江,张敬国,牛丙友(河北省昌黎县农林局昌黎,066600)EFFECTOFS.HIGNEFFICIENTCOMPOUNDFERTILIZERONTHECONIROLOFMEL.OIDOCYNEPN...  相似文献   

7.
ONDIRICHLETPROBLEMFORACLASSOFSECONDORDERPARTIALDIFFERENTIALEQUATIONINTHECLIFFORDANALYSIS*LiShengxunQiuJiqingDepartmentofFunda...  相似文献   

8.
PLC控制双效溴化锂吸收式制冷装置能量自动调节ONENERGYAUTOMATICREGULATIONOFDOUBLE-EFFECTLITHIUMBROMIDEREFRIGERATINGMACHINEBYMEANSOFPROGRAMMABLELOGIC...  相似文献   

9.
MIXEDBOUNDARYVALUEPROBLEMFORSECONDORDERSYSTEMOFDIFFERENTIALEQUATIONSOFTHEELLIPTICTYPEChenQingxiang(陈庆祥)(ZhongshanUniversity,G...  相似文献   

10.
BIOGENESISOFTHYLAKOIDMEMBRANESWITHRECONSTRUCTIONOFCHLOROPHYLL-PROTEINCOMPLEXESINDELETION-MUTANTOFORF469INBLUE-GREENALGAWuQin...  相似文献   

11.
论述了铁电场效应晶体管(FFET)的基本工作原理,给出了其设计方案.采用SOL-GEL法制备了基本的MFS-FET和MFOS-FET,对其电性能进行了测试分析.测试结果表明:MFOS结构的FFET具有极化存储特性.  相似文献   

12.
关于高校内部管理的四个标准ONFOURCRITERIAOFTHEINTERIORMANAGEMENTOFTHEUNIVERSITIESANDCOLLEGESChenZhangming(ZhejiangFisheriesCollege,Zhoushan...  相似文献   

13.
关于深化我院后勤改革几个问题的探讨ONSOMEPROBLEMSOFDEEPENING OFLOGISTICSREFORMINOURCOLLEGETaoGenyou(ZhejiangFisheriesCollege,Zhoushan316101)陶根友...  相似文献   

14.
试论科技期刊青年编辑知识结构重建ONREESTABLISHMENTOFKNOWLEDGESTRUCTUREFORTHEEDITORIALYOUNGERSOFTHESCIENCE-TECHNOLOGYPERIODICAL黄品全HuangPinquan(...  相似文献   

15.
生化黄腐酸(BcFA)浸种对小麦幼苗生长及干旱时的生理影响杨晓玲(河北农业技术师范学院园艺系,昌黎,066600)THEEFFECTOFBIOCHEMICALFULVICACID(BcFA)ONTHEGROWTHOFWNEATSEEDLINGANDS...  相似文献   

16.
市场经济下渔业行政执法若干问题初探谢加洪(浙江省水产局渔场渔政站)SEVERALPROBLEMSONTHELAWENFORCEMENTOFFISHERIESADMINISTRATIONUNDERTHEMARKETECONOMYXieJiahong(F...  相似文献   

17.
论快乐体育在高校体育教学中的实施ONTHEAPPLICATIONOFJOYFULPHYSICALEDUCATIONINP.E.TEACHINGOFCOLLEGEHuangYongliangTaoGenyou(ZhejiangFisheriesColl...  相似文献   

18.
关于非线性抛物型方程组的两类边值问题   总被引:1,自引:1,他引:0  
ONTWOKINDSOFBOUNDARYVALUEPROBLEMFORNONLINEARPARABOLICSYSTEMOFEQUATIONS*XuKemingYangGuangwuDepartmentofFundamentalCourses,Hebe...  相似文献   

19.
在分析多媒体数据库管理方法和OLE技术的基础上,提出了一种管理多媒体数据的新方法,该方法将多媒体数据作为OLE对象,并把对OLE对象的管理机制集成到面向对象的多媒体数据库系统中,为实现该目标,本文提出了对OLE协议进行改进与扩充,并把OLE对象作为可扩充“插件”的形式进入多媒体数据库的设想与措施。通过新的OLE协议将多媒体数据库、OLE对象及OLE对象服务器集成为一体,为多媒体数据的制作、演播及高  相似文献   

20.
谈我院教学改革的若干体会ATENTATIVEEXPLORATIONOFZFCFOREDUCATIONREFORM梅文骧宋富军MeiWenxiangSongFujun(浙江水产学院,舟山316101)(Zhejiangfisheriescolege,Z...  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号