科学网

 找回密码
  注册
搜索
热搜: 科学 论文
搜索
“认识程序设计”之原始创新论文
程京德 2017-6-28 23:32
“认识程序设计”之原始创新论文 程京德 这是本人 1996 年和 1999 年的四篇论文,开创了“认识程序设计”这一新研究方向,是笔者研究室在这一研究方向上所有工作的初始基础。现将四篇论文存放于此,一方面留作保存记录,另一方面提供给听课学生和有兴趣者获取。 顺便把论文概要翻译为中文如下 ...
个人分类: 知识工程|1839 次阅读|没有评论
“永续计算系统与软系统总线结构”之原始创新论文
程京德 2017-6-17 16:37
“永续计算系统与软系统总线结构”之原始创新论文 程京德 这是本人 2003 年到 2007 年的几篇论文,开创了 “永续计算系统与软系统总线结构” 这一新研究方向,是笔者研究室在这一研究方向上所有工作的初始基础。现将这几篇论文存放于此,一方面留作保存记录,另一方面提供给听课学生和有兴趣 ...
个人分类: 软件工程|1490 次阅读|没有评论
“并行程序依存性分析及应用”之原始创新论文
程京德 2017-6-16 18:49
“并行程序依存性分析及应用”之原始创新论文 程京德 这是本人 1992 年和 1993 年的几篇论文,开创了“并行程序依存性分析及应用”这一新研究方向,是笔者研究室在这一研究方向上所有工作的初始基础。现将这几篇论文存放于此,一方面留作保存记录,另一方面提供给听课学生和有兴趣者获取 ...
个人分类: 软件工程|1506 次阅读|没有评论
“信息安全性工程环境”之原始创新论文
程京德 2017-6-16 09:19
“信息安全性工程环境”之原始创新论文 程京德 这是本人 2008 年和 2009 年的两篇论文,开创了“信息安全性工程环境”这一新研究方向,是笔者研究室在这一研究方向上所有工作的初始基础。现将两篇论文存放于此,一方面留作保存记录,另一方面提供给听课学生和有兴趣者获取。 顺便把论文 ...
个人分类: 信息安全性工程|1693 次阅读|没有评论
“先期推理反应系统”之原始创新论文
程京德 2017-6-16 08:22
“先期推理反应系统”之原始创新论文 程京德 这是本人 2002 年和 2004 年的两篇论文,开创了“先期推理反应系统”这一新研究方向,是笔者研究室在这一研究方向上所有工作的初始基础。现将两篇论文存放于此,一方面留作保存记录,另一方面提供给听课学生和有兴趣者获取。 顺便把论文概要翻 ...
个人分类: 信息安全性工程|1389 次阅读|没有评论
“相关推论”之原始创新论文
程京德 2017-6-15 12:59
“相关推论”之原始创新论文 程京德 这是本人 1998 年的两篇论文,开创了“相关推论”这一新研究方向,是笔者研究室在这一研究方向上所有工作的初始基础。现将两篇论文存放于此,一方面留作保存记录,另一方面提供给听课学生和有兴趣者获取。 顺便把论文概要翻译为中文如下: WCES-98 论文 ...
个人分类: 知识工程|1574 次阅读|没有评论
“通用自动前推机” EnCal 和 FreeEnCal 之原始创新论文
程京德 2017-6-14 19:26
“通用自动前推机” EnCal 和 FreeEnCal 之原始创新论文 程京德 这是本人 1996 年和 2007 年的两篇论文,开创了“通用自动前推机”这一新研究方向,是笔者研究室在这一研究方向上所有工作的初始基础。现将两篇论文存放于此,一方面留作保存记录,另一方面提供给听课学生和有兴趣者获取。 ...
个人分类: 知识工程|1579 次阅读|没有评论
“基于强相关逻辑演算的自动定理发现”之原始创新论文
程京德 2017-6-14 10:45
“基于强相关逻辑演算的自动定理发现”之原始创新论文 程京德 这是本人 1994 年和 1995 年的两篇论文,开创了“基于强相关逻辑演算的自动定理发现”这一新研究方向,是笔者研究室在这一研究方向上所有工作的初始基础。现将两篇论文存放于此,一方面留作保存记录,另一方面提 供给听课学生 ...
个人分类: 相关逻辑|1673 次阅读|1 个评论
他山之石:“世界科学技术突入美中二强时代”
程京德 2017-6-13 07:43
他山之石:“世界科学技术突入美中二强时代” 程京德 昨天深夜,日本经济新闻电子版发表文章,报道由日本政府文部省所辖科学技术振兴机构实施的,关于世界各国科学技术论文数量及占比的调查结果,结论为:世界科学技术从 “美国一强” 已经突入了 “美中二强” 时代。 报道说,到2015年 ...
个人分类: 他山之石|1526 次阅读|没有评论
未来软件工程中的新挑战
程京德 2017-6-12 17:54
未来软件工程中的新挑战 程京德 这是本人三年前的一篇论文,存放在此,以方便听课学生和有兴趣者获取。 顺便把论文概要翻译为中文如下: 传统软件工程主要注目于软件可靠性。然而,今天,在这个不安全、复杂、变动的世界,任何信息/软件系统的设计、开发 、 运行和维护都必须精心地认真地 ...
个人分类: 软件工程|1974 次阅读|没有评论

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2020-10-25 07:34

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部