关于“图灵归约”形式定义的一点注记

M.R.Garey和D.S.Johnson在[3]中引入“图灵归约”的概念,利用这个概念把NP完全性理论推广到包括组合最优化问题在内的更广的一类问题上。他们用oracle图灵机(OTM)模型给出了图灵归约的形式定义。但是,[3]中给出的这个形式定义是错误的。本文指出了这个错误并给出修正。     

多项式的矩阵形式及运算

根据矩阵理论,将多项式表示成矩阵的形式,并利用矩阵的运算性质,定义了多项式的加、减、乘运算,不但简化了多项式的运算,而且也为研究多项式的性质和多项式的除法奠定了基础.     

矩阵基于简化形式的特征多项式

探讨了两类矩阵两种多项式的简化表达式,分别给出了对角形矩阵与分块矩阵特征多项式的计算公式。     

“复本”定义

“复本”定义“复本”，是一个图书馆常用的术语。然而，长期以来，人们在解释复本概念时存在着观念上的分歧．本文将其归结为“不含第一本”、“含第一本”和“互称”三类，并通过对它们的分析，给出新的“复本”定义．“不含第一本”者，如中国社会科学院语言研究所辞典...     

多项式意义下模糊算子运算定义的唯一性

在算子模糊逻辑中分析了模糊算子运算的定义方法,证明了在一些比较基本的前提下,使用多项式定义模糊算子运算的方法是唯一的。     

确定有限自动机的逻辑形式定义

通过分析确定有限自动机状态转换函数的内在含义,引入有关的原子命题,得到确定有限自动机的逻辑形式定义并证明了状态转换函数表示与逻辑表示之间的等价性．     

关于运动形式定义的教学探讨

运动形式的定义很重要，它既要符合自然规律又要易于认识，更不能按人的臆造去定义，本文结合自己的教学实践，对此做一探讨。     

利用XML实现报表形式定义

利用XML实现报表定义的报表系统集成了表格计算、表格排版等多种功能,并支持图表自动生成,将制作报表过程简化为只须提供数据集及制定报表形式两步,所有集合运算、结构排版都完全由报表系统根据配置信息完成,表格调整方便,快捷.     

关于Mackey拓扑定义的等价形式

设E是一个局部凸线性拓扑空间,E~*是它的对偶空间,用■={R}和■′={R′}分别表示E~*中所有绝对凸弱紧和绝对凸相对弱紧子集的族,在R∈■上一致收敛的拓扑■_R称为Mackey拓扑,尽管一般来说■,但是我们证明了在R′∈■′上一致收敛的拓扑■_R′与■_R等价,我们还给出了Mackey拓扑定义的另外两个等价形式。     

函数依赖的几种形式定义

本文基于语义贴近度,导出并讨论了经典函数依赖(FD)的四种等价形式定义,在此基础上,得到模糊函数依赖(FFD)的两个等价的强依赖定义和两个有序包容的弱依赖定义,证明了FFD的最弱依赖相应于Armstrong公理的有效性和完备性。     

三角函数定义的“演义”

数学概念是数学中极其重要的组成部分，教学中应有意识的注意它的教学．本文通过对三角函数的概念的教学探讨，希望教师在教学中能有意识的培养学生的基础意识．     

“信用卡”的法学定义

通过对"信用卡"含义在法律界和金融界的解释及其局限、差异及其争论的比较研究,提出法律对专业领域专有名词的解释应该同该专业领域及国际通用解释保持一致,法律意义上的信用卡应还原信用卡的本质,即不包括借记卡。     

如何定义“秒”

<正>时间单位秒是国际单位制的7个基本单位中准确度最高、应用范围最广的一个。1967年,秒的定义从天文秒改为基于铯原子跃迁的原子秒,这一定义保持至今。实验室型铯原子钟复现秒定义,成为时间频率计量的基准装置。铯原子钟又被人们形象地称为喷泉钟,因为其工作过程是铯原子像喷泉一样     

物理量定义的“延拓”

本文通过一些物理术语的定义的历史发展过程,说明人类对客观世界认识的深化,使科学名词的定义域也在不断调整和延拓。接着,对一维碰撞运动中的牛顿公式进行了讨论,指明必须把恢复系数e的定义域[0,+1]延拓为[-1,+1],才能全面的说明一维对心碰撞的各种情况:回碰、粘碰及穿碰。     

“课程定义”新论

现有的课程定义有五大硬伤.希冀得到课程的公认定义,首先必须明了公认定义的标准,其次必须采用新的研究方法.所谓课程,简而言之就是主体创建的具有教育意义的项目;预设性、服务性、教育性、创新性、系统性是其特征所在.     

“透镜”多项式及其应用

本文介绍了n次实系数多项式的＂透镜＂多项式的概念及它们的性质.二者的结合可使问题简化.     

“幽默定义”浅析

现实生活中经常出现的“幽默定义”不是揭示概念的正面内涵，而是从某一侧面暗示事物的实质特征，进而委婉含蓄表达对事物的态度与感情。“幽默定义”出人意料又合情合理，成为一种喜闻乐见的幽默形式。     

一元多项式的部分和分解形式及其应用

用差分法、组合计数法与母函数法给出了一元多项式的部分和分解形式,用一元多项式的部分和分解形式给出了求方幂和问题的三个基本计算公式。