基金委發布可信軟件基礎研究重大計劃項目指南
國家自然科學基金重大研究計劃遵循“有限目標、穩定支持、集成升華、跨越發展”的總體思路,圍繞國民經濟、社會發展和科學前沿中的重大戰略需求,重點支持我國具有基礎和優勢的優先發展領域。重大研究計劃以專家頂層設計引導和科技人員自由選題申請相結合的方式,凝聚優勢力量,形成具有相對統一目標或方向的項目群,通過相對穩定和較高強度的支持,積極促進學科交叉,培養創新人才,實現若干重點領域或重要方向的跨越發展,提升我國基礎研究創新能力,為國民經濟和社會發展提供科學支撐。 國家自然科學基金委員會(以下簡稱自然科學基金委)現公布“可信軟件基礎研究”重大研究計劃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年,為應
維基百科是可靠可信的學術資源嗎
圖片來源:百度圖片 今天的人們,如果在日常生活中遇到陌生的基礎知識、生活常識,或者想要了解一般的學術問題,最通行的做法無外乎上Google或者直接查詢維基百科了。 眾所周知,維基百科是免費的網上百科全書。其不同于我們通常所了解的百科全書的地方在于,百科全書都是由相關領域的專家、學者負責撰寫,并由