期刊文献+
共找到11篇文章
< 1 >
每页显示 20 50 100
计算机软件人才培养模式的研究 被引量:12
1
作者 王小银 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2007年第S2期184-186,共3页
对我国计算机软件人才的需求和培养现状进行了分析,在此基础上提出了适合我国软件人才培养模式的新理念.
关键词 软件人才 培养模式 工程化
在线阅读 下载PDF
模态转移系统的三值逻辑模型检验 被引量:2
2
作者 郭建 韩俊刚 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2006年第6期881-884,共4页
分析了现有的模型检验技术应用于模态转移系统的三值逻辑公式的模型检验中存在的问题·提出了把模态转移系统转换成Kripke结构的算法以及三值逻辑公式转换成2个二值逻辑的算法,经过转换后可用现有的模型检验技术进行模型检验·... 分析了现有的模型检验技术应用于模态转移系统的三值逻辑公式的模型检验中存在的问题·提出了把模态转移系统转换成Kripke结构的算法以及三值逻辑公式转换成2个二值逻辑的算法,经过转换后可用现有的模型检验技术进行模型检验·用该算法转换后,状态数、转移数和原子命题数目与原模型呈线性关系,没有增加模型检验的复杂度· 展开更多
关键词 三值逻辑 模型检验 模态转移系统 不完全Kripke结构
在线阅读 下载PDF
利用串口进行网络系统互联的设计与实现 被引量:1
3
作者 王亚刚 许振文 《计算机工程与应用》 CSCD 北大核心 2009年第22期47-48,61,共3页
为了解决数字微波设备网管系统中利用串口进行网络互联的问题,利用uCLinux系统中Netlink通信机制、网络驱动程序设计等关键技术,结合数字微波设备网管系统的具体设计,提出了基于串口设备的网络系统互联的系统模型,并给出了具体的设计与... 为了解决数字微波设备网管系统中利用串口进行网络互联的问题,利用uCLinux系统中Netlink通信机制、网络驱动程序设计等关键技术,结合数字微波设备网管系统的具体设计,提出了基于串口设备的网络系统互联的系统模型,并给出了具体的设计与实现方法。 展开更多
关键词 NETLINK 网络驱动程序 串口通信 网络互联
在线阅读 下载PDF
三值逻辑证明系统及正例与反例的提取
4
作者 郭建 韩俊刚 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2011年第7期1270-1279,共10页
三值逻辑模型检验是对更高层的模型抽象验证的一种方法,对其验证中常常需要给出正例和反例.为此,讨论了三值逻辑模型检验以及正例和反例的提取,并在给出一套三值逻辑证明规则的基础上形成一个证明系统;运用该系统可以证明模型是否满足... 三值逻辑模型检验是对更高层的模型抽象验证的一种方法,对其验证中常常需要给出正例和反例.为此,讨论了三值逻辑模型检验以及正例和反例的提取,并在给出一套三值逻辑证明规则的基础上形成一个证明系统;运用该系统可以证明模型是否满足某个性质;在证明过程中为存在路径量词提取正例,为全称路径量词提取反例.正例和反例的提取可给模型的细化指明方向.最后通过实例给出了该证明系统在数字逻辑电路验证中的应用. 展开更多
关键词 三值逻辑 不完全Kripke结构 正例 反例 证明系统
在线阅读 下载PDF
决策树算法在医学图像数据挖掘中的应用 被引量:22
5
作者 王曙燕 耿国华 李丙春 《西北大学学报(自然科学版)》 CAS CSCD 北大核心 2005年第3期262-265,共4页
目的研究决策树算法在医学图像数据挖掘中的应用。方法利用决策树算法对乳腺癌图像数据进行分类,提出了一个基于决策树算法的医学图像分类器。结果实现了ID3和C4.5算法对图像数据的分类,获得了分类的实验结果。结论该模型系统达到了较... 目的研究决策树算法在医学图像数据挖掘中的应用。方法利用决策树算法对乳腺癌图像数据进行分类,提出了一个基于决策树算法的医学图像分类器。结果实现了ID3和C4.5算法对图像数据的分类,获得了分类的实验结果。结论该模型系统达到了较高的分类准确率,证明数据挖掘在辅助医疗诊断中有着广泛的应用前景。 展开更多
关键词 数据挖掘 决策树 分类 医学图像
在线阅读 下载PDF
面向数据流的频繁项集挖掘研究 被引量:2
6
作者 孟彩霞 《计算机工程与应用》 CSCD 北大核心 2010年第24期138-140,159,共4页
针对数据流的特点,对数据流中频繁模式挖掘问题进行了研究,提出了数据流频繁项集挖掘算法FP-SegCount。该算法将数据流分段并利用改进的FP-growth算法挖掘分段中的频繁项集。然后,利用Count Min Sketch进行项集计数。算法解决了压缩统... 针对数据流的特点,对数据流中频繁模式挖掘问题进行了研究,提出了数据流频繁项集挖掘算法FP-SegCount。该算法将数据流分段并利用改进的FP-growth算法挖掘分段中的频繁项集。然后,利用Count Min Sketch进行项集计数。算法解决了压缩统计和计算快速高效的问题。通过和FP-DS算法的实验对比,FP-SegCount算法具有较好的时间效率。 展开更多
关键词 数据流 数据挖掘 数据流挖掘 频繁项集
在线阅读 下载PDF
双网传真机中网络传真模块的设计与实现 被引量:1
7
作者 王亚刚 《计算机工程与应用》 CSCD 北大核心 2009年第25期68-70,共3页
为了构建双网传真机,实现传统传真和网络传真功能的集成,介绍了在传统传真模块之上,利用嵌入式ARM硬件平台和网络传真软件构建了一个双网数字传真机设计原型,重点介绍了以邮件服务为中心的网络传真软件系统的架构和实现过程。设计结果... 为了构建双网传真机,实现传统传真和网络传真功能的集成,介绍了在传统传真模块之上,利用嵌入式ARM硬件平台和网络传真软件构建了一个双网数字传真机设计原型,重点介绍了以邮件服务为中心的网络传真软件系统的架构和实现过程。设计结果符合《IP传真数据非实时传送技术要求》的规定。 展开更多
关键词 双网数字传真机 ADVANCED RISC Machines(ARM) 微控制器领域中的Linux系统 邮件服务器 网络传真
在线阅读 下载PDF
PowerBuilder在C/S模式下的并发控制 被引量:1
8
作者 王小银 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2004年第S1期248-250,共3页
并发控制是多用户环境下实现数据共享非常重要的机制,介绍了并发控制的理论及方法,在此基础上讨论了PowerBuilder在多用户时实现并发控制的方法和途径.
关键词 并发控制 POWERBUILDER DATAWINDOW 多用户
在线阅读 下载PDF
面向数据流的频繁模式挖掘研究 被引量:1
9
作者 孟彩霞 《计算机应用研究》 CSCD 北大核心 2009年第11期4054-4056,4059,共4页
数据流的无限性、高速性使得经典的频繁模式挖掘方法难以适用到数据流中。针对数据流的特点,对数据流中频繁模式挖掘问题进行了研究,提出了数据流频繁模式挖掘算法FP-SegCount。该算法将数据流分段并利用改进的FP-growth算法挖掘分段中... 数据流的无限性、高速性使得经典的频繁模式挖掘方法难以适用到数据流中。针对数据流的特点,对数据流中频繁模式挖掘问题进行了研究,提出了数据流频繁模式挖掘算法FP-SegCount。该算法将数据流分段并利用改进的FP-growth算法挖掘分段中的频繁项集,然后利用Count-Min Sketch进行项集计数。算法解决了压缩统计和计算快速高效的问题。通过实验分析,FP-SegCount算法是有效的。 展开更多
关键词 数据流 数据挖掘 数据流挖掘 频繁模式
在线阅读 下载PDF
基于OBDD时序电路设计的验证
10
作者 刘建元 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2002年第2期55-58,共4页
依据有序二叉判定图 (OBDD)和计算树逻辑 (或称分支时态逻辑 )CTL(ComputationalTreeLogic)的基本原理 ,分析了基于OBDD和CTL的验证数字电路设计的基本原理 ,并在此基础上 。
关键词 OBDD 时序电路 有序二叉判定图 分支时态逻辑 等价性检验 符号模型检验 布尔函数 电路设计
在线阅读 下载PDF
基于性质描述语言的硬件验证
11
作者 纪小辉 郭建 《科学技术与工程》 2010年第23期5652-5656,共5页
性质描述语言(Property Specification Language)为描述硬件设计的属性提供了一种标准语言,基于断言的验证方法为硬件的设计和验证提出了一种新的很具有优势的验证方法。用性质描述语言作为断言的验证方法中描述断言的语言,使得断言... 性质描述语言(Property Specification Language)为描述硬件设计的属性提供了一种标准语言,基于断言的验证方法为硬件的设计和验证提出了一种新的很具有优势的验证方法。用性质描述语言作为断言的验证方法中描述断言的语言,使得断言能够被语法精简、语义严格清晰地描述出来。通过对先进先出队列存储器的设计和断言的描述,以及对断言的验证结果的描述,给出了如何利用性质描述语言写断言的一般方法,然后再进行模拟仿真,找出使断言失败的原因,以便找出设计的错误,并验证了本方法在硬件验证中的有效性。 展开更多
关键词 性质描述语言 断言的验证 先进先出队列存储器
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部