陈沐天
- 作品数：6 被引量：23H指数：2
- 供职机构：汕头大学工学院计算机科学与技术系更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：理学自动化与计算机技术建筑科学更多>>
- 关于功能规格说明的几个问题
- 1989年
- 本文从软件开发的瀑布式模型出发讨论了软件系统的功能规格说明的形式化问题,原型技术问题和功能规格说明语言应具有的特点,并给出若干实列.
- 徐永森陈沐天徐名孚许创
- 关键词：规格说明语言
- 规格说明语言ChiSL
- 1995年
- ＣｈｉＳＬ是一种作用式可执行的功能规格说明语言，它是以数据抽象为核心的将代数规格说明和面向模型的规格说明两种技术有机地结合起来的模块化语言，具有良好的数学性质和可读性，能比较方便地书写大型规格说明。由于该语言是可执行的，因此ＣｈｉＳＬ规格说明可作为所要开发的软件系统的一个原型在该语言的支撑系统上执行。本文后面介绍了使用ＣｈｉＳＬ语言及其支撑系统开发软件原型的一些应用实例。
- 许创陈沐天徐永森
- 关键词：软件工程规格说明语言程序设计
- 对高斯消元法的改进以及在工程上的应用被引量：6
- 1997年
- 传统的高斯消元法只能处理多元一次方程组满秩的情况，本文应用人工智能中非单调逻辑和超协调逻辑的思想，通过对高斯消元法的改进，使其对所有的多元一次方程组都能进行有效的处理，从而扩展了在工程上的应用范围。
- 蔡和熙陈沐天
- 关键词：人工智能建筑设计CAD
- 找周期子字的算法
- 1991年
- §1.引言 考虑有限字母表A上字X=x1x2…xn,|X|=n,xi∈A,i=1,2,…,n;X的子字S=xixi+1…xj,j>i,称为周期子字,若存在p>0,使j-i+1≥2p并且有xl=xl+p,l=i,i+1,…,（j-p）.p称为S的周期,有时把S称为终于i的周期子字.令P=xi…xi+p-1,p=|P|,则S可写成P‖prefix（P）,k≥2,prefix（P）表示P的某个字首。‖表示并置运算。P表示k个P并置。
- 陈沐天
- 货郎担问题的几何分块算法及China TSP问题的最终解决被引量：17
- 1998年
- 本文提出了货郎担问题的一种新的求解方法，即几何分块算法，用该方法找到了ＣｈｉｎａＴＳＰ问题的最短路径，并分析了求解中的一些策略问题。
- 陈沐天蔡和熙
- 关键词：NP问题
- 世界难题16阶三次幻方
- 2006年
- 本文首次给出了一个正规的16阶三次幻方。这是基于发现新的结构规律,从而极大地降低搜索工作量,使普通电脑即可在短时间内求解出世界难题———正规的16阶三次幻方。文中分析并给出了构造16阶三次幻方的要点。
- 陈钦梧陈沐天
- 关键词：幻方
