基于溯因解释的信念修正

给出了一个基于溯因推理信念修正的逻辑框架，并提出一个使用溯因方法，对带有约束条件的信念进行修正算法，该算法得到的是优化解。     

带有约束的缺省逻辑

提出了一种改进缺省逻辑的方法，讨论了这种缺省理论的性质，证明了每个缺省都有扩充，具有半单调性和累积性，并讨论了处理多扩充问题的一种方法。     

基于溯因问题求解的知识库更新

在一个广义的溯因问题框架下，讨论以逻辑公式形式表示的知识库的维护问题。使用表推演方法，检查知识库协调性，对知识库进行扩展，约减和修正，给出可行方法。     

不确定因果理论的基于模型诊断

给出当待诊断系统的模型为不确定因果理论时，基于模型诊断和模型中心诊断等概念，论证基于模型中心诊断与Ｕ－Ｓ本原蕴函／蕴涵式的直接关系，并且根据知识不确定程度对候选诊断进行排序。指出对经典因果理论基于一致性中心诊断和中心溯因诊断的刻划仅仅是文中刻划的对应诊断的两个特殊情形。     

试论合同解除的法律后果

合同解除的法律后果包括合同解除的溯及力和合同解除后的财产处理。合同解除可以具有溯及力,但这只是一种可能性,具体到某一特殊合同时,要使这种可能性转化为现实性,必须综合考虑各种因素,具体合同具体分析。合同解除后的财产处理包括恢复原状、不当得利返还和损害赔偿等。     

广义因果理论上基于模型诊断过程的形式化

对广义因果理论上基于模型诊断的一般过程进行形式化,对它与本原蕴涵／蕴涵式的直接关系进行论证,从而将理论结果与实现联系起来。表明该结果不仅能够计算只已知部件的部分故障行为方式时基于模型的诊断,还能够计算已知每个部件的各种故障行为方式下基于模型的诊断;指出对广义因果理论上基于一致性的中心诊断过程、中心溯因诊断过程的形式化只是文中给出形式化的特例。     

公路与城市桥梁养护规范中构件权重对比分析

本文通过对《城市桥梁养护技术规范》(CJJ99-2003)和《公路桥涵养护规范》(JTG H11-2004)关于桥梁技术状况评定的分析,指出了两部养护规范存在的问题,比较了两部规范对桥梁构件权重赋值差异。引入变权原理,探讨了对构件缺省项权重的处理方法。最后,对两部养护规范提出了改进建议。     

延津县：村里有了农资“放心店”

延津县是河南省唯一的放心农资下乡进村试点县。去年以来，延津县成立农资协会，协会会员建立进货验收台账制度和索证索票制度，对农资进货渠道、销售去向进行详细记载，实行农资质量可溯管理，选出15个村级农资销售门店作为农资下乡进村“放心店”,     

汉英翻译中的文化空缺现象初探

文化差异特别是文化空缺现象对翻译带来很大的困难,如何处理中英文化中空缺现象,怎样采用可操作的翻译手段,在各种语境中解决文化差异造成的语义缺省,完成语言文化内涵功能的转换,成为翻译者的首要任务。本文探讨了导致文化空缺现象的原因,并提出对文化空缺现象的处理应本着文化平等的态度,适应文化交流的客观要求。本文作者揭示出在“异化”和“归化”两种翻译模式下切实可行的翻译方法。     

一曲生命美学的颂歌——话本《杜丽娘慕色还魂》和传奇《牡丹亭还魂记》比较

从背景环境、人物形象、语言色彩几方面入手,将<牡丹亭>与其蓝本<杜丽娘慕色还魂>进行溯本探源的比较后,不难发现<牡丹亭>在文学创作上超越<杜丽娘慕色还魂>的原因,尤其<牡丹亭>体现出汤显祖"不自由,勿宁死"的悲剧观和"世总为"的情至观,更是<牡丹亭>在美学领哉内的可贵建树.     

言语幽默的多维解读——基于实例分析

运用“花园路径现象”理论、TG理论，对言语/语言幽默二者共同作用的生成过程加以句法阐述：对非言语交际理论的“目治”的先在性和“耳治”的一维性的矛盾过程加以分析；对内部语言的“多维”与外部语言的“一维”理论反溯分析；同时也运用语用语境等理论；分析一组口语情景幽默的生成过程。     

节省磁盘空间的技巧

１．对绝大多数软件而言，我们无论是采用‘完全”安装还是采用“缺省”安装，系统都会添加一些我们并不需要的组件，白白占用大量的磁盘空间。因此用户一般应采用“自定义”安装方式，只选择那些确实对自己有用的组件，以达到节省磁盘空间的目的。 ２．由于Ｗｉｎｄｏｗｓ下的各种已种已经卸载的应用程序会将一些ＤＬＬ之类的文件遗留到Ｗｉｎｄｏｗｓ的系统目录中，用户可以利用一些清理程序如。ｌｅａｎｓｗｅｅｄｅ行清除。 ３．目前，Ｉ了、ＮＣ等她览器都采用了 ＣＡＣＨＥ技术，将用户创览过的同站保存在硬盘上以加快用户再次测览相…     

战“疫”中的科技力量

<正>这是人类与病毒的殊死较量,这是科学与时间的生死竞赛。"尽快攻克疫情防控的重点难点问题,为打赢疫情防控人民战争、总体战、阻击战提供强大科技支撑。"自新冠肺炎疫情发生以来,习近平总书记多次强调要把新冠肺炎防控科研攻关作为一项重大而紧迫的任务。为了战胜新冠肺炎疫情,全国各地高校、科研机构快速行动,在疫情可溯、可诊、可防、可控方面合力攻关,与病魔较量,同时间赛跑,把一项项科研成果写在祖国大地上,筑起科学而坚固的战"疫"长城。抗击疫情就是科研使命     

论演绎作品与开放许可制度

【目的】演绎作品行使版权是可版权性与行使版权或有“侵权性”的统一，克服或有“侵权性”是著作权领域值得研究的课题。【方法】借鉴专利法中的开放许可制度，著作权法应构建引入开放许可制度。【结果】著作权开放许可制度主要由著作权开放许可的公告（要约）与获得（承诺）范式、开放许可声明撤回及其不溯及既往在先给予开放许可的效力构成，但许可费标准应以著作权价值为基础合理确定。【结论】基于演绎作品，开放许可制度可以在一定程度上去“侵权性”、降低谈判成本，使权利行使有了可期待的最高费用标准。     

科学技术部:新冠肺炎疫情可诊、可治、可防态势基本形成

<正>2020年3月6日下午,国务院联防联控机制就科技研发攻关最新进展情况举行发布会。科学技术部社会发展科技司司长吴远彬介绍,经过一个多月的努力,科研工作取得了积极成效,新冠肺炎疫情可诊、可治、可防的态势基本形成。吴远彬介绍,自疫情发生以来,科学技术部会同国家卫生健康委员会、国家药品监督管理局等13个部门组建了国务院联防联控机制科技攻关组,围绕可溯、可诊、可防、可治、可控聚焦五大主攻方向,成立了药物、疫苗、检测、溯源、中医药等9个工作专班挂图作战,先后部署了42个国家的应急项目,组织动员全国优势科技力量开展     

人因培训的新探索——人因实验室

本文介绍了人因实验室的建设构想,利用一个模拟的现场环境对工作人员进行实地的防人因工具使用培训和人因陷阱识别能力的训练,提高工作人员防人因失误的能力,减少人因事件,提升电厂运行业绩。     

追踪物理学中的跨领域模因

以美国物理学会旗下期刊2000—2019年发表的论文和Web of Science论文摘要为基础，用模因短语刻画知识，构建模因关系网络并引入跨学科测度Rao-Stirling指数以计算模因的跨领域分数，从而追踪物理学中的跨领域模因。分别从网络拓扑结构指标、跨领域测度指标和专业术语对比3个方面进行验证，证明了所提的模因关系网络和模因的跨领域分数可以有效反映知识在不同领域间的扩散现象。     

基于模因论的网络体育新闻传播研究

在概述了模因论的基本概念、流派和研究现状的基础上，通过分析和研究网络体育新闻报道中的标题、明星人物、热门事件的模因现象，揭示模因论在网络体育新闻报道中的应用现状、发展过程和特点，探求模因论对网络体育新闻报道的影响方式，为网络体育新闻传播提供有益的启示和借鉴。     

对我国硕士研究生学制改革的思考

近年来,硕士研究生学制改革后出现了诸多问题.我们认为,硕士研究生学制改革不应盲目跟风,而应"因国而异"、"因校而异"、"因科而异"、"因人而异".     

农村低保政策解读

老年人、残疾人和孤儿作为优先考虑对象 农村低保制度的主要对象是因老、因病、因残、因丧失劳动能力和生存环境恶劣而致贫的农村贫困居民。可以看出，这项制度在对象界定上就把老年人、残疾人和孤儿作为优先考虑对象。