河北省自然科学基金(F2008000861)
- 作品数：27 被引量：75H指数：5
- 相关作者：申利民李峰马川王涛白莲更多>>
- 相关机构：燕山大学河北科技师范学院齐齐哈尔大学更多>>
- 发文基金：河北省自然科学基金国家自然科学基金河北省引进留学人员资助项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于实体上下文和时间戳的信任预测模型被引量：9
- 2011年
- 信任是网络计算模式下实体交互与协同的基础,如何准确地定量表示和评估信任是研究重点。该文提出以实体上下文和时间戳为条件的信任预测模型,建立了粒度为8的信任等级空间,引入了多维测量指标度量实体交互满意度,使得满意度计算更加精确。构建了具有时间衰减性的直接信任求解方法,克服了已有模型动态适应能力不足的问题。把推荐信任划分为直接推荐和间接推荐,在直接推荐信任求解中引入实体评分相似度因子,在间接推荐信任计算中提出了基于路径衰减的方法。提出了一种分布式树型存储机制DST(Distributed Storage Tree),提高了模型的稳定性和可扩展性。模拟实验表明,与已有同类型模型相比,该模型更有效和准确地提供决策依据,并且在抑制恶意实体方面具有明显作用。
- 李峰申利民司亚利穆运峰
- 关键词：网络计算信任关系上下文直接信任推荐信任
- 基于学习者个性特征的协同学习任务生成方法被引量：1
- 2011年
- 现有协同学习系统无法自动生成学习任务,满足学习者个性化学习,针对此问题,提出了基于学习者个性特征的协同学习任务生成方法。该方法以学习者的个性特征为输入,用改进的贪婪算法进行分组,根据学习单元及所需角色的耦合度确定协同学习模式,结合贝叶斯网络技术生成符合学习者个性特征的学习任务,实验结果表明,基于该任务进行学习,显著提高了学习者的学习效率和学习深度。
- 申利民刘健尤殿龙李亚
- 一个基于关注点分离的实时与交互协同模型
- 2010年
- 针对开放分布式实时系统中自治实体的交互行为和实时约束行为动态变化的问题,利用关注点分离思想,设计了一个具有实时与交互适应性的事件驱动协同模型。将传统自治实体分离成三种相对独立的实体:时控协同器、交互协同器和纯的计算实体。最后,利用Java消息服务和EJB技术给出了详细的实现构架,并通过一个车辆导航系统的实例说明这个构架如何取得交互和实时的适应性和灵活性。
- 王敏司亚利张志鑫
- 关键词：实时性关注点分离
- 面向用户柔点的设计模型被引量：1
- 2011年
- 为了提高软件适应需求变化的能力,设计出具有良好柔性的软件,提出了一种基于面向用户柔点的设计模型。给出面向用户柔点的概念和特征,指出柔点与需求变化的密切联系。在此基础上,通过归纳需求变化的分类,抽象出柔点的分类。利用MVC(模型-视图-控制器)框架和软件设计模式给出通用的柔点设计模型,根据柔点的分类将模型细化。通过一个网上鲜花礼品店系统说明了该模型的可用性及有效性。
- 申利民齐硕
- 关键词：设计模式
- 面向信任的协同模型被引量：1
- 2009年
- 针对开放分布式系统中收集实体的经验值和度量信任困难的现状,采用关注分离的原则,将实体的信任处理行为与计算行为、交互行为进行分离,提出了一个面向信任的协同模型。通过模型中的信任角色实时监听所绑定的计算实体的消息来更新经验值,进而计算信任度,为系统选择相对可信的计算实体提供了依据。最后,利用Java消息服务技术和EJB技术给出了该模型的实现框架。
- 申利民杨梅白莲李峰崔倩
- 关键词：信任
- 可插拔访问控制框架的研究与实现
- 2009年
- 针对现有大部分应用系统需要通用访问控制模块及访问检测被分散在应用系统各个部分中的问题,分析了访问检测的独立性和非集中性特征,提出一种将接口抽取方法与关注点分离思想结合的可插拔访问控制框架,给出接口抽取法的形式化定义、插拔配置的方法和步骤、访问控制判定实现过程,解决了各领域重复开发访问控制模块及部署时给应用系统带来的代码冗余、难以维护重用的问题。最后给出考试系统中的一个应用实例。
- 申利民邢昌元宋诚忠
- 关键词：访问控制访问控制框架可插拔
- 构件演化的交互行为一致性研究被引量：1
- 2010年
- 构件演化前后的交互行为执行序列不一致,会导致系统行为偏离系统的功能目标。针对该问题,基于进程代数描述构件间的交互行为,归纳交互行为一致性的定义,给出交互行为一致性所需满足的约束条件,提出一种保证交互行为一致性的方法。实例分析结果证明了该方法的可行性和正确性。
- 祁晓园王涛马川
- 关键词：进程代数
- 基于进程代数的构件动态演化行为一致性研究被引量：5
- 2009年
- 为了保证构件在动态演化时的行为一致性,提出了一种基于进程代数的构件模型,形式化描述了构件及其对外交互协议,引入了对外主动请求接口和内部连接,并给出了行为一致性验证的规则和相关定理;然后给出了验证算法;最后,通过一个构件化系统的实例来说明所提出方法的可行性。
- 申利民马川王涛
- 关键词：进程代数
- 基于上下文相关的软件体系结构求精方法被引量：1
- 2009年
- 为了提高软件体系结构求精的精确性与可追溯性,使处于不同抽象层次之间的体系结构之间形成规范的映射体系,引入了形式化方法,定义了一种基于上下文相关文法的形式化的求精文法,并将该文法应用到体系结构求精中,给出了基于构件的体系结构形式化求精过程。最后,基于体系结构求精方法建立了相应的用于指导软件开发的模型。
- 申利民马川王建龙牛景春彭思维
- 关键词：体系结构形式化上下文相关
- 面向协同防范的非侵入式ARC模型被引量：1
- 2013年
- 针对分布式环境下系统的安全性问题,引入了一个基于ARC模型的非嵌入式结构,ARC模型是由actor、role和coordinator组合而成.其中,actor用来模拟计算实体,role和coordinator用来执行控制功能.模型将攻击行为的特征以约束的方式配置到coordinator、role,同时融合了入侵检测中常用的特征检测和异常检测方法.它基于message、event通讯机制,实现了对攻击行为的监测、阻击、识别、处理,提高了系统的防范攻击和生存能力.
- 吴子敬崔超闫公敬张春刚申利民
- 关键词：分布式环境
