一种基于集合符号的自动推理扩展方法

在多值逻辑Tableau推理的基础上,提出了一种基于集合符号的自动推理扩展方法.将符号集合作为真值,减少了Tableau的推理分枝,并可以将适合经典逻辑的推理方法和策略应用于其中,使得非经典逻辑推理经典化.使用SWI-PROLOG语言设计实现了基于集合符号的自动推理系统,在系统中使用集合符号方法,只需要在规则库中增加推理规则,即可生成规则程序,系统本身不需要任何的修改,因此一些适合于经典逻辑的推理方法和技巧就可以很容易地应用到多值逻辑、模态逻辑、直觉逻辑等非经典逻辑,也可以进一步推广到无穷值逻辑和含模糊量词(如T-算子和S-算子)的逻辑中,对于无穷值逻辑和模糊逻辑的Tableau方法研究具有一定的借鉴作用.对TPTP中的900个逻辑问题进行了证明,实验结果表明,系统在时间和空间上效率都是较高的.     

Rough逻辑公式的语义分析及基于语义分析推理的研究

在粗糙集理论的近似空间M=(U,R)中展开讨论,其目的是要把Pawlak粗糙逻辑中的公式进行推广,将其所涉及的论域从与U有关扩展到n个U的笛卡尔积Un之上,并对这些推广的n元公式进行研究.讨论以Pawlak粗糙逻辑中的5种逻辑值为基础,并在n元公式上对此进行推广定义.针对这些关于n元公式的粗糙逻辑值,从语义出发,研究n元公式之间的逻辑推理关系.其结果是经典逻辑中的一些逻辑推理的结论对于某些粗糙逻辑值仍然成立,但自然也增添新的性质.     

经典逻辑门与量子逻辑门之比较

本文通过经典逻辑门与量子逻辑门之比较,论述了量子计算的特点、量子算法的巨大威力及量子逻辑门的实现问题。     

对称逻辑度量次范整子空间及其性质

在经典逻辑度量空间中定义了加法和数乘运算,利用公式的距离引入了经典逻辑度量空间中的范数的概念,从而证明了经典逻辑度量空间作成线性次范整空间。引入了次范整线性子空间的概念。证明了n元逻辑公式之集中的对称逻辑公式子集构成了次范整线性子空间,并讨论了该子空间的简单性质。     

多量子位量子小波变换逻辑线路及仿真实现

由于量子计算相比于经典计算的突出优越性,量子小波变换的实现对于小波变换的理论完善和实际应用具有重要的意义,而逻辑线路是该变换实现的基础。应用多量子算符代数理论设计了3量子位Haar和D^（4）小波变换的逻辑线路,进而将逻辑线路转化成核磁共振系统可以实现的脉冲序列,并在量子计算仿真器（QCE）上进行了模拟实现,验证了逻辑线路的合理性。     

扩展Toffoli门及其在多输出电路设计中的应用

用量子计算电路实现布尔逻辑运算是发展量子计算的一个重要目标。提出了量子扩展Toffoli门,及其在实现多输出逻辑电路中的转换算法。该算法将传统PLA文件的SOP积项转换到实现等价逻辑功能的量子Toffoli积项,能够用量子扩展Toffoli门实现。通过MCNC基准电路的测试结果表明,与经典PLA描述相比,用扩展Toffoli门能够更有效地描述多输出逻辑函数。     

直觉主义视角下量子逻辑的进一步解释

量子计算机将成为计算机科学未来的发展方向之一,量子逻辑是反映量子计算与量子信息的数学基础。Von Neumann用希尔伯特空间的闭子空间表示量子物理系统的性质,构成正交模格,其元素有明确的物理意义,但无法刻画叠加性质;Bob Coecke填加析取元素来表示叠加性质,借助Heyting代数,基于正交模格构造命题格对量子逻辑进行刻画,命题格中元素有明确的数学含义,但物理意义不够明确。针对后者,文中对命题格中元素的物理含义做出了进一步的解释,认为补充的析取元素代表的物理意义为描述叠加性质时所依赖的"观察者视角",使得命题格中所有元素都获得了清晰的物理含义,通过阐述量子逻辑在测量时的应用,为量子计算中的隐形传态、超距同步等技术提供了重要的理论依据。     

量子Harr小波变换及其逻辑实现

由于量子计算相比于经典计算的突出优越性,量子小波变换的实现对于小波变换的理论完善和实际应用具有重要的意义.在给出了正移置换矩阵的量子逻辑线路后,运用矩阵扩展Kronecker积,基于W-H变换和正移置换矩阵对Harr小波矩阵进行了分解,给出了相应的数学表达式和量子逻辑线路.并对其实现复杂度和物理实现可能性进行了分析.     

基于量子少数者博弈的多机器人追捕

多个带有自利因素的追捕机器人在追捕一个逃跑者的过程中,自身利益与整体利益之间会产生冲突,导致系统付出更多代价.若调整收益分配机制,并引入量子少数者博弈,则可将经典策略空间扩展到量子策略空间.在该空间下,追捕者追求自身利益最大化时,也能达到整体最优.通过对追捕过程中量子少数者博弈进行实验分析表明,采用量子策略的机器人,其自身利益与整体利益得到统一,追捕效率大幅度提高.     

基于BB84协议的空间量子通信系统

我们分析了基于BB84协议的空间量子通信系统.该系统使用大气量子信道,以因特网为经典信道.讨论了光子与大气的相互作用,利用量子计算语言对大气信道中的量子密钥分配进行了仿真.将用于量子计算仿真的语言引入量子通信的研究中,讨论了单光子脉冲系统与纠缠光子对系统的特点,分析了全球量子通信系统的可行性.     

曲面细分方法及其应用

细分曲面造型技术是一种基于样条可细化性质基础上的以网格细分为特征的离散造型方法,具有表示的任意拓扑性,光滑保证性,计算简单性等传统方法难以比拟的优点.本文介绍了常用几种细分方法的细分规则及其应用.如Loop细分法、蝴蝶改进法、Catmull Clark法和Doo-Sabin法.     

知识的属性扰动规律的不等式关系

知识的属性扰动引起知识规律的变化,这些变化的规律称为扰动规律.利用单向S-粗集和单向S-粗集对偶,给出属性扰动的知识规律的上规律.下规律的概念,并对知识规律与属性扰动的知识规律进行了讨论,提出了属性扰动知识规律(上规律,下规律)的不等式定理.     

曲面细分方法及其应用

细分曲面造型技术是一种基于样条可细化性质基础上的以网格细分为特征的离散造型方法,具有表示的任意拓扑性,光滑保证性,计算简单性等传统方法难以比拟的优点。本文介绍了常用几种细分方法的细分规则及其应用。如Loop细分法、蝴蝶改进法、Cat-mull Clark法和Doo-Sabin法。     

防雷减灾工作行政执法思考

防雷减灾行政执法工作是气象部门行政执法的主体,它履行社会管理职能的作用越来越明显。分析了防雷减灾的意义和开展防雷减灾工作中的重、难点,并根据实际情况,提出几种提高执法力度的手段。     

基于Monte-Carlo方法利用随机变数平均值计算定积分的算法

针对求解定积分近似计算问题,给出一种基于Monte-Carlo方法计算定积分的算法,简称为平均值法,它不同于通常人们使用的频数法。该算法理论依据是概率论数学期望定理及大数定律,它通过向积分区间随机掷点的方法产生一组随机数,每个随机数对应函数值组成一组随机变数,用随机变数平均值与积分区间长度值乘积得到定积分近似值。基于该算法样本随机特性,可以充分利用网络环境进行并行计算,实验结果表明本文算法具有实效性,与频数法相比,具有更好的准确率与时间效率。     

The proportionality principle in telecommunications interception and access law in an environment of heightened security and technological convergence†

As nations expand the telecommunications interception and access powers of their law enforcement agencies to address heightened threats to national security and accelerating technological convergence, the proper application of the proportionality principle is becoming an increasingly contentious issue. The ‘proportionality principle’ in telecommunications law mandates the weighing of a likely threat to public security against the potential violation of individual rights so as to ensure that the intrusive impact of a particular interception and access activity is reasonable proportionate to the potential outcome sought. The reform discourse of recent years has largely focused on expanding investigative powers, to the possible detriment of the protection of individual rights. Whilst the present environment makes such a focus wholly understandable, the present paper considers potential legislative and policy measures that could strengthen the proportionality principle in the telecommunications regulatory framework to support a more precise calibration of the relevant competing public and private interests. As Australia has recently undertaken a comprehensive review of its telecommunications access and interception laws, commencing with a 2013 referral to its Senate Committee and culminating in a 2015 law reform report, the article focuses on that nation’s experience. The analysis is, however, placed within an overarching public policy framework to ensure that the discussion is of relevance to nations around the world who are similarly engaged in telecommunications law reform.     

粗规律F-分解与规律识别

函数S-粗集具有规律特性、动态特性;利用函数S-粗集和基于函数S-粗集的粗规律生成方法,给出f-分解规律,F-分解粗规律,属性f-扰动度,属性F-下扰动度,属性F-上扰动度等概念; 利用这些概念,提出规律f-分解定理,属性f-扰动度定理,粗规律F-扰动度定理,给出粗规律F-分解识别的基本原理,并给出应用实例。     

两种直方图规定化实现算法的分析

直方图规定化可以将图像的直方图转化为需要的形状,有目的地增加某个灰度区间的图像,使用户获得感兴趣的信息.本文介绍了直方图规定化的两种经典的实现算法--单映射规则(SML)和组映射规则(GML)的基本原理,并应用这两种算法对实例图像进行规定化处理和比较分析,证明了GML相对于SML的优越性.     

融合知识图谱的网络安全违法行为识别系统

《网络安全法》是我国第一部关于网络安全的综合立法,与大众的互联网生活息息相关.因此,一款面向大众的《网络安全法》智能违法行为识别系统有助于规范互联网行为.然而,现有智能违法行为识别系统构建方法难以适应《网络安全法》,这是由于:首先,现有方法需要专业司法语言进行交互,不适应普通大众的语言体系.其次,现有方法需要大量的案例...     

E-Learning in Academic Libraries

The article focuses on some general aspects of using e-learning in a modern academic library in the context of the changing role of librarians. It describes the role and possibilities of applying e-courses appropriately to diversified users' needs and contemporary education challenges. E-learning offers new opportunities for an institution as well as benefits for library users and teachers. Further, problems of e-learning are considered from the perspective of academic education and librarianship in Poland. As library training is an important part of online education as offered by Polish libraries, some problems of this type of training are briefly reviewed.