Resource Graphs and Countermodels in Resource Logics

In this abstract we emphasize the role of a semantic structure called resource graph in order to study the provability in some resource-sensitive logics, like the Bunched Implications Logic (BI) or the Non-commutative Logic (NL). Such a semantic structure is appropriate for capturing the particular interactions between different kinds of connectives (additives and multiplicatives in BI, commutatives and non-commutatives in NL) that occur during proof-search and is also well-suited for providing countermodels in case of non-provability. We illustrate the key points with a tableau method with labels and constraints for BI and then present tools, namely BILL and CheckBI, which are respectively dedicated to countermodel generation and verification in this logic.     

资源推荐

除了各种手持移动设备,伴随我们最多的IT产品应该就是电脑了吧。虽然说移动平台上数以十万计的应用让人眼花缭乱目不暇接,其实在电脑上同样也有各种各样充满个性而又实用的软件。如果你每天花了过多的时间在电脑边,或者你常被各种琐事困扰,那么下边这些工具应该可以帮到你。     

资源推荐

弹去五月的风尘，迎来六月的阳光。六月是孩子们的节日，六月是孩子们茁壮成长的季节！有人将孩子比作上天的神灵与星辰，有人相信孩子的眼睛里承载着未来和希望。喜欢纯洁的天使微笑的神情，喜欢他们永远不知疲倦的双眸，也希望他们从小便可以在快乐中学习和成长。     

资源推荐

弹去五月的风尘，迎来六月的阳光。六月是孩子们的节日，六月是孩子们茁壮成长的季节！有人将孩子比作上天的神灵与星辰，有人相信孩子的眼睛里承载着未来和希望。喜欢纯洁的天使微笑的神情，喜欢他们永远不知疲倦的双眸，也希望他们从小便可以在快乐中学习和成长。     

一种基于资源类型的网格资源发现方法

提出一种基于资源类型的非集中式网格资源发现方法，将注册有同类资源的网格信息节点组织在一起形成社区，资源发现请求的转发以及资源信息的扩散都被限制在相应的社区内，从而改善了资源发现的性能．社区的自组织和社区间的高效导航通过一个基于分布式Hash表的bootstrap网络实现，并提出了流言传播的机制来改善bootstrap网络中的负载均衡．在社区内部的搜索中引入了基于贪婪搜索的资源定位机制，只将少数较好的结果返回给用户，节省了用户比较选择的时间．探讨了该方法在通用大规模计算资源共享以及仿真网格中的应用．     

基于资源预测的智能终端资源缓存算法

针对智能电视终端应用间资源竞争导致的系统性能下降问题,基于资源消耗预测,提出一种智能终端资源缓存算法。根据系统记录的各应用程序的资源消耗统计数据,应用Markov模型预测下一时间段可能出现的资源瓶颈和应用的资源状态,利用应用的资源状态动态调整应用权重,并以最小化应用切换时间为目标,将资源缓存问题转化为多维多选择背包问题,采用轻量级的启发式算法求解资源缓存问题。仿真实验结果表明,在智能终端中该算法对于资源消耗的预测精确度比其他算法提高5.4%,而应用响应时间缩短约45%。     

Decentralized Grid Resource Discovery Based on Resource Information Community

A decentralized Grid resource discovery solution is presented in this paper under predefined resource taxonomy, in which information nodes with the same type of registered resources are organized together to form resource information communities (RIC), and efficient navigation between different communities is achieved by a DHT P2P based bootstrap network. Periodical topology maintenance communications are used to piggyback and disseminate popular data in bootstrap network to achieve better load balance. The performance of RIC-based Grid resource discovery is evaluated by simulation under different cases, and overhead is also studied.     

一种基于资源可用度的资源发现方法

由于Internet上的资源的不均匀分布,为了实现有限资源的最大利用率,可通过一种基于资源可用度的资源发现方法,该方法运用一种新的模型计算了节点的资源可用度,并将可用度比较高的节点主机作为资源发现的目的地,从而较好地实现了Internet中共享资源的查找与定位问题.     

教育资源网格环境下的资源监控机制研究

针对网格中资源利用率低下,单一、集中的资源监控面临单点失效、性能瓶颈等问题,引入一种教育资源网格体系结构模型,给出一种资源监控机制。该机制采用层次化、分布式按域管理思想,融合JNI、Web服务、目录服务等技术,通过构建其总体框架及逻辑结构,说明资源的远程注册、发现及动态加入/离开资源节点的检测的监控管理的过程。通过性能分析表明,该机制安全、可靠、有效,能满足教育资源网格的应用需求。