從科學出版社獲悉，該出版社日前出版了北大信息學院軟件理論教研室原主任、教授袁崇義的英文專著《OESPA: Semantic Oriented Theory of Programming》，書中提出了面向語義的新編程理論OESPA，這是目前唯一能做語義計算的編程理論。
袁崇義介紹，OESPA包括計算模型（編程語言）OE，語義謂詞SP和語義公理A。傳統的程序語言以社會學中的形式語言學為理論基礎，沒有考慮語義形式化的需求。OE則是二合一的，定義OE的公式既是編譯程序需要的形式語法，又是定義語義公理的形式基礎。
“傳統數學中的謂詞只能描述程序單獨一個狀態的性質，而程序語義是程序初態和終態之間的關系。SP聯系初態和終態，能準確描述程序語義。語義謂詞SP從語義公理A演變而成。從SP推出的SP公式和SP演算，用于程序的語義計算和語義綜合，可借助符號處理工具完成程序正確性證明。”袁崇義表示，一旦開發出相應的符號處理系統，測試就不再是編程必要的一步。SP公式和SP演算還適用于描述程序規范和規范分析。
同時，袁崇義嘗試SP和A用于C語言指針的語義處理，提出了指針的語義公理，表明OESPA可以用于傳統語言程序的語義形式化處理。
美國南加州大學研究人員發明的一項突破性新技術，或將徹底改變合成生物學領域。該方法被稱為克隆重編程和組裝平鋪天然基因組DNA（CReATiNG），為構建合成染色體提供了一種更簡單且更具成本效益的方法。它......
10月28日，石家莊以嶺健康城舉行了一場重要的啟動會——絡病理論創新轉化全國重點實驗室啟動會暨第一屆學術委員會第一次會議。此次會議標志著絡病理論創新轉化全國重點實驗室的正式啟動，并宣布中國工程院院士吳......
9月15日，一篇由124名學者聯合署名并公布于預印本平臺PsyArXiv的文章，在科學界引起軒然大波。這篇文章指出，綜合信息理論（IIT）是偽科學。什么是IIT？據《自然》報道，IIT由美國威斯康星大......
上海交通大學化學化工學院/變革性分子前沿科學中心樊春海院士與王飛副教授近期發展了一種支持通用性數字計算的DNA可編程門陣列（DNA-basedprogrammablegatearray,DPGA），可......
19日從安徽省量子計算工程研究中心獲悉，國產量子計算機操作系統本源司南PilotOS客戶端正式上線，用戶可以直接進行本地量子計算編程，不需要聯網使用，實現用戶對量子計算軟件服務“打開即用”，助力量子計......
根據史蒂芬·霍金的著名輻射理論，隨著事件視界（黑洞最外層的邊界）對周圍量子場的破壞，黑洞會隨著時間蒸發，并以一種奇怪的輻射形式逐漸失去質量。但分析表明，事件視界對這一過程并不是必不可少的。日前，據荷蘭......
美國麻省理工學院研究人員組成的多學科團隊正著手推動提高一種人工模擬突觸的速度極限。他們在制造過程中使用了一種實用的無機材料，使設備運行速度比以前的版本快100萬倍，也比人腦中的突觸快約100萬倍。該研......
科學家找到了一種方法讓DNA與人體內的細胞膜進行交流，為在脂質體中制造“微型生物計算機”鋪平了道路，這種計算機在生物傳感和mRNA疫苗中有潛在的用途。澳大利亞新南威爾士大學的MatthewBaker和......
1959年，諾貝爾獎得主、納米技術先驅理查德·費曼（RichardFeynman）提出了“可吞食外科醫生”的有趣設想。也就是說，制造一種可以在血管內移動的微型機器人，去有需要的地方做手術。這一標志性的......
本文討論了分析測試工作者應該重視的五個必須：必須不忘初心、牢記使命；必須掌握一些儀器學理論知識；必須認真做好樣品的前處理；必須了解有關儀器的性能指標和認真選擇儀器條件；必須學會判斷分析測試數據可靠性的......