公共文化服务平台

有限自动机的积可逆性讨论被引量：11: 2004年; 主要讨论了有限自动机运算后的可逆情况,给出了有限自动机串、并联后为可逆(弱可逆,延迟有限步(弱)可逆)的若干条件,最后对有限自动机的化合运算的可逆性进行了特别讨论.; 林莉邓婷邓培民易忠; 关键词：有限自动机映射

网格环境中信任-激励相容的资源分配机制被引量：16: 2006年; 在网格环境中,多数节点希望能够更多地使用其他节点的资源,而不愿共享本地的资源.每个理性的用户在追求自身利益最大化的同时,严重影响了协作整体的运行效率.在实际应用中,要吸引资源的拥有者加入资源协作,就必须保证其利益和安全.讨论了资源激励机制和分配机制之间的依赖与制约关系,从经济、信任角度提出自适应的信任-激励相容的资源分配机制.在网格环境中,资源供需的变化会引发价格的浮动,基于经济学的一般均衡理论,给出了资源提供者的动态价格调整策略.提供者可根据当前资源的供需和负载状况,制定自适应的信任-激励相容的分配策略ATIM(adaptive trust-incentive compatible resource allocation),遵循多贡献多分配的原则,激励节点共享出有价值的资源,最大化资源的聚合效用.在CROWN(China research and development environment over wider-area network)平台中评估了ATIM机制的效率和性能.; 张煜林莉怀进鹏李先贤钟亮; 关键词：资源分配信任价格策略 ENVIRONMENT

基于属性的访问控制策略合成代数被引量：43: 2009年; 访问控制策略合成是确定分布式聚合资源访问控制策略的关键.为了规范策略合成和保障策略合成正确性,基于属性刻画了实体间的授权关系,通过属性值的计算结构扩展了现有的策略合成形式化框架,建立了新的基于属性的策略合成代数模型APoCA(attribute-base access control policy composition algebra).通过示例分析说明APoCA具有更强的策略合成描述能力和普适性,适应于更为复杂的应用场景.用代数表达式形式化地描述聚合资源的访问控制策略,讨论了策略表达式的若干代数性质,说明可借助策略表达式的代数性质去验证策略合成结果是否符合各方对聚合资源的保护性需求.给出了将代数表达式翻译成逻辑程序的翻译器,为聚合资源的访问控制策略评估和应用提供基础.; 林莉怀进鹏李先贤; 关键词：访问控制逻辑程序

网络资源协作的激励方法: 本发明涉及一种网络资源协作的激励方法。该方法包括：用户节点获取服务节点的状态先验信息，根据所述状态先验信息确定与所述服务节点对应的服务策略信息，将所述服务策略信息对应地发送给所述服务节点；所述用户节点向服务节点发送计算任...; 怀进鹏李建欣林莉沃天宇钟亮胡春明; 文献传递

DTM:一种面向网络计算的动态信任管理模型被引量：16: 2009年; 在开放的互联网中,信任关系的建立是实现跨自治域资源共享与协同的前提.然而,网络计算环境的分布自治特性,使得各类复杂系统中应用不同的信任管理机制,容易导致信任定义的不一致问题,特别是很多系统为支持多域协作,直接假设实体间信任具有传递特性,而在模型中缺乏该性质成立的条件;此外,网络计算环境中的动态演化特性,使得驱动实体间协作的信任关系随需而变,而现有信任管理模型仅仅关注于系统功能结构,缺乏对这种动态性的描述.文中提出了一种动态信任管理模型DTM,基于信念公式形式化定义了主体间的信任公式,并将信任的传递特性(信任链)解释为模型的一条性质.在该模型中,针对信任关系的动态特征,以时间为参量刻画主体公式集,以事件为触发条件刻画主体间信任的变化,并基于正则事件序列描述信任管理的资源授权过程,可刻画主体间信任的建立过程.最终,设计、实现了一个信任管理系统CROWN-TM,并进行了初步实验分析.; 李建欣怀进鹏李先贤林莉; 关键词：网络计算信任管理信任协商信任证

柔性管理在小学班级管理中运用的研究: 当今小学教育正处于迅速发展时期，教育体制改革进一步推进，素质教育以全面提高全体学生的基本素质为根本宗旨。现在学生是21世纪的主人，是振兴国家的主力军，他们的知识结构，整体素质应该有别于过去而适应未来;他们的心理潜能应得到...; 林莉; 关键词：班级管理柔性管理小学教育

网络资源协作的激励方法: 本发明涉及一种网络资源协作的激励方法。该方法包括：用户节点获取服务节点的状态先验信息，根据所述状态先验信息确定与所述服务节点对应的服务策略信息，将所述服务策略信息对应地发送给所述服务节点；所述用户节点向服务节点发送计算任...; 怀进鹏李建欣林莉沃天宇钟亮胡春明; 文献传递

状态机的若干代数性质: 自动机就是自动化系统的模型, 它作为一种有效的形式化工具无论是在理论还是在实践中都有着重要的作用. 自动机理论主要研究离散数字系统的功能、结构及两者关系,旨在自动机的分析与综合问题. 随着微电子及信息等科学技术的迅猛发展...; 林莉; 关键词：状态机元胞自动机有限交换环矩阵; 文献传递

有限交换环上的线性元胞自动机被引量：3: 2005年; 在线性元胞自动机矩阵表示的基础上证明有限交换环上的线性元胞自动机的一组定理,并借此分析某些典型线性元胞自动机的演化性质.; 林莉易忠邓培民; 关键词：有限交换环矩阵

渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心　互联网出版许可证　新出网证(渝)字10号

林莉