任务驱动教学法在计算机教学中的探索与实践 被引量：39

1

作者 宁伟 于永春 杜明 《能源技术与管理》 2006年第1期102-105,共4页

结合计算机教学实践介绍了任务驱动教学法,分析了任务驱动教学法的优势、教学任务设计的原则及任务驱动教学法的实施步骤等。

关键词 教育改革 任务驱动教学法 计算机教学

在线阅读 下载PDF 职称材料

矿井提升机紧急制动时管道流动特性的计算机模拟

2

作者 郭小荟 肖兴明 《煤炭工程》 北大核心 2004年第4期49-52,共4页

论文建立了提升机制动系统管路的物理模型、数学模型 ,基于特征线法进行了数学模拟计算 ,发现制动系统管路的阻尼对于紧急制动时贴闸油压的测试有很大的影响 。

关键词 矿井提升机 紧急制动 油压 数学模型 特征线法 计算机模拟

在线阅读 下载PDF 职称材料

矿井提升机紧急制动时管道流动特性的计算机模拟

3

作者 郭小荟 肖兴明 《煤矿机电》 北大核心 2004年第5期106-109,105,共5页

　本文建立了提升机制动系统管路的物理模型、数学模型,基于特征线法进行了数学模拟计算,发现制动系统管路的阻尼对于紧急制动时贴闸油压的测试有很大的影响,这对矿井提升机的监控有着重大意义。

关键词 紧急制动 油压 数学模型 特征线法 计算机模拟

在线阅读 下载PDF 职称材料

计算机控制激光玻璃雕刻机的分析与改进

4

作者 钱爱玲 夏清华 《襄樊职业技术学院学报》 2004年第6期31-32,36,共3页

目前的计算机控制激光玻璃雕刻机只能用计算机软件制作的三维图形来控制工作平台的移动来控制玻璃的雕刻三维图形,计算机软件制作的三维图形的有限,不能满足人们对工艺品的需求,改用激光的全息图来控制工作平台的移动,将大大的丰富激光... 目前的计算机控制激光玻璃雕刻机只能用计算机软件制作的三维图形来控制工作平台的移动来控制玻璃的雕刻三维图形,计算机软件制作的三维图形的有限,不能满足人们对工艺品的需求,改用激光的全息图来控制工作平台的移动,将大大的丰富激光玻璃内雕刻内容。 展开更多

关键词 激光摄影 全息控制 激光雕刻机

在线阅读 下载PDF 职称材料

程序源代码同源性度量技术研究 被引量：1

5

作者 路梅 赵向军 《徐州建筑职业技术学院学报》 2007年第4期31-34,共4页

对程序源代码的静态特性进行分析,提出了借助源码中特定字符和标识符出现的频数构造源码的特征向量以及利用改进核聚类方法对源码的同源性进行聚类分析的新方法.并通过算法设计与分析课程源代码作业反映的实际数据,对该方法的有效性进... 对程序源代码的静态特性进行分析,提出了借助源码中特定字符和标识符出现的频数构造源码的特征向量以及利用改进核聚类方法对源码的同源性进行聚类分析的新方法.并通过算法设计与分析课程源代码作业反映的实际数据,对该方法的有效性进行了验证. 展开更多

关键词 计算机程序 源代码同源性度量 源代码特征对比 核聚类方法

在线阅读 下载PDF 职称材料

基于模m的n方根的前向安全数字签名方案的分析与改进 被引量：15

6

作者 刘亚丽 秦小麟 +1 位作者 殷新春 李博涵 《通信学报》 EI CSCD 北大核心 2010年第6期82-88,共7页

前向安全在实际应用中起着有效减少因签名密钥泄露而带来损失的重要作用,在密码学研究中成为热点。针对基于模m的n方根难题的前向安全数字签名方案进行了详细的安全性分析,发现此类方案均存在安全隐患,不具备前向安全性,并总结出前向安... 前向安全在实际应用中起着有效减少因签名密钥泄露而带来损失的重要作用,在密码学研究中成为热点。针对基于模m的n方根难题的前向安全数字签名方案进行了详细的安全性分析,发现此类方案均存在安全隐患,不具备前向安全性,并总结出前向安全数字签名方案攻击者成功伪造有效签名的本质原因。同时,根据有限域上数字签名所基于的困难性问题,通过利用与当前私钥有关的信息进行签名的方法对其中一种前向安全数字签名方案进行了改进。详细的安全性和效率分析表明,改进方案具有前向安全性和抗伪造性,有效地提高了签名的速度。改进方法也同样适用于此类基于模m的n方根难题的其他签名方案,对于进一步设计前向安全代理签名、前向安全群签名、前向安全多重签名等一些特殊数字签名方案具有指导意义。 展开更多

关键词 前向安全 数字签名 模m的n方根

在线阅读 下载PDF 职称材料

隐性目标决策问题的IDSS结构模型研究 被引量：6

7

作者 黄永青 梁昌勇 +1 位作者 郝国生 杨善林 《合肥工业大学学报（自然科学版）》 CAS CSCD 北大核心 2007年第2期217-221,共5页

研究一类复杂的隐性目标决策问题,它具有“决策目标难以完全数量化、结构化表示”、“决策者的偏好随决策分析进行而改变”、“决策问题常常具有NP难性质”等特征,并对问题的求解方法进行了讨论。基于交互式进化计算,建立处理该类决策... 研究一类复杂的隐性目标决策问题,它具有“决策目标难以完全数量化、结构化表示”、“决策者的偏好随决策分析进行而改变”、“决策问题常常具有NP难性质”等特征,并对问题的求解方法进行了讨论。基于交互式进化计算,建立处理该类决策问题的IDSS结构模型,讨论了各个模块的处理功能;最后以产品创新设计系统验证所提出模型的合理性。 展开更多

关键词 多准则决策 隐性目标函数 智能决策支持系统 交互式进化计算

在线阅读 下载PDF 职称材料

知识可视化的理论与应用 被引量：95

8

作者 王朝云 刘玉龙 《现代教育技术》 CSSCI 2007年第6期18-20,17,共4页

介绍了知识可视化的由来、原因、目的及方法,在分析知识可视化原有文献的基础上对知识可视化的本质及理论基础提出了自己的不同看法,并介绍了知识可视化在教学中的实际应用。

关键词 知识可视化 本质 理论基础 应用

在线阅读 下载PDF 职称材料

基于三角函数的遗传算法选择算子 被引量：5

9

作者 郝国生 严玉若 +4 位作者 黄永青 胡培亮 章磊 路娟 季君 《江南大学学报（自然科学版）》 CAS 2010年第2期162-165,共4页

遗传算法的选择算子对算法的早熟收敛及算法性能有重要的影响。为避免算法早熟收敛和提高算法性能,提出基于三角函数的选择算子,分析基于三角函数选择算子的可行性,并通过实验比较基于三角函数的选择算子与其他选择算子的性能。实验表明... 遗传算法的选择算子对算法的早熟收敛及算法性能有重要的影响。为避免算法早熟收敛和提高算法性能,提出基于三角函数的选择算子,分析基于三角函数选择算子的可行性,并通过实验比较基于三角函数的选择算子与其他选择算子的性能。实验表明,三角选择算子能有效地避免早熟和提高算法性能。 展开更多

关键词 遗传算法 选择算子 三角函数 轮盘

在线阅读 下载PDF 职称材料

Web服务可靠性的阶段模型 被引量：3

10

作者 谢春丽 李必信 +1 位作者 王喜凤 廖力 《东南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2012年第1期40-44,共5页

为了更全面地分析Web服务的失效过程,提高Web服务可靠性预测的精度,提出了一种Web服务可靠性的阶段模型.描述了SOA(service-oriented architecture)下Web服务在服务发布、服务发现、服务绑定、服务组合以及服务执行等各个阶段的失效过程... 为了更全面地分析Web服务的失效过程,提高Web服务可靠性预测的精度,提出了一种Web服务可靠性的阶段模型.描述了SOA(service-oriented architecture)下Web服务在服务发布、服务发现、服务绑定、服务组合以及服务执行等各个阶段的失效过程,并根据Web服务在不同阶段的失效过程构建各个阶段的可靠性模型,将各阶段的可靠性模型集成起来即构成了Web服务的可靠性预测模型.通过实例描述了该模型的可靠性度量方法,并将该阶段模型和传统的可靠性模型进行了比较,实验结果表明了该可靠性阶段模型是有效的,因此比传统模型更加适用于Web服务. 展开更多

关键词 服务失效 阶段模型 组合服务 可靠性

在线阅读 下载PDF 职称材料

一种基于ElGamal体制的前向安全强盲签名方案 被引量：4

11

作者 刘亚丽 殷新春 孟纯煜 《微电子学与计算机》 CSCD 北大核心 2007年第10期95-98,共4页

将前向安全特性和盲签名基本思想融为一体,设计了一种基于ElGamal体制的前向安全强盲签名方案,方案的安全性基于有限域上离散对数难解性假设。通过详细的安全性分析表明,新方案具有前向安全性、强盲性、抗伪造性等性质,有一定的理论和... 将前向安全特性和盲签名基本思想融为一体,设计了一种基于ElGamal体制的前向安全强盲签名方案,方案的安全性基于有限域上离散对数难解性假设。通过详细的安全性分析表明,新方案具有前向安全性、强盲性、抗伪造性等性质,有一定的理论和实用价值。 展开更多

关键词 前向安全 盲签名 强盲性 ELGAMAL

在线阅读 下载PDF 职称材料

一种支持实时软件时间建模的形式化方法 被引量：2

12

作者 祝义 黄志球 +1 位作者 张广泉 周航 《解放军理工大学学报（自然科学版）》 EI 北大核心 2010年第3期274-278,共5页

随着实时系统非功能性质研究的深入,为了分析软件对系统执行时间的影响并对其进行定量分析,提出了一种支持实时软件时间建模的形式化方法。通过扩展时间通信顺序进程的时间语义,将实时系统指令执行的时间映射成为时间通信顺序进程的时间... 随着实时系统非功能性质研究的深入,为了分析软件对系统执行时间的影响并对其进行定量分析,提出了一种支持实时软件时间建模的形式化方法。通过扩展时间通信顺序进程的时间语义,将实时系统指令执行的时间映射成为时间通信顺序进程的时间,利用时间通信顺序进程对实时软件时间建模并进行量化分析。提出的时间最优调度算法可以判断时间通信顺序进程的可达性并计算时间最优路径。通过实例验证表明,该方法可以从很大程度上提高实时系统执行时间计算的准确性,计算结果有助于实时系统执行时间的量化分析与优化设计。 展开更多

关键词 实时软件 时间通信顺序进程 时间迁移系统 模型检验

在线阅读 下载PDF 职称材料

基于自适应最小二乘支持向量机的预测函数控制 被引量：3

13

作者 任世锦 吕俊怀 王小林 《江南大学学报（自然科学版）》 CAS 2009年第6期699-702,共4页

提出一种基于最小二乘支持向量机在线建模的自适应函数预测控制算法。该方法提出一种新样本与模型节点的相似性计算方法,结合预测误差与过程先验知识给出控制模型节点的加入准则,使其自适应调整模型的复杂度,保证模型系数的稀疏性,有效... 提出一种基于最小二乘支持向量机在线建模的自适应函数预测控制算法。该方法提出一种新样本与模型节点的相似性计算方法,结合预测误差与过程先验知识给出控制模型节点的加入准则,使其自适应调整模型的复杂度,保证模型系数的稀疏性,有效地提高建模的精度和速度;给出增加节点和删除最早节点时最小二乘支持向量机模型更新的在线递推形式;基于局部在线最小二乘支持向量机的线性化模型,给出了自适应预测函数控制算法。以pH中和控制作为仿真实例,结果表明该算法的有效性。 展开更多

关键词 最小二乘支持向量机 在线建模 预测函数控制 模型复杂度

在线阅读 下载PDF 职称材料

基于模糊本体的水环境评价系统的研究 被引量：6

14

作者 王霞 李功振 《安徽农业科学》 CAS 北大核心 2010年第35期20306-20308,共3页

在语义网以及本体技术的基础上,构建一种新的水环境评价系统来实现环境信息的集成、语义连接以及推理,其中包括网络服务提供者,网络服务请求者和Agent匹配器3部分组成。网络服务提供者是一类网络服务器,其建立在检测点数据库和水环境评... 在语义网以及本体技术的基础上,构建一种新的水环境评价系统来实现环境信息的集成、语义连接以及推理,其中包括网络服务提供者,网络服务请求者和Agent匹配器3部分组成。网络服务提供者是一类网络服务器,其建立在检测点数据库和水环境评价本体的基础上。网络服务请求者保证用户对机器服务的使用。Agent匹配器是在网络服务请求者和提供者之间联系一定的特定联系。重点介绍水环境评价模糊本体,其生成过程包括模糊形式概念分析,模糊概念聚类和模糊本体生成。模糊形式概念分析完成由检测点数据库中获取模糊检测概念格的工作,模糊概念聚类生成检测概念层次,最后由模糊本体生成过程产生水环境评价本体。研究的创新点是将传统水环境评价的单一系统通过语义网连接起来,提高环境信息的共享性和可重用性,从而进行有效的环境评价和正确决策。 展开更多

关键词 水环境评价 模糊本体 形式概念 检测点

在线阅读 下载PDF 职称材料

一种基于LU的小波域自适应数字水印算法 被引量：2

15

作者 王树梅 赵卫东 王志成 《微电子学与计算机》 CSCD 北大核心 2008年第12期76-79,共4页

LU分解是一种将非奇异矩阵进行三角分解的方法,而数字图像也可以看作矩阵.文中根据图像的这一特点结合小波变换提出一种鲁棒性较好的水印算法.实验结果证明该算法简单易行,具有较好的鲁棒性和安全性.

关键词 数字水印 奇异矩阵 LU分解 置换矩阵

在线阅读 下载PDF 职称材料

基于交互式遗传算法的网站信息分类体系交互设计 被引量：1

16

作者 吴胜 张智光 +1 位作者 张长江 吴青青 《现代情报》 2009年第2期123-125,共3页

本文在介绍交互式遗传算法的基础上,提出了基于交互式遗传算法网站信息分类体系交互设计的基本思路;并采用JSP实现了MVC模式下网站信息分类体系交互设计程序。

关键词 交互式遗传算法 MVC 信息分类体系

在线阅读 下载PDF 职称材料

一种基于椭圆曲线的前向安全数字签名方案的分析与改进 被引量：1

17

作者 刘亚丽 唐蕾 《微电子学与计算机》 CSCD 北大核心 2008年第9期179-181,共3页

针对已提出的一种基于椭圆曲线的前向安全数字签名方案进行安全性分析,发现该方案存在安全隐患,不具备前向安全性.利用椭圆曲线上Weil配对的双线性性质对原方案进行改进,构造了一种新的基于椭圆曲线的前向安全数字签名方案,方案的安全... 针对已提出的一种基于椭圆曲线的前向安全数字签名方案进行安全性分析,发现该方案存在安全隐患,不具备前向安全性.利用椭圆曲线上Weil配对的双线性性质对原方案进行改进,构造了一种新的基于椭圆曲线的前向安全数字签名方案,方案的安全性建立在目前还没有有效攻击方法的有限域上的非超奇异椭圆曲线离散对数问题之上.新方案具有前向安全性、抗伪造性等性质,有一定的理论和实用价值. 展开更多

关键词 椭圆曲线 双线性对 前向安全 椭圆曲线离散对数

在线阅读 下载PDF 职称材料

盘式制动系统的数学模型 被引量：3

18

作者 郭小荟 肖兴明 《煤矿设计》 北大核心 1999年第7期44-47,共4页

针对提升机制动系统的现状，根据电液比例控制技术及数学解析方法。

关键词 盘式制动系统 电液比例控制 数学模型 提升机

在线阅读 下载PDF 职称材料

无线传感器网络中数据分发方案的研究 被引量：1

19

作者 梁银 吕建华 《电子技术应用》 北大核心 2008年第2期106-108,共3页

无线传感器网络是由大量具有感知、计算和通信能力的能量有限的微型传感器节点组成。为了建立有效的数据传输路径,节约能耗和带宽,延长网络生存期,设计能量有效的数据分发方案是至关重要的。针对无线传感器网络中节点是否可移动的三种情... 无线传感器网络是由大量具有感知、计算和通信能力的能量有限的微型传感器节点组成。为了建立有效的数据传输路径,节约能耗和带宽,延长网络生存期,设计能量有效的数据分发方案是至关重要的。针对无线传感器网络中节点是否可移动的三种情况,分析了目前提出的主要数据分发方案。 展开更多

关键词 无线传感器网络 数据分发 能量有效

在线阅读 下载PDF 职称材料

网络化虚拟测控系统的设计 被引量：1

20

作者 任世锦 赵恒青 +1 位作者 郑恩辉 付美芹 《电子设计工程》 2011年第12期56-59,共4页

为满足计算机专业教学和测控仪器开发的需要,设计了基于网络、虚拟仪器和SOPC技术的网络化虚拟测控系统。该系统由PCI接口卡、基于NiosII软核的SOPC数据采集系统组成,使用Labview技术构建了C/S模式的远程数据采集和管理体系结构,并基于W... 为满足计算机专业教学和测控仪器开发的需要,设计了基于网络、虚拟仪器和SOPC技术的网络化虚拟测控系统。该系统由PCI接口卡、基于NiosII软核的SOPC数据采集系统组成,使用Labview技术构建了C/S模式的远程数据采集和管理体系结构,并基于Windows DDK与VC++语言开发了PCI接口驱动程序。实际应用表明,该系统具有开放性、灵活性以及易用性等优点,达到了预期目的。 展开更多

关键词 测控系统 虚拟仪器 SOPC PCI接口卡

在线阅读 下载PDF 职称材料