“三卡悖论”与“说谎者”——解读文兰院士的《解一个古老的悖论》

依据常理,导致"说谎者悖论"的"本语句为假"无论如何算得上是一个句子,因而,文兰院士的说法——"不存在任何句自己说自己为假"似乎有悖常识。然而,这种"自己说自己为假"的"语句"毕竟不是命题(亦即不是非真即假的单义句),而只不过是多义句。正因为如此,所谓"说谎者悖论"纯属源于语言误解之逻辑误用,根本不合逻辑。事实上,我们只消将文兰院士所谓的"句"解读为"命题",将其上述说法解读为"不存在任何命题自己说自己为假",该说法也就不再有悖常识,而易于为人们所接受了。     

C语言常见错误浅析

C语言是一种与硬件扣系统靠得较近，同时又面向用户，容易理解、便于阅读扣书写的中级语言。本根据C语言的特点，列举了运用C语言时一些常见错误，并加以简要分析，帮助初学更好地掌握C语言。     

平面向量及其应用

<正>向量及其运算是高中教材的新增内容。作为现代数学重要标志之一的向量引入中学数学后,给中学数学带来无限生机。由于向量融数、形于一体,具有几何形式与代数形式的"双重身份",使它成为中学数学知识的一个交汇点,成为联系多项内容的媒介。因此向量的引入,大大拓宽了解题的思路与方法,使它在研究其它问题时获得了广泛的应用。     

提高区间运算的循环处理精度

循环语句大量应用于程序开发中,但是在静态分析领域,对循环语句的处理还很不完善,存在着不终止和迭代不收敛等一系列问题。传统的循环处理策略所涉及的程序语义信息有限,无法应用于静态分析缺陷检测中。该文提出一种基于符号运算和抽象解释理论中Widening/Narrowing算子的循环处理方法,并将其应用于区间运算之中,以提高检测精度。所述方法已在缺陷检测系统(DTSGCC)中实现,对大量Linux中GCC开源工程的测试结果表明:该方法可以提高区间运算中循环处理的精度,减少潜在的误报。     

基于稀疏技术的序列运算方法

序列运算过程中经常遇到稀疏序列之间的相互运算。针对序列运算的计算优化问题,该文首先分析了序列稀疏性的成因,并分析了序列运算理论中不同类型基本运算对于序列稀疏性的影响,同时给出了相应的计算结果序列的稀疏度估算公式。然后,根据序列与序列运算的特点,将稀疏技术应用于序列运算中,提出了通用存储方法与特征存储方法等2种稀疏序列存储技术。最后,利用算例对所提出的稀疏序列存储方法加以检验,采用稀疏技术后不同类型序列运算的时间开销均有不同程度的降低,特别是卷和、交积、并积与序除运算的计算时间下降为原来的6%~38%,算例结果表明了该文工作的正确性与应用价值。     

模糊数值直觉模糊群的性质及一个重要结论

定义了模糊数值直觉模糊群,讨论它的一些运算,研究它的一些性质并加以证明.最后在两个非空有限经典群同态意义下,证明了这种模糊数值直觉模糊群的像仍是模糊数值直觉模糊群.     

基于FPGA的高速FFT处理器的设计与实现

针对高速实时信号处理的要求,提出了4096点快速傅立叶变换（FFT）处理器在现场可编程门阵列（FPGA）中的设计与实现方法。该方法采用了按频率抽取（DIF）基4算法和6级流水线结构,每级均采用FIFO存储器实现延迟功能,和四路转接器一起共同完成序列的码位抽取。为了避免数据溢出,采用块浮点结构来表示数据,节省了器件资源。实验结果表明,该方法在保证运算精度和实现复杂度的同时,提高了处理器的数据时钟频率和处理速度。     

区间数互补判断矩阵中元素的运算与排序算法

分析区间数互补判断矩阵中已有的元素运算法则,重新定义区间数互补判断矩阵中一些元素的运算,给出将区间数互补矩阵转换为一致性矩阵的定理,并利用互反和互补之间的转换,得到一个区间数互补判断矩阵的排序算法.     

求解带装载能力限制的开放式车辆路径问题的遗传算法

对带装载能力限制的开放式车辆路径问题的求解进行了研究,提出了一种用于求解该问题的遗传算法.对算法中几个关键操作的不同实现方式的性能进行了比较.给出了算法对标准测试算例的运算结果,并与文献中目前最好的结果进行了比较和分析.     

有限自动机积的初(末)态试验序列、UIO序列和同步序列

主要对积运算后有限自动机的初(末)态试验序列、U IO序列和同步序列进行了讨论,给出了积运算后的有限自动机与积运算前有限自动机的初(末)态试验序列、U IO序列和同步序列的联系,并给出了极小有限自动机的初态试验序列与U IO序列间的联系。