电子问卷调查、电子考试、电子投票系统规格描述语言QSL及其应用

程京德 2019-11-3 08:35

电子问卷调查、电子考试、电子投票系统规格描述语言QSL及其应用 程京德 放在这里的是本人及学生们在“电子问卷调查、电子考试、电子投票系统规格描述语言QSL及其应用”研究方向的系列论文，一方面留作保存记录，另一方面提供给学生们和有兴趣者获取。 QSL的初始设想在研究室开发和使用电子问 ...

个人分类: 信息安全性工程|3091 次阅读|没有评论

“规范相关逻辑及其应用”之原始创新论文

程京德 2017-7-22 00:42

“规范相关逻辑及其应用”之原始创新论文 程京德 这是本人及学生 2002 年到 2008 年的四篇论文，开创了“规范相关逻辑及其应用”这一新研究方向，是笔者研究室在这一研究方向上所有工作的初始基础。现将四篇论文存放于此，一方面留作保存记录，另一方面提供给听课学生和有兴趣者获 ...

个人分类: 相关逻辑|2768 次阅读|没有评论

“信息安全性工程自动化智能化”系列论文

程京德 2017-7-19 20:56

“信息安全性工程自动化智能化”系列论文 程京德 放在这里交流的是本人及学生们在“信息安全性工程自动化智能化”研究方向的系列论文（中文论文，持续存放，主要目的是向国内介绍我们的工作），一方面留作保存记录，另一方面提供给听课学生和有兴趣者获取。 宝达，程京德：“基于ISO/I ...

个人分类: 信息安全性工程|2854 次阅读|1 个评论

“认识程序设计”之原始创新论文

程京德 2017-6-28 23:32

“认识程序设计”之原始创新论文 程京德 这是本人 1996 年和 1999 年的四篇论文，开创了“认识程序设计”这一新研究方向，是笔者研究室在这一研究方向上所有工作的初始基础。现将四篇论文存放于此，一方面留作保存记录，另一方面提供给听课学生和有兴趣者获取。 顺便把论文概要翻译为中文如下 ...

个人分类: 知识工程|2706 次阅读|没有评论

“并行程序依存性分析及应用”之原始创新论文

程京德 2017-6-16 18:49

“并行程序依存性分析及应用”之原始创新论文 程京德 这是本人 1992 年和 1993 年的几篇论文，开创了“并行程序依存性分析及应用”这一新研究方向，是笔者研究室在这一研究方向上所有工作的初始基础。现将这几篇论文存放于此，一方面留作保存记录，另一方面提供给听课学生和有兴趣者获取 ...

个人分类: 软件工程|2385 次阅读|没有评论

“信息安全性工程环境”之原始创新论文

程京德 2017-6-16 09:19

“信息安全性工程环境”之原始创新论文 程京德 这是本人 2008 年和 2009 年的两篇论文，开创了“信息安全性工程环境”这一新研究方向，是笔者研究室在这一研究方向上所有工作的初始基础。现将两篇论文存放于此，一方面留作保存记录，另一方面提供给听课学生和有兴趣者获取。 顺便把论文 ...

个人分类: 信息安全性工程|2688 次阅读|没有评论

“先期推理反应系统”之原始创新论文

程京德 2017-6-16 08:22

“先期推理反应系统”之原始创新论文 程京德 这是本人 2002 年和 2004 年的两篇论文，开创了“先期推理反应系统”这一新研究方向，是笔者研究室在这一研究方向上所有工作的初始基础。现将两篇论文存放于此，一方面留作保存记录，另一方面提供给听课学生和有兴趣者获取。 顺便把论文概要翻 ...

个人分类: 信息安全性工程|2220 次阅读|没有评论

“相关推论”之原始创新论文

程京德 2017-6-15 12:59

“相关推论”之原始创新论文 程京德 这是本人 1998 年的两篇论文，开创了“相关推论”这一新研究方向，是笔者研究室在这一研究方向上所有工作的初始基础。现将两篇论文存放于此，一方面留作保存记录，另一方面提供给听课学生和有兴趣者获取。 顺便把论文概要翻译为中文如下： WCES-98 论文 ...

个人分类: 知识工程|2477 次阅读|没有评论

“通用自动前推机” EnCal 和 FreeEnCal 之原始创新论文

程京德 2017-6-14 19:26

“通用自动前推机” EnCal 和 FreeEnCal 之原始创新论文 程京德 这是本人 1996 年和 2007 年的两篇论文，开创了“通用自动前推机”这一新研究方向，是笔者研究室在这一研究方向上所有工作的初始基础。现将两篇论文存放于此，一方面留作保存记录，另一方面提供给听课学生和有兴趣者获取。 ...

个人分类: 知识工程|2566 次阅读|没有评论

本页有 1 篇博文因作者的隐私设置或未通过审核而隐藏