搜索筛选:
搜索耗时2.3774秒,为你在为你在102,285,761篇论文里面共找到 33 篇相符的论文内容
发布年度:
[期刊论文] 作者：陈振庆,,
来源：计算机应用与软件 年份：2016
首先分析基于描述逻辑的ER模型的研究现状，提出基于描述逻辑SHOIN(D)的EER模型，给出描述逻辑SHOIN(D)的语法和语义。然后研究EER模型的SHOIN(D)描述形式，以及如何将EER模型向SHO...
[期刊论文] 作者：陈振庆,,
来源：云南民族大学学报(自然科学版) 年份：2016
语义Web中描述逻辑和本体论日益受到关注,成为学术界的一个研究热点.首先给出了与OWL DL等价的描述逻辑SHOIN（D）的语法和语义,以及OWL DL本体知识库各模型元素的描述形式.然后...
[期刊论文] 作者：陈振庆,,
来源：百色学院学报 年份：2006
C／S系统采用Access作后台数据库，具有性能稳定、数据交换迅速、数据安全、维护方便等特点，可视化编程语言Delphi具有丰富的编程环境、友好的界面、高速的编译器、强大的数据库开......
[期刊论文] 作者：陈振庆,,
来源：计算机工程 年份：2011
分析基于描述逻辑的统一建模语言（UML）类图形式化方法的研究现状和存在的问题,提出一种基于描述逻辑的带依赖属性UML类图的形式化方法。研究带依赖属性UML类图的数据属性依赖、......
[期刊论文] 作者：陈振庆,,
来源：计算机工程 年份：2009
UML模型一致性自动检测的主要任务是解决形式化问题。描述逻辑是一阶谓词逻辑的可判定子集，具备强大的知识表示和推理功能。针对UML模型形式化问题，提出基于描述逻辑的形式化方......
[期刊论文] 作者：陈振庆,
来源：制造业自动化 年份：2012
本文针对UML状态图具有动态行为和时序特征的特点,提出了一种新的描述逻辑,即时序描述逻辑TDDL（SHOIN（D））。首先给出了TDDL（SHOIN（D））的语法和语义,研究了TDDL（SHOIN（D））的断言公式集一致......
[期刊论文] 作者：陈振庆,
来源：计算机工程 年份：2013
根据统一建模语言（UML）顺序图的时序特征，提出一种基于时序描述逻辑ALCQIus的UML顺序图形式化方法。研究ALCQIus时序扩展部分的语法和语义、ALCQIus断言公式集一致性定理，给出ALC...
[期刊论文] 作者：陈振庆,,
来源：贺州学院学报 年份：2017
UML不是一种完全形式化的面向对象建模语言,不便于进行形式化分析和验证。文章首先提出了基于描述逻辑的UML用例图形式化方法,介绍了描述逻辑SHOIN（D）扩展部分的语法和语义,以...
[期刊论文] 作者：陈振庆,
来源：中国西部科技 年份：2009
高等学校开展产学研合作教育是贯彻国家教育方针的一个重要措施，新升本科院校计算机专业毕业生就业现状不容乐观，应当以“以就业为导向，走产学研结合的道路”为指导思想，构筑产学......
[期刊论文] 作者：陈振庆,,
来源：计算机工程与设计 年份：2009
为解决UML类图一致性检测问题,分析了UML类图、DLs和OWL DL的特点,给出了UML类图的OWL DL本体表示形式,研究了UML类图转化为OWL DL本体知识库的方法,证明了转化方法的正确性,...
[期刊论文] 作者：陈振庆,
来源：湘南学院学报 年份：2006
介绍了Delphi环境下通过TmemoryStream类动态存储数据和Tcanvas画布编程技术，利用文本文件制作动态演示文稿的方法和技巧．...
[期刊论文] 作者：陈振庆,
来源：广西梧州师范高等专科学校学报 年份：2005
'资源管理器'式数据查询窗口界面非常友好,其查询过程直观、迅速.利用SQL和filter查询技术,结合Ttreeview控件、Tdbgrid控件、Ttimer控件、Tshape控件、GetCursorPos...
[期刊论文] 作者：陈振庆,
来源：广西梧州师范高等专科学校学报 年份：2006
ASP技术是以internet/intranet为平台的web技术, VB/ASP、VC＋＋/ASP开发B/S系统技术比较成熟,而系统介绍Delphi/ASP设计B/S系统的资料非常缺乏,文章介绍了Delphi与ASP间的通信技...
[期刊论文] 作者：陈振庆,
来源：中南林业科技大学学报 年份：2011
UML活动图是一种特殊的状态机,被认为最适合描述软件过程建模,但其缺乏精确的语义,不利于对模型进行形式化分析和验证。针对传统描述逻辑无法表达动态行为和时序特征的不足,...
[期刊论文] 作者：陈振庆,
来源：广西右江民族师专学报 年份：2005
QQ面板式菜单属于动态菜单范畴,但由于动态生成控件数目不定,在Delphi中直接用控件工具箱在Form中设计就无法实现,文章采用数据源来自数据库的方法,结合delphi中控件生成和动...
[期刊论文] 作者：陈振庆,
来源：贺州学院学报 年份：2009
OWL是W3C提出的语义网本体语言,作为语义网中信息共享和交换的基础,具备强大的知识表示和推理功能.文章对UML和OWL进行了分析比较,给出了UML类图相应的XMLSchema和OWL本体表...
[会议论文] 作者：陈振庆,
来源：2016年随机(偏)微分方程与随机动力系统研讨会 年份：2016
In 1996,Mytnik considered a class of super-Brownian motion with random branching mechanism,which we call super-Brownian motion in random environments....
[期刊论文] 作者：陈振庆,
来源：新教育时代电子杂志（教师版） 年份：2021
我国职业教育实施方案中指出，中职教育要深化办学体制改革和育人机制改革，以适应产业发展需求为导向，着力培养高素质n劳动者和技术技能人才。所以，促进人才链与产业链的匹配是我......
[期刊论文] 作者：陈振庆,罗兰花,
来源：计算机工程 年份：2011
统一建模语言（UML）状态图包括静态语义和动态语义。针对该特点,提出基于动态描述逻辑的UML状态图形式化方法,介绍动态描述逻辑DDL_SHOIN（D）的语法和语义,设计UML状态图的DDL_SHOI...
[期刊论文] 作者：陈振庆,罗兰花,,
来源：软件 年份：2015
文章分析了贺州学院计算机专业转型发展过程中面临的挑战,从职业生涯规划、课程体系、"双师型"师资队伍和校企合作四个方面与国外应用技术大学进行了对比研究,提出了以校企合...
相关搜索：
