江苏省自然科学基金(BK2004052)

作品数：18被引量：20H指数：2
导出分析报告
相关作者：邹盛荣李云李斌李斌阳雪平更多>>
相关机构：扬州大学南京航空航天大学上海大学南京大学更多>>
相关期刊：《计算机工程与设计》《模式识别与人工智能》《科学技术与工程》《Transactions of Nanjing University of Aeronautics and Astronautics》更多>>
相关主题：B方法形式化方法情境演算工作流免疫系统更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
形式化B方法到UML类图的转化研究及应用被引量：1
《计算机时代》2009年第3期42-45,共4页邹盛荣 郭忠伟 彭昱静 周塔 顾爱华 卫丽 
江苏省自然科学基金项目(BK2004052);扬州大学自然科学基金项目(KK0513109)
形式化B方法是建立在严格数学基础上的软件开发方法,它用抽象机器符号来描述软件的规格说明;UML是面向对象的建模技术。文章提出一种将B的实现转换成UML类图的机制,从而以期实现B方法到面向对象编程的无缝连接,并结合免疫系统给出了应...
关键词：形式化方法 B方法 UML 类图 免疫系统 
动态服务流的安全机制
《华南理工大学学报（自然科学版）》2009年第1期140-144,150,共6页曹永忠 丁秋林 李斌 
“十五”国家科技攻关项目(2002BA104C);江苏省自然科学基金资助项目(BK2004052)
服务流的结构信息必须在流中各结点间传递,信息明码化必然带来敏感信息的外泄,由此产生的安全隐患将导致利益竞争集中某些个体利益受损.为了在保证结点并行运营的同时兼顾其敏感信息安全,文中提出了支撑安全的动态服务流定义,设计了非...
关键词：WEB服务 工作流 动态服务流 安全机制 敏感性 智能体 
基于概念格的Web文本聚类被引量：3
《计算机工程与应用》2008年第23期169-171,186,共4页李云 田素方 李拓 徐涛 
国家自然科学基金(No.60575035;No.60673060);江苏省自然科学基金(No.BK2004052)~~
Web文本聚类大多是基于空间向量文本表示模型的,它没有考虑特征词之间的语义关系,并且特征词的维数非常高,造成文本语义信息的损失和时间复杂度的增加。把文本作为对象,文本中的特征词作为对应的属性,形成了基于文本的形式背景,从中提...
关键词：WEB文档 聚类 概念格 约简 
基于灰色关联分析的孤立点挖掘算法被引量：1
《计算机工程》2008年第19期44-46,共3页李云 袁运浩 陈崚 
国家自然科学基金资助项目(60575035;60673060);江苏省自然科学基金资助项目(BK2004052)
孤立点挖掘是数据挖掘的重要研究方向之一,其目标是发现数据集中不具备数据一般特性的数据对象。传统孤立点挖掘算法通常基于项集属性,不适用于多目标决策和综合评价。该文提出一种基于灰色关联分析的孤立点检测算法OMGRA,通过总评价判...
关键词：数据挖掘 孤立点检测 灰色关联分析 关联系数 
基于公平性的服务流动态集成
《计算机集成制造系统》2008年第12期2457-2462,共6页曹永忠 丁秋林 李斌 
“十五”国家科技攻关计划资助项目(2002BA104C);江苏省自然科学基金资助项目(BK2004052)~~
针对Web服务流动态、分布和松散耦合的特点,提出将兼顾公平性的服务质量模型用于服务的动态集成。通过分析Web服务流与传统工作流的不同,对原工作流Petri网定义进行了可行替换集扩展,给出基于自描述服务组合框架的动态服务流网定义,构...
关键词：WEB服务 工作流 动态集成 公平性 遗传算法 
B方法在流感病毒入侵免疫系统模型设计中的应用
《九江医学》2007年第4期1-3,10,共4页唐宇 邹盛荣 
江苏省自然科学基金资助项目(BK2004052)
B方法有不少应用于生物学方面的成功范例,笔者用B方法建立流感病毒入侵免疫系统因子网络的形式化模型,利用生物信息学理念,把免疫系统当成一个网络化的分布式信息系统,以期通过这样的方式研究为流感疫苗研制、流感诊断和免疫疗法研究提...
关键词：B方法 流感病毒 模型设计 
B方法在流感病毒入侵免疫系统模型设计中的应用
《电脑知识与技术（过刊）》2007年第18期1646-1647,共2页唐宇 邹盛荣 
江苏省自然科学基金资助项目(BK2004052)
在我们的工作中,B方法已被用在一些极其重要的软件项目中并获得了很大成功.其中有不少应用于生物学方面的成功范例,我们用B方法建立了流感病毒入侵免疫系统因子网络的形式化模型,利用了生物信息学的理念,把免疫系统当成一个网络化的分...
关键词：B方法 流感病毒 模型设计 
基于B方法验证技术的应用研究
《现代电子技术》2007年第19期131-134,共4页邹盛荣 滕腾 阳雪平 唐宇 吴铭 周彬 
江苏省自然科学基金项目(BK2004052)"面向软件服务协同的agent结构研究";扬州大学自然科学基金(KK0513109)"混沌系统的反控制与脉冲同步及其应用"的资助
形式化B方法建立在严格的数学基础上,通过严格的验证技术证明其正确性,尤其对大型复杂系统的描述是非常有用和正确的。用形式化B方法描述了免疫系统的两个因子网络模型,然后通过严格和精确的验证技术:类型检查和证明义务的给出,证明了...
关键词：B方法 形式化方法 因子网络 验证 免疫系统 
动态工作流的进化策略被引量：2
《微电子学与计算机》2007年第9期86-88,共3页曹永忠 李斌 丁秋林 
江苏省自然科学基金项目(BK2004052)
大型分布式系统工作流具有动态、分布、松散耦合特点。系统在维护工作流正常运行同时,还能根据实时情况分析,对工作流进行在线进化,从而构造更优流模型。对原工作流定义进行了可行替换集扩展,并给出了兼顾组合预算、任务时限以及服务信...
关键词：工作流 日志 进化 动态 
UML状态图到形式化B语言转换的实例研究被引量：2
《科学技术与工程》2007年第24期6334-6338,6343,共6页邹盛荣 孟静 阳雪平 腾腾 陈宇 孙建国 
江苏省自然科学基金项目(BK2004052);扬州大学自然科学基金项目(KK0513109)资助
使用UML中的状态图可以帮助描绘生物领域中碰到的很多问题,而形式化B方法能为生物系统建模并提供严格的证明,UML和B的结合可产生一种形式化的UML,并精确地用B方法建模。对免疫因子网络中T细胞免疫状态的UML状态图进行了两种方法的形式化...
关键词：UML 状态图 形式化方法 B方法 T细胞 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部