一种新的Web集群请求调度模式与体系结构

1

作者 熊智 周寅聃 熊步云 《计算机应用与软件》 CSCD 2009年第3期77-79,120,共4页

分析了网络及Web应用的发展对Web集群请求调度提出的新要求,在此基础上提出了一种基于文档组织分布的新请求调度模式。针对该请求调度模式的特点,提出了一种分布调度、分布路由的Web集群体系结构,该结构结合了多分配器集群和分布式集群... 分析了网络及Web应用的发展对Web集群请求调度提出的新要求,在此基础上提出了一种基于文档组织分布的新请求调度模式。针对该请求调度模式的特点,提出了一种分布调度、分布路由的Web集群体系结构,该结构结合了多分配器集群和分布式集群的优点,能保证系统的可扩展性,并能有效减少集群内的通信开销和消除单点故障。 展开更多

关键词 WEB集群服务器 请求调度模式 体系结构

在线阅读 下载PDF 职称材料

基于不确定、不精确知识的推理系统─UKRS~＊ 

2

作者 于津 刘叙华 《小型微型计算机系统》 CSCD 北大核心 1996年第9期31-34,共4页

ＵＫＲＳ是建立在算子ＦＵＺＺＹ逻辑的λ－Ｈｏｒｎ集上，使用λ－ＳＬＤ归结推理机制作为其理论支持的一个基于不确定、不精确知识的推理系统。在ＵＫＲＳ中用λ－Ｈｏｒｎ子句表示知识，因算子ＦＵＺＺＹ逻辑对于算子是显式表示的，... ＵＫＲＳ是建立在算子ＦＵＺＺＹ逻辑的λ－Ｈｏｒｎ集上，使用λ－ＳＬＤ归结推理机制作为其理论支持的一个基于不确定、不精确知识的推理系统。在ＵＫＲＳ中用λ－Ｈｏｒｎ子句表示知识，因算子ＦＵＺＺＹ逻辑对于算子是显式表示的，故可以方便的描述不确定、不精确知识，并且支持不确定、不精确推理。 展开更多

关键词 算子Fuzzy逻辑 推理系统 UKRS 算子 人工智能

在线阅读 下载PDF 职称材料

商务信息管理系统开发环境—PBMIS

3

作者 于津 邓洪亮 陈穆 《计算机工程与应用》 CSCD 北大核心 1996年第4期83-85,共3页

本文介绍的ＰＢＭＩＳ是一个用于构造通用商务信息管理系统的集成开发环境。通过引入两个辅助控制文件：数据字典和功能字典，使系统能依据不同的辅助控制文件生成各种专用的数据库及控制模块。

关键词 信息管理系统 商务系统 PBMIS

在线阅读 下载PDF 职称材料

超协调逻辑(Ⅰ)——传统超协调逻辑研究 被引量：8

4

作者 林作铨 李未 《计算机科学》 CSCD 北大核心 1994年第5期1-8,共8页

这是一个关于超协调逻辑研究系列的首篇,本文中,我们首先说明超协调逻辑的基本概念及其发展背景,根据对超协调性的分析我们把超协调逻辑分成三类。然后,我们介绍并剖析这三类传统的超协调逻辑的基本结果,指出它们各自的优缺点、存在的... 这是一个关于超协调逻辑研究系列的首篇,本文中,我们首先说明超协调逻辑的基本概念及其发展背景,根据对超协调性的分析我们把超协调逻辑分成三类。然后,我们介绍并剖析这三类传统的超协调逻辑的基本结果,指出它们各自的优缺点、存在的问题以及相互关系,并特别地研究了几种传统超协调逻辑与非单调逻辑的关系. 展开更多

关键词 超协调逻辑 分域逻辑 博论逻辑

在线阅读 下载PDF 职称材料

超协调逻辑(Ⅳ)——非单调超协调逻辑研究 被引量：3

5

作者 林作铨 李未 《计算机科学》 CSCD 北大核心 1995年第1期4-9,共6页

这是关于超协调逻辑研究的末篇,文中分析了超协调逻辑与非单调逻辑的关系,并提出非单调超协调逻辑作为一种新的逻辑研究及其在形式化常识推理中的重要意义。最后,讨论了超协调逻辑的应用,特别是非单调超协调逻辑在计算机科学与人工智能... 这是关于超协调逻辑研究的末篇,文中分析了超协调逻辑与非单调逻辑的关系,并提出非单调超协调逻辑作为一种新的逻辑研究及其在形式化常识推理中的重要意义。最后,讨论了超协调逻辑的应用,特别是非单调超协调逻辑在计算机科学与人工智能中的应用问题。 展开更多

关键词 超协调逻辑 非单调逻辑 人工智能

在线阅读 下载PDF 职称材料

弯曲树枝和分形树根的三维模拟 被引量：2

6

作者 张杰 林彬 +1 位作者 蔡文奇 谢壮荣 《计算机应用》 CSCD 北大核心 2011年第6期1703-1705,1712,共4页

枝条的逼真度在很大程度上影响着整棵树的形态效果,为了模拟出更符合自然规律的三维树,结合了分形算法和材料力学原理,提出了基于重力场的三维弯曲枝条和分形树根的模拟方法。枝条的弯曲程度体现了它的受力情况,同时也可以用杨氏弹性模... 枝条的逼真度在很大程度上影响着整棵树的形态效果,为了模拟出更符合自然规律的三维树,结合了分形算法和材料力学原理,提出了基于重力场的三维弯曲枝条和分形树根的模拟方法。枝条的弯曲程度体现了它的受力情况,同时也可以用杨氏弹性模量来控制其弯曲度;另一方面,采用X3D及Java,运用分形算法结合X3D的Extrusion节点模拟了分形弯曲树根的向地性。用户只需要输入相关参数就可以得到形态较为逼真的三维树。同时将树的地下部分与地上部分有机地结合在一起,模拟了基于重力场的三维树形态。实验结果表明,该方法可以比较方便地生成形态逼真的三维分形树。 展开更多

关键词 重力场 材料力学 三维 弯曲树枝 分形树根

在线阅读 下载PDF 职称材料

超协调逻辑(Ⅱ)——新超协调逻辑研究 被引量：4

7

作者 林作铨 李未 《计算机科学》 CSCD 北大核心 1994年第6期1-7,共7页

这是关于超协调逻辑研究的第二篇。文中,基于对超协调逻辑应具有的一定共性的理解,给出一个超协调逻辑的新定义,并给出在应用研究中提出的三类有代表性的新超协调逻辑,由于它们满足共同的逻辑性质,从而有一定的关系,特别是,它们与非单... 这是关于超协调逻辑研究的第二篇。文中,基于对超协调逻辑应具有的一定共性的理解,给出一个超协调逻辑的新定义,并给出在应用研究中提出的三类有代表性的新超协调逻辑,由于它们满足共同的逻辑性质,从而有一定的关系,特别是,它们与非单调逻辑密切有关,因此进一步提出一种相对于超协调性的超完全逻辑的定义与结果。 展开更多

关键词 超协调逻辑 经典逻辑

在线阅读 下载PDF 职称材料

超协调逻辑(Ⅲ)——超协调性的逻辑基础 被引量：2

8

作者 林作铨 李未 《计算机科学》 CSCD 北大核心 1995年第1期1-4,共4页

这是关于超协调逻辑研究的第三篇,文中将给出一种优先语义作为超协调性的模型论基础,并给出一种表演算系统作为超协调性的证明论基础,这种优先语义和表演算系统,不仅可以包括各种超协调逻辑,而且能够导出新的超协调逻辑,在一定意义上,... 这是关于超协调逻辑研究的第三篇,文中将给出一种优先语义作为超协调性的模型论基础,并给出一种表演算系统作为超协调性的证明论基础,这种优先语义和表演算系统,不仅可以包括各种超协调逻辑,而且能够导出新的超协调逻辑,在一定意义上,是超协调逻辑的统一基础,容易统一地刻画非单调性。 展开更多

关键词 超协调逻辑 超协调性 优先语义

在线阅读 下载PDF 职称材料

一个在弗协调逻辑中的限制 被引量：6

9

作者 林作铨 《软件学报》 EI CSCD 北大核心 1995年第5期290-295,共6页

本文通过应用限制到一个弗协调逻辑给出一种弗协调限制，弗协调限制是一种弗协调非单调逻辑，它能被极小化语义所刻划，并具有两方面优点：非单调逻辑在包含矛盾时是不平凡的；弗协调逻辑在矛盾没有影响时等价于经典逻辑．

关键词 费协调逻辑 非单调逻辑 知识推理

在线阅读 下载PDF 职称材料

求解Web集群文档分布的混沌搜索算法 被引量：1

10

作者 熊智 郭成城 《计算机工程》 CAS CSCD 北大核心 2008年第4期10-12,共3页

提出Web集群文档分布方案,用M/G/1/K PS排队模型对服务器进行建模,将文档分布问题转化为0-1整数规划问题,然后求解该规划问题。针对该类0-1整数规划问题,给出一种基于混沌搜索的求解算法,该算法让多个独立的混沌变量在其各自的轨道中搜... 提出Web集群文档分布方案,用M/G/1/K PS排队模型对服务器进行建模,将文档分布问题转化为0-1整数规划问题,然后求解该规划问题。针对该类0-1整数规划问题,给出一种基于混沌搜索的求解算法,该算法让多个独立的混沌变量在其各自的轨道中搜索,使得对应生成的0-1矩阵能遍历任意一种可能的分布,从而能搜索到全局最优解。设计一种基于贪婪思想的文档分布算法。测试表明,混沌搜索算法能找到全局最优解,优于传统的贪婪算法。 展开更多

关键词 WEB集群服务器 文档分布 0-1整数规划 混沌搜索算法

在线阅读 下载PDF 职称材料

超协调限制逻辑 被引量：3

11

作者 林作铨 《计算机学报》 EI CSCD 北大核心 1995年第9期665-670,共6页

本文给出了一阶超协调限制逻辑ＬＰｃ的定义，并证明了它与悖论逻辑（ＬＰ与ＬＰｍ）和限制逻辑（ＣＩＲＣ）的关系，ＬＰｃ作为一种非单调超协调逻辑具有非单调逻辑和超协调逻辑的优点，而且能解决非单调逻辑和超协调逻辑存在的问题，... 本文给出了一阶超协调限制逻辑ＬＰｃ的定义，并证明了它与悖论逻辑（ＬＰ与ＬＰｍ）和限制逻辑（ＣＩＲＣ）的关系，ＬＰｃ作为一种非单调超协调逻辑具有非单调逻辑和超协调逻辑的优点，而且能解决非单调逻辑和超协调逻辑存在的问题，它可作为在不完全与不协调知识下常识推理的形式化，因此它在知识表示中具有广泛的应用． 展开更多

关键词 超协调逻辑 非单调逻辑 悖论逻辑 限制逻辑

在线阅读 下载PDF 职称材料

一种高维数据聚类遗传算法 被引量：1

12

作者 孙浩军 熊琅环 《计算机工程与科学》 CSCD 北大核心 2010年第8期94-97,共4页

聚类分析是数据挖掘中的一个重要研究课题。在许多实际应用中,聚类分析的数据往往具有很高的维度,例如文档数据、基因微阵列等数据可以达到上千维,而在高维数据空间中,数据的分布较为稀疏。受这些因素的影响,许多对低维数据有效的经典... 聚类分析是数据挖掘中的一个重要研究课题。在许多实际应用中,聚类分析的数据往往具有很高的维度,例如文档数据、基因微阵列等数据可以达到上千维,而在高维数据空间中,数据的分布较为稀疏。受这些因素的影响,许多对低维数据有效的经典聚类算法对高维数据聚类常常失效。针对这类问题,本文提出了一种基于遗传算法的高维数据聚类新方法。该方法利用遗传算法的全局搜索能力对特征空间进行搜索,以找出有效的聚类特征子空间。同时,为了考察特征维在子空间聚类中的特征,本文设计出一种基于特征维对子空间聚类贡献率的适应度函数。人工数据、真实数据的实验结果以及与k-means算法的对比实验证明了该方法的可行性和有效性。 展开更多

关键词 高维数据聚类 遗传算法 特征子空间

在线阅读 下载PDF 职称材料

航空公司应用中的MySQL内存存储引擎 被引量：2

13

作者 吉杰 林洽欣 《计算机工程》 CAS CSCD 北大核心 2007年第3期284-284,F0003,共2页

开源数据库MySQL越来越广泛地应用于航空公司的信息系统,在深入分析航空公司应用领域数据特点的基础上,该文提出了用内存存储引擎管理航空公司基础数据的方法。该方法结合内存表和磁盘表两种机制,不但提供快速的性能,而且解决了内存表... 开源数据库MySQL越来越广泛地应用于航空公司的信息系统,在深入分析航空公司应用领域数据特点的基础上,该文提出了用内存存储引擎管理航空公司基础数据的方法。该方法结合内存表和磁盘表两种机制,不但提供快速的性能,而且解决了内存表的永久保存问题。 展开更多

关键词 MYSQL 存储引擎 数据库优化 内存表

在线阅读 下载PDF 职称材料

基于蚁群算法的Web集群文档优化分布方案

14

作者 熊智 熊步云 周寅聃 《计算机工程与设计》 CSCD 北大核心 2009年第14期3389-3392,3395,共5页

在Web集群中优化分布海量级的Web文档是一个急需解决的问题。提出了一种以减少系统平均响应时间为目的的Web集群文档优化分布方案。该方案合适地拷贝网页簇,并通过对服务器进行建模将网页簇的分布问题转化为0-1整数规划问题。针对该问... 在Web集群中优化分布海量级的Web文档是一个急需解决的问题。提出了一种以减少系统平均响应时间为目的的Web集群文档优化分布方案。该方案合适地拷贝网页簇,并通过对服务器进行建模将网页簇的分布问题转化为0-1整数规划问题。针对该问题的特点,设计实现了一种基于蚁群算法的求解方案,算法中蚂蚁对路径的选择分两步进行,并设置合适的启发值以加快收敛速度。实验结果表明了应用蚁群算法求解Web集群文档优化分布问题的可行性与有效性。 展开更多

关键词 WEB集群 文档优化分布 0-1整数规划 蚁群算法 服务器建模

在线阅读 下载PDF 职称材料

一种可扩展的Web集群服务器仿真平台

15

作者 熊智 周寅聃 熊步云 《系统仿真学报》 CAS CSCD 北大核心 2011年第6期1125-1130,共6页

为仿真分析调度算法和缓存替换算法的性能,基于JavaSim设计实现了一种可扩展的Web集群服务器仿真平台WCSSim。该平台支持日志驱动和分布驱动两种模式,并且根据动静态请求的特点分别对其服务时间进行建模。集群系统的主要部件、调度算法... 为仿真分析调度算法和缓存替换算法的性能,基于JavaSim设计实现了一种可扩展的Web集群服务器仿真平台WCSSim。该平台支持日志驱动和分布驱动两种模式,并且根据动静态请求的特点分别对其服务时间进行建模。集群系统的主要部件、调度算法和缓存替换算法都被设计成独立的松耦合的类以方便扩展。仿真实验验证了该平台的可行性和有效性。该平台能帮助网站运营商选择合适的调度和缓存替换算法,帮助研究人员在各种访问模式下评测新的调度和缓存替换算法。 展开更多

关键词 WEB集群服务器 仿真平台 可扩展 调度算法 缓存替换算法

在线阅读 下载PDF 职称材料

基于小波分析和Gaussian回归的急性低血压预测

16

作者 孙浩军 张崇锐 +1 位作者 张磊 李惊涛 《计算机工程与科学》 CSCD 北大核心 2016年第1期156-162,共7页

急性低血压是危害病人健康的并发症之一,对急性低血压发生的提早预测,能够帮助医生对重症病人找到更好的医疗处理方案。提出了一个基于趋势分量的Gaussian函数拟合预测模型,即用小波多尺度分析提取出信号的趋势分量;再根据Gaussian回归... 急性低血压是危害病人健康的并发症之一,对急性低血压发生的提早预测,能够帮助医生对重症病人找到更好的医疗处理方案。提出了一个基于趋势分量的Gaussian函数拟合预测模型,即用小波多尺度分析提取出信号的趋势分量;再根据Gaussian回归模型对趋势分量进行函数拟合,得到的函数参数作为特征值,用支持向量机SVM对数据分类。Gaussian回归模型使用的是数据驱动,用系数来描述数据之间的关系。通过在较大病人数据集上实验得到了较好的效果。 展开更多

关键词 小波多尺度分析 Gaussian回归过程 函数拟合 数据驱动

在线阅读 下载PDF 职称材料

基于马尔可夫链的网页间距离衡量方法

17

作者 熊智 郭成城 《计算机工程》 CAS CSCD 北大核心 2008年第5期110-112,共3页

HTTP/1.1的持续连接特性会给基于内容请求分发的Web集群服务器带来额外的开销。为减少这种开销,可将用户经常一起访问的网页组成簇并以簇为单位来分布文档。如何衡量网页间的距离是网页组簇的关键问题。该文提出一种基于马尔可夫链的衡... HTTP/1.1的持续连接特性会给基于内容请求分发的Web集群服务器带来额外的开销。为减少这种开销,可将用户经常一起访问的网页组成簇并以簇为单位来分布文档。如何衡量网页间的距离是网页组簇的关键问题。该文提出一种基于马尔可夫链的衡量网页间距离的方法,该方法同时考虑了用户访问的时间相关性和用户的访问路径。实例表明,与基于时间相关性的衡量网页间距离的方法相比,采用该衡量方法能更有效地减少网页组簇后HTTP/1.1持续连接所带来的额外开销。 展开更多

关键词 WEB集群服务器 网页间距离 网页组簇 马尔可夫链

在线阅读 下载PDF 职称材料

基于X3D的三维分形植物建模

18

作者 张杰 蔡文奇 《图学学报》 CSCD 北大核心 2012年第4期7-12,共6页

植物的模拟一直以来都是计算机图形学的热点和难点问题,为了实现通过互联网在网页上方便、快捷地浏览具有逼真性、交互性的三维植物,论文从植物的生理结构出发,结合确定性L系统、参数L系统和原始的递归算法提出了一种植物建模的数学模型... 植物的模拟一直以来都是计算机图形学的热点和难点问题,为了实现通过互联网在网页上方便、快捷地浏览具有逼真性、交互性的三维植物,论文从植物的生理结构出发,结合确定性L系统、参数L系统和原始的递归算法提出了一种植物建模的数学模型,并采用X3D结合JAVA作为实现语言,建立了树的轴结构、叶序和叶子的模型。用户只需实时地输入相应的参数,就可以快速、便捷地生成逼真的三维植物。 展开更多

关键词 计算机应用 分形树 参数L系统 生理结构

在线阅读 下载PDF 职称材料

JACKSON程序规格说明到过程蓝图的映射

19

作者 刘建宾 《计算机应用与软件》 CSCD 1997年第2期19-25,41,共8页

本文在JACKSON程序规格说明和过程蓝图的形式化定义基础上,给出了从JAOKSON程序规格说明出发,导出过程蓝,图时转换映射方法。使用过程蓝图取代结构文本作为JAOKSON程序规格说明和最终目标源代码的中间表示,改进了传统的JACKSON结构化程... 本文在JACKSON程序规格说明和过程蓝图的形式化定义基础上,给出了从JAOKSON程序规格说明出发,导出过程蓝,图时转换映射方法。使用过程蓝图取代结构文本作为JAOKSON程序规格说明和最终目标源代码的中间表示,改进了传统的JACKSON结构化程序设计方法。 展开更多

关键词 JACKSON 结构化 程序设计 程序规格说明

在线阅读 下载PDF 职称材料

可废除推理研究 被引量：2

20

作者 于斌 林作铨 石纯一 《计算机科学》 CSCD 北大核心 1996年第2期11-16,共6页

非单调推理是针对常识推理而提出的,但是标准非单调逻辑都存在可计算性问题。

关键词 人工智能 可废除推理 非单调推理

在线阅读 下载PDF 职称材料