江苏省自然科学基金(BK2004052)
- 作品数：18 被引量：29H指数：3
- 相关作者：邹盛荣李云李斌李斌阳雪平更多>>
- 相关机构：扬州大学南京航空航天大学上海大学更多>>
- 发文基金：江苏省自然科学基金国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- UML状态图到形式化B语言转换的实例研究被引量：3
- 2007年
- 使用UML中的状态图可以帮助描绘生物领域中碰到的很多问题,而形式化B方法能为生物系统建模并提供严格的证明,UML和B的结合可产生一种形式化的UML,并精确地用B方法建模。对免疫因子网络中T细胞免疫状态的UML状态图进行了两种方法的形式化,并进行了比较。
- 邹盛荣孟静阳雪平腾腾陈宇孙建国
- 关键词：状态图形式化方法B方法
- 动态服务流的安全机制
- 2009年
- 服务流的结构信息必须在流中各结点间传递,信息明码化必然带来敏感信息的外泄,由此产生的安全隐患将导致利益竞争集中某些个体利益受损.为了在保证结点并行运营的同时兼顾其敏感信息安全,文中提出了支撑安全的动态服务流定义,设计了非敏感量依赖树和敏感量依赖树构造算法,对同步库所中的依赖表达式进行敏感变量分离,生成了针对不同对象的依赖表达式树;同时,构造同步智能体,管理该结构信息发布,以实施基于安全的动态服务流管理.实验结果表明系统在兼顾动态运营的同时,也保证了来自各利益体子服务的信息安全.
- 曹永忠丁秋林李斌
- 关键词：WEB服务工作流敏感性智能体
- 基于灰色关联分析的孤立点挖掘算法被引量：1
- 2008年
- 孤立点挖掘是数据挖掘的重要研究方向之一,其目标是发现数据集中不具备数据一般特性的数据对象。传统孤立点挖掘算法通常基于项集属性,不适用于多目标决策和综合评价。该文提出一种基于灰色关联分析的孤立点检测算法OMGRA,通过总评价判断数挖掘孤立点集,避免人工确定阈值。实例分析表明,该算法能有效检测数据集中的孤立点,挖掘出的孤立点符合实际情况。
- 李云袁运浩陈崚
- 关键词：数据挖掘孤立点检测灰色关联分析
- 动态工作流的进化策略
- 大型分布式系统工作流具有动态、分布、松散耦合特点。系统在维护工作流正常运行同时,还能根据实时情况分析,对工作流进行在线进化,从而构造更优流模型。对原工作流定义进行了可行替换集扩展,并给出了兼顾组合预算、任务时限以及服务信...
- 曹永忠李斌丁秋林
- 关键词：工作流日志进化
- 文献传递
- 形式化B方法到UML类图的转化研究及应用被引量：1
- 2009年
- 形式化B方法是建立在严格数学基础上的软件开发方法,它用抽象机器符号来描述软件的规格说明;UML是面向对象的建模技术。文章提出一种将B的实现转换成UML类图的机制,从而以期实现B方法到面向对象编程的无缝连接,并结合免疫系统给出了应用实例。
- 邹盛荣郭忠伟彭昱静周塔顾爱华卫丽
- 关键词：形式化方法B方法UML类图
- 基于量化规则格的关联规则之分布式获取被引量：3
- 2007年
- 在形式概念分析中,提取关联规则是构造概念格的目的之一。量化规则格是为了便于提取规则的扩展概念格。概念格分布处理是先分布构造多个部分概念格,再合并构造出完整概念格,以提高构造格的速度。本文提出一种规则合并技术和相应的算法,由部分量化规则格提取部分关联规则,然后直接进行部分关联规则的合并,得到完整的关联规则,即对关联规则进行分布提取。由于无需构造完整格,并且直接再利用已有的部分关联规则,从而降低了利用概念格提取关联规则的复杂度。最后,给出一个简单的实例,说明算法的正确性,并通过实验验证了算法的有效性。
- 李云蔡俊杰刘宗田陈崚李拓
- 关键词：关联规则
- 基于概念格的Web文本聚类被引量：4
- 2008年
- Web文本聚类大多是基于空间向量文本表示模型的,它没有考虑特征词之间的语义关系,并且特征词的维数非常高,造成文本语义信息的损失和时间复杂度的增加。把文本作为对象,文本中的特征词作为对应的属性,形成了基于文本的形式背景,从中提取概念来表示文本并度量文本之间的相似度,从而降低了特征词的维数,减少了计算的复杂度,取得了良好的聚类结果。
- 李云田素方李拓徐涛
- 关键词：WEB文档聚类概念格
- 自主Agent结构AASC及其原型支撑系统AASS被引量：2
- 2005年
- 介绍了一个能刻画agent的多种特征,尤其是自主性的自主agent结构AASC。此结构结合了BDI结构和情境演算的优点,既能表示agent的信念、目标、策略等心智成分,又能进行行动推理和规划。为了能够方便用户建造自主agent,基于自主agent结构AASC,开发了AASC的原型支撑系统AASS。介绍了AASS的总体结构,讨论了AASS的主要成分类,说明了如何利用该系统开发agent应用系统。
- 李斌唐小燕吴梅丽
- 关键词：AGENT结构心智状态情境演算BDI模型
- 智能Agent程序设计语言IAPL被引量：1
- 2004年
- 分析了现有的面向Agent程序设计语言,指出了各自的优缺点。基于智能Agent结构,设计了一个新的智能Agent程序设计语言IAPL;给出了IAPL的语言规范、一组操作原语(信念、意向等心智成份的增加、删除、修改、查询等原语)及Agent之间的通信原语;利用情境演算理论,提供了IAPL语言的语义;提出了在线执行与离线规划相结合的IAPL程序执行方式。
- 李斌唐小燕吴梅丽张东摩吕建
- 关键词：程序设计语言智能AGENT面向AGENT删除离线算理
- B方法在流感病毒入侵免疫系统模型设计中的应用
- 2007年
- B方法有不少应用于生物学方面的成功范例,笔者用B方法建立流感病毒入侵免疫系统因子网络的形式化模型,利用生物信息学理念,把免疫系统当成一个网络化的分布式信息系统,以期通过这样的方式研究为流感疫苗研制、流感诊断和免疫疗法研究提供帮助。
- 唐宇邹盛荣
- 关键词：B方法流感病毒
