浅议科研管理中的项目查新   总被引：4，自引：0，他引：4  

邹辉霞 《科研管理》1996,17(2):56-58

本文针对当前科研项目查新的现状,结合作者多年的查新实践,论述了项目查新的作用、查新的程度以及研究者在委托查新中应注意的问题.  相似文献   

基于贝叶斯网络的验证激励向量生成研究     

王润  蒋剑飞  王琴 《教育技术导刊》2020,19(7):1-4

为了解决传统数字芯片验证环节中基于仿真的验证（或动态验证）功能覆盖率收敛速度慢的缺点,提出一种新的以功能覆盖为导向的测试用例生成方法,该方法基于贝叶斯网络和机器学习技术,可实现从覆盖模型到测试用例生成器反馈回路的自动关闭,在 DUT 的验证过程中,使用该方法为所测试的设计生成新的激励。实验结果表明,基于贝叶斯网络的 CDG 技术测试用例使用较少,覆盖率收敛更快,与传统基于仿真的验证技术相比,测试用例数量减少了 43%。基于贝叶斯网络的 比于传统动态验证技术而言其芯片功能验证更完善。  相似文献   

我国刑事诉讼证人保护的思考     

缪妙 《三明学院学报》2006,23(1):85-88

证人不作证严重地妨碍司法公正的实现,而完备的证人保护制度可以有效促进证人履行作证义务。文章探讨了我国证人保护的理论依据,分析了证人保护立法存在的缺陷,从成立专门的证人保护机构、扩大证人保护的预防对象、增加证人保护的对象范围、扩大证人保护内容、强化证人保护措施等方面提出了我国证人保护的构想。  相似文献   

如何作好建设工程竣工结算审核工作     

王海鹏 《泰州职业技术学院学报》2007,7(4):36-38,46

工程竣工结算系指施工企业按照合同规定的内容全部完成所承包的工程，经验收质量合格，并符合合同要求之后，向发包单位进行的最终工程款结算。经审查的工程竣工结算是核定建设工程造价的依据，也是建设项目竣工验收后编制竣工决算和核定新增固定资产价值的依据。工程竣工结算审核工作的质量好与坏，对整个建设项目工程造价的控制，起着关键的作用。  相似文献   

基于时空自动机的CPS建模与验证     

赵文明  陈仪香  张敏 《科技通报》2015,(1)

为了描述信息物理融合系统(cyber-physical systems,CPS)的时空一致性,一种实时规范语言STe C已经提出[1],CPS的设计和实现能否满足时空一致性显得十分重要。文中对混成自动机进行了扩展,提出了具有位置驱动特点的时空自动机。文中提出了基于时空自动机的CPS建模与验证框架。在框架中,首先使用STe C语言对CPS进行了描述并使用时空自动机对CPS进行建模。文中采用的形式化验证方法为微分动态逻辑(differential dynamic logic,DL),其操作模型为HP(hybrid program)。利用DL可以将所建模型转换为对应的HP。结合得到的HP对验证的CPS属性进行规约,最后使用定理证明器Ke Ymaera对属性进行自动化验证。  相似文献   

基于Pro/E&VC的直齿圆柱齿轮的参数化设计与校核     

佛新岗  郭红星  白钰枝  雷蕾 《大众科技》2015,(6)

根据计算机辅助工艺设计的需求,以Pro/E自带的Pro/Toolkit开发包为平台,结合Visual Studio 2005编程软件,对Pro/E进行二次开发,完成了直齿圆柱齿轮的参数化设计。该设计通过人机交互界面,即可快速实现直齿圆柱齿轮的建模。  相似文献   

If Only They Knew: Audience Expectations and Actual Sourcing Practices in Online Journalism     

Ville J. E. Manninen 《Journalism Practice》2020,14(4):412-428

ABSTRACT

This article answers the question “Are the sourcing practices in Finnish online journalism trustworthy?” Here, trustworthiness is operationalized as the fulfillment of audience expectations towards sourcing practices. To this end, expectations of young Finnish adults (aged 18–28) were compared to the observed practices of Finnish online journalists. A total of 36 news items (from 12 journalists working in three newsrooms, published in 2013 and 2017) were analyzed. The analysis indicates that online journalists’ sourcing practices largely do not conform to this audience segment's expectations. Namely, the audience expects more comprehensive investigation and thorough verification than what is common practice in online journalism. The use of high-credibility sources is both expected and commonplace. The results imply that transparency may be harmful rather than beneficial to journalism's credibility, as the unveiled practices do not always meet audience expectations.  相似文献   

基于科研评价的文献查证工作浅析     

谢桂苹 《现代情报》2010,30(7):126-128

本文论述了文献查证工作的背景、目的及意义,结合笔者工作经验,对文献查证服务工作中存在的问题进行了分析,并提出了解决的建议。  相似文献   

论认识     

李聪明 《唐山学院学报》2005,18(4):20-23

从认识的一般过程和方法来看,认识的对象是个别存在物及其全体,目标是所有存在物的一般存在状态和方式,认识的方法主要有归纳、推广、演绎、假设及其验证等,其中,假设是认识的关键环节,验证是认识的最终决定因素。借助假设及其验证,认识得以跨越经验的、有限的直接对象和超验的、无限的目标之间的双重鸿沟而成为可能,同时也将自身限定在对所有存在物的一般存在状态和方式的经验。  相似文献   

《宋诗纪事补正》疏失举正   总被引：2，自引：0，他引：2  

傅璇琮  张如安 《南京师范大学文学院学报》2003,(4):154-165

《宋诗纪事补正》是钱钟书先生生前未曾面世的作，2003年1月出版。此书旨在补正清厉鹗《宋诗纪事》之错谬疏漏，但《补正》一书本身也仍有不少可议之处。本就书中按语和纪事的疏失，所补诗的作及字之误，以及失校、违例等，核查必要资料，选其中代表性的例子，予以举正。  相似文献