论文部分内容阅读
本文研究了递归集的K-1-度上半格的格嵌入性,证明了任一可数分配格及任一可数偏序集均可嵌入〈R_K~1(NP_K~1);≤〉的任一区间.
递归集的K—1—度上半格的格嵌入性
【摘 要】
：
本文研究了递归集的K-1-度上半格的格嵌入性,证明了任一可数分配格及任一可数偏序集均可嵌入〈R_K~1(NP_K~1);≤〉的任一区间.
【机 构】
：
华中理工大学计算机工程与科学系,华中理工大学计算机工程与科学系
【出 处】
：
华中理工大学学报
【发表日期】
：
1990年2期
【基金项目】
：
国家自然科学基金
其他文献
本期主题是新风和被动式房屋,包括新风系统、门窗、膜等关键产品技术,被动房工程实践、乌鲁木齐节能改造和杭州节能建筑案例以及瑞典城市建设的经典案例。把新风和节能建筑放
<正> 对于运动目标的多普勒信号是一个类似于噪声的窄带随机信号.在频域中,由于接收机的噪声频谱是均匀分布的,具有一定频带宽度的多普勒信号频谱叠加在平坦的接收机噪声背景
本文导出了在不同坐标系下平面曲线一阶导数的变换公式及其在一定条件下的简化形式;提出了一种线性化圆弧样条曲线拟合算法。用该算法所拟合的曲线由一组依次相切的圆弧段构