有限自动机定义函数的线性本原圈积分解

来源 :计算机学报 | 被引量 : 0次 | 上传用户:huxiangye
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文讨论有限自动机显表出定义函数f的线性本原圈积分解问题。在该圈积分解之下,函数f被表成线性外函数因子fL与线性本原内涵数因子fN的圈积,这里函数fL定义了一个线性弱可逆有限自动机MfL,而函数fN定义了一个非线性有限自动机MfN且其不能再分解成一非平凡的线性外函数与一非线性内函数的圈积。本文证明了一函数f的任两线性本原内因子互为对方的线性本原内因子,从而证明了函数f的线性本原圈积分解的唯一性。本
其他文献
2007年4月6日,湖北省电力公司召开科技信息工作座谈会暨一季度重点科技项目协调会。会议传达了国家电网公司2007年科技、信息工作会议精神,安排部署了公司2007年科技信息重点工
路由选择是曜网的关键技术之一,其优劣直接影响着网络的接通率和负载平衡程度,我国长途电信网的率只有45%左右,链路的利用率又仅为30%~40%,据介绍,若其接通率提高一个百分点,收益可达10亿元,随着
溶液换热器是吸收式热泵的重要部件之一,它的传热效率与强化对提高热泵系统性能,降低热泵循环系统的设备费和操作费非常重要.本文分析计算了不同传热效率对水/乙二醇高温吸收
设计拥有我国自主版权的微处理器有着重大意义。高特权级系统调用算法及高特权级系统调用测试单元PCU是拥有保护机制微处理器的重要组成部分,文中探讨了保护方式下高特权级系统调
给出一种满足二阶连续的平面网格细分算法 ,该算法利用三次 B- Spline曲线的分割作图思想 ,计算简单 ,效果好 ,已被成功地应用于多个系统中 .尤其在服装试衣效果 CAD中有着特殊的意义 ,解决了衣片的网格划分 .纹理映射结果能逼真地反映衣服的褶皱、明暗、垂感 ;最难描述的裙装、弯曲的袖及裤得到了有效的解决 .该算法将大大改进服装试衣效果 CAD技术 ,在相关领域也有着广泛的应用前景和很强的
采用了EPN值、持水能力、质地特性和感官评定等四种质量指标,对扇贝在-14~30-℃范围的5种不同温度冻藏过程中的质量变化和实用贮藏期进行了测定,结果表明:(1)冻藏温度-18℃与-
期刊
提出了一种对非刚性三维医学图像进行弹性配准的新方法,配准判据是基于二维联合直方图估计得到的两幅图像灰度之间的互信息.首先最大化全局互信息,实现两幅图像之间的全局仿射配
介绍了家用空调器近期采用的数字变频、负离子发生器、光触媒、特效缝隙鳍、内螺纹管等几项新技术.
山东是中国的农业大省,农业的发展对于全省经济的发展起着至关重要的作用。本文分析了山东农业经济的现状和当前存在的主要问题,从可持续发展的观点,提出了几点战略对策。