期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
文脉同构设计方法初探——南通博物苑新展馆的若干启示 被引量:2
1
作者 朱飞 虞英 《南京艺术学院学报(美术与设计)》 北大核心 2008年第1期147-150,共4页
本文以南通博物苑新展馆设计为例,将设计过程中的实验与体会,上升到方法论的探讨。分别从符号同构、结构同构、意义同构三个层面,阐述了文脉同构的方法。
关键词 文脉同构 形式同构 结构同构 意象同构
在线阅读 下载PDF
鸽巢公式的一些性质
2
作者 许道云 韦立 王晓峰 《软件学报》 EI CSCD 北大核心 2011年第11期2553-2563,共11页
由鸽巢原理定义的鸽巢公式PH nn+1是著名的消解难例之一,研究该公式的结构和性质有助于其他难例的构造.证明了PH nn+1是一个极小不可满足公式,根据其极小不可满足性,给出了最大可满足真值指派的两种标准形式,Haken关于PH nn+1的难解证... 由鸽巢原理定义的鸽巢公式PH nn+1是著名的消解难例之一,研究该公式的结构和性质有助于其他难例的构造.证明了PH nn+1是一个极小不可满足公式,根据其极小不可满足性,给出了最大可满足真值指派的两种标准形式,Haken关于PH nn+1的难解证明用到了其中一种标准形式.公式PH nn+1具有良好的子结构同构性质,如果DPLL算法中允许使用同构规则,则存在PH nn+1的反驳证明,其复杂性可以降至O(n3). 展开更多
关键词 鸽巢公式 极小不可满足 最大可满足指派 标准形式 结构同构
在线阅读 下载PDF
脱出传统理路 迈向时代未来——理论社会学的一个经典论题与转型加速期的经验现实研究 被引量:1
3
作者 杨敏 《甘肃社会科学》 北大核心 2005年第3期25-28,42,共5页
社会学从初创时代直到当代,行动与秩序和结构的关系论题对于理论社会学具有重要的学理性标识,从关于这一论题的洞察和探索而逐渐荡开和拓展的论域,对于获得关于现代社会生活的性状与变迁的理解,对于社会学的理论建构和体系化,意义极为... 社会学从初创时代直到当代,行动与秩序和结构的关系论题对于理论社会学具有重要的学理性标识,从关于这一论题的洞察和探索而逐渐荡开和拓展的论域,对于获得关于现代社会生活的性状与变迁的理解,对于社会学的理论建构和体系化,意义极为深远。然而,这一论题上形成了一种将行动与秩序和结构进行分离的传统研究套路,并为后继者所沿袭和复制,也因之一再激起社会学的理论重建。理论是时代的折射或先声,问题的谜底已经深藏于时代本身。在全球化激流奔涌的现时代,“过去”的影响力迅速降低,“未来”的意义日益凸现,“生活在未来”就是不断地生成和建构。在生活实践面前,传统的理路在消蚀。社会行动与社会秩序和结构是同一过程的两个观察侧面,是彼此建塑和同构互生的关系,而社会主体行动的意义效应对于这一关系的理解和解释,是根本性的。社会行动的意义效应使得社会世界意义赋予的不断深化,主体的反思、自否与创新能力也无穷递进,促成了社会秩序与社会结构的重构与变迁。正是在一轮又一轮的行动意义效应中,社会生活、社会主体、社会行动、秩序和结构不断胶着、建塑和往复转变,在不同领域、以不同方式绵延和演替,通过共同的进程投向未来。 展开更多
关键词 社会行动 行动意义效应 行动与秩序和结构同构互生
在线阅读 下载PDF
GPU acceleration of subgraph isomorphism search in large scale graph 被引量:1
4
作者 杨博 卢凯 +2 位作者 高颖慧 王小平 徐凯 《Journal of Central South University》 SCIE EI CAS CSCD 2015年第6期2238-2249,共12页
A novel framework for parallel subgraph isomorphism on GPUs is proposed, named GPUSI, which consists of GPU region exploration and GPU subgraph matching. The GPUSI iteratively enumerates subgraph instances and solves ... A novel framework for parallel subgraph isomorphism on GPUs is proposed, named GPUSI, which consists of GPU region exploration and GPU subgraph matching. The GPUSI iteratively enumerates subgraph instances and solves the subgraph isomorphism in a divide-and-conquer fashion. The framework completely relies on the graph traversal, and avoids the explicit join operation. Moreover, in order to improve its performance, a task-queue based method and the virtual-CSR graph structure are used to balance the workload among warps, and warp-centric programming model is used to balance the workload among threads in a warp. The prototype of GPUSI is implemented, and comprehensive experiments of various graph isomorphism operations are carried on diverse large graphs. The experiments clearly demonstrate that GPUSI has good scalability and can achieve speed-up of 1.4–2.6 compared to the state-of-the-art solutions. 展开更多
关键词 parallel graph isomorphism GPU backtrack paradigm
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部