搜索筛选:
搜索耗时0.0891秒,为你在为你在102,285,761篇论文里面共找到 187 篇相符的论文内容
发布年度:
[期刊论文] 作者：贲可荣,,
来源：海军工程学院学报 年份：1996
为读者选择语言提供了总体思路，给出了高级语言的发展的趋势。...
[期刊论文] 作者：贲可荣,
来源：海军工程大学学报 年份：2002
概述了软件可靠性研究的必要性,从软件开发过程管理、质量保证标准、测试技术、可靠性评估与预测以及形式化规范和验证等5个方面给出了软件质量问题的解决办法,并对所研究的...
[期刊论文] 作者：贲可荣,
来源：数学年刊：A辑 年份：1989
本文在递归不可分理论方面得到一些结果。 1.对任意给定的非递归r.e.度,均存在r.e.集,A是有丝分裂集且可分裂的两集可要求为递归不可分的r.e.集。 2.对任意高r.e.集C和任意非...
[期刊论文] 作者：贲可荣,
来源：计算机时代 年份：1990
...
[期刊论文] 作者：张宇,贲可荣,
来源：计算机应用研究 年份：2001
如何在小型软件组织中采用过程改进模型CMM和ISO90 0 1已经成了软件工业的一种挑战。指出小组织所面临的困难 ,提出了解决问题的建议 ,同时给出了小型软件组织的过程改进模型...
[期刊论文] 作者：张宇,贲可荣,
来源：通信技术 年份：2002
评估系统源于广泛开发和使用入侵检测系统需求。对以往的评估进行了比较,对1998年DARPA(美国国防部高级计划研究署)离线评估进行了综述,描述了1999年的评估并给出评估结论,为...
[会议论文] 作者：张辉,贲可荣,
来源：中国造船工程学会电子技术学术委员会第七届会员代表大会暨电子技术2006年学术年会 年份：2006
从UML、设计模式、基于构件的框架以及XML等方面比较了目前应用较广泛的软件开发标准,基于XML的一体化模型(XUM)将各种标准模型一体化、集成化,以此增强软件维护能力....
[会议论文] 作者：张辉;贲可荣;,
来源：全国第四届Web信息系统及其应用学术会议、全国第二届语义Web与本体论学术研讨会、全国电子政务技术与办公自动化学术研讨会 年份：2007
从知识表示和逻辑推理两方面探讨了语义Web的实现方法，介绍了OWL及其形式化基础——描述逻辑，系统分析了OWL的语言成分与描述逻辑间的对应关系，并用描述逻辑的语义解释了OWL的各......
[期刊论文] 作者：贲可荣, 陈火旺,,
来源：计算技术与自动化 年份：1992
本文借助高庆狮教授提出的宏变换思想,给出一个求解魔方的算法,根据此算法,计算机可以自动求解魔方。...
[期刊论文] 作者：张献, 贲可荣,,
来源：计算机科学 年份：2004
语言模型旨在刻画文本段的发生概率，作为自然语言处理领域中的一类重要模型，近年来其被广泛应用于不同软件分析任务, 例如代码提示。为提高模型对代码特征的学习能力，提出了一种......
[期刊论文] 作者：何智勇, 贲可荣,,
来源：哈尔滨工业大学学报 年份：2004
在魔方分层求解算法的基础上,利用OpenGL的3D技术,实现了一个演示自动求解过程的示教系统,同时提供了玩家可以手动操作的游戏平台....
[期刊论文] 作者：王戟,贲可荣,
来源：计算机工程与科学 年份：1992
近年来,时态逻辑大量应用于程序验证,采取的途径随使用的时态逻辑的形式和方法的不同而异。本文用自动机理论研究几种时态逻辑(LTL,BTL,POTL)的模型和模型生成子,并讨论用时...
[期刊论文] 作者：贲可荣,陈火旺,
来源：国防科技大学学报 年份：1994
基于文［１０］中的理论，我们用Ｔｕｒｂｏ－Ｐｒｏｌｏｇ编程，在３８６微机上成功地实现了命题时态逻辑定理的证明器。该证明器在处理ｎｅｘｔ幂次，归纳，◇（ｘ∧ｙ），ｕｎｔｉｌ等方面，均有独到之处。这些方面，克服了以往工作的不足。证明器界面友好......
[期刊论文] 作者：柳玉,贲可荣,,
来源：计算机科学与探索 年份：2011
基于案例推理(case-based reasoning,CBR)的故障诊断作为一种新的智能诊断技术,模拟人类求解问题的思路,通过历史案例发现新问题的解。概述了CBR的理论基础和基本原理;从工作...
[期刊论文] 作者：贲可荣,孙宁,
来源：计算机工程与科学 年份：2005
本文从计算理论、人工智能基础和计算机系统等三方面阐述了计算机科学领域中的待解问题,其中任何一个问题的解决都会极大地推动计算机科学的发展....
[期刊论文] 作者：张献,贲可荣,
来源：计算机工程与科学 年份：2017
大数据时代下迅速兴起的深度学习已在计算机视觉等多个领域取得了重大进展。近年来，随着软件制品的积累，这一方法也开始在软件工程领域发挥重要作用。概述了利用深度学习处理不......
[期刊论文] 作者：何智勇,贲可荣,
来源：计算机工程与科学 年份：2006
本文将现有体系结构模型的形式化描述系统和验证系统通过范畴理论进行刻画,通过将静态结构描述和动态行为描述转化为范畴表示,使体系结构模型具有了统一的描述语言和数学基础...
[期刊论文] 作者：米磊,贲可荣,
来源：计算机工程与科学 年份：2012
规约变异测试从软件功能的角度,对规约进行分析,从而揭示规约中存在的问题。本文提出一种基于UML状态图的变异测试方法,针对每种变异算子,分析其是否会引入冲突,进而有效避免...
[期刊论文] 作者：吴晓龙,贲可荣,
来源：武汉理工大学学报：信息与管理工程版 年份：2011
统一建模语言（unified modeling language，UML）状态图是基于UML开发的软件设计模型的重要组成部分，它描述了一个对象所处的可能状态以及状态之间的转换。对一种生成状态图的方法...
[期刊论文] 作者：贲可荣,何智勇,
来源：计算机教育 年份：2009
“软件工程”是计算机科学与技术专业本科必修课程，对培养军队信息化建设的人才有重要作用。本文介绍我们在“软件工程”课程教学中的做法及体会，包括采用英文原版教材、实行双......
相关搜索：
