期刊文献+
共找到113篇文章
< 1 2 6 >
每页显示 20 50 100
计算机科学与技术方法论 被引量:17
1
作者 董荣胜 古天龙 +1 位作者 蔡国永 谢春光 《计算机科学》 CSCD 北大核心 2002年第1期1-4,12,共5页
1 引言今天,当我们步入新世纪的时候,计算(Computing)技术作为现代技术的标志,已成为世界许多经济增长的主要动力.计算领域也已成为一个极其活跃的领域,计算学科正以令人惊异的速度发展,并大大延伸到传统的计算机科学的边界之外,成为一... 1 引言今天,当我们步入新世纪的时候,计算(Computing)技术作为现代技术的标志,已成为世界许多经济增长的主要动力.计算领域也已成为一个极其活跃的领域,计算学科正以令人惊异的速度发展,并大大延伸到传统的计算机科学的边界之外,成为一门范围极为宽广的学科.如何理解这个学科,引发了长期以来激烈的争论. 展开更多
关键词 计算机科学 技术方法论 计算技术 发展
在线阅读 下载PDF
谈计算机基础实验室的设备维护与管理 被引量:47
2
作者 王代君 何国民 《实验室研究与探索》 CAS 2005年第7期118-120,共3页
阐述了通过建设计算机机房软、硬件环境,采用网络硬盘还原卡及机房管理软件实现大批量计算机网络克隆等有效措施,提高计算机设备的维护效率,减轻实验人员的工作强度,提供良好的实验教学环境,使实验室的设备维护和管理水平上一个新的台阶。
关键词 计算机 硬盘还原卡 软件 设备维护及管理
在线阅读 下载PDF
一种新颖的电子商务模式:高效消费者响应系统 被引量:2
3
作者 杨辉华 王行愚 《计算机工程与应用》 CSCD 北大核心 2004年第19期23-28,161,共7页
ECR系统是降低快速消费品行业物流成本的有效途径。该文简要分析了ECR系统实现的关键及难点:以著名学者T.Poggio和S.Smale提出的学习理论的一个关键算法(Akeyalgorithm)为基础,进一步提出一种在预测中集成行业背景知识与高阶推理的方法... ECR系统是降低快速消费品行业物流成本的有效途径。该文简要分析了ECR系统实现的关键及难点:以著名学者T.Poggio和S.Smale提出的学习理论的一个关键算法(Akeyalgorithm)为基础,进一步提出一种在预测中集成行业背景知识与高阶推理的方法,成功解决销售滚动预测问题;提出了ECR系统的最优化发货策略及其实现方法。基于上述方案,以某大型乳业公司和某大型连锁超市之间业务关系为背景,构建了一种无纸、自动化的新型电子商务模式,能够有效降低物流成本。 展开更多
关键词 高效消费者响应 关键学习算法 销售预测 供应商管理库存 电子商务数据挖掘
在线阅读 下载PDF
一种新的密钥流发生器设计算法 被引量:3
4
作者 李昌刚 张昕 +2 位作者 朱芳来 应艳杰 汪永斌 《计算机工程》 CAS CSCD 北大核心 2007年第10期138-140,共3页
流密码的安全性主要取决于密钥流的随机程度,如何构造随机性良好的密钥序列成为流密码所要研究的首要问题。该文借鉴已有的一些分组密码,如DES﹑RC5等设计中的某些产生良好非线性的方法,提出了一种产生伪随机密钥的方法,并对它们的随机... 流密码的安全性主要取决于密钥流的随机程度,如何构造随机性良好的密钥序列成为流密码所要研究的首要问题。该文借鉴已有的一些分组密码,如DES﹑RC5等设计中的某些产生良好非线性的方法,提出了一种产生伪随机密钥的方法,并对它们的随机性进行了理论分析。分析结果表明,该算法具有良好的安全性。 展开更多
关键词 流密码 RC5算法 S盒 DES算法 分组密码
在线阅读 下载PDF
基于ZigBee技术的低成本无线数传系统的实现 被引量:13
5
作者 蒋泰 蒋利 《广西大学学报(自然科学版)》 CAS CSCD 2005年第4期332-336,共5页
介绍了一种低成本的无线数传系统的设计和研制,该系统采用了一款符合IEEE 802.15.4标准的Z igB ee无线网络芯片M C 13192和廉价的8位51单片机89S51,通过SP I接口实现单片机和Z igB ee芯片的通讯,并通过单片机的串口连接到计算机.文中给... 介绍了一种低成本的无线数传系统的设计和研制,该系统采用了一款符合IEEE 802.15.4标准的Z igB ee无线网络芯片M C 13192和廉价的8位51单片机89S51,通过SP I接口实现单片机和Z igB ee芯片的通讯,并通过单片机的串口连接到计算机.文中给出了系统的硬件结构和软件流程,并针对开发过程中遇到的技术难点给出了解决方案. 展开更多
关键词 ZIGBEE 51单片机 MC13192 无线收发
在线阅读 下载PDF
非线性系统降维观测器设计 被引量:10
6
作者 朱芳来 韩正之 《自动化学报》 EI CSCD 北大核心 2004年第4期613-618,共6页
对Lipschitz非线性系统降维观测器进行了讨论.首先考虑了降维观测器存在之条件,然后给出了此条件下的降维观测器的具体设计方法,该设计方法基于与非线性函数的Lipschitz常数有关的代数Riccati不等式的求解.最后,针对一个具体实际控制模... 对Lipschitz非线性系统降维观测器进行了讨论.首先考虑了降维观测器存在之条件,然后给出了此条件下的降维观测器的具体设计方法,该设计方法基于与非线性函数的Lipschitz常数有关的代数Riccati不等式的求解.最后,针对一个具体实际控制模型的仿真,验证了文中所提出之方法的实用性. 展开更多
关键词 降维观测器 RICCATI方程 LIPSCHITZ条件 非线性
在线阅读 下载PDF
CAD系统中并行公差的建模方法 被引量:8
7
作者 黄美发 钟艳如 《中国机械工程》 EI CAS CSCD 北大核心 2004年第18期1623-1626,共4页
提出一种基于产品设计与制造、支持公差工程语义和并行公差的几何公差计算机辅助建模表示新方法。在CAD系统中 ,进行装配公差和零件制造公差建模 ,利用特征的几何公差结构块 ,求出各种公差带的空间表示函数 ,计算有关公差带在三维空间... 提出一种基于产品设计与制造、支持公差工程语义和并行公差的几何公差计算机辅助建模表示新方法。在CAD系统中 ,进行装配公差和零件制造公差建模 ,利用特征的几何公差结构块 ,求出各种公差带的空间表示函数 ,计算有关公差带在三维空间中相应自由度的允许变动量 ,为公差分析和综合提供实用的模型。 展开更多
关键词 特征 几何公差结构块 公差带 自由度 公差建模
在线阅读 下载PDF
基于对象分布式实时系统约束的一致性研究 被引量:2
8
作者 赵岭忠 董荣胜 +1 位作者 蔡国永 古天龙 《计算机工程与应用》 CSCD 北大核心 2002年第15期60-62,71,共4页
在分布式实时系统中,时间约束规格的一致性是解决任务分配和调度等关键问题的必要前提。该文给出了一种基于对象分布式实时系统调度的通用模型,并对该模型进行了形式化描述。该模型克服了以往模型不能在应用系统的逻辑和功能部件上描述... 在分布式实时系统中,时间约束规格的一致性是解决任务分配和调度等关键问题的必要前提。该文给出了一种基于对象分布式实时系统调度的通用模型,并对该模型进行了形式化描述。该模型克服了以往模型不能在应用系统的逻辑和功能部件上描述系统实时约束的不足,允许从方法和活动上描述所需的约束,降低了单一约束描述的繁杂程度。为了解决使用该模型进行约束规格的一致性问题,该文给出了绝对时间约束、相对时间约束、一致性约束以及相对时间约束和一致性约束之间的一致性判定的必要条件。 展开更多
关键词 分布式实时系统 实时对象 调度模型 实时约束 约束一致性
在线阅读 下载PDF
一种电子商务协议原子性的模型检验分析方法 被引量:2
9
作者 董荣胜 郭云川 古天龙 《计算机科学》 CSCD 北大核心 2005年第4期184-186,共3页
提出了一个分析电子商务协议的形式化模型,介绍了基于该模型的电子商务协议原子性的描述方法。同其他模型相比,该模型能较好地分析具有多个实例并发运行时电子商务协议的原子性。最后基于该模型,用符号模型检验工具(SMV)分析了Digicash... 提出了一个分析电子商务协议的形式化模型,介绍了基于该模型的电子商务协议原子性的描述方法。同其他模型相比,该模型能较好地分析具有多个实例并发运行时电子商务协议的原子性。最后基于该模型,用符号模型检验工具(SMV)分析了Digicash协议和Netbill协议。 展开更多
关键词 电子商务协议 原子性 检验分析 形式化模型 描述方法 检验工具 符号模型
在线阅读 下载PDF
管理系统的最经济控制问题 被引量:2
10
作者 陈以 卢润德 毛宗源 《华南理工大学学报(自然科学版)》 EI CAS CSCD 北大核心 2003年第12期75-80,共6页
依据最经济控制问题的概念及其对无确定性数学模型系统分析存在的局限性 ,对现代管理系统最经济控制问题 ,提出了在满足系统基本要求前提下 ,实现控制功能及品质与控制成本比最佳或最划算的模型定义 ,并对管理系统的可靠性、ABC管理法、... 依据最经济控制问题的概念及其对无确定性数学模型系统分析存在的局限性 ,对现代管理系统最经济控制问题 ,提出了在满足系统基本要求前提下 ,实现控制功能及品质与控制成本比最佳或最划算的模型定义 ,并对管理系统的可靠性、ABC管理法、WSR方法论等方面的可靠性成本。 展开更多
关键词 管理系统 最经济控制 可靠性 ABC管理法 WSR方法论
在线阅读 下载PDF
一种通用的嵌入式操作系统内存保护设计 被引量:2
11
作者 崔更申 黄廷辉 王力 《计算机工程》 EI CAS CSCD 北大核心 2005年第24期96-98,共3页
详细介绍了一种基于分页机制的嵌入式操作系统内存保护技术,主要对应用程序和操作系统内核的域进行保护,该设计简单,且具有通用性,能适用不同体系结构的CPU,也能在现有操作系统中使用,最后用示例简单介绍了移植方法。
关键词 嵌入式操作系统 内存保护 内核映射 页表
在线阅读 下载PDF
基于labVIEW的解耦控制系统实现 被引量:2
12
作者 杨青 党选举 《计算机工程》 EI CAS CSCD 北大核心 2005年第2期228-230,共3页
介绍了自行设计的一套解耦控制实验系统的硬件构成和软件设计,模块式硬件结构简单灵活、安全可靠,基于labVIEW开发平台的人机界面友好、操作方便,大大简化了系统开发过程,并使该系统具有了工程应用意义。最后给出了基于该系统的一例控... 介绍了自行设计的一套解耦控制实验系统的硬件构成和软件设计,模块式硬件结构简单灵活、安全可靠,基于labVIEW开发平台的人机界面友好、操作方便,大大简化了系统开发过程,并使该系统具有了工程应用意义。最后给出了基于该系统的一例控制结果。 展开更多
关键词 VIEW 解耦控制系统 开发平台 软件设计 人机界面 实验系统 系统开发 安全可靠 硬件构成 简化
在线阅读 下载PDF
基于对象分布式实时系统的容错模型研究 被引量:1
13
作者 董荣胜 曹双进 +1 位作者 蔡国永 赵岭忠 《计算机工程与应用》 CSCD 北大核心 2004年第7期61-65,共5页
该文在基于对象的分布式实时系统调度模型研究的基础上,对G-Net模型进行了扩展,即给出了一种基于时间约束G-Net的分布式实时系统容错模型。该模型提供了容错和模块化机制,降低了分布式实时系统设计的复杂性,提高了系统的可维护性,有助... 该文在基于对象的分布式实时系统调度模型研究的基础上,对G-Net模型进行了扩展,即给出了一种基于时间约束G-Net的分布式实时系统容错模型。该模型提供了容错和模块化机制,降低了分布式实时系统设计的复杂性,提高了系统的可维护性,有助于大型复杂可靠的分布式实时系统的设计。最后,该文还给出了基于时间约束G-Net模拟器的结构。 展开更多
关键词 分布式实时调度 时间PETRI网 实时约束 容错
在线阅读 下载PDF
电子商务协议形式化分析的一种新方法 被引量:1
14
作者 郭云川 古天龙 +1 位作者 董荣胜 蔡国永 《计算机科学》 CSCD 北大核心 2004年第8期86-88,112,共4页
在电子商务领域,其协议的安全性和原子性是两个重要的问题,有必要对不断发展的协议进行分析和检验。文[3]提出了逻辑分析和进程演算相结合的技术,但这种技术在分析电子商务协议的安全性和原子性时存在一些局限性,因而本文提出了一种新... 在电子商务领域,其协议的安全性和原子性是两个重要的问题,有必要对不断发展的协议进行分析和检验。文[3]提出了逻辑分析和进程演算相结合的技术,但这种技术在分析电子商务协议的安全性和原子性时存在一些局限性,因而本文提出了一种新的分析和检验原子性的方法。 展开更多
关键词 电子商务协议 安全性 原子性 形式化方法
在线阅读 下载PDF
类Lyapunov非线性系统降维观测器设计 被引量:8
15
作者 朱芳来 《控制理论与应用》 EI CAS CSCD 北大核心 2004年第4期607-610,共4页
对一般形式的非线性系统,引入了Lyapunov稳定意义下观测器存在性的概念,讨论了降维观测器的存在性.指出若相对于一特别形式的Lyapunov函数在Lyapunov稳定意义下存在全维观测器,则还存在降维观测器,并给出了降维观测器之设计方法.为说明... 对一般形式的非线性系统,引入了Lyapunov稳定意义下观测器存在性的概念,讨论了降维观测器的存在性.指出若相对于一特别形式的Lyapunov函数在Lyapunov稳定意义下存在全维观测器,则还存在降维观测器,并给出了降维观测器之设计方法.为说明该方法的指导意义,用该方法相对于Lipschitz非线性系统给出了降维观测器设计,并对该设计相对于一具体模型进行了仿真分析,仿真结果表明了该设计方法的正确性及实用性. 展开更多
关键词 非线性系统 降维观测器 全维观测器 LYAPUNOV函数
在线阅读 下载PDF
电子合同签订协议的符号模型检验分析 被引量:1
16
作者 常亮 古天龙 郭云川 《计算机工程与应用》 CSCD 北大核心 2005年第1期161-164,共4页
与密钥分发和认证协议相比,电子合同签订协议的形式化分析遇到了新的挑战。以Asokan、Shoup和Waidner提出的乐观合同签订协议为例,在对协议进行建模以及对相应的安全性质进行形式化描述的基础上,用符号模型检验器SMV对公平性、适时性和... 与密钥分发和认证协议相比,电子合同签订协议的形式化分析遇到了新的挑战。以Asokan、Shoup和Waidner提出的乐观合同签订协议为例,在对协议进行建模以及对相应的安全性质进行形式化描述的基础上,用符号模型检验器SMV对公平性、适时性和无滥用性进行了分析,检测出了相关的缺陷。表明了用SMV对电子合同签订协议进行符号模型分析的有效性。 展开更多
关键词 电子合同签订协议 符号模型检验 公平性 无滥用性
在线阅读 下载PDF
离散事件系统的一种N步在线监控策略 被引量:1
17
作者 古天龙 高衿畅 周春晖 《自动化学报》 EI CSCD 北大核心 1997年第3期404-407,共4页
文中给出了离散事件系统的一种N步在线监控策略.其特点是控制策略取决于系统当前运行的N步后继运行投影或预测,无需计算非能控语言的上限能控子语言,通过适当选取N,仍可保证系统的最优运行.同时还给出了与之相关的一些理论结果.
关键词 离散事件系统 监控器 在线监控策略
在线阅读 下载PDF
非线性系统指数型降维观测器设计 被引量:1
18
作者 朱芳来 韩正之 《自动化学报》 EI CSCD 北大核心 2002年第6期1015-1018,共4页
关键词 非线性系统 指数型降维观测器 设计 LYAPUNOV函数 指数收敛
在线阅读 下载PDF
非线性系统的一种指数收敛观测器 被引量:1
19
作者 朱芳来 韩正之 《上海交通大学学报》 EI CAS CSCD 北大核心 2003年第4期485-488,共4页
为使非线性系统状态反馈设计切实可行 ,对一种非线性指数型观测器设计的前提条件进行了讨论 ,并提出了观测器的具体设计方法 .即给出了可观测对为时变情形时的有关结论 ,同时还给出了非时变时的特别结论 .所给出的观测器具有收敛速度快... 为使非线性系统状态反馈设计切实可行 ,对一种非线性指数型观测器设计的前提条件进行了讨论 ,并提出了观测器的具体设计方法 .即给出了可观测对为时变情形时的有关结论 ,同时还给出了非时变时的特别结论 .所给出的观测器具有收敛速度快的特点 .讨论过程中没有用到观测器设计通常要涉及到的 Lyapunov稳定性理论 ,因而其过程避免了寻找不易构造的 Lyapunov函数 .通过算例 。 展开更多
关键词 非线性系统 观测器 指数收敛 LYAPUNOV方程
在线阅读 下载PDF
冷冲模具间隙检测分析系统设计 被引量:1
20
作者 董荣胜 《广西科学》 CAS 1995年第2期64-66,共3页
在直观检测模具间隙的基础上,通过计算机、光机电一体化的系统集成,讨论了动态模具的检测分析和管理,提出了模具间隙均匀度的新概念,为模具生产和管理提供了一种新的途径。
关键词 模具间隙 均匀度 检测 设计
在线阅读 下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部