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

软件学报 2008年第10期19卷 2562-2572页

作者：张仕黄林鹏上海交通大学计算机科学与工程系上海200240 福建师范大学数学与计算机科学学院福建福州350007

针对面向对象软件在动态更新中遇到类型安全问题,定义了一个多版本类的动态更新演算(MCUFJ演算(multi-version class dynamic updamble calculus based on FJ calculus))来描述类动态更新.MCUFJ演算以FJ(featherweight Java)演算为核心,通过增加update操作表示类的动态更新,运用多版本技术使动态更新可以在保持新旧对象共存的情况下完成,讨论了类的数据域和方法进行增加、删除、修改以及类型变化对程序类型安全性的影响,并且指出MCUFJ上类型安全的动态更新需要满足的约束.定义了类的可动态更新限制,并且证明了在该条件下多版本类的动态更新在类型上的安全性.该演算可以用于指导Java语言和面向对象程序语言的类动态更新.

关键词：动态软件更新 FJ(fbathenveight Java)演算 Java 类型系统程序设计语言

来源：评论

学校读者我要写书评

暂无评论

基于置信规则库推理的二择众仓分类方法

引用

数据采集与处理 2018年第3期33卷 477-486页

作者：方志坚傅仰耿陈建华福州大学数学与计算机科学学院福州350116

针对线性组合方式所构建的置信规则库存在常常无法准确发挥前件属性权重的效能,且随着评价等级个数的增加,新激活权重公式往往会对结果造成不利影响的不足,本文在现有置信规则库推理分类算法的基础上,提出二择众仓决策法,以此改进置信... 详细信息

针对线性组合方式所构建的置信规则库存在常常无法准确发挥前件属性权重的效能,且随着评价等级个数的增加,新激活权重公式往往会对结果造成不利影响的不足,本文在现有置信规则库推理分类算法的基础上,提出二择众仓决策法,以此改进置信规则库决策系统。首先仅设置两个规则的后件评价等级,对一个决策问题仅做出二择判定,即回答是与否;其次,设置多个置信规则库同时处理若干个子问题;最后通过众仓决策方式融合多个子问题的结果,进而解决最终的分类问题。实验结果表明,改进后的置信规则库推理分类方法可行有效。

关键词：置信规则库分类二择众仓证据推理投票

来源：评论

学校读者我要写书评

暂无评论

基于Petri网的基因调控网络建模与分析

引用

生物化学与生物物理进展 2008年第4期35卷 418-423页

作者：黄佳良郭红孟春福州大学数学与计算机科学学院福州350002 福州大学生物科学与工程学院福州350002

如何有效描述与分析复杂的基因调控网络(GRN)是生物学家研究基因表达调控机制的关键步骤.现有大部分方法在建模过程中忽略了生物中广泛存在的协同作用,模型预测结果与实际生物行为之间存在误差.基于混合函数Petri网(HFPN)理论提出了一... 详细信息

如何有效描述与分析复杂的基因调控网络(GRN)是生物学家研究基因表达调控机制的关键步骤.现有大部分方法在建模过程中忽略了生物中广泛存在的协同作用,模型预测结果与实际生物行为之间存在误差.基于混合函数Petri网(HFPN)理论提出了一种对基因调控网络进行定量分析的新方法.首先简要介绍GRN与HFPN的基础理论,然后为HFPN引入两类新元素:逻辑库所与逻辑变迁,描述基因调控网络的逻辑规则以及转录因子间的协同作用,最后构建海胆endo16基因调控网络的Petri网模型,并预测模型在不同位点发生突变时的基因表达水平变化.分析结果与文献实验数据相一致,验证了方法的正确性.

关键词：混合函数Petri网基因调控网络海胆endo16基因协同作用逻辑规则

来源：评论

学校读者我要写书评

暂无评论

演化博弈下单点信号灯配时优化研究

引用

交通运输系统工程与信息 2012年第4期12卷 72-78页

作者：李建明余春艳福州大学数学与计算机科学学院福州350108

针对单路口交通流运行的高度复杂性和随机性,本文通过引入演化博弈理论和选择机制,以路口车辆平均延误时长最小为目标,提出了一种新的信号灯控制算法——基于演化博弈的单路口信号灯配时优化控制(EGSTOA).为了评估方法的有效性,在VISSI... 详细信息

针对单路口交通流运行的高度复杂性和随机性,本文通过引入演化博弈理论和选择机制,以路口车辆平均延误时长最小为目标,提出了一种新的信号灯控制算法——基于演化博弈的单路口信号灯配时优化控制(EGSTOA).为了评估方法的有效性,在VISSIM仿真软件中进行实验,并将该方法的控制效果与优化定时控制和基于遗传算法的控制效果进行比较.对比结果表明,使用EGSTOA方法有效降低了路口车辆平均延迟时长,改善了路口的控制效果.

关键词：城市交通信号灯配时演化博弈模型复制者动态车辆平均延误

来源：评论

学校读者我要写书评

暂无评论

WDRR:一种带权重的多维案例推理算法

引用

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

作者：汪璟玢胡烜曾逸群张燕琴福州大学数学与计算机科学学院

案例推理技术已经成为故障诊断、管理辅助决策、专家系统等实现的重要手段.现有的案例推理算法针对海量案例集时,普遍存在检索效率不高问题.设计了一种带权重的多维案例推理算法(Weighted DimensionReduction and R-tree,WDRR),该算法... 详细信息

案例推理技术已经成为故障诊断、管理辅助决策、专家系统等实现的重要手段.现有的案例推理算法针对海量案例集时,普遍存在检索效率不高问题.设计了一种带权重的多维案例推理算法(Weighted DimensionReduction and R-tree,WDRR),该算法结合案例的多维特征权重,将多维案例降维成二维案例点,并在此基础上建立R树空间索引;案例检索时首先借助R树索引,确定案例的二维点所在,再结合二次权重和K近邻(KNN)算法进行精确过滤,根据相似度阈值输出案例推理的结果,并完成案例学习和索引修正.实验证明该方法针对海量案例集的检索效率和准确率都有较大的提升.

关键词：案例检索案例推理 R树索引权重相对向量

来源：评论

学校读者我要写书评

暂无评论

跨站脚本漏洞的白盒测试框架的设计和实现

引用

计算机工程与科学 2011年第10期33卷 45-50页

作者：冯锴林柏钢福州大学数学与计算机科学学院

伴随着B/S架构的流行和Web2.0时代的迅速发展,由于对不可信用户数据缺乏正确的校验机制,造成跨站脚本漏洞广泛地存在于各类网站中,并严重威胁用户安全。其主要原因在于服务端代码和客户端脚本的混合,使得当前技术无法准确而有效地生成... 详细信息

伴随着B/S架构的流行和Web2.0时代的迅速发展,由于对不可信用户数据缺乏正确的校验机制,造成跨站脚本漏洞广泛地存在于各类网站中,并严重威胁用户安全。其主要原因在于服务端代码和客户端脚本的混合,使得当前技术无法准确而有效地生成攻击向量,探测跨站脚本漏洞。本文基于静态数据流特征分析,依据脚本注入位置和攻击向量模式设计了新的分析模糊器,通过采用字符串约束求解技术来验证攻击向量的有效性,并实现了白盒测试框架的原型系统XSS-Explore。实验结果表明,与同类工具相比,该系统能够较全面而准确地检测跨站脚本漏洞。

关键词： Web安全跨站脚本漏洞静态分析模糊器白盒测试

来源：评论

学校读者我要写书评

暂无评论

多指标稳定分量过程的局部时

引用

高校应用数学学报（A辑） 2014年第2期29卷 147-158页

作者：熊贤祝福州大学数学与计算机科学学院

设X1,…,Xh分别是独立的（N,d1,α1）,…,（N,dh,αh）稳定过程,其中α1,…,αh可以是（0,2]中不同的数.设X（t）=（X1（t）,X2（t）,…,Xh（t））,t∈RN＋,则称X={X（t）;t∈RN＋}为多指标稳定分量过程.在N＞∑di的条件下,证明了X存在... 详细信息

设X1,…,Xh分别是独立的（N,d1,α1）,…,（N,dh,αh）稳定过程,其中α1,…,αh可以是（0,2]中不同的数.设X（t）=（X1（t）,X2（t）,…,Xh（t））,t∈RN＋,则称X={X（t）;t∈RN＋}为多指标稳定分量过程.在N＞∑di的条件下,证明了X存在（联合连续的）局部时,该结果是多指标稳定分量过程所特有的,因为单指标稳定分量过程在任何情况下都不存在局部时.

关键词：多指标稳定分量过程局部时联合连续

来源：评论

学校读者我要写书评

暂无评论

异构环境下相关任务调度免疫遗传算法的研究

引用

小型微型计算机系统 2011年第10期32卷 2124-2129页

作者：叶菁陈国龙阮一文福州大学数学与计算机科学学院

合理的调度可以在很大程度上提高异构系统资源的利用率,在研究现有任务调度算法的基础上,定义了异构环境下相关任务调度的数学模型,并基于分层和启发式算法的思想,提出最多度动态调度算法MDSA和最少入度动态调度算法LIDSA构造初始种群;... 详细信息

合理的调度可以在很大程度上提高异构系统资源的利用率,在研究现有任务调度算法的基础上,定义了异构环境下相关任务调度的数学模型,并基于分层和启发式算法的思想,提出最多度动态调度算法MDSA和最少入度动态调度算法LIDSA构造初始种群;借鉴生物免疫系统抗体多样性产生及保持机理,定义了基于抗体的矢量距离、亲合力及浓度相关的选择概率,并改进交叉算子,这样可以在进化过程中保留优秀个体,同时抑制抗体群早熟;提出了高度遍历解码算法HTDA,简化算法实现过程.仿真实验结果表明,本文算法与其它调度算法比较,更能有效地实现资源的分配,可以成功应用于异构环境下相关任务调度.

关键词：异构环境免疫遗传算法任务调度

来源：评论

学校读者我要写书评

暂无评论

短时冻区冰雪消融对残积土坡非平衡渗流与稳定性作用机理分析

引用

工程科学与技术 2017年第6期49卷 73-83页

作者：阙云邓翔宇陈嘉福州大学土木工程学院福建福州350108 福州大学数学与计算机科学学院福建福州350108

为揭示短时冻区冰雪消融对残积土坡非平衡渗流与稳定性作用机理,分别基于非饱和渗流模型与非平衡流模型,分析福建省冰雪消融诱发某一边坡的失稳原因,并研究不同大孔隙直径、间距、弯曲率及长度对考虑非平衡流的边坡水分场与安全系数的... 详细信息

为揭示短时冻区冰雪消融对残积土坡非平衡渗流与稳定性作用机理,分别基于非饱和渗流模型与非平衡流模型,分析福建省冰雪消融诱发某一边坡的失稳原因,并研究不同大孔隙直径、间距、弯曲率及长度对考虑非平衡流的边坡水分场与安全系数的影响规律。结果表明:非平衡渗流相比于非饱和渗流对于边坡稳定性的影响明显更大,采用非平衡流理论可合理解释冰雪消融条件诱发残积土边坡失稳机理;增大大孔隙直径可增大大孔隙域与周围基质域的水分交换量,减缓水流的优先传导作用并使孔隙水压力增长,从而使边坡稳定性降低;增加大孔隙长度,延长了水分的传导路径,削弱大孔隙域内水分的积累效果,对于边坡安全系数有一定影响;增加大孔隙弯曲率对于基质域含水率及边坡安全系数影响很小,可忽略不计。边坡安全系数与大孔隙间距之间存在安全系数最小的临界间距,间距过大导致大孔隙群的优先流效应无法发挥;间距过小导致大孔隙间非平衡流相互叠加与干扰,削弱大孔隙对于深处孔隙水压力的影响。因此,对于短时冻区冰雪消融诱发含大孔隙边坡的失稳问题,应考虑非平衡流的影响,尤其是大孔隙间距与长度的影响。

关键词：残积土坡短时冻区冰雪消融非平衡流稳定性

来源：评论

学校读者我要写书评

暂无评论

强降雨条件下含大孔隙土柱水分非平衡运移特性

引用

同济大学学报（自然科学版） 2017年第4期45卷 488-496页

作者：阙云林登辉陈嘉福州大学土木工程学院福建福州350108 福州大学数学与计算机科学学院福建福州350108

为揭示强降雨条件下大孔隙土柱水分非平衡运移特性,基于双重渗透模型与运动波模型,采用有限差分技术编制计算程序,对降雨强度、持时、初始含水率、两域间等效扩散距离、经验参数(rw,n*)等对水分非平衡迁移特性进行分析.结果表明,双重渗... 详细信息

为揭示强降雨条件下大孔隙土柱水分非平衡运移特性,基于双重渗透模型与运动波模型,采用有限差分技术编制计算程序,对降雨强度、持时、初始含水率、两域间等效扩散距离、经验参数(rw,n*)等对水分非平衡迁移特性进行分析.结果表明,双重渗透模型计算所得的水分交换峰值比运动波模型计算值大但水分交换深度范围小.双重渗透模型模拟表层水分变化较好,而运动波模型模拟土层下部水分变化较好.两种计算模型得到的体积含水率沿深度范围内呈现双拐点特性.湿润峰深度、水分交换深度范围均随降雨强度、降雨持时的增大呈现变大趋势.随着初始含水率逐渐接近饱和含水率,湿润峰位置下移,水分交换深度范围变大,但峰值骤降.随着两域间等效扩散距离增大,水分交换速率大幅减小,造成比较明显的非平衡流现象;但当两域间等效扩散距离超过5cm时,湿润峰位置、水分交换速率、基质域剖面含水率相差很小.随着经验参数值rw,n*的增大,湿润峰下降速度变慢,但水流交换速度增大.当rw大于0.4或n*大于2.5,湿润峰下降速度、土壤剖面含水率、水流交换速度与范围变化幅度明显降低,产生非平衡流的几率降低.

关键词：强降雨大孔隙非平衡流双重渗透模型运动波模型

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：