WIKI资讯
WIKI资讯
国家自然科学基金重大研究计划遵循“有限目标、稳定支持、集成升华、跨越发展”的总体思路，围绕国民经济、社会发展和科学前沿中的重大战略需求，重点支持我国具有基础和优势的优先发展领域。重大研究计划以专家顶层设计引导和科技人员自由选题申请相结合的方式，凝聚优势力量，形成具有相对统一目标或方向的项目群，通过相对稳定和较高强度的支持，积极促进学科交叉，培养创新人才，实现若干重点领域或重要方向的跨越发展，提升我国基础研究创新能力，为国民经济和社会发展提供科学支撑。 国家自然科学基金委员会（以下简称自然科学基金委）现公布“可信软件基础研究”重大研究计划2012年度项目指南（见附件）。一、申请条件 重大研究计划项目申请人应当具备以下条件： 1．具有承担基础研究课题的经历； 2．具有高级专业技术职务（职称）。 正在博士后工作站内从事研究、正在攻读研究生学位以及《国家自然科学基金条例》第十条第二款所列的科学技术人员不得申请。二......阅读全文
今天，移动互联网无处不在，人工智能已经向我们走来，“用代码改变世界”的流行语不再是程序员的自我调侃。现代信息社会对计算机系统的依赖，很大程度上体现为对软件的依赖，计算机系统的缺陷很多情况下都由软件问题引发。软件系统能否在操作错误、环境影响、外部攻击等干扰下，提供连续的服务，已成为一项严峻挑战。
2013年10月27日，“十二五”863计划“网构化软件协同生产和运行演化集成平台及服务环境”课题中期检查会在长沙召开。科技部高新司、高技术中心相关同志及中期检查专家组、各课题负责人和主要研究人员参加了会议。 该课题由国防科技大学、北京邮电大学和总参第六十一研究所共同承担，主要面向软件产业
随着我国航天事业的快速发展，空间站、探月工程、高分专项等一批复杂航天任务陆续实施，软件在航天器中的作用和地位越来越突出，软件可信性已成为确保型号任务成功的重要因素。“航天嵌入式软件可信性保障集成环境和示范验证与应用 ”集成项目启动 目前，航天嵌入式软件可信性保障尚未形成系统解决方案，软件质量受
2019年度上海市科学技术奖励大会在19日上午举行，授予田禾、陈亚珠上海市科技功臣奖，授予许琛琦等10人上海市青年科技杰出贡献奖，43个项目获上海市自然科学奖，31个项目获上海市技术发明奖，205个项目获上海市科学技术进步奖，15个项目获上海市科学技术普及奖，授予卢克·塔尔维（比利时籍）、余金权
重庆市网络与信息安全技术工程实验室副主任陈龙 重庆邮电大学教授陈龙提醒市民，不重视数据安全，分分钟可能遇上麻烦 重庆邮电大学是市内高校第一个开设“信息安全”本科专业的大学，去年又获批成为重庆市首个网络空间安全重点学科和硕士学位授权点，重庆市网络与信息安全技术工程实验室也设在这里。 2010
磐诺A91Plus实验室气相色谱仪集气相色谱系统、气相质谱联用系统，样品进样和预处理系统于一体。引入了各项新技术，保证各项性能指标的稳定性。在满足日常检测需求的基础上，为各领域提供更为专业、系统的分析平台！ 采用全新“双芯”处理器，进一步提升了电子气路的控制精度至0.001psi；
分析测试百科网讯 2018年5月3日，由中国环境科学学会、全国工商联环境商会、中国再生资源综合利用协会、德国慕尼黑博览集团与中贸慕尼黑展览（上海）有限公司共同主办的第十九届中国环博会（IE expo 2018）在上海新国际博览中心开幕。第十九届中国环博会注册现场 在本届环博会上，常州磐诺仪器有
近日，《国家发展改革委办公厅关于请组织申报大数据领域创新能力建设专项的通知》下发。《通知》明确了相关专项建设的目标、内容和重点，将围绕大数据基础技术和应用技术两个维度，组建13个国家级大数据实验室。 《通知》明确专项目标，未来2－3年，将建成一批大数据领域创新平台，为大数据领域相关技术创新提
今天，以支付宝为代表的网络交易已经深入人们的日常生活。不确定的多样性业务需求导致网络交易软件系统的交易流程、实体和方式不断发生变化，而开放、动态网络环境使得网络交易软件系统面临着环境和恶意攻击手段的不可预知性。网络交易软件系统的安全可信问题逐步凸显。 网络交易支付系统风险防控关键技术及其应
湖北省最大的优势是科教资源优势。贯彻落实党的十八届三中全会精神，以敢于担当、勇于创新的精神深化科技体制改革，从根本上优化科技成果转化的政策环境，全面激发科技创新创业活力，是湖北适应新常态、引领新常态，实现创新驱动发展的关键所在。在此背景下，湖北省委、省政府制订出台了《促进高校、院所科技成果转化暂
近日，中国科学技术大学计算机科学与技术学院博士生梁红瑾和导师冯新宇教授等人在并发程序精化验证领域取得突破，提出了一种基于依赖-保证的模拟技术(简称RGSim)，用以支持并发程序间的精化关系的模块化验证。研究成果已被计算机学科国际期刊TOPLAS正式录用。 程序精化验证旨在证明不同计算机程序
2014年以来，湖北大力实施创新驱动发展战略，着力深化科技体制改革,着力推进科技创业和科技型企业培育，着力建设完善区域创新服务体系,企业创新能力进一步提升,高新技术产业得到较快发展，“创新湖北”建设取得新的进展，科技创新对“稳增长、调结构、转方式、惠民生”的支撑和引领作用进一步增强。 一、2
根据《高等学校科学研究优秀成果奖(科学技术)奖励办法》的规定，教育部组织开展了2012年度高等学校科学研究优秀成果奖(科学技术)评审工作。 经评审，决定授予“软界面电分析化学的若干问题研究”等36项成果高等学校自然科学奖一等奖，授予“稀土生物效应的细胞无机化学研究”等6
湖北省最大的优势是科教资源优势。贯彻落实党的十八届三中全会精神，以敢于担当、勇于创新的精神深化科技体制改革，从根本上优化科技成果转化的政策环境，全面激发科技创新创业活力，是湖北适应新常态、引领新常态，实现创新驱动发展的关键所在。在此背景下，湖北省委、省政府制订出台了《促进高校、院所科技成果转化暂
近日，霍英东教育基金会第十二届高等院校青年教师基金及青年教师奖颁奖大会在人民大会堂举行，全国150所高等院校的257名优秀青年教师获得了霍英东教育基金会总额为294万美元的资助和奖励。 霍英东教育基金会设立的高等院校教师基金，专门为优秀青年教师的课题提供资助，每项课题资助额度为5
1月20日至23日，第43届编程语言原理国际会议（简称POPL）在美国佛罗里达州圣彼德斯堡召开。中国科学技术大学特任副研究员梁红瑾和教授冯新宇在并发程序验证领域取得新进展，首次设计出一种验证并发对象无饥饿性与无死锁性的程序逻辑，该研究成果发表在第43届POPL上。 多处理器系统上的并发程序在执
包老师是吉林大学计算机学院的一名教师。10月25日由中国计算机学会（CCF）主办的2018中国计算机大会（CNCC2018）在杭州国际博览中心开幕的当天，他7点20分就抵达了会场，找到一个位于前排的好位置后，安心等待8点半大会开始。在本届大会注册人数超过7600人的情况下，这样的“未雨绸缪”无疑
沈昌祥 近日，首届国家网络安全宣传周活动在北京中华世纪坛启动，这意味着政府对于网络安全的重视程度日益提高。不过，在中国工程院院士沈昌祥看来，当前我国网络安全的现状并不乐观。“应对互联网安全，光靠修修堵堵、缝缝补补，是解决不了根本问题的。”在日前召开的2014中国互联网安全大会上，沈昌祥如是说
12月12日，2019年度北京市自然科学基金-海淀原始创新联合基金（以下简称“原始创新联合基金”）拟资助项目公布，共资助重点研究专题16项，前沿项目53项，拟资助总经费3036万元。图片来源于网络 据悉，“原始创新联合基金”成立于2017年，由北京市自然科学基金联合海淀区政府及相关科技企业共
分析测试百科网讯 近日，科技部发布通知，宣布38个相关国家工程技术研究中心通过验收。 各有关省、自治区、直辖市科技厅（委），深圳市科创委，国务院有关部门： 按照国家工程技术研究中心管理办法要求，科技部组织专家对重载快捷铁路货车等38个国家工程技术研究中心进行了验收。验
起码需要5、6年时间。”一位来自德国的“老标准”给中国密码标准的国际“起步”估了个“时间戳”。那是2015年初，国家密码管理局计划启动SM系列算法的ISO（国际标准化组织）国际标准推进工作。在没有太多经验情况下，希望找到多年从事密码标准工作的国际友人，想摸个底，可前景却不太乐观。 “在ISO这
原理和应用： Ettan DIGE荧光差异蛋白表达分析系统在传统双向电泳技术的基础上，结合了多重荧光分析的方法，在同一块胶上共同分离多个分别由不同荧光标记的样品，并第一次引入了内标的概念，极大地提高了结果的准确性，可靠性和重复性。在DIGE技术中，每个蛋白点都有它
近年来，各行各业随处皆言“大数据”。然而，目前人们关于大数据价值的讨论大多仍停留在宏观层面，如何在大数据环境下挖掘出有价值的信息和规律，需要极大的计算量。尽管通过硬件的提升可以使对数据的计算获得更快速度，但这样的平台同样需要软件来支撑。 分布式计算提供了一个解决方案。事实上，云计算就是在分布
2013年12月8日，第四十期质谱沙龙活动在北京朝阳医院顺利举办，来自北京师范大学、北京朝阳医院、中科院微生物所、空军总医院的百余名专家学者齐聚一堂共同参加了此次沙龙活动。AB SCIEX公司市场部 李春波
该文为进一步探讨彩色多普勒超声诊断对糖尿病合并眼底动脉硬化患者的价值，特选择了该院收治的糖尿病合并眼底动脉硬化的40例患者作为该次研究的实验组，另将同时段该院收治的非糖尿病合并眼底动脉硬化的40例患者作为该次研究的对照组，经研究发现证实，彩色多普勒超声诊断对糖尿病合并眼底动脉硬化患者具有积极的诊
便携式大豆蛋白快速检测仪应用于大豆蛋白含量的快速检测，特别适合收黄豆的质量检测。 产品特点： 黄豆无需粉碎，可以直接检测，轻松实现无损检测 快速检测，每次检测时间不超过5秒 内置嵌入式操作系统，无需外接电脑即可实现谱图扫描、化学计量学分析、检测结果查询等功能
便携式大豆蛋白快速检测仪应用于大豆蛋白含量的快速检测，特别适合收黄豆的质量检测。 产品特点： 黄豆无需粉碎，可以直接检测，轻松实现无损检测 快速检测，每次检测时间不超过5秒 内置嵌入式操作系统，无需外接电脑即可实现谱图扫描、化学计量学分析、检测结果查询等功能
二、特点与优势 数据非依赖采集（DIA）：• 采集所有离子及碎片谱图，不丢失任何信息，重现性好；• 数据易于追溯，即使目前的水平无法发现某些蛋白/ 化合物，未来可以回溯；• 无需优化方法，对于易降解样品可以即刻采集，获得数据后再深入挖掘；• 基于碎片离子（即母子离子对）定量，选择性好，与
——NexIon 300 ICP-MS新品发布会媒体访谈 互动有趣、给人印象深刻的NexIon 300 ICP-MS新品发布会后，下午1时，珀金埃尔默公司的几位经理和记者举行了轻松的媒体见面会。出席见面会的有珀金埃尔默公司大中国区市场总监程广辉先生、无机产品线原子吸收产品经理Yong
分析测试百科网讯 2018年4月21日，第十六届中国国际科学仪器及实验室装备展览会（CISILE 2018）在北京国家会议中心开幕。在21日的CISILE 2018年度新产品发布会上，天美（中国）科学仪器有限公司（以下简称“天美中国”）推出了国内第一台瞬态荧光光谱仪——T-tau一体化瞬态荧光光