期刊文献+
共找到617篇文章
< 1 2 31 >
每页显示 20 50 100
Sasakian空间形式中具有平行平均曲率向量的C-全实子流形的刚性定理 被引量:2
1
作者 刘继志 宣满友 《北京师范大学学报(自然科学版)》 CAS CSCD 北大核心 2004年第6期752-756,共5页
讨论了Sasakian空间形式中具有平行平均曲率向量的C 全实子流形 ,得到了紧致的C 全实子流形的一个刚性结果 .
关键词 sasakian空间形式 平行平均曲率向量 C-全实子流 全脐子流形
在线阅读 下载PDF
具有半对称度量联络的广义Sasakian空间形式中子流形上的Chen不等式
2
作者 何国庆 张量 刘海蓉 《吉林大学学报(理学版)》 CAS CSCD 北大核心 2016年第6期1248-1254,共7页
利用代数技巧,建立具有半对称度量联络的广义Sasakian空间形式中子流形上的Chen不等式,给出了子流形关于半对称度量联络的平均曲率与子流形关于半对称度量联络的截面曲率和数量曲率等内在不变量之间的关系.
关键词 Chen不等式 广义sasakian空间形式 半对称度量联络
在线阅读 下载PDF
广义Sasakian空间形式中的理想子流形
3
作者 王玉芳 杜锋 《江西师范大学学报(自然科学版)》 CAS 北大核心 2011年第4期366-369,共4页
利用陈不等式研究了理想子流形的一些相关的几何问题,将理想子流形的概念推广到广义Sasakian空间形式中,并证明广义Sasakian空间形式中的一类特殊理想子流形是其极小子流形,推广了Sasakian空间形式中的相关结论.
关键词 广义sasakian空间形式 理想子流形 极小子流形
在线阅读 下载PDF
Sasakian空间形式中的紧致极小子流形 被引量:1
4
作者 姬兴民 《陕西师大学报(自然科学版)》 CSCD 北大核心 1999年第3期21-23,27,共4页
研究了 Sasakian 空间形式中的子流形是全测地子流形的几个充分条件,得出相应的拼挤常数,改进了前人的结果,即设 Mn 是 Sasakian 空间形式 M2n+ 1 (c)中的可积的紧致极小子流形,当(1) K> n-... 研究了 Sasakian 空间形式中的子流形是全测地子流形的几个充分条件,得出相应的拼挤常数,改进了前人的结果,即设 Mn 是 Sasakian 空间形式 M2n+ 1 (c)中的可积的紧致极小子流形,当(1) K> n- 28n (c+ 3);(2) Q> n2 - 2n- 14n (c+ 3);(3) σ2 ≤n+ 16 (c+ 3)三个条件之一满足时, M 展开更多
关键词 截面曲率 RICCI曲率 极小子流形 sasakian空间
在线阅读 下载PDF
复杂系统的形式化建模及量化分析方法综述
5
作者 王慧强 林烊 吕宏武 《计算机科学》 北大核心 2025年第9期346-359,共14页
形式化模型是系统验证和性能分析的重要基础手段,在系统设计阶段即可评估复杂系统可行性和性能边界,被广泛用于各类复杂系统的抽象仿真与理论分析。由于系统交互模式逐渐向多元化、动态化转变,这加剧了系统的复杂性和不确定性。对此,以... 形式化模型是系统验证和性能分析的重要基础手段,在系统设计阶段即可评估复杂系统可行性和性能边界,被广泛用于各类复杂系统的抽象仿真与理论分析。由于系统交互模式逐渐向多元化、动态化转变,这加剧了系统的复杂性和不确定性。对此,以形式化建模的核心评价要素为出发点,系统分析了几种典型的形式化建模方法的优势和不足,为复杂系统形式化建模提供了技术参考。首先,提出形式化建模及模型求解方法的评价要素框架。其次,对常见形式化建模方法进行分类,阐述了不同形式化方法的实现原理、优势、局限及适用的应用场景。再次,围绕模型求解过程中状态空间爆炸问题,对比了目前典型的求解方法,并结合评价框架,探讨了不同方法在不同应用场景下的适用性;在此基础上,剖析了基于进程代数的2种典型应用案例。最后,总结了形式化建模和量化分析领域的研究热点,并展望了未来的发展方向。 展开更多
关键词 性能评估 形式化建模 复杂系统 模型求解 状态空间爆炸
在线阅读 下载PDF
阿来小说的空间诗学
6
作者 李壮 《当代文坛》 北大核心 2025年第5期121-128,共8页
在阿来的小说中,时间经验常会被大量转换为空间表征,历史景观会剧烈地注入、并被具体地型塑为地域景观和空间世界。这是阿来小说重要的内在动力机制之一。时间历史的长河在叙事中不断向具体的空间化对象靠拢、凝固,空间的躯体上呈现出... 在阿来的小说中,时间经验常会被大量转换为空间表征,历史景观会剧烈地注入、并被具体地型塑为地域景观和空间世界。这是阿来小说重要的内在动力机制之一。时间历史的长河在叙事中不断向具体的空间化对象靠拢、凝固,空间的躯体上呈现出时间的剧变乃至断裂。“地方空间”与“中心空间”的替换重置,“自然空间”与“人造空间”的对峙碰撞,是阿来小说中重要的主题和内容。同时,在形式风格与结构形态上,阿来的小说也显示出鲜明的“空间化”或“空间形式”特征。 展开更多
关键词 阿来 小说 空间经验 空间形式
在线阅读 下载PDF
“为你读诗”的仪式形式与共享空间探讨 被引量:1
7
作者 张春波 杨阿敏 《中国当代文学研究》 CSSCI 北大核心 2024年第2期65-73,共9页
在传播媒介日渐多元化的新媒体时代,诗歌的传播媒介也发生了变化。近几年,公众号的发展给诗歌传播带来了新机遇。本文以诗歌公众号“为你读诗”的仪式形式与共享空间作为研究对象,运用个案研究法、文本分析法对其进行解读。“为你读诗... 在传播媒介日渐多元化的新媒体时代,诗歌的传播媒介也发生了变化。近几年,公众号的发展给诗歌传播带来了新机遇。本文以诗歌公众号“为你读诗”的仪式形式与共享空间作为研究对象,运用个案研究法、文本分析法对其进行解读。“为你读诗”公众号以传递诗意生活为理念,以助推中国文化走向世界为宗旨,“为你读诗”在线上推送中实践仪式的塑造与重复,在线上接收中完成身份认同。同时通过线下活动仪式的共享空间,建构诗歌传播景观,坚守艺术品质和文化立场。 展开更多
关键词 为你读诗 仪式形式 共享空间
在线阅读 下载PDF
基于先验路径选择的安全协议形式化分析优化方法
8
作者 蔡光英 蔡柳佳 +2 位作者 陆思奇 王永娟 王向宇 《信息安全研究》 北大核心 2025年第8期727-735,共9页
形式化分析技术能够检测出安全协议存在的安全漏洞,但是对一些复杂的安全协议进行分析时,往往会出现状态空间爆炸问题导致分析无法终止.无用节点过多使得协议状态数量剧增是导致状态空间爆炸的根本,针对这一问题提出了先验路径选择法,... 形式化分析技术能够检测出安全协议存在的安全漏洞,但是对一些复杂的安全协议进行分析时,往往会出现状态空间爆炸问题导致分析无法终止.无用节点过多使得协议状态数量剧增是导致状态空间爆炸的根本,针对这一问题提出了先验路径选择法,利用已搜索的路径节点指导后续节点的选择,减少协议状态数量,有效规避了状态空间爆炸并提高了效率.进一步通过Tamarin模型检测工具的Oracle接口,将这种方法应用于安全协议的分析,并针对5个协议8个引理开展了对比实验.实验结果表明,先验路径选择法对于常规路径搜索无效的协议,成功给出了分析结果,缓解了状态空间爆炸问题. 展开更多
关键词 先验路径选择法 状态空间爆炸 形式化分析 模型检测 TAMARIN
在线阅读 下载PDF
论空间结构的形式和分类 被引量:55
9
作者 董石麟 赵阳 《土木工程学报》 EI CSCD 北大核心 2004年第1期7-12,共6页
当前空间结构的发展方兴未艾、极具活力,新的空间结构形式不断涌现。传统的空间结构分类方法有时难以适应新的发展要求。本文提出一种以空间结构组成的基本单元进行分类的新的空间结构分类方法。组成空间结构的基本单元可归纳为板壳单... 当前空间结构的发展方兴未艾、极具活力,新的空间结构形式不断涌现。传统的空间结构分类方法有时难以适应新的发展要求。本文提出一种以空间结构组成的基本单元进行分类的新的空间结构分类方法。组成空间结构的基本单元可归纳为板壳单元、梁单元、杆单元、索单元和膜单元等五种。根据国内外已建的空间结构工程,总结了33种具体的空间结构形式,它们均可由某一种单元或某两种、三种单元构成。文中还结合近年来空间结构发展中出现的一些新结构,对新的分类方法作了说明与讨论。 展开更多
关键词 空间结构 结构形式 分类 结构单元
在线阅读 下载PDF
装配空间关系形式表达 被引量:4
10
作者 张应中 罗晓芳 范超 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2011年第9期1553-1560,共8页
装配空间关系形式表达是实现产品装配空间语义查询、分析和装配序列规划的基础.结合机械产品装配的特点,对装配空间的拓扑关系和方向关系进行分析,提出空间拓扑的邻接关系、插入关系和分离关系;基于形态分类学和拓扑集描述逻辑理论,给... 装配空间关系形式表达是实现产品装配空间语义查询、分析和装配序列规划的基础.结合机械产品装配的特点,对装配空间的拓扑关系和方向关系进行分析,提出空间拓扑的邻接关系、插入关系和分离关系;基于形态分类学和拓扑集描述逻辑理论,给出装配空间拓扑关系和方向关系相结合的装配空间关系的形式表达;通过三维实体边界几何处理,实现形式表达中原子关系的定义;基于形式表达语义的推理方法,自动建立复杂装配体之间空间关系,并且可以将自动标注的空间关系基于本体的RDF/XML文档输出.最后给出一个注射模装配空间关系自动标注及形式表达的实例,结果表明,文中提出的语义推理方法能较好地实现装配关系的形式表达. 展开更多
关键词 装配 空间关系 拓扑关系 形式表达
在线阅读 下载PDF
任务空间概念模型轻量级形式化校核方法初探 被引量:6
11
作者 何晓晔 徐培德 沙基昌 《系统仿真学报》 EI CAS CSCD 北大核心 2006年第5期1108-1109,共2页
任务空间概念模型是现实世界军事知识的第一层抽象,是仿真系统开发的业务基础。所以任务空间概念模型的质量直接影响到仿真系统的质量,任务空间概念模型自身的VV&A是一个非常值得关注的问题。任务空间概念建模本质上看是军事领域的... 任务空间概念模型是现实世界军事知识的第一层抽象,是仿真系统开发的业务基础。所以任务空间概念模型的质量直接影响到仿真系统的质量,任务空间概念模型自身的VV&A是一个非常值得关注的问题。任务空间概念建模本质上看是军事领域的知识表示或者需求描述,定性描述占主要,定量成分非常少。因此,传统的通过分析输出数据的方法不能适应任务空间概念模型的特点。把轻量级形式化方法引入了任务空间概念模型的校核,提出形式化校核过程,并建立了部分校核模型。 展开更多
关键词 任务空间概念模型 形式 校核 验证
在线阅读 下载PDF
网络广告的形式变化与创意空间 被引量:10
12
作者 曾静平 申卉 《现代传播(中国传媒大学学报)》 CSSCI 北大核心 2009年第1期122-124,共3页
网络广告诞生以来,发展异常迅猛。由于网络技术的进步及人们对网络广告市场的不断重视与开发,网络广告的形式变化万千,各种新的广告形式层出不穷。同时,网络广告的发展蕴藏着无限的创意空间。
关键词 网络广告 形式变化 创意空间
在线阅读 下载PDF
基于串空间的安全协议形式化分析研究 被引量:5
13
作者 姚萌萌 唐黎 +1 位作者 凌永兴 肖卫东 《信息网络安全》 CSCD 北大核心 2020年第2期30-36,共7页
安全协议是信息安全领域的重要组成部分,随着新兴技术的快速发展,安全协议变得越来越复杂,给安全协议的形式化分析带来了挑战。近年来,基于串空间理论的形式化分析方法是一个研究热点,在安全协议分析领域得到了广泛的关注和研究,并取得... 安全协议是信息安全领域的重要组成部分,随着新兴技术的快速发展,安全协议变得越来越复杂,给安全协议的形式化分析带来了挑战。近年来,基于串空间理论的形式化分析方法是一个研究热点,在安全协议分析领域得到了广泛的关注和研究,并取得了一定的成果。文章扩展了串空间理论,提出了匹配串、匹配结点、同一执行丛等概念,并基于扩展的串空间理论形式化分析了基于区块链的公平多方不可否认协议,发现了该协议的不能满足公平性的缺陷。 展开更多
关键词 空间 形式化分析 安全协议 区块链
在线阅读 下载PDF
我国大城市空间发展变迁的形式与特征研究 被引量:2
14
作者 林凯旋 黄亚平 周敏 《规划师》 北大核心 2013年第11期70-75,共6页
在计划经济向市场经济转型的背景下,我国大城市空间发展具有独特的形式与特征。研究首先归纳了空间发展出现的新形式,即新产业空间、新商业、商务空间、新生态保护空间、新教育科研空间及新交通枢纽空间;其次,从旧城更新改造下的内部空... 在计划经济向市场经济转型的背景下,我国大城市空间发展具有独特的形式与特征。研究首先归纳了空间发展出现的新形式,即新产业空间、新商业、商务空间、新生态保护空间、新教育科研空间及新交通枢纽空间;其次,从旧城更新改造下的内部空间解体、重组以及城市区域化下的外部空间快速扩张两方面入手,全面地梳理空间发展的总体态势、形态结构变迁以及各空间要素的发展特征。 展开更多
关键词 城市空间 空间发展变迁 形式 特征
在线阅读 下载PDF
空间形式:现代小说的叙事结构 被引量:74
15
作者 龙迪勇 《思想战线》 CSSCI 北大核心 2005年第6期102-109,共8页
长期以来,叙事学理论对时间问题关注较多,对空间问题着力甚少。在关于现代小说叙事结构“空间形式”的探讨中,其“空间”非指日常生活经验中具体的物件或场所,而是一种抽象空间、知觉空间、“虚幻空间”。只有在完全弄清楚了小说的时间... 长期以来,叙事学理论对时间问题关注较多,对空间问题着力甚少。在关于现代小说叙事结构“空间形式”的探讨中,其“空间”非指日常生活经验中具体的物件或场所,而是一种抽象空间、知觉空间、“虚幻空间”。只有在完全弄清楚了小说的时间线索,并对整部小说的结构有了整体的把握之后,这种“空间”才能在读者的意识中呈现出来。构成现代小说空间形式的要件是时间,或者说时间系列。小说的空间形式必须建立在时间逻辑的基础上,才能建立起叙事的秩序;只有“时间性”与“空间性”的创造性结合,才是创作伟大小说的条件,也是未来小说发展的趋势所在。 展开更多
关键词 现代小说 空间形式 叙事结构 时间
在线阅读 下载PDF
中国西部地区高新技术产业发展战略及空间组织形式 被引量:26
16
作者 张晓平 陆大道 《地理科学》 CSCD 北大核心 2004年第2期129-135,共7页
在经济全球化背景下,科学技术的发展水平和能力成为国家和地区经济竞争能力的决定性因素。中国西部地区的发展,必须实现科技与经济的紧密结合。只有依靠发展高新技术产业并尽快利用高新技术改造传统产业,西部地区的发展才可能突破传统... 在经济全球化背景下,科学技术的发展水平和能力成为国家和地区经济竞争能力的决定性因素。中国西部地区的发展,必须实现科技与经济的紧密结合。只有依靠发展高新技术产业并尽快利用高新技术改造传统产业,西部地区的发展才可能突破传统生产要素的地理局限,为实现跨越式发展提供新的可能性。中国西部重点经济带具有较强的科技实力和较好的技术创新基础,形成了一批独具特色的高科技产业和品牌,在全国具有一定的比较优势。未来西部重点经济带高新技术产业应采取"发展与地区优势相结合的高科技产业群、以高新技术武装的传统产业和以高科技为支撑的现代服务业"相结合的发展战略;在空间组织形式上,应采取高新技术产业带、重点城市和重点园区相结合的模式,形成网络化的空间组织形态。 展开更多
关键词 西部开发 重点经济带 高新技术产业 发展战略 空间组织形式
在线阅读 下载PDF
三肇凹陷及周边地区葡萄花油层源-圈空间配置及油运移输导形式 被引量:19
17
作者 付广 李卉 徐衍彬 《岩性油气藏》 CSCD 2010年第1期18-22,共5页
对研究区葡萄花油层源-圈空间配置、油运移输导形式和对成藏与分布的控制作用研究可知:葡萄花油层源-圈空间配置有源下圈正上方和源下圈侧上方2种配置关系,油运移输导形式有直线型、反"L"型和"U"型3种形式,直线型... 对研究区葡萄花油层源-圈空间配置、油运移输导形式和对成藏与分布的控制作用研究可知:葡萄花油层源-圈空间配置有源下圈正上方和源下圈侧上方2种配置关系,油运移输导形式有直线型、反"L"型和"U"型3种形式,直线型运移输导形式由过T2—T06断裂构成;反"L"型运移输导形式由过T2—T06断裂和过T1—T06断裂沟通砂体构成;"U"型运移输导形式由过T2—T06断裂、被T2—T06断裂沟通砂体和过T2—T06断裂构成。3种运移输导形式对油成藏与分布的控制作用主要表现为:①过T2—T06断裂控制着源下圈正上方空间配置油藏的形成与分布;②过T2—T06断裂越发育,源下圈侧上方空间配置油供给越充足;③源下圈侧上方空间配置反"L"型运移输导形成的油藏均分布在过T1—T06断裂沟通砂体输导通道上或附近;④源下圈侧上方空间配置"U"型运移输导形成的油藏均分布在过T2—T06断裂附近。 展开更多
关键词 葡萄花油层 源岩 圈闭 空间配置 运移输导形式 三肇凹陷及周边地区
在线阅读 下载PDF
政策空间的表现形式与产生原因分析——以教育政策为例 被引量:3
18
作者 刘贞华 周国华 《当代教育科学》 北大核心 2007年第11期17-20,共4页
本文以教育政策制定为切入点分析了政策空间地表现形式和产生原因。认为政策空间的表现形式有三个:政策主体选择作为与选择不作为之间的政策空间,政策主体选择作为时机上的政策空间,政策主体在选择如何作为及选择作为的范围及实施力度... 本文以教育政策制定为切入点分析了政策空间地表现形式和产生原因。认为政策空间的表现形式有三个:政策主体选择作为与选择不作为之间的政策空间,政策主体选择作为时机上的政策空间,政策主体在选择如何作为及选择作为的范围及实施力度上的政策空间。政策空间产生的原因是由于政策本身所具有的价值选择性、不确定性和外溢性所决定的。 展开更多
关键词 政策空间 形式 原因
在线阅读 下载PDF
空间形式中具有调和黎曼曲率的超曲面的刚性 被引量:5
19
作者 夏云伟 纪楠 《西南大学学报(自然科学版)》 CAS CSCD 北大核心 2007年第6期40-42,共3页
对具有调和Riemann曲率张量和常平均曲率的等距浸入x:Mn→Nn+1(c)的超曲面作了分类,在较弱的条件下得到了一个刚性定理.
关键词 调和Riemann曲率张量 超曲面 空间形式 刚性
在线阅读 下载PDF
基于串空间的安全协议形式化验证模型及算法 被引量:9
20
作者 周宏斌 黄连生 桑田 《计算机研究与发展》 EI CSCD 北大核心 2003年第2期251-257,共7页
网络安全在信息时代非常重要 ,而网络安全的关键问题之一是安全协议 首先介绍了当前安全协议形式化验证的前沿方向———串空间理论 ,随后阐述了基于该理论设计的自动验证模型———T模型 ,给出了该模型的算法及描述 ,并通过验证改进... 网络安全在信息时代非常重要 ,而网络安全的关键问题之一是安全协议 首先介绍了当前安全协议形式化验证的前沿方向———串空间理论 ,随后阐述了基于该理论设计的自动验证模型———T模型 ,给出了该模型的算法及描述 ,并通过验证改进前后的Needham 展开更多
关键词 空间 安全协议 形式化验证模型 算法 网络安全 信息安全 T模型 计算机网络
在线阅读 下载PDF
上一页 1 2 31 下一页 到第
使用帮助 返回顶部