以库恩理论谈计算机科学与技术的跨越式发展 被引量：6

1

作者 李民政 宋志国 曾莉 《学术论坛》 北大核心 2006年第4期33-35,共3页

库恩理论揭示了科学技术发展的内在规律,它广泛应用于科技发展的各个领域。应用库恩理论分析计算机科学与技术的发展历程,可以预测计算机科学与技术跨越式发展的可能性,以及现阶段计算机科学与技术的发展格局及可能的发展结果,这一分析... 库恩理论揭示了科学技术发展的内在规律,它广泛应用于科技发展的各个领域。应用库恩理论分析计算机科学与技术的发展历程,可以预测计算机科学与技术跨越式发展的可能性,以及现阶段计算机科学与技术的发展格局及可能的发展结果,这一分析将有利于推动计算机科学与技术的快速发展。 展开更多

关键词 范式 库恩理论 科技革命 计算机科学与技术

在线阅读 下载PDF 职称材料

一种基于SSL协议的铁路电子商务支付系统 被引量：6

2

作者 周满元 《仪器仪表学报》 EI CAS CSCD 北大核心 2006年第z1期944-945,共2页

结合我国铁路电子商务的发展现状和需求,以节省交易成本和提高安全性为目标,提出基于SSL协议的铁路电子商务支付系统。通过加入双重签名技术,使得SSL协议的安全性有所提高,铁路电子商务系统更加有效和安全,交易成本也大大降低。

关键词 铁路电子商务 SSL协议 双重签名

在线阅读 下载PDF 职称材料

有界模型检测同步多智体系统的时态认知逻辑 被引量：13

3

作者 骆翔宇 苏开乐 杨晋吉 《软件学报》 EI CSCD 北大核心 2006年第12期2485-2498,共14页

提出在同步的多智体系统中验证时态认知逻辑的有界模型检测(boundedmodelchecking,简称BMC)算法.基于同步解释系统语义,在时态逻辑CTL的语言中引入认知模态词,从而得到一个新的时态认知逻辑ECKLn.通过引入状态位置函数的方法获得同步系... 提出在同步的多智体系统中验证时态认知逻辑的有界模型检测(boundedmodelchecking,简称BMC)算法.基于同步解释系统语义,在时态逻辑CTL的语言中引入认知模态词,从而得到一个新的时态认知逻辑ECKLn.通过引入状态位置函数的方法获得同步系统的智能体知识,避免了为时间域而扩展通常的时态认知模型的状态及迁移关系编码.ECKLn的时态认知表达能力强于另一个逻辑CTLK.给出该算法的技术细节及正确性证明,并用火车控制系统实例解释算法的执行过程. 展开更多

关键词 模型检测 有界模型检测 多智体系统 同步时态认知模型 时态认知逻辑

在线阅读 下载PDF 职称材料

基于数字水印技术的隐蔽信息传输系统 被引量：5

4

作者 李民政 吴绍权 欧阳缮 《计算机应用与软件》 CSCD 北大核心 2006年第9期29-30,100,共3页

针对传统加密通信不具备伪装性,容易被攻击者监听、截取、破译的缺点,提出一种新的基于数字水印技术的隐蔽信息传输系统。该系统利用人的听觉系统分辨率限制来实现隐藏信息传输的伪装性,能有效克服传统加密通信易被攻击者监听、截取的... 针对传统加密通信不具备伪装性,容易被攻击者监听、截取、破译的缺点,提出一种新的基于数字水印技术的隐蔽信息传输系统。该系统利用人的听觉系统分辨率限制来实现隐藏信息传输的伪装性,能有效克服传统加密通信易被攻击者监听、截取的缺点。此外,实验表明该系统能实现隐藏信息的可靠性传输。 展开更多

关键词 数字水印 隐藏信息 加密

在线阅读 下载PDF 职称材料

柔性制造系统中生产调度问题求解的一种符号算法 被引量：2

5

作者 古天龙 熊太平 赵岭忠 《计算机集成制造系统》 EI CSCD 北大核心 2007年第2期338-344,共7页

讨论了基于有序二叉决策图的有界Petri网符号分析,给出了其中镜像计算的一种新算法,进而建立了柔性制造系统生产调度问题的符号有序二叉决策图求解算法。该算法在求解过程中通过对状态空间及其搜索过程中相关数据的有序二叉决策图表示,... 讨论了基于有序二叉决策图的有界Petri网符号分析,给出了其中镜像计算的一种新算法,进而建立了柔性制造系统生产调度问题的符号有序二叉决策图求解算法。该算法在求解过程中通过对状态空间及其搜索过程中相关数据的有序二叉决策图表示,避免了状态和搜索的显示枚举,实现了隐式高效操作,进而改善了算法的计算性能。仿真实验表明了算法的有效性。 展开更多

关键词 赋时PETRI网 柔性制造系统调度 有序二叉决策图 符号算法

在线阅读 下载PDF 职称材料

基于ARM的商标识别系统的设计与实现 被引量：1

6

作者 游张华 许勇 康业娜 《计算机工程》 CAS CSCD 北大核心 2007年第15期264-266,276,共4页

基于ARM体系结构的32位微处理器已得到了广泛应用。该文通过具体开发实例,从硬件和软件2个方面讨论了以32位ARM9微处理器S3C2410为核心的商标识别系统的设计,结合实际应用说明了嵌入式操作系统Mizi Linux的使用,描述了底层硬件驱动的编... 基于ARM体系结构的32位微处理器已得到了广泛应用。该文通过具体开发实例,从硬件和软件2个方面讨论了以32位ARM9微处理器S3C2410为核心的商标识别系统的设计,结合实际应用说明了嵌入式操作系统Mizi Linux的使用,描述了底层硬件驱动的编写、上层应用程序商标识别算法的设计,以及硬件平台的搭建和系统的移植等内容。 展开更多

关键词 ARM S3C2410 Mizi LINUX 商标识别算法

在线阅读 下载PDF 职称材料

基于蚁群系统WDM网络受限组播路由算法 被引量：1

7

作者 谢春光 祝军生 陈胜权 《计算机工程》 CAS CSCD 北大核心 2007年第11期206-208,212,共4页

通过在蚂蚁选路的概率中加入成本因素,只增加优秀路径上的信息素,实现了对现有蚁群算法的改进,加快了其收敛速度。将改进的蚁群优化算法与分层图相结合,提出了一种构造时延受限的最小代价组播树的并行算法。

关键词 蚁群算法 WDM网络 组播树 并行算法

在线阅读 下载PDF 职称材料

桶装水配送管理系统的设计 被引量：1

8

作者 蒋泰 李友福 《桂林工学院学报》 北大核心 2006年第2期282-285,共4页

介绍了桶装水企业的业务模式,针对桶装水企业一个管理中心+若干专职配送站的配送方式,提出了3层B/S模式的配送管理系统解决方案,采用多种框架整合策略来开发整个系统;表现层采用Struts框架,业务层采用Spring框架,而持久层采用H ibernat... 介绍了桶装水企业的业务模式,针对桶装水企业一个管理中心+若干专职配送站的配送方式,提出了3层B/S模式的配送管理系统解决方案,采用多种框架整合策略来开发整个系统;表现层采用Struts框架,业务层采用Spring框架,而持久层采用H ibernate框架.这样的框架整合使得开发的软件系统可以更好的分层,从而降低层与层的耦合,使系统具有更好的扩展性和维护性. 展开更多

关键词 桶装水 物流配送 框架

在线阅读 下载PDF 职称材料

网络传感器操作系统设计

9

作者 黄廷辉 崔更申 古天龙 《传感器与微系统》 CSCD 北大核心 2006年第10期44-46,共3页

针对网络传感器节点有限硬件资源约束的特性,分析了现有操作系统设计的不足,以Arena操作系统为基础,设计了一种新的操作系统软件架构。这个架构允许操作系统功能模块和应用程序模块在系统运行时动态加载和替换,保障系统代码的安全升级,... 针对网络传感器节点有限硬件资源约束的特性,分析了现有操作系统设计的不足,以Arena操作系统为基础,设计了一种新的操作系统软件架构。这个架构允许操作系统功能模块和应用程序模块在系统运行时动态加载和替换,保障系统代码的安全升级,实现低能耗、高可信的操作系统功能,并支持网络传感器系统的可重构和自适应能力。 展开更多

关键词 网络传感器 动态模块加载 安全升级

在线阅读 下载PDF 职称材料

利用改进的多代理系统分析基因表达数据

10

作者 王鑫 《计算机研究与发展》 EI CSCD 北大核心 2006年第z1期476-479,共4页

通过介绍改进的多代理系统在分析基因表达数据中的应用,揭示了运用普通分类器找出有效的分类基因,而且这些普通分类器在研究基因表达数据库时可被代理使用.这样就可得到一个具有大量基因特征的小子集,并且用它可以帮助辨认病人的临床状... 通过介绍改进的多代理系统在分析基因表达数据中的应用,揭示了运用普通分类器找出有效的分类基因,而且这些普通分类器在研究基因表达数据库时可被代理使用.这样就可得到一个具有大量基因特征的小子集,并且用它可以帮助辨认病人的临床状况和特征.实验表明代理通过改进和相互协作可改进其性能,并通过两个著名的众所周知的基因表达问题来展示项目的研究成果. 展开更多

关键词 分类器系统 遗传算法 多代理系统 生物信息学

在线阅读 下载PDF 职称材料

分布式数据库中基于半连接的查询优化算法研究 被引量：23

11

作者 魏士伟 黄文明 +1 位作者 康业娜 周娅 《计算机应用》 CSCD 北大核心 2007年第B06期34-36,39,共4页

首先阐述了分布式查询优化的主要目标,介绍了半连接算法和基于半连接的二分劈开缩减算法,分析了两者的特点和不足并在其基础上提出了一种新的优化算法——两次半连接对接算法。通过进行两次半连接减少了通信信息量,并且利用多结点的并... 首先阐述了分布式查询优化的主要目标,介绍了半连接算法和基于半连接的二分劈开缩减算法,分析了两者的特点和不足并在其基础上提出了一种新的优化算法——两次半连接对接算法。通过进行两次半连接减少了通信信息量,并且利用多结点的并行性处理提高了查询的响应时间和处理速度。通过对三种算法的比较对新算法的性能进行了分析,结果表明,该算法在某些特定的环境下确实具有较高的处理速度、节点利用率和实际可行性,适合大规模的数据库查询。 展开更多

关键词 分布式数据库 查询处理和优化 半连接算法 响应时间 并行性

在线阅读 下载PDF 职称材料

基于统计公差和质量损失的公差设计 被引量：9

12

作者 匡兵 黄美发 +1 位作者 钟艳如 张晶 《系统仿真学报》 CAS CSCD 北大核心 2006年第z2期526-528,532,共4页

公差设计是产品设计的重要组成部分并直接影响到产品的实际生产成本。在传统的公差设计中,很少同时考虑质量损失和统计公差,因而采用传统的设计方法很难得到公差的最优解。基于产品的质量损失,利用公差-成本关系和统计公差的方法,建立... 公差设计是产品设计的重要组成部分并直接影响到产品的实际生产成本。在传统的公差设计中,很少同时考虑质量损失和统计公差,因而采用传统的设计方法很难得到公差的最优解。基于产品的质量损失,利用公差-成本关系和统计公差的方法,建立了公差设计的优化模型,并应用遗传算法进行装配公差的分配。该模型以制造成本与质量损失成本之和为目标函数,以加工能力和功能要求为约束条件。最后通过齿轮装配体公差分配的一个例子来说明所提出方法和模型的优点。 展开更多

关键词 公差设计 统计公差 质量损失 制造成本 遗传算法

在线阅读 下载PDF 职称材料

装配序列规划问题求解的一种混合算法 被引量：18

13

作者 宁黎华 古天龙 《计算机集成制造系统》 EI CSCD 北大核心 2007年第4期762-767,776,共7页

基于蚂蚁算法和的遗传算法特点,给出了一种解决装配序列规划问题的遗传和蚂蚁混合算法。混合算法中利用蚂蚁的每一次周游,快速生成问题的一组可行解,用遗传算法对得到的可行解进行快速优化,并根据优化解的质量,生成路径上的信息素分布,... 基于蚂蚁算法和的遗传算法特点,给出了一种解决装配序列规划问题的遗传和蚂蚁混合算法。混合算法中利用蚂蚁的每一次周游,快速生成问题的一组可行解,用遗传算法对得到的可行解进行快速优化,并根据优化解的质量,生成路径上的信息素分布,以加速蚂蚁最优路径上信息素的积累,从而引导蚂蚁更快地搜索到问题的最优解。实验结果表明,混合算法在装配序列规划问题求解上具有更好的性能。 展开更多

关键词 装配序列规划 遗传算法 蚂蚁算法 混合算法

在线阅读 下载PDF 职称材料

基于神经网络的迟滞非线性逆模型 被引量：8

14

作者 赵新龙 谭永红 董建萍 《上海交通大学学报》 EI CAS CSCD 北大核心 2007年第1期104-107,共4页

为了补偿迟滞特性对系统的不良影响,提高迟滞非线性系统的控制精度,建立了神经网络迟滞非线性逆模型.由于神经网络不能够直接逼近迟滞逆这种具有记忆性的多映射现象,通过引入一个迟滞逆算子,将多映射的迟滞逆转换成一一映射,然后运用神... 为了补偿迟滞特性对系统的不良影响,提高迟滞非线性系统的控制精度,建立了神经网络迟滞非线性逆模型.由于神经网络不能够直接逼近迟滞逆这种具有记忆性的多映射现象,通过引入一个迟滞逆算子,将多映射的迟滞逆转换成一一映射,然后运用神经网络来逼近这个一一映射从而建立一个基于神经网络的迟滞逆模型.该模型的主要优点是结构简单、精度高,可以在线调整神经网络的权值以适应不同工作条件下的迟滞逆辨识.最后,运用该方法对压电执行器中的迟滞非线性建立了逆模型. 展开更多

关键词 迟滞逆 迟滞逆算子 神经网络

在线阅读 下载PDF 职称材料

基于加工因素和信噪比质量损失的并行公差设计 被引量：4

15

作者 张晶 黄美发 +1 位作者 钟艳如 匡兵 《系统仿真学报》 CAS CSCD 北大核心 2006年第z2期195-198,共4页

研究了加工因素与产品成本的关系,根据实际加工的统计数据,利用Matlab回归分析得到加工因素的成本综合影响系数,并给出了加工因素的成本—公差函数。针对加工工艺规划,提出采用信噪比衡量各道工序对产品质量损失的影响。利用成本—公差... 研究了加工因素与产品成本的关系,根据实际加工的统计数据,利用Matlab回归分析得到加工因素的成本综合影响系数,并给出了加工因素的成本—公差函数。针对加工工艺规划,提出采用信噪比衡量各道工序对产品质量损失的影响。利用成本—公差函数和信噪比质量损失,建立基于加工因素和信噪比质量损失的并行公差优化模型,实现了公差的并行设计,保证公差的经济性和可加工性。最后通过工程实例验证了所提出方法。 展开更多

关键词 加工因素 信噪比 质量损失 并行公差

在线阅读 下载PDF 职称材料

一种模糊红外目标边缘和不变特征提取方法 被引量：5

16

作者 温佩芝 吴成柯 史泽林 《光电工程》 EI CAS CSCD 北大核心 2007年第4期1-6,共6页

针对红外图像中模糊目标难以分割和识别的情况,提出以小波多尺度滤波分解后的逼近图像作为自适应域值进行图像二值化的方法,由此分割出模糊图像中的目标,提取目标的轮廓边缘。然后,提出一种新的矩计算方法提取目标的不变性特征。实验结... 针对红外图像中模糊目标难以分割和识别的情况,提出以小波多尺度滤波分解后的逼近图像作为自适应域值进行图像二值化的方法,由此分割出模糊图像中的目标,提取目标的轮廓边缘。然后,提出一种新的矩计算方法提取目标的不变性特征。实验结果表明,该方法具有很强的抗噪和抗扰性能,能有效提取复杂背景中模糊目标的平移、缩放和旋转不变量,极大提高了运动模糊目标识别的可靠性。 展开更多

关键词 红外图像 模糊目标 特征提取 综合不变矩

在线阅读 下载PDF 职称材料

基于GMR的二维焊缝检测传感器的设计与实现 被引量：6

17

作者 徐明 朱名日 陈从生 《仪表技术与传感器》 CSCD 北大核心 2006年第12期6-8,共3页

简述了基于GMR的二维焊缝检测传感器。为解决焊接加工自动化过程中焊缝的跟踪检测,将GMR焊枪悬浮高度传感器、焊缝检测传感器以及相应的微处理器有机集成,从而使传感器实现小型化智能化,减少对工件检测的死区范围。该传感器与自动焊接... 简述了基于GMR的二维焊缝检测传感器。为解决焊接加工自动化过程中焊缝的跟踪检测,将GMR焊枪悬浮高度传感器、焊缝检测传感器以及相应的微处理器有机集成,从而使传感器实现小型化智能化,减少对工件检测的死区范围。该传感器与自动焊接机组成的焊缝跟踪系统,焊缝跟踪精度高、响应速度块,减少了焊缝轨迹空间捕捉算法的复杂性。 展开更多

关键词 焊缝检测 集成化 磁敏传感器

在线阅读 下载PDF 职称材料

基于网格环境中的量化评估信任模型 被引量：4

18

作者 农毅 古天龙 《计算机科学》 CSCD 北大核心 2007年第6期88-91,共4页

网格计算系统是由地理上分布的,异构的计算机和资源组成,它是一个分布式的高性能计算机环境,通过网络连接,用户可以透明地共享这些资源。但其本身具有动态性和不确定性,给区域间网格实体的合作带来一系列安全问题。所以网格环境中的信... 网格计算系统是由地理上分布的,异构的计算机和资源组成,它是一个分布式的高性能计算机环境,通过网络连接,用户可以透明地共享这些资源。但其本身具有动态性和不确定性,给区域间网格实体的合作带来一系列安全问题。所以网格环境中的信任问题,成为当前网格研究的一个热点。在本文中,把信任划分为身份信任和行为信任,提出了一种新型的量化评估信任模型,来处理网格环境中实体之间的信任关系,从而更科学、有效地解决网格环境中存在的安全问题。 展开更多

关键词 网格 信任 信任度 信任模型

在线阅读 下载PDF 职称材料

一种实用对等网络信任模型研究 被引量：2

19

作者 尹叶青 周娅 黄桂敏 《计算机应用研究》 CSCD 北大核心 2007年第3期268-270,共3页

在分析了一种实用信任模型的特点和不足的基础上,提出了一种改进的信任模型WeightRep。分析和仿真表明,改进模型比原模型具有更好的安全性和可用性。

关键词 信任 信任模型 对等网络 文件共享

在线阅读 下载PDF 职称材料

PCS颗粒测量技术中数字相关器的研究 被引量：3

20

作者 林科 黄廷磊 《仪器仪表学报》 EI CAS CSCD 北大核心 2006年第z1期174-176,共3页

数字相关技术是纳米颗粒测量技术中的一个关键环节,自相关函数的估计质量直接影响颗粒测量结果。PCS理论较为复杂,数据运算量大,因此实现较为困难。文中介绍光子相关光谱法的基本原理,讨论数字相关器的内部结构,最后提出实现数字相关器... 数字相关技术是纳米颗粒测量技术中的一个关键环节,自相关函数的估计质量直接影响颗粒测量结果。PCS理论较为复杂,数据运算量大,因此实现较为困难。文中介绍光子相关光谱法的基本原理,讨论数字相关器的内部结构,最后提出实现数字相关器的新方法,该方法计算精度较高,系统实现灵活,满足对光子相关光谱法中相关函数计算的高精度、实时性的要求。 展开更多

关键词 动态光散射 自相关函数 数字相关器

在线阅读 下载PDF 职称材料