暂无评论
随着这种趋势越来越深入到数据中心,机构正开始利用虚拟化技术消除控制一个应用程序应该在哪一个平台上运行的许多局限性。不同类型的应用程序有不同的工作量的"个性"。这些个性对于一个应用程
命题模态逻辑S5系统中并行推理方法，杨洋，李广力，本文对命题模态逻辑S5公理系统的性质进行了较为深入地研究，并对S5系统中一类具有代表性的标准模态子句集的特性进行了分析，提出��
在移动IP技术的基础上提出了一种Anycast通信模型，此通信模型不仅解决了Anycast扩展局限性问题，同时也实现了Anycast组成员的动态加入与注销，以及Anycast成员信息的分布式维护与处理
如果1609年已经有机器学习技术，开普勒会发现他的定律吗？还是他会满足于黑盒回归模型的准确性，导致牛顿没有灵感去发现万有引力定律？在这篇论文中，我将对物理科学领域中机器学习及其应用进行回顾，重点讨论其
在模态逻辑系统S5中借助公式的状态描述等概念，提出了一种从最简单的原子公式对应的相容理论开始，对于较复杂的公式形式，寻找恰当的状态描述，再将对应的存在状态加入最初的相容理论后仍相容的方法。
一种基于二维模态逻辑程序的神经-符号系统，于洋，江敏，弥合连接主义和符号主义计算模型之间的裂隙,是人工智能领域重要的问题之一。 在这篇论文中,我们提出了一种基于二维模态逻辑程序的
研究的背景和目的：我们旨在通过这项研究来确定经加速超分割RT治疗的局部尤因氏肉瘤的儿科患者的反应和局部无复发生存率（RFS）。 患者和方法：该研究是一项非随机，非对照的II期研究，在临床肿瘤学部门和南
这项研究提出了将成人小说改编为教育目的的替代现实游戏（ARG）的过程，从而创造了一种为学生提供亲和力的空间。 由于文学课程的主要目标之一是培养年轻人阅读的乐趣，而阅读率却在下降，因此这一项目可能是一个
乔治敦（George Town）的城镇景观保护通常包括执行公共政策和计划，以可持续和科学的方式促进保护工作。 在最近的十年中，越来越多的人意识到，遗产站点中的公共政策和计划对城市风光，种族认同和遗产可
把文件的逻辑结构转换成存储结构,设计便于顺序存取和直接存取的文件存储结构。 为了提高存储空间的利用率,一般采用链接文件的结构。链接文件可以存放在不连续的物理块中,使用链接字(又称指针)来指出文件中各个
暂无评论