排序方式: 共有13条查询结果,搜索用时 140 毫秒
1.
时态逻辑不可递归公理化的性质,造成它的公理化系统和证明论方法不适于时态查询语言的建模.这使得时态逻辑无法利用公理化系统的良好性质及相关证明论方法对时态数据库的推理和查询做更为严谨和细致地刻画.因此寻找时态逻辑的替代者,以公理化的方式对时态查询语言做句法和语义的分析是必要的.考虑的2个主要工具是作为句法分析工具的以Lambek演算为核心的范畴语法系统,和作为语义分析工具的类型演算λ-演算.这主要是基于类型论的演算特点、SQL语句与陈述句的相似性、Lambek演算和λ-演算的公理化与证明论方法,及它们作为句法和语义分析工具之间的密切联系与对应性决定的.据此从Lambek演算出发,结合时态的处理,构建了并发的Lambek演算(LCTQ)及相应的范畴语法,对以公理化系统为基础的时态查询语言的句法分析做相关研究,并从证明论性质上保障了计算性资源,使得系统更为严谨和完善. 相似文献
2.
根据教育领域中资源访问的聚集性等特征,以教育资源云存储系统架构为基础,设计了副本热度表征副本访问聚集性程度,实现了基于时空特征的副本相关数值计算;同时运用服务集概念和Hadoop分布式文件系统(HDFS)的存储机制提出了三方面的副本管理策略;最后在已开发的教育云存储系统ERS-cloud上进行了一系列实验,结果表明该策略能有效提升教育云存储系统应用效率. 相似文献
3.
研究人员已经致力于组合事务的恢复问题研究,但是大多数成果集中通过向后恢复来维持事务的一致性,补偿是向后恢复通常使用的一种手段,但是向后恢复的最大缺陷就是导致代价相当高,且向后恢复策略不能完全满足各种不同恢复需求。提出一种基于失败类型的恢复算法(包括向前、向后和替代恢复),其是一种基于扩展Petri网的形式化建模方法,为实现松弛ACID属性,引入状态托肯、数据托肯和QoS托肯,增加失败变迁和补偿变迁。失败发生时,动态计算终止依赖点TDP和补偿集,依据任务之间的控制流、数据流、时序、状态和行为依赖,获取任务的失败类型,选择合适的恢复策略,构造一个支持无缝添加/删除失败恢复的可执行模型。 相似文献
4.
5.
6.
7.
8.
9.
AOP具有模块化横切关注点的能力,能很好地解决面向对象编程中固有的代码散乱与代码纠缠问题.这种能力伴随着一种新的耦合,此耦合发生在方面与基础程序之间.与一般耦合不同的是,这种耦合对基础程序具有侵入影响,破坏了基础程序的信息隐藏,严重影响到整个软件系统的质量.现有的关于AO系统的耦合度的测量的研究极少关注这种耦合,现有的测量指标也甚少能用于测量这种耦合.提出一个AO系统的方面与基础程序的交互框架,并在此基础上,提出一个测量方面对基础程序的侵入耦合的框架.框架从单个或多个方面与基础程序的单个实体、单个或多个方面、整个基础程序等多个侧面反映出方面对基础程序的侵入影响. 相似文献
10.