论文部分内容阅读
本文在广义λ-归结方法中引进删除策略,讨论了λ-蕴涵的若干性质,并证明:以λ-蕴涵为基础的删除策略不破坏广义λ-归结方法的完备性.
广义λ—归结中的删除策略
【摘 要】
：
本文在广义λ-归结方法中引进删除策略,讨论了λ-蕴涵的若干性质,并证明:以λ-蕴涵为基础的删除策略不破坏广义λ-归结方法的完备性.
【机 构】
：
吉林大学计算机科学系长春130023
【出 处】
：
吉林大学自然科学学报
【发表日期】
：
1993年2期
【基金项目】
：
国家自然科学基金,国家教委博士点基金,863计划,国家攀登计划资助课题
其他文献
轨道电路移频信号是否正常直接影响到列车的行车安全。为了准确、高精度地检测轨道电路移频信号参数,利用汉宁窗的频谱校正和欠采样技术,给出了基于快速傅里叶变换（FFT）的频谱
开展军事对抗训练是提高部队实战能力的重要手段之一,对于建立一支高水平的部队具有重要意义。单纯的实兵对抗训练,存在协调难度大、安全风险高、消耗大、成本高、难以常态化
广州虹科推出欧洲进口CO2浓度检测器T5000。T5000是捷克Comet系统公司2015年10月首次发布一款全新的CO2浓度检测器，它简化了设计，舍弃了无用的数据，不直接显示浓度值，而是采用3个
研究目的:研究400米短跑运动员不同节奏下的表面肌电特征,以及节奏对400米短跑成绩和相关生理生化指标的变化分析,丰富并完善400米短跑项目的理论体系,加强训练的科学性、系统性提供理论参考。研究方法:通过无线肌电测试仪和视频同步采集运动员在非终点直道(125米)和终点直道(375米)处左腿连续三个动作周期的原始肌电信号,对左腿缓冲和蹬伸两个阶段进行研究。运用Dalsys肌电测试仪自带的分析软件对原
创新是驱动经济发展的强大动力,当今世界,各国为站在技术的制高点,纷纷将技术创新提到国家战略层面。随着创新理念的不断深入以及数字技术的快速发展,产业融合成为创新驱动发展的重要抓手。数字文化产业作为文化产业转型升级的一种新兴产业,具有高成长性、创新空间大的产业优势。随着“文化+科技”融合发展的不断深入,推动数字文化产业创新发展成为提升国家软实力,进而提高国际竞争力的有效手段。上市公司是推动产业发展的中
近年来,交通银行XZ分行经营管理体系不断完善,金融产品和服务质量不断创新,市场竞争力不断增强,但是,伴随着其他股份制商业银行的不断进驻,交通银行XZ分行客户经理岗位人员变
我国国有企业长期以来被人们认为是“铁饭碗”、“大锅饭”,主要因为大部分国企的员工收入稳定、福利待遇好、绩效考核易于完成等原因。2018年,国务院在改革国有企业工资决定机制意见中,提出深化企业内部分配制度改革,强调以业绩为导向,向关键岗位、生产一线岗位和紧缺急需的高层次、高技能人才倾斜,合理拉开工资分配差额,加强全员绩效考核。本文选取T公司为研究对象,公司内对高管以上实行年薪制,对基层人员实行绩效激
资产管理业务是证券公司的四大核心业务之一,在顶尖国际投资银行的各项收入中,资产管理业务收入已经成为规模最大的收入,占比超过总收入的35%。资产管理业务简单说来,就是“
老年旅游是现代旅游的一个重要组成部分。但就国内而言，与整个旅游市场“火爆”场面形成鲜明对比的是，“银发旅游”一直以来都很冷清，除了老干部系统和一些专业机构，很少甚至鲜有
报纸
知识经济时代背景下,随着社会对专业人才需求的不断增加,越来越多的行业开始重视从业者的培训与考核工作;然而现阶段,行业培训与考核的方式还是以线下授课和考试为主。随着行业规模的不断扩大,这种传统的培训与考核方式越来越难以适应行业的发展。与此同时,随着信息技术与行业融合的不断深入,日积月累的行业数据资源越来越丰富,如何管理好这些行业数据资源并为行业培训与考核工作提供服务成为了一个亟需解决的问题。在此背景