反计算机取证技术研究

分析了反计算机取证的基本概念和方法,比较了反计算机取证所采用的数据擦除、数据加密、数据隐藏、数据混淆和数据转换等主要技术,并提出了一种安全、高效的基于m序列的数据擦除方法.     

论超穷过程论中的两个基本原理与HEGEL的消极无限批判

引言本文的著者之一在不久以前曾经发表了一篇概念分析性质的文章(载1956年东北人大自然科学学报第一期).在那篇文章中,著者揭示了一个新的理论,即所谓从超穷过程的构成观点来研究无穷集合的形成方式,进而从新考察了Cantor经典超穷数论中几个带有根本性质的问题,并从新叙述了若干极其基本重要的命题.所说到的新理论,我们称之为‘超穷过程论’.如所知,这个理论是以两个基     

数学哲学在数学教育中的应用

在历史上,数学哲学对数学教育很少有直接影响,而现在,数学哲学的研究,已被置身于数学与社会相互作用的广阔背景上,因而若再不重视和探求数学哲学在数学教育中的应用,则将得不到社会需求所提供的发展动力。另一方面,本世纪30年代以后,关于数学基础的探索和研究,也为数学哲学在数学教育中的应用创造了条件,本文从理论上探讨了数学哲学在数学教育中的应用的途径与方法。     

潛尾数论导引

研究实无穷与潜无穷的有关问题,对数学基础的研究有重要意义,恩格斯和列宁对实无穷与潜无穷的实质性差异早已作了科学而深刻的论述,但在数学基础的有关问题中‘潜无限分析式’取代‘实无限生成式’的推理原则,至今没有受到应有的     

中介逻辑的谓词演算系统（Ⅱ）

本文为参考文献[7]的续篇,在此继续生成中介逻辑的谓词演算系统MF的形式定理。定理10 MF:[1]x～A(x)～xA(x),[2]～xA(x)x～A(x)[3]～xA(x)x～A(x). 定理11 F:[1]x[A(x)→B(x)],xA(x)xB(x),[2]x[A(x)→B(x)],～xA(x)xB(x),[3]x[A(x)→B(x)],x～A(x)(x)B(x),[4]x[A(x)→B(x)],xA(x)xB(x),[5]x[A(x)→B(x)],x～A(x)xB(x),[6]x[A(x)→B(x)],xA(x)xB(x). 定理12 MF:[1]xA(x)∧Bx[A(x)∧B],x不在B中出现,[2]xA(x)∧BxA(x)∧B],x不在B中出现.[3]xA(x)∨Bx[A(x)∨B],x不在B中出现.[4]xA(x)∨Bx[A(x)∨B],x不在B中出现. 定理14 MF:[1]xA(x)∧xB(x)x[A(x)∧B(x)],[2]xA(x)∨xB(x)x[A(x)∨B(x)],[3]xA(x)∨xB(x)x[A(x)∨B(x)],[4]x[A(x)∧B(x)]xA(x)∧xB(x). 定理17 MF:[1]x[A(x)B(x)],x[B(x)C(x)x[A(x)C(x)],[2]x[A_1(x)B_1(x)],x[A_2(x)B_2(x)]x[A_1(x)∧A_2(x)B_1(x)∧B_2(x)],[3]x[A_1(x) B_1(x)],x[A_2(x)B_2(x)]x[A_1(x)∨A_2(x)B_1(x)∨B_2(x)].     

面向AGENT的程序设计语言AOPLID

ＡＯＰＬＩＤ语言是以现有的情境演算理论和基于意向驱动方式的ａｇｅｎｔ模型为理论框架而建立的一种面向ａｇｅｎｔ的程序设计语言，介绍了该语言的程序组成及程序的运行，并通过一电梯控制程序说明了如何该语言编制面向ａｇｅｎｔ的程序。