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

计算机研究与发展 2010年第6期

作者：张维侯金宏曹发生王驹蒋运承黔南民族师范学院数学系　　贵州都匀　　（558000）广西师范大学数学科学学院　　广西桂林　　（541004）广西师范大学数学科学学院　　广西桂林　　（541004）广西师范大学计算机科学与信息工程学院　　广西桂林　　（541004）华南师范大学计算机学院　　广州　　（510631）中国科学院软件研究所计算机科学国家重点实验室　　北京　　（100190）

描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括:最具体概念、最小公共包含、匹配问题及概念的重写等.过去人们主要研究那些不合数量限制的描述逻辑系统,研究的是描述逻辑系统FLεN厂中的一种重要的非标准推理--概... 详细信息

描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括:最具体概念、最小公共包含、匹配问题及概念的重写等.过去人们主要研究那些不合数量限制的描述逻辑系统,研究的是描述逻辑系统FLεN厂中的一种重要的非标准推理--概念的最小公共包含,它同时含有数量限制和存在限制,是对前人工作的推广.首先定义了FLεN中概念的描述树及描述树之间的同态关系,给出了概念之间包含关系的推理算法,然后通过两棵概念描述树的笛卡儿积给出了两个概念的最小公共包含推理算法并指出了概念A,B的最小公共包含概念LCS(A,B)的大小size(LCS(A,B))是随着size(A),size(B)呈指数增长的.

关键词：描述逻辑非标准推理概念描述树最小公共包含算法

来源：评论

学校读者我要写书评

暂无评论

等式约束刚性加权最小二乘问题的稳定性扰动(英文)

引用

上海师范大学学报（自然科学版） 2009年第5期38卷 441-451页

作者：魏木生张琦上海师范大学数理学院上海高校科学计算重点实验室上海200234 华东师范大学数学系上海200241

研究等式约束刚性最小二乘问题.证明了对于刚性问题,约束加权广义逆,约束加权投影和等式约束加权最小二乘问题的扰动是稳定的,当且仅当系数矩阵的扰动满足若干秩等条件.

关键词：约束加权广义逆约束加权投影约束加权最小二乘稳定性扰动刚性

来源：评论

学校读者我要写书评

暂无评论

基于粗糙集的石油安全预警规则提取

引用

计算机技术与发展 2009年第1期19卷 251-252,F0003页

作者：单雪红吴涛徐文婷安徽大学数学科学学院安徽合肥230039 宿州学院数学系安徽宿州234000 安徽大学智能计算与信号处理教育部重点实验室安徽合肥230039

粗糙集理论是分析不确定系统的一种有力的工具。运用粗糙集的理论和方法,结合我国历年的石油数据,建立石油安全预警指标模型。利用Rose软件,在保持分类能力不变的前提下,对该数据的各项指标进行属性约简,再对该约简的属性值进行约简,然... 详细信息

粗糙集理论是分析不确定系统的一种有力的工具。运用粗糙集的理论和方法,结合我国历年的石油数据,建立石油安全预警指标模型。利用Rose软件,在保持分类能力不变的前提下,对该数据的各项指标进行属性约简,再对该约简的属性值进行约简,然后提取最小决策规则,挖掘其中隐含的有用信息,得出影响我国石油安全预警的重要因素。根据得出的决策规则,对我国未来几年内的石油预测数据进行分析,得出我国石油安全属于重警区,需加强防范的结论。

关键词：粗糙集属性约简决策规则石油安全

来源：评论

学校读者我要写书评

暂无评论

临界状态下二维仿射控制系统的局部光滑镇定

临界状态下二维仿射控制系统的局部光滑镇定

引用

2009中国控制与决策会议

作者：倪郁东费树岷沈吟东合肥工业大学数学系复杂工程系统测量与控制教育部重点实验室/东南大学自动化学院华中科技大学控制科学与工程系

考察二维仿射控制系统在具有一对共轭纯虚数特征值的临界状态下的局部光滑镇定性。应用非奇异线性状态变换和时问尺度变换,将系统转化成标准形式。运用扩展正则判别函数法和形式级数法的思想,构造多组线性方程组,给出确定光滑控制律和... 详细信息

考察二维仿射控制系统在具有一对共轭纯虚数特征值的临界状态下的局部光滑镇定性。应用非奇异线性状态变换和时问尺度变换,将系统转化成标准形式。运用扩展正则判别函数法和形式级数法的思想,构造多组线性方程组,给出确定光滑控制律和闭环系统李雅普诺夫函数的一种方法,从而得到该系统局部光滑镇定的充分条件。示例说明该方法是有效的。

关键词：非线性控制系统临界状态李雅普诺夫函数局部镇定

来源：评论

学校读者我要写书评

暂无评论

***方程的全离散Jacobi-球面调和谱方法

引用

应用数学和力学 2008年第4期29卷 409-431页

作者：黄伟郭本瑜上海大学数学系上海200444 上海师范大学数学系上海高校科学计算重点实验室上海高校计算科学E-研究院上海200234

提出了一种用于球内Navier-Stokes方程的全离散Jacobi-球面调和谱方法,并证明了它的广义稳定性和收敛性.数值结果表明了该方法的有效性.该方法也可应用于球形区域中的其它问题.

关键词：全离散Jacobi-球面调和谱方法球内Navier-Stokes方程混合坐标

来源：评论

学校读者我要写书评

暂无评论

最小化总完工时间的流水作业调度混合算法

引用

东南大学学报（自然科学版） 2008年第6期38卷 960-964页

作者：齐学梅李小平王茜东南大学计算机科学与工程学院南京210096 安徽师范大学数学计算机科学学院芜湖241003 东南大学计算机网络和信息集成教育部重点实验室南京210096

针对有效求解NP难的总完工时间最小流水作业调度问题,提出了一个有效的混合启发式算法产生初始解,并使用禁忌搜索算法对初始解邻域进行搜索的算法框架.基于不同的启发式算法,获得了3个混合禁忌搜索算法HA1,HA2和HA3.使用Taillards基准... 详细信息

针对有效求解NP难的总完工时间最小流水作业调度问题,提出了一个有效的混合启发式算法产生初始解,并使用禁忌搜索算法对初始解邻域进行搜索的算法框架.基于不同的启发式算法,获得了3个混合禁忌搜索算法HA1,HA2和HA3.使用Taillards基准程序随机产生的大量实例,进行模拟实验,结果表明,所提出的3个算法通过扩大搜索范围提高了解的质量,在性能上均优于目前最有效的启发式算法.与目前最有效的算法相比,产生最好解的平均百分比偏差均下降至少30%,最优解所占比例皆有显著提高.

关键词：流水作业调度启发式算法禁忌搜索总完工时间

来源：评论

学校读者我要写书评

暂无评论

无线自组网中多速率敏感单播路由

引用

系统仿真学报 2008年第24期20卷 6703-6706页

作者：王青山王琦许胤龙林晓斌合肥工业大学数学系合肥230009 中国科学技术大学计算机科学技术系合肥230027 省部共建高性能计算与应用重点实验室合肥230027

针对多速率环境下按需路由协议,提出了基于延迟转发路由请求包的多速率敏感单播路由协议BDRMAU。其基本思想是中间节点根据路由请求包的发送者和本节点之间链路的传输速率,优先调度来自高传输速率链路发出的路由请求包来执行转发动作,因... 详细信息

针对多速率环境下按需路由协议,提出了基于延迟转发路由请求包的多速率敏感单播路由协议BDRMAU。其基本思想是中间节点根据路由请求包的发送者和本节点之间链路的传输速率,优先调度来自高传输速率链路发出的路由请求包来执行转发动作,因此,候选路由尽可能多地包含高传输速率链路,通过充分利用物理层多速率能力来提高网络吞吐量。模拟实验表明,BDRMAU较传统的协议能够较大地提高了网络吞吐量。

关键词：多速率路由请求包 IEEE802.11a 无线自组网

来源：评论

学校读者我要写书评

暂无评论

一般线性四元数矩阵方程的Hermite解

引用

山东大学学报（理学版） 2008年第12期43卷 1-4页

作者：凌思涛程学汉魏木生华东师范大学数学系上海200241 鲁东大学数学与信息学院山东烟台264025 三海师范大学数学系上海高校科学计算重点实验室上海200234

在矩阵的张量函数和矩阵的Kronecker积的基础上定义了矩阵的部分张量函数,给出研究一般线性四元数矩阵方程Hermite解的一种转化方法。

关键词：四元数矩阵方程 Hermite解 Kronecker积特征张量函数

来源：评论

学校读者我要写书评

暂无评论

一类Lorenz系统的同伦映射解法

引用

物理学报 2008年第11期57卷 6694-6698页

作者：莫嘉琪林万涛安徽师范大学数学系芜湖241000 上海高校计算科学院E-研究院上海交通大学研究所上海200240 湖州师范学院数学系湖州313000 大气科学和地球流体力学数值模拟国家重点实验室中国科学院大气物理研究所北京100029

研究了一个Lorenz方程的求解问题.首先构造一组同伦映射,其次决定系统的初始近似,最后通过同伦映射得到了对应模型的各次近似解.同伦映射方法是一个解析方法,得到的解还能够继续进行解析运算.

关键词：洛伦兹方程同伦映射近似解厄尔尼诺和拉尼娜现象

来源：评论

学校读者我要写书评

暂无评论

SHA-256压缩函数的结构安全性

引用

应用科学学报 2008年第1期26卷 1-5页

作者：李超魏悦川孙兵国防科技大学数学与系统科学系湖南长沙410073 东南大学移动通信国家重点实验室江苏南京210096

给出了SHA-256压缩函数的3个变种形式,分别分析了它们抵抗Chabaud-Joux攻击的能力,并与对SHA-256的攻击结果进行比较,其中SHA-2A部分碰撞的复杂度与SHA-256近似,SHA-2B不能以较小复杂度找到碰撞,但是结构上存在其他弱点.SHA-2C的安全强... 详细信息

给出了SHA-256压缩函数的3个变种形式,分别分析了它们抵抗Chabaud-Joux攻击的能力,并与对SHA-256的攻击结果进行比较,其中SHA-2A部分碰撞的复杂度与SHA-256近似,SHA-2B不能以较小复杂度找到碰撞,但是结构上存在其他弱点.SHA-2C的安全强度远远低于SHA-256.作为实例,给出了安全性较为脆弱的SHA-256变种的部分碰撞.结果表明:SHA-256压缩函数的结构选择较大程度地影响其安全性.

关键词： Hash函数碰撞攻击 SHA-256 SHA-256变种压缩函数部分碰撞

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：