检索结果-内蒙古大学图书馆

电脑知识与技术 2015年第2期11卷 104-105,112页

作者：马秀芳周霞南京信息职业技术学院计算机与软件学院江苏南京210023

《数据库技术》课程是计算机应用技术专业的一门核心课程,也是一门理论和实践结合非常紧密的课程,需要给予学生更多的实践时间,而传统的教学模式教师讲解占用了大量的课堂时间,不能很好地适应课程的教学。翻转课堂是一种通过学生课外自... 详细信息

《数据库技术》课程是计算机应用技术专业的一门核心课程,也是一门理论和实践结合非常紧密的课程,需要给予学生更多的实践时间,而传统的教学模式教师讲解占用了大量的课堂时间,不能很好地适应课程的教学。翻转课堂是一种通过学生课外自主学习,课上师生互动的新型教学模式,给《数据库技术》课程的教学提供了一种全新的、不同教学思路,使其课堂教学更加的高效。该文以2课时的教学内容为例,设计了翻转课堂教学模式的实施过程。

关键词：数据库技术翻转课堂教学设计

来源：评论

学校读者我要写书评

暂无评论

基于Java的药代动力学计算软件的实现

引用

数字技术与应用 2015年第9期33卷 129-129,131页

作者：蒋理钱家好陈晓东王利军南京信息职业技术学院计算机与软件学院江苏南京210046

开发药代动力学计算软件可以利用现在非常普及的个人计算机解决二次微分方程计算和曲线绘图的问题。本项目开发的软件可以提高相关检测部门在相关计算上的速度与准确度。国内外比较多见的相关软件主要有NONLIN,NONMEN,3P87/3P97,NDST,AB... 详细信息

开发药代动力学计算软件可以利用现在非常普及的个人计算机解决二次微分方程计算和曲线绘图的问题。本项目开发的软件可以提高相关检测部门在相关计算上的速度与准确度。国内外比较多见的相关软件主要有NONLIN,NONMEN,3P87/3P97,NDST,ABE等。均为非开源软件,使用的计算方法不一。其中3P97对样本数据的拟合,计算房室模型参数计算部分可以做到免费。本次研究的药代动力学计算软件可以与3P97配合使用,可以满足大部分相关科研院所,学校师生的需求。

关键词：药代动力学计算微分方程曲线图

来源：评论

学校读者我要写书评

暂无评论

基于局部特征压缩采样的网络入侵信号检测

引用

科技通报 2015年第6期31卷 220-222页

作者：周昕彭秋红平顶山工业职业技术学院计算机与软件工程学院河南平顶山467000 平顶山工业职业技术学院自动化与信息工程学院河南平顶山467000

对网络入侵信号的准确检测,提高检测概率是保证网络安全的基础,传统检测方法难以实现对较低信噪比下的攻击信号的高效定位和检测,无法有效预测入侵信号的局部特征点,导致重采样,虚警概率和漏检概率较高。提出一种基于局部特征压缩采样... 详细信息

对网络入侵信号的准确检测,提高检测概率是保证网络安全的基础,传统检测方法难以实现对较低信噪比下的攻击信号的高效定位和检测,无法有效预测入侵信号的局部特征点,导致重采样,虚警概率和漏检概率较高。提出一种基于局部特征压缩采样的网络入侵信号检测算法,构建低信噪比下网络入侵信号模型,采用多普勒频移模糊搜索对入侵信号进行平滑处理,得到入侵信号的局部特征预测量和测量值,为了使得入侵检测适合线性实时处理过程,提高在低信噪比下的检测性能,采用卡尔曼滤波对结果进行修正,采用局部特征压缩采样判断入侵信号的联合特征,实现了对网络入侵信号的局部特征压缩采样检测。仿真结果表明,该算法检测性能较好,检测概率优于传统算法,展示了较好的应用价值,确保了网络安全。

关键词：局部特征压缩采样网络安全检测

来源：评论

学校读者我要写书评

暂无评论

基于k近邻最弱前置条件的程序多路径验证方法

引用

计算机学报 2015年第11期38卷 2203-2214页

作者：郭曦王盼王建勇张焕国华中农业大学信息学院武汉430070 武汉电力职业技术学院电力工程系武汉430079 软件工程国家重点实验室(武汉大学) 武汉430072 佐治亚理工学院计算机科学系美国亚特兰大30332

程序多路径验证方法是对软件性质进行发掘的重要方法之一,现有的验证方法主要通过求解路径条件或者自动构造不同的输入来触发生成不同的路径,从而分析程序中潜在的安全问题,但存在对路径条件不加选择地进行多路径扩展而生成缺乏针对性... 详细信息

程序多路径验证方法是对软件性质进行发掘的重要方法之一,现有的验证方法主要通过求解路径条件或者自动构造不同的输入来触发生成不同的路径,从而分析程序中潜在的安全问题,但存在对路径条件不加选择地进行多路径扩展而生成缺乏针对性的路径的问题,另外由于路径条件过长而难以求解也限制了它的使用范围.该文提出基于k近邻最弱前置条件的程序多路径验证方法,该方法通过后向符号分析对程序调用图的构建过程进行改进,同时对指定的程序检测点生成最弱前置条件,并以该最弱前置条件为引导信息使用符号执行的方法在保证检测点可达的前提下有针对性地生成对程序性质进行验证的精简路径集合.实验结果表明,该方法可以提高程序验证的精度和准确性,并减少误报.

关键词：程序验证静态分析最弱前置条件符号执行控制流图

来源：评论

学校读者我要写书评

暂无评论

拟态物理学多目标算法求解认知参数优化问题

引用

电子学报 2015年第8期43卷 1526-1530页

作者：柴争义王秉李亚伦朱思峰王颖锋天津工业大学计算机科学与软件学院天津300384 泛网无线通信教育部重点实验室(北京邮电大学) 北京100876 河南交通职业技术学院航运海事系河南郑州450005 周口师范学院数学与统计学院河南周口466001 河南财经政法大学计算机与信息工程学院河南郑州450000

针对认知无线网络中的引擎参数调整问题,提出了一种基于拟态物理学多目标优化的求解算法,根据认知参数编码的二进制特点,设计了基于海明距离的个体排序方法,并改进了微粒的更新方程,最后求出问题的Pareto最优解集.多载波环境下的仿真实... 详细信息

针对认知无线网络中的引擎参数调整问题,提出了一种基于拟态物理学多目标优化的求解算法,根据认知参数编码的二进制特点,设计了基于海明距离的个体排序方法,并改进了微粒的更新方程,最后求出问题的Pareto最优解集.多载波环境下的仿真实验表明,算法可以根据无线信道环境的动态变化和认知用户需求的不同需求,自适应调整各个子载波的调制方式和发射功率,满足参数优化需求.

关键词：拟态物理学多目标优化认知无线电网络参数配置

来源：评论

学校读者我要写书评

暂无评论

智慧矿山异构数据集成平台设计

引用

工矿自动化 2015年第5期41卷 23-26页

作者：杨韶华周昕毕俊蕾平顶山工业职业技术学院计算机与软件工程学院河南平顶山467004 江苏大学信息化中心江苏镇江212013

针对智慧矿山建设过程中现有信息系统存在数据源异构问题,提出了利用XML技术建立异构数据集成平台的解决方案,介绍了智慧矿山总体框架和异构数据集成平台的体系结构。在不改变现有数据源的物理位置、体系结构的情况下,该平台利用XML技... 详细信息

针对智慧矿山建设过程中现有信息系统存在数据源异构问题,提出了利用XML技术建立异构数据集成平台的解决方案,介绍了智慧矿山总体框架和异构数据集成平台的体系结构。在不改变现有数据源的物理位置、体系结构的情况下,该平台利用XML技术将异构数据无损转换为XML文档,通过对智慧矿山安全生产决策的应用需求的分析、分解和转换,实现了异构数据源的有效集成,为智慧矿山的监测、管理、职能决策等服务提供数据支撑。

关键词：智慧矿山异构数据安全生产决策无损转换 XML

来源：评论

学校读者我要写书评

暂无评论

基于知识组件的反后坐装置快速设计技术研究

引用

火炮发射与控制学报 2015年第4期36卷 45-49页

作者：羊柳钱林方任俊新刘太素南京理工大学机械工程学院江苏南京210094 南京信息职业技术学院计算机与软件学院江苏南京210023

现有反后坐装置设计方法难以有效地重用已有计算程序、设计经验等设计知识,为提高其设计质量与效率,提出一种基于知识组件的快速设计方法。通过确定反后坐装置设计知识的表示体系,提出反后坐装置设计本体的形式化定义,并给出反后坐装置... 详细信息

现有反后坐装置设计方法难以有效地重用已有计算程序、设计经验等设计知识,为提高其设计质量与效率,提出一种基于知识组件的快速设计方法。通过确定反后坐装置设计知识的表示体系,提出反后坐装置设计本体的形式化定义,并给出反后坐装置设计知识组件的定义和开发策略,实现了反后坐装置设计知识的完整表示。在此基础上,确定了反后坐装置快速设计的流程,开发了专用设计系统,并通过一反后坐装置的设计实例验证了所提方法的可行性和有效性。

关键词：反后坐装置知识组件本体快速设计

来源：评论

学校读者我要写书评

暂无评论

多视点视频编码模式决策快速算法

引用

小型微型计算机系统 2015年第3期36卷 581-585页

作者：袁梅冷杨张雷海军深圳职业技术学院深圳518055 深圳大学信息工程学院深圳518060 深圳大学计算机与软件学院广东省普及型高性能计算机重点实验室深圳市服务计算与应用重点实验室深圳518060

多层循环的多参考帧选择算法和运动估计搜索等算法提高了模式选择精度,但导致多视点视频编码复杂度急剧增加.我们在运动估计快速搜索算法的基础上,结合采用信息重用技术的多参考帧选择算法,提出一种模式决策快速算法.其中信息重用技术... 详细信息

多层循环的多参考帧选择算法和运动估计搜索等算法提高了模式选择精度,但导致多视点视频编码复杂度急剧增加.我们在运动估计快速搜索算法的基础上,结合采用信息重用技术的多参考帧选择算法,提出一种模式决策快速算法.其中信息重用技术通过模式集合划分思想,根据模式尺寸块大小和编码特点将所有编码模式划分成三个集合,在同一集合中小尺寸块重用大尺寸块的最佳参考帧索引和最佳编码方向以减少多参考帧循环搜索次数.实验结果表明:与JMVC8.3.1原算法相比能减少70%-90%的编码复杂度,峰值信噪比(PSNR)下降在0.1d B以内,码率增加幅度少于6%.

关键词：多视点视频编码运动估计模式决策多参考帧选择

来源：评论

学校读者我要写书评

暂无评论

多板材单一圆片剪冲下料的一种优化算法

引用

机械设计与制造 2015年第6期 42-44,48页

作者：王岩潘卫平张俊晖南通理工学院软件工程系江苏南通226002 广西大学计算机与电子信息学院广西南宁530004 四川信息职业技术学院四川广元628017

讨论多板材单一圆片剪冲下料问题,即使用剪冲工艺将若干种不同尺寸的板材剪冲出一定数量的单一尺寸圆片,优化目标是使得材料利用率尽可能的高。文中采用由圆片条带组成的规范多级排样方式,简化剪切工艺;采用多板材组合下料方案,提高下... 详细信息

讨论多板材单一圆片剪冲下料问题,即使用剪冲工艺将若干种不同尺寸的板材剪冲出一定数量的单一尺寸圆片,优化目标是使得材料利用率尽可能的高。文中采用由圆片条带组成的规范多级排样方式,简化剪切工艺;采用多板材组合下料方案,提高下料利用率。首先运用动态规划算法确定圆片在每种板材中的排样方式;然后运用整数规划算法确定多板材组合下料方案。计算结果表明,对于板材使用张数无约束问题和有约束问题,文中算法生成的下料方案比文献中算法生成的下料方案,下料利用率分别提高了1.75%和1.38%。

关键词：排样多板材下料圆片动态规划整数规划

来源：评论

学校读者我要写书评

暂无评论

生成圆形片最优四块排样方式的确定性算法

引用

机械设计与制造 2015年第9期 152-155页

作者：王岩潘卫平胡钢南通理工学院软件工程系江苏南通226002 广西大学计算机与电子信息学院广西南宁530004 四川信息职业技术学院四川广元628017

为解决圆形片无约束剪冲排样问题,提出一个生成圆形片最优四块排样方式的确定性算法。四块排样方式首先用一条父分界线将板材分为两块,然后用两条与父分界线垂直的子分界线将两块分为四块;每个块里面只包含方向和长度均相同的圆形片条... 详细信息

为解决圆形片无约束剪冲排样问题,提出一个生成圆形片最优四块排样方式的确定性算法。四块排样方式首先用一条父分界线将板材分为两块,然后用两条与父分界线垂直的子分界线将两块分为四块;每个块里面只包含方向和长度均相同的圆形片条带。该算法首先求解一维背包问题生成块里面的条带最优布局;然后隐式枚举三条分界线位置得到所有可能的四块组合,选择排样价值最大的四块组合生成最优的四块排样方式。实验结果表明,该算法在计算时间和板材利用率两方面都有效。

关键词：圆形片剪冲排样四块排样方式背包问题最优布局

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：