An Optimal Model and Algorithm of Distributed Information System

Distributed information system makes itself be placed in changing file storage position according to the users＇ request pattern. In this paper, we rebuild the model for a management system to turn the process of file managing into a 0-1 programming problem, and present a new individual form to improve the operating efficiency. Aiming at the model, we define a neighborhood span to make segmentation for searching space by using the fitness, based on the region contraction algorithm, present a new evolution algorithm which has the capability of self-adaptively generating new individuals, and ultimately solve the management problem of the distributed file system.     

计算理论中的重大难题—P=？NP

计算理论研究各种计算模型、可计算性和计算的复杂性等计算的固有性质,是计算机科学理论研究的核心。可计算理论研究的基本问题是,什么是计算,什么是可计算和不可计算,它可以使我们精确地区分有算法的问题和没有算法的问题,从而可以在抽象意义上回答计算机究竟能干什么,不能干什么的问题。计算复杂性理论研究在可利用的空间和时     

Extended IF逻辑的命题演算系统

Extended IF 逻辑是一阶逻辑的扩张,其主要特点是可表达量词间的相互依赖和独立关系,但其命题部分至今没有得到公理化.基于Cirquent 演算方法,给出了一个关于Cirquent 语义(命题水平)可靠完备的形式系统.该系统能够很好地解释和表达命题联结词间的相互依赖和独立关系,从而使Extended IF 逻辑在命题水平得到了真正意义上的公理化.     

求解图的最大团的一种算法

图的最大团问题是一个著名的ＮＰ－完全问题．现有求解图的最大团的算法或者只适用于某些特殊的图,或者需要指数级时间代价,效率较低．以图的区间表示的概念为基础,提出了一种求解最大团的算法．该算法能够适用于任意的简单图,并且在一定的条件下,该算法只需要多项式时间就可以完成运行.     

进化计算的可计算性

本文针对进化计算的进化控制特点，提出了一种进化程度的描述方式，并讨论了进化计算的可计算性。该项工作有助于进化计算形式化理论的建立和应用系统的开发。     

气液两相流界面多尺度问题可计算性研究进展

气液两相流复杂多变的界面结构在瞬态时间上具有宽广的空间尺度范围.界面多尺度问题涉及化工领域、核安全领域以及其他多个领域,其可计算性是当前国内外气液两相流领域的研究焦点之一.分析了欧拉体系下处理气液两相流相界面不连续性的两种基本模型以及湍流模拟方法对界面结构的影响.针对离散流界面尺度分布性和混合流界面跨尺度性两类多尺度问题,分析了可计算性研究面临的困境,将其归因于网格尺度的约束、几何及物理边界的缺失.重点归纳了混合流界面跨尺度性问题的计算方法以及典型应用.最后对气液两相流界面多尺度问题提出了应对策略及研究趋势,为此类问题研究提供有益的参考.     

谈计算机专业实践教学中计算思维能力的培养

阐述了计算理论(可计算性与计算机复杂性理论)中的几个典型问题,以图灵机模型、停机问题、近似算法及装箱问题等为例从不同角度分析计算理论与计算思维的密切联系,强调计算机专业实践教学中计算思维能力培养的必要性。     

A computational cognition model of perception,memory, and judgment

The mechanism of human cognition and its computability provide an important theoretical foun- dation to intelligent computation of visual media. This paper focuses on the intelligent processing of massive data of visual media and its corresponding processes of perception, memory, and judgment in cognition. In particular, both the human cognitive mechanism and cognitive computability of visual media are investigated in this paper at the following three levels： neurophysiology, cognitive psychology, and computational modeling. A computational cognition model of Perception, Memory, and Judgment （PMJ model for short） is proposed, which consists of three stages and three pathways by integrating the cognitive mechanism and computability aspects in a unified framework. Finally, this paper illustrates the applications of the proposed PMJ model in five visual media research areas. As demonstrated by these applications, the PMJ model sheds some light on the intelligent processing of visual media, and it would be innovative for researchers to apply human cognitive mechanism to computer science.     

基于可观性和可计算性的配电网关键量测识别方法

随着现代配电系统中分布式能源和柔性负荷的广泛集成,引起运行特性及拓扑均存在动态变化,因此亟需提升系统可观性。针对量测冗余度较低时传统可观性分析方法对配电网量测部署的指导作用不足的问题,提出基于可观性和可计算性的配电网关键量测识别方法。首先,使用数值可观性分析方法计算存量量测下的可观岛划分情况和可观性指标;然后,提出基于节点信息熵的可计算性评价指标,通过执行蒙特卡洛模拟得到可计算性评价指标;最后,基于可观性、可计算性指标提出配电网关键量测识别方法,并给出最优量测配置方案。案例分析表明,所提方法具有较高有效性和可行性,可为后续研究提供有力支撑。     

心灵即计算：哲学，逻辑和实践

论证心灵是可计算的,因而为计算作为一门学科提供更丰富的内涵和实例,使计算不在局限于通常的自然过程而进入到人类心理领域.在哲学上,论述心灵哲学中的物理主义,采用最小立场即以依附(Supervene)来解释心灵现象何以是物理的;在逻辑上,我们首次以Church-Turing-Deutsch原理为基础来使Church-Turing论题与实际的物理系统联系起来,从而使本文的结论与量子计算相适合,也使可计算概念与物理学理论相协调,而这正是由Church-Tur-ing论题所定义的可计算概念所没有的地方.还讨论了认知逻辑在使人类情感、感觉和遗忘和记忆等方面的形式化方面的一些工作,这在知识表达和推理以及分布式计算等领域是一个很重要的方向之一.