科研专业方向
研究领域：
计算机及终端设计与制造技术
研究方向：
地震地质、新构造、活动构造研究
宋教授
研究员
D类
江苏南京市
科研重点分布
近年科研重点
2011
绝热量子计算 计算模型 量子算法 计算能力 可扩展量子计算2015
量子计算 量子计算机 体系结构 量子信息 量子程序设计语言 量子算法 物理实现 基于搜索的软件工程科研产出增长曲线
历年科研产出
学科论文分布
计算机软件及计算机应用：23
数学：12
计算机硬件技术：7
物理学：4
自动化技术：1
自然科学理论与方法：1
人物传记：1
互联网技术：1
总数:
47
展开
>
- 产学研合作
- 基金课题
- 荣誉&成就
- 科研成果
产学研合作
合作信息
| 合作单位 | 合作论文数量 |
|---|---|
| 中国人民解放军理工大学理学院 | 7 |
| 常熟理工学院计算机科学与工程学院 | 5 |
| 南京航空航天大学信息科学与技术学院 | 5 |
| 纽约城市大学计算机科学系 | 2 |
| 伦敦大学国王学院 | 2 |
| 南京工业大学信息科学与工程学院 | 2 |
| 信息产业部电子14所 | 1 |
| 南京航空航天大学信息科学与技术学院南京 | 1 |
| 南京航空航天大学信 | 1 |
| 解放军理工大学指挥自动化学院 | 1 |
展开全部
基金课题
| 论文标题 | 基金名称 |
|---|---|
| 一种高效、容错的通用量子计算机体系结构 | 软件开发环境国家重点实验室开放课题 |
| 通用量子计算机:理论、组成与实现 | 国家自然科学基金 |
| 基于量子搜索的软件工程 | 国家自然科学基金 |
| 冻结/解冻机制——软件开发环境中的一种新机制 | Motorola公司资金 |
| 量子程序设计语言NDQJava | Supported by Natural Science Foundation of Jiangsu Province of Chinaunder GrantNo.BK2007138 |
| 对象的行为表示及其应用 | 江苏省自然科学基金 |
| 量子程序设计语言NDQJava处理系统 | Supported by the Natural Science Foundation of Jiangsu Province of Chinaunder GrantNo.BK2007138 |
| 绝热量子计算 | 国家重点基础研究发展计划 |
| 一种基于算盘的计算模型—算盘机 | 国家自然科学基金 |
| NDQJava语言词法分析程序 | 江苏省自然科学基金 |
| 量子程序设计语言初探 | 国家自然科学基金资助项目 |
| NDQJava语言处理系统量子汇编及解释程序 | 江苏省自然科学基金 |
展开全部
荣誉&成就
暂无荣誉成就信息
科研成果
- 期刊论文
- 技术成果
微内核架构内存管理的形式化设计和验证方法研究
VSOS-HAM:基于Isabelle/HOL的OS内核硬件抽象模型和形式化验证方法研究
通用量子计算机:理论、组成与实现
操作系统汇编级形式化设计和验证方法
三态量子行走的吸收边界问题
通用量子计算机:理论、组成与实现
基于量子搜索的软件工程
基于量子搜索的软件工程
操作系统形式化设计与安全需求的一致性验证研究
命题演算两个推理系统的等价性
微内核架构文件系统的形式化设计与验证方法研究
R-演算中若干问题的研究
物理可计算理论
绝热量子计算
一种高效、容错的通用量子计算机体系结构
一种高效、容错的通用量子计算机体系结构
量子程序设计语言NDQJava
量子程序设计语言NDQJava处理系统
NDQJava语言词法分析程序
量子程序设计语言初探
NDQJava语言处理系统量子汇编及解释程序
量子计算与量子计算机
图像挖掘及其在医学图像分类中的应用
λ定义可计算函数时不动点算子的不必要性
用C4.5算法对局域网数据报进行行为分类
一种基于图像高层语义信息的图像检索方法
分析基础中的无穷观问题
分析基础中的无穷观问题
一种基于算盘的计算模型—算盘机
无穷观问题的研究（I）——历史的回顾与思考
无穷观问题的研究（Ⅴ）——一个兼容实无限与潜无限的公理集合论系统APAS
无穷观问题的研究（Ⅲ）——‘每一’与‘所有’
无穷观问题的研究（Ⅱ）—从Hausdorff的直觉和Poincaré的名言到Brouwer剧场现象
无穷观问题的研究（Ⅳ）——自然数系统与无穷公理
并发语言OCCAM的指称语义
对Dijkstra量词研究的补充
对象的行为表示及其应用
20世纪最伟大的智者之一AlanTuring
冻结/解冻机制——软件开发环境中的一种新机制
组合逻辑中的一个新的（ξ）规则
表类型的一些性质
在Martin－Lof类型论中添加判断的新形式
ITT系统的一些性质
带ε—算子的集合论系统
直觉主义类型论中否定构造的研究
部分模型之间的一些代数关系(英文)
程序的等价性证明
嵌入式应用软件测试技术与理论
嵌入式应用软件测试技术
展开全部
数据信息来源于网络，若有侵权请联系客服