修正的Kleene系统中子代数的广义重言式理论

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:kingbottle
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
将修正的Kleene系统中的广义重言式理论进行推广,讨论了其序稠密子代数的广义重言式理论,并利用可达广义重言式的概念在矿的序稠密子代数中给出F(S)关于同余的一个分划。
其他文献
为了提高工业CT图像测量的精度,研究了一种基于Facet模型的亚像素级面积测量方法,并将其应用于实际的工业CT图像测量中。首先采用基于Facet模型的边缘检测算法提取亚像素边缘,然后通过最小距离搜索法分离出待测目标的边缘点并排序,最后利用离散化的格林公式计算面积。其中,基于Facet模型的边缘检测算法精度高、抗噪声能力强,能为后续基于边缘的测量提供高精度的数据;最小距离搜索法在浮点型边缘点上实现了
针对在建立物流中心选址模型中,单个人工神经网络模型难以确定参数、容易产生“过拟合”等问题,提出一种神经网络二次集成模型,利用Bootstrap可重复采样技术得到不同的训练集来
目的:探讨强化母乳对早产儿在出院后体格发育、神经运动发育及免疫发育情况的远期影响。方法:根据喂养情况,将160例32周≤胎龄≤36周,出生体重≤1800g的早产儿随机分为试验组(E
在CMOS摄像头数字图像性能检测系统中,疵点检测是关键内容。基于局部熵,提出了基于局部熵的CMOS摄像头疵点检测方法。与原有的摄像头疵点检测方法进行比较,局部熵方法是一种自适应的疵点检测方法。实验结果表明,该方法能够准确、有效地检测到摄像头的疵点。
伴随着科学技术的不断发展,现代化管理模式渐渐深入到当代水利工程管理中去,管理模式的转变及随之产生的问题是水利工作者一直探讨的热题。本文就当代水利工程现代化管理历史演
马红学老师根据多年的临床研究发现,胃脘痛有虚实之分,其擅长采用疏肝和胃法、健脾行气法、温中健脾缓急止痛法治疗肝胃不和型、脾虚气滞型、脾胃虚寒型胃痛。本文举医案概述
为实现Web文件完整性保护在安全、效率方面的优化配置,提出了一种基于免疫的Web文件防篡改机制,并给出了相应算法。该机制使用文件属性及文件内容两种不同粒度对Web文件的完整
癌痛属于癌症中较为棘手的临床症状,多数患者难以忍受。现阶段,临床针对癌痛患者通常采取'三阶梯镇痛疗法'治疗,虽可达到基本控制的效果,但阿片类药物存在耐受性、成
到2020年实现从亚洲旅游大国向世界旅游强国的历史性跨越是中国旅游业发展的宏伟目标。为了实现这一目标,当前旅游业发展该选择何种发展模式就成为人们关注的焦点。根据国内经
在医学实践中,"务与悟"存在着哲学关系,"务与悟"需要"务悟结合"。张宇认为"勤务善悟"及"务悟结合"可通医之大道。