期刊文献+
共找到57,062篇文章
< 1 2 250 >
每页显示 20 50 100
Compressive sampling and reconstruction in shift-invariant spaces associated with the fractional Gabor transform
1
作者 Qiang Wang Chen Meng Cheng Wang 《Defence Technology(防务技术)》 SCIE EI CAS CSCD 2022年第6期976-994,共19页
In this paper,we propose a compressive sampling and reconstruction system based on the shift-invariant space associated with the fractional Gabor transform.With this system,we aim to achieve the subNyquist sampling an... In this paper,we propose a compressive sampling and reconstruction system based on the shift-invariant space associated with the fractional Gabor transform.With this system,we aim to achieve the subNyquist sampling and accurate reconstruction for chirp-like signals containing time-varying characteristics.Under the proposed scheme,we introduce the fractional Gabor transform to make a stable expansion for signals in the joint time-fractional-frequency domain.Then the compressive sampling and reconstruction system is constructed under the compressive sensing and shift-invariant space theory.We establish the reconstruction model and propose a block multiple response extension of sparse Bayesian learning algorithm to improve the reconstruction effect.The reconstruction error for the proposed system is analyzed.We show that,with considerations of noises and mismatches,the total error is bounded.The effectiveness of the proposed system is verified by numerical experiments.It is shown that our proposed system outperforms the other systems state-of-the-art. 展开更多
关键词 Compressive sampling RECONSTRUCTION shift-invariant space Fractional gabor transform Chirp-like signals
在线阅读 下载PDF
Coincidence Point and Common Fixed Point Theorems on b-Metric-like Spaces
2
作者 LUO Ting 《应用数学》 北大核心 2025年第3期831-840,共10页
In this paper,we establish common fixed point theorems for expansive map?pings on b-metric-like space and coincidence point for f-weakly isotone increasing mappings in partially ordered b-metric-like space.The main re... In this paper,we establish common fixed point theorems for expansive map?pings on b-metric-like space and coincidence point for f-weakly isotone increasing mappings in partially ordered b-metric-like space.The main results generalize and extend several well-known comparable results from the existing literature.Moreover,some examples are provided to illustrate the main results. 展开更多
关键词 b-metric-like space Partially ordered b-metric-like space Expansive mapping f-weakly isotone mapping Coincidence point Common fixed point
在线阅读 下载PDF
Products of multiplication,composition and differentiation on weighted Bergman spaces in the unit ball
3
作者 ZHANG Chao QIN Yuehai 《中山大学学报(自然科学版)(中英文)》 北大核心 2025年第2期160-169,共10页
The boundness and compactness of products of multiplication,composition and differentiation on weighted Bergman spaces in the unit ball are studied.We define the differentiation operator on the space of holomorphic fu... The boundness and compactness of products of multiplication,composition and differentiation on weighted Bergman spaces in the unit ball are studied.We define the differentiation operator on the space of holomorphic functions in the unit ball by radial derivative.Then we extend the Sharma's results. 展开更多
关键词 composition operator multiplication operator differentiation operator weighted Bergman space
在线阅读 下载PDF
The Paley-Wiener Theorem for General Weighted Hardy Spaces on Tube Domains
4
作者 HUANG Yun ZHANG Dawei 《应用数学》 北大核心 2025年第3期841-849,共9页
In this paper,the Paley-Wiener theorem is extended to the analytic function spaces with general weights.We first generalize the theorem to weighted Hardy spaces Hp(0<p<∞)on tube domains by constructing a sequen... In this paper,the Paley-Wiener theorem is extended to the analytic function spaces with general weights.We first generalize the theorem to weighted Hardy spaces Hp(0<p<∞)on tube domains by constructing a sequence of L^(1)functions converging to the given function and verifying their representation in the form of Fourier transform to establish the desired result of the given function.Applying this main result,we further generalize the Paley-Wiener theorem for band-limited functions to the analytic function spaces L^(p)(0<p<∞)with general weights. 展开更多
关键词 Paley-Wiener Theorem Fourier transform Weighted Hardy space Tube domain
在线阅读 下载PDF
数据空间建设的实践进展与运营模式分析——基于Data Spaces Radar的案例 被引量:4
5
作者 夏义堃 程铄 +1 位作者 王雪 钱锦琳 《图书与情报》 CSSCI 北大核心 2024年第2期18-32,共15页
数据空间建设为数据要素的价值实现提供了可资借鉴的实践经验,全面解析其实践进展与运营模式,有助于破解数据流通的现实堵点、拓展数据利用的发展思路。文章首先将结构主义分析方法中的案例研究法作为主要研究方法,综合运用文献调研、... 数据空间建设为数据要素的价值实现提供了可资借鉴的实践经验,全面解析其实践进展与运营模式,有助于破解数据流通的现实堵点、拓展数据利用的发展思路。文章首先将结构主义分析方法中的案例研究法作为主要研究方法,综合运用文献调研、比较分析等方法,以Data Spaces Radar为案例来源,从实践进展、运营模式、核心要素等维度提炼数据空间建设特征。其次,在制度与技术的双轮驱动下,数据空间建设秉持制度规范统一性、技术设计整体性和治理模式协同性的架构原则,并按照产业思维、底线思维、信任思维、链式思维、集约思维的底层逻辑,形成较为完整的运营体系。未来应着力探索和解决数据空间视域下的数据资源价值化开发路径,针对数据流通堵点、利用痛点及信任难点问题,从体制机制、政策框架与技术应用等角度为推进我国的数据要素流通利用提供有益参考。 展开更多
关键词 数据空间 数据流通利用 数据自主权 运营模式 数据信任
在线阅读 下载PDF
Reconstruction of sampling in shift-invariant space using generalized inverse
6
作者 Zhaoxuan Zhu 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2011年第2期200-205,共6页
A method that attempts to recover signal using generalized inverse theory is presented to obtain a good approximation of the signal in reconstruction space from its generalized samples. The proposed approaches differ ... A method that attempts to recover signal using generalized inverse theory is presented to obtain a good approximation of the signal in reconstruction space from its generalized samples. The proposed approaches differ with the assumptions on reconstruction space. If the reconstruction space satisfies one-to-one relationship between the samples and the reconstruction model, then we propose a method, which achieves consistent signal reconstruction. At the same time, when the number of samples is more than the number of reconstruction functions, the minimal-norm reconstruction signal can be obtained. Finally, it is demonstrated that the minimal-norm reconstruction can outperform consistent signal reconstruction in both theory and simulations for the problem. 展开更多
关键词 sampling RECONSTRUCTION generalized inverse shift-invariant space.
在线阅读 下载PDF
2001—2023年中国城市地下空间开发利用研究特征与趋势——基于CiteSpace和VOSviewer知识图谱分析 被引量:4
7
作者 吴健波 岳伟涛 王恩元 《中国安全生产科学技术》 北大核心 2025年第2期83-89,共7页
为探究国内城市地下空间开发利用研究特征与趋势,选取2001—2023年中国知网(CNKI)数据库收录的1146篇城市地下空间开发利用领域文献,基于CiteSpace和VOSviewer文献计量软件从发文量趋势演化、作者和机构合作构成网络、关键词共现及聚类... 为探究国内城市地下空间开发利用研究特征与趋势,选取2001—2023年中国知网(CNKI)数据库收录的1146篇城市地下空间开发利用领域文献,基于CiteSpace和VOSviewer文献计量软件从发文量趋势演化、作者和机构合作构成网络、关键词共现及聚类特征进行可视化热度分析。研究结果表明:在发文量趋势演化方面,随着时间的推移,城市地下空间开发利用领域的文献数量总体呈现上升趋势,反映出该领域在我国城市化建设和能源资源转型过程中的重要性日益凸显,受到越来越多的关注和研究;从作者和机构合作构成网络来看,部分核心作者和研究机构在该领域发挥了重要的引领作用,但整体合作网络仍有进一步拓展和深化的空间,需要加强跨机构、跨地域的合作交流,以推动该领域研究的全面发展;通过关键词共现及聚类特征分析,明确了该领域的研究热点主要集中在地下交通、地下商业、人防工程、地下综合管廊等方面,同时也呈现出向智能化管理、生态环保、可持续发展等方向拓展的趋势,为未来的研究提供了方向指引。研究结果对安全生产意义显著,可精准防控风险、强化协同合作、助力规划安全布局,为地下空间开发筑牢安全根基。 展开更多
关键词 城市地下空间 开发利用 Citespace和VOSviewer 文献计量 知识图谱
在线阅读 下载PDF
Study of bonding layer for integrated structure of space gravitational wave detector telescope
8
作者 ZHAO Hong-chao LIU Chang +2 位作者 ZHOU Wen-ke ZHU Han-bin CHEN Wen-duo 《中国光学(中英文)》 北大核心 2025年第3期715-724,共10页
To detect space gravitational waves in the extremely low-frequency band,the telescope and optic-al platform require high stability and reliability.However,the cantilevered design presents challenges,espe-cially in the... To detect space gravitational waves in the extremely low-frequency band,the telescope and optic-al platform require high stability and reliability.However,the cantilevered design presents challenges,espe-cially in the glass-metal hetero-bonding process.This study focuses on the analysis and experimental re-search of the bonding layer in the integrated structure.By optimizing the structural configuration and select-ing suitable bonding processes,the reliability of the telescope system is enhanced.The research indicates that using J-133 adhesive achieves the best performance,with a bonding layer thickness of 0.30 mm and a metal substrate surface roughness of Ra 0.8.These findings significantly enhance the reliability of the optical sys-tem while minimizing potential risks. 展开更多
关键词 space gravitational-wave detector integrated structure glass-metal hetero-bonding
在线阅读 下载PDF
习近平生态文明思想研究的演进、现状与展望——基于CNKI CSSCI文献的cite space知识图谱可视化分析
9
作者 胡桂银 《东南大学学报(哲学社会科学版)》 北大核心 2025年第S1期9-13,共5页
习近平生态文明思想是习近平新时代中国特色社会主义思想体系的关键构成。目前对习近平生态文明思想的定量分析缺失。基于此,借助cite space可视化软件,对CNKI数据库篇名为“习近平生态文明思想”的364篇CSSCI文献进行分析。结果显示,... 习近平生态文明思想是习近平新时代中国特色社会主义思想体系的关键构成。目前对习近平生态文明思想的定量分析缺失。基于此,借助cite space可视化软件,对CNKI数据库篇名为“习近平生态文明思想”的364篇CSSCI文献进行分析。结果显示,研究领域主要呈现出增长—回落—再增长的演进趋势,表现为四个研究阶段。研究领域内现状一是研究者层面未形成高产作者群和高产作者;二是研究内容范围较广;三是研究热点较为集中。基于以上结果,分别从三方面展望未来对习近平生态文明思想研究,一是在研究群体方面,着力构建完善的习近平生态文明思想研究学术共同体。二是在研究主题方面,大力推动习近平生态文明思想的多学科融合与阐述。三是在世界意义方面,高度重视习近平生态文明思想的国际意义阐释。 展开更多
关键词 习近平生态文明思想 cite space 知识图谱 可视化分析
在线阅读 下载PDF
基于CiteSpace的小麦赤霉病研究热点与趋势分析
10
作者 关卫东 金牧兰 +2 位作者 李芮 李邦耀 董文成 《麦类作物学报》 北大核心 2025年第4期510-520,共11页
小麦赤霉病研究对于农业生产和保障全球粮食安全具有重要意义。为深入了解小麦赤霉病研究进展和动态前沿,运用CiteSpace软件,对近20年来Web of Science核心合集中1236篇小麦赤霉病研究文献进行系统分析。结果表明,近20年来小麦赤霉病研... 小麦赤霉病研究对于农业生产和保障全球粮食安全具有重要意义。为深入了解小麦赤霉病研究进展和动态前沿,运用CiteSpace软件,对近20年来Web of Science核心合集中1236篇小麦赤霉病研究文献进行系统分析。结果表明,近20年来小麦赤霉病研究发文量总体呈上升趋势,美国以345篇的发文量位居榜首,中美、中英、中加等国际合作网络较为紧密。研究内容主要集中在病原菌特性、病害防治技术、抗病品种选育等方面;当前研究热点以抗病性鉴定、分子标记辅助选择、新型生物防治剂开发等为主;热门技术方法涉及分子代谢组学、基因组学、遥感监测技术等。展望未来,小麦赤霉病研究将更加注重跨学科合作,致力于开发高效、环保的病害防控策略,以应对全球粮食安全挑战。 展开更多
关键词 小麦赤霉病 Cite space软件 信息可视化 研究趋势
在线阅读 下载PDF
Block sparse compressed sensing with frames:Null space property and l_(2)/l_(q)(0
11
作者 WU Fengong ZHONG Penghong QIN Yuehai 《中山大学学报(自然科学版)(中英文)》 北大核心 2025年第3期173-182,共10页
This paper explores the recovery of block sparse signals in frame-based settings using the l_(2)/l_(q)-synthesis technique(0<q≤1).We propose a new null space property,referred to as block D-NSP_(q),which is based ... This paper explores the recovery of block sparse signals in frame-based settings using the l_(2)/l_(q)-synthesis technique(0<q≤1).We propose a new null space property,referred to as block D-NSP_(q),which is based on the dictionary D.We establish that matrices adhering to the block D-NSP_(q)condition are both necessary and sufficient for the exact recovery of block sparse signals via l_(2)/l_(q)-synthesis.Additionally,this condition is essential for the stable recovery of signals that are block-compressible with respect to D.This D-NSP_(q)property is identified as the first complete condition for successful signal recovery using l_(2)/l_(q)-synthesis.Furthermore,we assess the theoretical efficacy of the l2/lq-synthesis method under conditions of measurement noise. 展开更多
关键词 Compressed sensing block sparse l2/lq-synthesis method null space property
在线阅读 下载PDF
MRI相位导航技术下2D T2-TSE与3D T2-SPACE序列在疑似隐匿性脊髓栓系综合征俯卧位扫描中的应用价值对比
12
作者 李鹏 杨立棋 +5 位作者 徐守军 张艳慧 林飞飞 熊海芮 孙金磊 向葵 《磁共振成像》 北大核心 2025年第1期158-164,共7页
目的对比MRI相位导航技术下二维T2加权快速自旋回波(two dimensional T2 weighted imaging turbo spin echo,2D T2-TSE)序列与三维T2加权可变翻转角快速自旋回波(three dimensional T2 weighted imaging sampling perfection with appli... 目的对比MRI相位导航技术下二维T2加权快速自旋回波(two dimensional T2 weighted imaging turbo spin echo,2D T2-TSE)序列与三维T2加权可变翻转角快速自旋回波(three dimensional T2 weighted imaging sampling perfection with application optimized contrast using different flip angle evolution,3D T2-SPACE)序列在疑似隐匿性脊髓栓系综合征(occult tethered cord syndrome,OTCS)俯卧位扫描中的图像质量和临床应用价值。材料与方法回顾性分析2023年1月至2023年10月在我院接受MRI检查的疑似OTCS的6岁以下患者30例,均采用相位导航技术下俯卧位2D T2-TSE和3D T2-SPACE序列进行检查。根据所得图像整体质量、脊髓圆锥显示、马尾神经及终丝显示、蛛网膜下腔脑脊液信号显示、背景噪声显示情况进行主观评分,记录扫描时间,计算椎管内的图像信噪比(signal-to-noise ratio,SNR)和对比噪声比(contrast-to-noise ratio,CNR)。比较两种序列的图像质量的主观评分、扫描时间、椎管内SNR与CNR的客观分析。分别采用配对t检验、Mann-Whitney U检验,将两种检查方法的评估结果进行对比分析。通过Kappa检验分别评估两名医师主观评分的一致性,以及两名技师客观定量分析的一致性。结果图像质量的主观评分中,两名医师的评分一致性较强(Kappa=0.794,P<0.001),3D T2-SPACE序列图像整体质量、马尾神经及终丝显示、蛛网膜下腔脑脊液信号显示以及背景噪声显示评分均高于2D T2-TSE序列(Z=-2.305、-4.242、-3.453、-2.201,P均<0.05),在脊髓圆锥显示上,2D T2-TSE与3D T2-SPACE序列一致(Z=-0.948,P>0.05)。客观定量分析中,两名技师对椎管内SNR与CNR测量结果的一致性很强(Kappa=0.851、0.734,P均<0.001),2D T2-TSE对比3D T2-SPACE序列,两次测量的数据分析结果中3D T2-SPACE序列椎管内SNR和CNR均优于2D T2-TSE序列(第一次测量SNR与CNR:t=-3.058、-3.703;第二次测量SNR与CNR:t=-2.981、-2.965,P均<0.05)。3D T2-SPACE序列扫描时间较2D T2-TSE序列扫描时间长[(183.67±34.89)s vs.(120.53±27.93)s,t=-10.087,P<0.001]。结论在疑似OTCS患者的俯卧位MRI检查中,相位导航技术下的3D T2-SPACE序列相比2D T2-TSE序列可以提供更优良的椎管内图像质量、更小的FOV与体素,为临床诊治提供更多可靠信息。 展开更多
关键词 脊髓栓系综合征 隐匿性 三维T2加权可变翻转角快速自旋回波 俯卧位 相位导航技术 儿童 磁共振成像
在线阅读 下载PDF
Microwave power transmission technologies for space solar power station
13
作者 YANG Bo SHINOHARA Naoki 《中国空间科学技术(中英文)》 北大核心 2025年第2期1-14,共14页
The microwave wireless power transmission technologies for space solar power station are a crucial field in the international space sector,where various countries are competing in its development.This paper surveys th... The microwave wireless power transmission technologies for space solar power station are a crucial field in the international space sector,where various countries are competing in its development.This paper surveys the research experiments and development efforts related to space solar power stations and microwave wireless power transmission technologies worldwide.The objective is to assess the progress and current state of this technological foundation,determine the necessary focus for developing high-power microwave wireless power transmission technology,and provide clarity on the direction of future technology development in these areas.Finally,a distributed space solar power station plan that is immediately feasible is proposed. 展开更多
关键词 microwave power transmission space solar power station wireless power transfer microwave transmitter phased array rectenna array
在线阅读 下载PDF
基于Cite Space的工业遗产景观研究现状与可视化分析
14
作者 于美慧 齐佳 《现代园艺》 2025年第2期44-45,48,51,共4页
近年来,工业遗产保护与更新改造受到政府部门与学者的广泛关注。工业遗产作为城市发展的见证,是城市文化的组成部分,改造后的工业遗产更是变成了城市独特的“打卡区域”。为了进一步了解工业遗产景观领域的研究进展、热点及趋势,以中国... 近年来,工业遗产保护与更新改造受到政府部门与学者的广泛关注。工业遗产作为城市发展的见证,是城市文化的组成部分,改造后的工业遗产更是变成了城市独特的“打卡区域”。为了进一步了解工业遗产景观领域的研究进展、热点及趋势,以中国知网2010-2023年关于我国工业遗产景观研究的论文为研究数据,利用CiteSpace6.2.R 4软件进行可视化分析,通过应用相应的知识图谱,梳理出研究热点现状,并预测未来的研究方向,以期为我国工业遗产景观的研究和发展提供指导。 展开更多
关键词 工业遗产 景观 Cite space
在线阅读 下载PDF
Research on the protection mechanism of methane explosion in underground space by flexible construction
15
作者 Xianqi Duan Yulong Duan +3 位作者 Zishuang Zhang Jun Long Yaqiao Yang Rui Lang 《Defence Technology(防务技术)》 2025年第4期169-183,共15页
Urban growth has promoted the use of underground spaces,where explosion accidents can be catastrophic.In this study,we investigated the effect of placing flexible construction in front of rigid obstacles on methane ex... Urban growth has promoted the use of underground spaces,where explosion accidents can be catastrophic.In this study,we investigated the effect of placing flexible construction in front of rigid obstacles on methane explosion protection by using an experimental platform and adjusting the blockage rate and spacing of the obstacles.It aims to reduce the risk of gas explosions in urban underground spaces.The results of the study show that the flame propagation peak speed and peak overpressure are reduced with the decrease in the blocking rate of the flexible obstacle when the blocking rate of the flexible obstacle is less than or equal to the blocking rate of the rigid obstacle,with the decrease in the spacing,the better the protection effect of the methane explosion.When the blockage rate of the flexible obstacle is greater than the blockage rate of the rigid obstacle and spacing is less than the height of the flexible obstacle,rigid and flexible obstacles are connected as a whole,increasing the strength of the explosion.This study can provide a theoretical basis and scientific guidance for optimizing rigid and flexible object hybrid layouts and methane explosion protection technology in urban underground spaces. 展开更多
关键词 Explosion protection Flexible construction Urban underground space Methane explosions
在线阅读 下载PDF
Experimental study on the TNT equivalence for blast parameters in a confined space
16
作者 Yu-lei Zhang Yan Liu +5 位作者 Pu Song Hao-zhe Liang Di Yang Lu Han Hai-yan Jiang Kai Zhong 《Defence Technology(防务技术)》 2025年第6期238-249,共12页
The concept of TNT(Trinitrotoluene,C_7H_5N_3O_6)equivalence is often invoked to evaluate the performance and predict the explosion parameters of different types of explosives.However,due to its low prediction accuracy... The concept of TNT(Trinitrotoluene,C_7H_5N_3O_6)equivalence is often invoked to evaluate the performance and predict the explosion parameters of different types of explosives.However,due to its low prediction accuracy and limited application range,the use of TNT equivalence for predicting explosion parameters in a confined space is rare.Compared with explosions in free fields,the process of explosive energy release in a confined space is closely related to various factors such as oxygen balance,combustible components content,and surrounding oxygen content.Studies have shown that in a confined space,negative oxygen balance explosives react with surrounding oxygen during afterburning,resulting in additional energy release and enhanced blast effects.The mechanism of energy release during afterburning is highly complex,making it challenging to determine the TNT equivalence for blast effects in a confined space.Therefore,this remains an active area of research.In this study,internal blast experiments were conducted using TNT and three other explosives under both air and N_2(Nitrogen)conditions to obtain explosion parameters including blast wave overpressure,quasi-static pressure,and temperature.The influences of oxygen balance and external oxygen content on energy release are analyzed.The author proposes principles for determining TNT equivalence for internal explosions while verifying the accuracy of obtained blast parameters through calculations based on TNT equivalence.These findings can serve as references for predicting blast performance. 展开更多
关键词 Explosion in confined space AFTERBURNING Oxygen balance Blast parameters TNT equivalence
在线阅读 下载PDF
Multi-Objective optimization for stable and efficient cargo transportation of partial space elevator
17
作者 Gefei Shi Zheng H.Zhu 《Defence Technology(防务技术)》 2025年第2期17-29,共13页
This paper proposed a new libration decoupling analytical speed function(LD-ASF)in lieu of the classic analytical speed function to control the climber's speed along a partial space elevator to improve libration s... This paper proposed a new libration decoupling analytical speed function(LD-ASF)in lieu of the classic analytical speed function to control the climber's speed along a partial space elevator to improve libration stability in cargo transportation.The LD-ASF is further optimized for payload transportation efficiency by a novel coordinate game theory to balance competing control objectives among payload transport speed,stable end body's libration,and overall control input via model predictive control.The transfer period is divided into several sections to reduce computational burden.The validity and efficacy of the proposed LD-ASF and coordinate game-based model predictive control are demonstrated by computer simulation.Numerical results reveal that the optimized LD-ASF results in higher transportation speed,stable end body's libration,lower thrust fuel consumption,and more flexible optimization space than the classic analytical speed function. 展开更多
关键词 Partial space elevator Stable transportation Libration decoupling analytical speed function Coordinate game Model predictive control Pareto optimization
在线阅读 下载PDF
基于Conceptual Play Spaces理论的教育游戏设计——探究式教育游戏的情境设计 被引量:6
18
作者 马颖峰 付亚丽 《电化教育研究》 CSSCI 北大核心 2012年第9期91-95,共5页
学生理解学科内容并将其转化为智能的最好方式之一,是"参与"到具体问题情境中学习,而精心设计的教育游戏可提供更加真实的"问题情境",有效增强"参与度"。本文在对Conceptual Play Spaces理论分析前提下,... 学生理解学科内容并将其转化为智能的最好方式之一,是"参与"到具体问题情境中学习,而精心设计的教育游戏可提供更加真实的"问题情境",有效增强"参与度"。本文在对Conceptual Play Spaces理论分析前提下,理清教育游戏"概念性玩耍空间"的设计要素,基此提出探究式教育游戏的情境设计,促使学生沉浸于丰富的情境,并有效地参与其中,力求使学习"自然发生",实现有意义的学习。 展开更多
关键词 CONCEPTUAL PLAY spaces理论 教育游戏 情境设计
在线阅读 下载PDF
安全协议分析的界——综合模型检查与Strand Spaces(英文)
19
作者 刘怡文 李伟琴 《中国科学院研究生院学报》 CAS CSCD 2002年第3期288-294,共7页
Strand Spaces是一种用于分析安全协议的机器证明方法.简要介绍了 Strand Spaces的基本特点,分析了其优劣,提出了构造协议的理想子环的算法,并以此来约束协议入侵者的能力和协议并行运行的次数.将模型检查与 Strand Spaces结合在一起,... Strand Spaces是一种用于分析安全协议的机器证明方法.简要介绍了 Strand Spaces的基本特点,分析了其优劣,提出了构造协议的理想子环的算法,并以此来约束协议入侵者的能力和协议并行运行的次数.将模型检查与 Strand Spaces结合在一起,提出了一种综合分析方法来验证协议的安全特性,该方法可充分发挥模型检查与 Strand Spaces二者的优势. 展开更多
关键词 安全协议分析 模型检查 STRAND spaces 定理证明 机器证明 安全特性 网络安全
在线阅读 下载PDF
基于空间句法(Spacesyntax)分析的城市内部中心性研究——以苏州为例 被引量:31
20
作者 朱东风 《现代城市研究》 2006年第12期60-67,共8页
回顾了传统城市中心性定量研究技术存在的不足,认为现代空间句法技术应用于城市中心性研究能够兼容空间的主客体性,减少分析要素的冗余,提高分析精度。在论证了技术原理现实可行性的基础上,对苏州市拓扑空间进行了中心性分析。分析结论... 回顾了传统城市中心性定量研究技术存在的不足,认为现代空间句法技术应用于城市中心性研究能够兼容空间的主客体性,减少分析要素的冗余,提高分析精度。在论证了技术原理现实可行性的基础上,对苏州市拓扑空间进行了中心性分析。分析结论表明,空间句法集成核轴线与城市中心功能吸引子分布高度协同,并体现出系列互动变化特征。结合当前两者协同发展过程中存在的问题,就城市中心体系发展提出相关发展建议:一是结合集成核结构演变规律,建立多中心结构体系;二是构建科学的交通体系,注重集成核街道的功能设计;三是引导增长中心功能发展,加强新城区集成核构建。 展开更多
关键词 中心性 空间句法 集成核 协同发展 增长 中心
在线阅读 下载PDF
上一页 1 2 250 下一页 到第
使用帮助 返回顶部