基金委发布可信软件基础研究重大计划项目指南

国家自然科学基金重大研究计划遵循“有限目标、稳定支持、集成升华、跨越发展”的总体思路,围绕国民经济、社会发展和科学前沿中的重大战略需求,重点支持我国具有基础和优势的优先发展领域。重大研究计划以专家顶层设计引导和科技人员自由选题申请相结合的方式,凝聚优势力量,形成具有相对统一目标或方向的项目群,通过相对稳定和较高强度的支持,积极促进学科交叉,培养创新人才,实现若干重点领域或重要方向的跨越发展,提升我国基础研究创新能力,为国民经济和社会发展提供科学支撑。 国家自然科学基金委员会(以下简称自然科学基金委)现公布“可信软件基础研究”重大研究计划2012年度项目指南(见附件)。一、申请条件 重大研究计划项目申请人应当具备以下条件: 1.具有承担基础研究课题的经历; 2.具有高级专业技术职务(职称)。 正在博士后工作站内从事研究、正在攻读研究生学位以及《国家自然科学基金条例》第十条第二款所列的科学技术人员不得申请。二......阅读全文

基金委发布可信软件基础研究重大计划项目指南

  国家自然科学基金重大研究计划遵循“有限目标、稳定支持、集成升华、跨越发展”的总体思路,围绕国民经济、社会发展和科学前沿中的重大战略需求,重点支持我国具有基础和优势的优先发展领域。重大研究计划以专家顶层设计引导和科技人员自由选题申请相结合的方式,凝聚优势力量,形成具有相对统一目标或方向的

航天嵌入式软件可信保障技术让载人航天顺利开展

  随着我国航天事业的快速发展,空间站、探月工程、高分专项等一批复杂航天任务陆续实施,软件在航天器中的作用和地位越来越突出,软件可信性已成为确保型号任务成功的重要因素。“航天嵌入式软件可信性保障集成环境和示范验证与应用 ”集成项目启动  目前,航天嵌入式软件可信性保障尚未形成系统解决方案,软件质量受

“世界需要可信赖的科学”

原文地址:http://news.sciencenet.cn/htmlnews/2021/3/454989.shtm “论文内容或图片造假”“第三方代投稿件”“假冒同行评审”……近年来,国内外许多违背科研诚信的事件曝光后,大多以论文被动撤稿落幕。在此过程中,学术期刊作为科研成果的重要载体,也遭遇

沾了“钱”的营养科学可信吗

  科学一直被认为是最接近真理的存在,但在营养与健康领域,时常有研究结论被质疑甚至推翻。近两个月来,关于糖还是脂肪对人体健康影响更大的讨论,已经蔓延到普通大众中。而关于它的争论也从学术范畴变成商业范畴。  科学被利益绑架的观点很容易引起大众的共鸣,但有时,这种观点也容易将公众引向怀疑一切的另一种极端

美媒称法式健康食谱不可信

   据美国《新闻周刊》网站2月27日报道,这是一种被称为法国悖论的理念,指的是虽然法国人比美国人摄入更多的总脂肪(根据联合国粮农组织2012年的数据),而且每天喝红酒,但仍然比美国人寿命长(2015年的数据显示法国人平均寿命81.6岁,美国人78.8岁)。法国人患有冠心病的数量也比美国少。   “

喝千滚水中毒不可信

  网络上盛传,开水房或者锅炉烧出来的水由于反复煮沸,会导致亚硝酸盐等有害物质增多,有毒的亚硝酸盐还会造成机体缺氧,严重者甚至死亡。喝千滚水真的会中毒吗?  国家二级公共营养师巩宏斌表示,千滚水中毒话题主要集中在亚硝酸盐上,它味道微咸,易溶于水,外观和味道都与盐相似,广泛用于工业、建筑业中,肉类制品

溶解曲线有双峰则ct值是否可信

如果有标准曲线,按照标准曲线计算。 一般都是相对量。则用delta delta CT方法来计算。举例如下: 对照组基因A的CT值为20, 内参(比如βactin)CT值15。实验组基因A CT值18,内参CT值14。 首先算加样量:delta CT=15-14=1。2的1次方是2。也就是说。

释放数据价值-可信流通环境正加快构建

  “如今很多人通过互联网上的数据获取信息,但对数据来源却可能一无所知。这点让我一直忧心忡忡。”2007年诺贝尔经济学奖获得者、哈佛大学经济及数学系终身教授埃里克·马斯金分享的这一感受,引起现场观众对数据应用的思考。  6月20日至21日,2023阿里巴巴罗汉堂数字经济年会在杭州举办,汇集7位诺贝尔

人工智能辅助科研要从可用走向可信

未来,人工智能或将帮助科研工作者跳过文献检索、粗读的过程,直接找到需要的文献,大幅提升科研工作者的文献阅读效率。对于科研工作者来说,检索、阅读文献是一项费时费力的工作。在大模型发展如火如荼的今天,以其为代表的人工智能正渗透进人们工作生活的各个角落,科研领域也不例外。日前,阿里巴巴发布了基于Trans

王小云:让网络社会更安全可信

   2005年,一位中国女科学家的名字震动了全球密码学界。  她带领博士生于红波提出对两大用于数字签名经典Hash(哈希或者杂凑)算法体系(MD5和SHA-1)的破解策略,导致标准制定者美国标准技术研究所(NIST)不得不提前弃用SHA-1,启动新算法的设计。  她就是密码研究者王

李连达院士:“酸性体质说”不可信

  回放:   近日,一则“85%癌症患者属于酸性体质”的帖子在微博、微信上被广泛转载。发帖人称,人的体质分为酸性和碱性两种,保持碱性体质有助于对抗癌症等各种疾病。人们在饮食中应少吃酸性食物,多吃碱性食物,以改变人的体质。   疑问:   人的体质真有酸性和碱性之分?如果是真的,酸碱性体质真的

我国首批63个可信数据空间试点公布

记者从国家数据局获悉,2025年可信数据空间创新发展试点名单日前正式公布。这是我国首批可信数据空间创新发展试点,共63个试点项目入选,包括13个城市、22个行业和28个企业可信数据空间。据悉,此次试点工作旨在打造一批资源丰富、应用创新、生态繁荣、成效显著的可信数据空间,在数据资源可信共享、数据要素价

酒精测试仪软件的你软件概述

  酒精测试仪是一款手机上的生活类软件,根据用户所输入的饮酒信息,及时测试车主血液酒精浓度,进而提示所处的“醉酒驾驶”、“饮酒驾驶”、“安全驾驶”状态,并提醒不同状态下距离安全驾驶所需的时间。

湖南消委警示:净水器“能治病”不可信

  伴随南方气温慢慢回升,净水器也逐步接近热销期。4日,湖南省消费者委员会发布消费警示,提醒广大消费者要科学选购净水器,不要相信“能治病”之类的虚假宣传。   据湖南省消费者委员会有关负责人介绍,目前市场上销售的净水器品牌多,价格差异大,产品质量参差不齐,有的没有取得卫生部门颁发的许可证就生产、销

详解可信计算、OS和RAID卡知识(二)

第2章、服务器操作系统基础知识

关于化学分析结果的可信性

在分析化学的定量分析中,可信性应该是对分析结果即测出的分析物含量而言的,只有分析结果达到了一定的可信程度才是可取的。而RSD只是评价各次分析结果相互接近程度的一种方式。在定量分析中,分析结果的准确性通常是用误差来表示的,它是分析结果和真值之间的差值。误差又可分为绝对误差和相对误差,后者是指误差在真值

如何看待强对流天气预警的可信度

■曹洁 近日,我国南方地区强对流天气频发。自3月30日6时起,中央气象台连续4天发布强对流预警。3月31日凌晨,江西南昌突发强对流天气,最大风力达11级,已致当地4人死亡、10余人受伤。 那么,什么是强对流天气?能否对其精确预警?预警的可信度又有几分?什么是强对流天气? 强对流天气是指出

详解可信计算、OS和RAID卡知识(一)

本文主要介绍可信计算(TPM、TCM)知识和工作原理、常见的操作系统、RAID卡、RAID的Cache保护、RAID卡连接磁盘等原理相关知识。第1章、可信计算和TPM基础知识说到可信计算,就不能不提TPM安全芯片。所谓TPM安全芯片,是指符合TPM标准的安全芯片,它能有效地保护PC,防止非法用户访问

安全可信可靠是人工智能发展蓝图底色

将一张“神奇贴纸”贴在脸上,就能让人脸识别门禁系统出现误判,毫无防备地为陌生人打开大门;把这张“贴纸”放置在眼镜上,一秒钟之内,手机的人脸识别系统就被解锁,黑客获取用户隐私数据如入无人之境……这并非科幻片中的想象,而是首届人工智能安全大赛展示的真实攻防场景。  和其他通用技术一样,近年来,人工智能技

核电站有了可信赖的“核心”

  8月5日,我国首台自主制造的三代核电AP1000反应堆压力容器在中国第一重型机械集团公司(以下简称一重)大连工厂顺利通过验收,这为我国核电装备和核电建设发展奠定了新的里程碑。国家核安全局依法从严监管,始终坚持“安全第一,质量第一”的根本方针,为首台国产化AP1000反应堆压力容器的诞生

科学解读:为什么说“核雾染”不可信?

  为什么说“核雾染”不可信?福岛核事故对我们有何启示?由中国科协科普部、中国核学会组织专家编写的《科学解读公众关注热点》之核科学与技术章节解答了公众对核电安全的困惑。  有文章称,雾霾是由燃煤排放的放射性铀粉尘电离大量的空气分子和粉尘颗粒所致,从而引出了“核雾染”的说法。自古以来,地球上的辐射无处

感官仿真软件

上海瑞玢-SS301-感官仿真软件(质构仪、电子鼻、电子舌、电子眼)型号:SS301品牌:瑞玢产地:上海SS301-感官仿真软件简介智能感官仪器仿真(电子鼻、电子舌、电子眼):在虚拟的实验室场景中,有仪器主机,进样机,传感器,VC版软件操作站,相关设备与真实设备相符,如设备的颜色、设备的形状;同时将

熔点测定软件

提升实验台性能熔点测定软件具有什么功能? 如今,分析仪器不仅会提供准确的结果: 还应确保数据安全性并优化工作流程。 使用LabX实验室软件符合FDA 21 CFR Part 11等法规要求。 轻松管理用户、方法、结果和调整。 平滑无缝地执行复杂的工作流程。 提供多种曲线和视频,报告可以个性化

熔点测定软件

提升实验台性能熔点测定软件具有什么功能? 如今,分析仪器不仅会提供准确的结果: 还应确保数据安全性并优化工作流程。 使用LabX实验室软件符合FDA 21 CFR Part 11等法规要求。 轻松管理用户、方法、结果和调整。 平滑无缝地执行复杂的工作流程。 提供多种曲线和视频,报告可以个性化

MassARRAY®-分析软件

MassARRAY® 分析软件是一套模块化应用程序,用于基因分型、甲基化、基因表达、拷贝数变异等多种应用的数据分析。以MassARRAY® Typer4软件为例,该软件用于MassARRAY系统的iPLEX  SNP基因分型。用户可利用它进行分析结果的评估和管理,通过表格和图形格式进行数据的可视化,

酶标仪软件功能

      软件功能是指酶标仪所具有的对ELISA定性和定量测定及其他测定方式如酶标动力学、紫外和凝集等数据的统计分析并报告结果的功能。软件功能是中高档酶标仪的一个非常重要的功能。如果硬件方面区别不大,则软件就成为判定酶标仪优劣的惟一指标。对于用户来说,好的软件功能,对实际工作会有较大的帮助。ELI

高价值语料可信流通基础设施正式启动建设

记者日前从国家区块链技术创新中心获悉,高价值语料可信流通基础设施正式启动建设,这对于加快形成人工智能大模型训练高地,推动我国人工智能弯道超车、跨越式发展具有重要意义。据国家区块链技术创新中心介绍,高价值语料可信流通基础设施将运用我国自主可控、性能领先的区块链软硬件技术,搭建起覆盖全国的分布式语料数据

可信可控可用,人工智能呼唤创新的“治理技术”

“人工智能改变了安全格局,进一步扩大了威胁,需要从多个层面进行风险管控。”在近日举办的第三届人工智能合作与治理国际论坛上,针对目前人工智能带来的风险和挑战,中国工程院院士、鹏城实验室主任高文认为,应当在人的层面应加强伦理教育;在模型算法层面,期望它可信、可控、可解释并且被正当使用;在数据层面,期望数

检测中心涉嫌造假,转基因还可不可信

  农家储存粮食,只要天气变暖,就会莫名其妙长一些蛾子,不知道从哪来,又不知道往哪去,大家叫它妖蛾子。  天气预报说,这一周北京天气变暖。结果,农业部的转基因检测中心闹妖蛾子了。  1  近日,中国农科院北京畜牧兽医研究所肄业博士魏景亮实名举报说,这个研究所有一个国家转基因检测中心,2015年,为应