论文部分内容阅读
本文提出了一种模态归结的弱包含删除策略，证明了使用弱包含删除策略模态归结的完备性。从而，将Ａｕｆｆｒａｙ等人提出的开问题－－模态归结包含删除策略的完备性向前推进了一步。
模态归结弱包含删除策略
【摘 要】
：
本文提出了一种模态归结的弱包含删除策略，证明了使用弱包含删除策略模态归结的完备性。从而，将Ａｕｆｆｒａｙ等人提出的开问题－－模态归结包含删除策略的完备性向前推进了一步。
【机 构】
：
吉林大学计算机科学系
【出 处】
：
计算机学报
【发表日期】
：
1994年5期
【基金项目】
：
国家自然科学基金,国家教委博士点基金,863计划资助
其他文献
台湾著名歌手孟庭苇一曲《冬季到台北来看雨》，似乎还温馨委婉地萦绕在雨空；台东沿海的群山却奋力将迎面而来的太平洋强气流反弹回去，化作8-9级强的“落山风”，呼啸着吹向大洋。
细绿萍（ＡｚｏｌａｆｉｌｉｃｕｌｏｉｄｅｓＬａｍｋ），是满江红科满江红属的一种水生蕨类植物。一般漂浮于水面生长，在条件适宜时，呈柏枝状，直立于水面生长，也可以扎根于泥土中湿，是一种适应性较强的植物。细绿萍质地柔软、细嫩
In non?orthogonal multiple access (NMA) system, signal transmitter and receiver are jointly optimized, so that multiple layers of data from more than one user c
In this paper, a non?contact auto?focusing method is proposed for the essential function of auto?focusing in mobile devices. Firstly, we introduce an effective
【摘要】媒介的发展与变迁深刻地影响与改变着人类的传播方式、生活方式乃至思维方式。音乐的存在与发展离不开传播，而传播媒介的发展必然对音乐传播产生巨大作用。乐谱与音乐的关系实际上就是文字与口语的关系，本文从文字的创造出发，观察乐谱的发明对音乐传播产生了怎样的影响。 【关键词】人类传播 音乐 文字 乐谱 距今约五千至六千年前的苏美人（Sumer）已经开始使用文字。语言和文字是人类最了不起的智慧，
一直以来，作为舆论监督的一种重要形式，揭黑报道大多会令人大快人心，其掀起的巨大社会舆论又能够促使问题得到妥善处理和解决。但为何记者在报道易建联“年龄门”事件过程中却遭
Ultra?reliable and low?latency communications (URLLC) has become a fundamental focus of future industrial wireless sensor networks (IWSNs). With the evolution o
By extracting the control plane from the data plane, SDN enables unprecedented flexibility for future network architectures and quickly changes the landscape of
Rate control plays a critical role in achieving perceivable video quality under a variable bit rate, limited buffer sizes and low delay applications. Since a ra