期刊文献+
共找到1,297篇文章
< 1 2 65 >
每页显示 20 50 100
Research on the logic coverage method of white-box testing
1
作者 ZHU You-chan YE Wei 《通讯和计算机(中英文版)》 2008年第6期16-20,共5页
关键词 逻辑复盖法 软件测试 计算机技术 测试方法
在线阅读 下载PDF
基于事件逻辑的改进型Helsinki协议的形式化分析
2
作者 肖美华 罗运先 钟小妹 《计算机应用与软件》 北大核心 2026年第1期325-332,共8页
安全协议是现代网络通信的基础,证明协议的安全性问题是当今研究热点之一。事件逻辑是一种基于事件系统证明协议安全属性的形式化方法,结合事件类以及事件序语言,利用原子类型表示随机数、密钥等不可猜测的数据,能有效刻画协议系统。针... 安全协议是现代网络通信的基础,证明协议的安全性问题是当今研究热点之一。事件逻辑是一种基于事件系统证明协议安全属性的形式化方法,结合事件类以及事件序语言,利用原子类型表示随机数、密钥等不可猜测的数据,能有效刻画协议系统。针对改进型Helsinki协议的安全性问题,对事件逻辑扩充谓词Fresh和FirstSend及其推理规则,利用扩充后的事件逻辑对协议进行形式化分析,首先对协议构建基本序列,然后通过事件逻辑对协议的认证性以及秘密性进行形式化规约,最后利用公理系统和推理规则证明改进型Helsinki协议满足认证性和秘密性。结果表明事件逻辑理论能有效证明安全协议的认证性和秘密性。 展开更多
关键词 安全协议 事件逻辑 形式化方法 Helsinki协议
在线阅读 下载PDF
健全新型举国体制提升国防科技攻关能力:逻辑架构、组织体系和动员模式
3
作者 刘书雷 梁江海 +1 位作者 吴集 邓启文 《科学管理研究》 北大核心 2026年第1期68-79,共12页
健全新型举国体制,推动实现高水平科技自立自强,是党中央做出的重大决策部署。针对国防科技创新的具体特点,在梳理新型举国体制推动国防科技攻关一般流程基础上,从逻辑上将支撑新型举国体制任务实施的相关因素概括为“定事”“定人”推... 健全新型举国体制,推动实现高水平科技自立自强,是党中央做出的重大决策部署。针对国防科技创新的具体特点,在梳理新型举国体制推动国防科技攻关一般流程基础上,从逻辑上将支撑新型举国体制任务实施的相关因素概括为“定事”“定人”推动“人-事结合”等3个有机统一的关键环节,提出面向“三圈互动”的新型举国体制逻辑架构。针对市场经济条件下新型举国体制实施存在的“创新分散”现象,构建了涵盖决策指挥、组织实施、任务推进、应用牵引4个层次的国防科技攻关新型举国体制任务实施“锚形”组织体系,研究了基于“政治动员+行政科层+合同契约”的国防科技举国攻关多元主体动员模式,为提高国防科技协作规模效应和攻关能力提供了理论支撑。 展开更多
关键词 新型举国体制 国防科技攻关 逻辑架构 组织体系 动员模式
原文传递
引用分析逻辑路径下的国外危机信息学发展评述及启示
4
作者 李睿 李程程 《图书情报工作》 北大核心 2026年第4期139-148,共10页
[目的/意义]引用的底层逻辑被解读为学术发展的足迹,危机信息学在全球范围内方兴未艾,对其发展全景进行引用逻辑路径下的评述,能够为国内信息资源管理学科的建设提供启示。[方法/过程]从Scopus数据库获取相关研究论文及其引用信息,构建... [目的/意义]引用的底层逻辑被解读为学术发展的足迹,危机信息学在全球范围内方兴未艾,对其发展全景进行引用逻辑路径下的评述,能够为国内信息资源管理学科的建设提供启示。[方法/过程]从Scopus数据库获取相关研究论文及其引用信息,构建引用逻辑链进行延展式引用分析,回归拟合了危机信息学的文献增长曲线,并划分出3个成长阶段;基于引用耦合逻辑,分析归纳研究主题,得出了4个主要研究方向;基于同被引逻辑,分析作者间的同被引关系,得出了4个学术共同体。[结果/结论]为我国信息资源管理学科的建设提供发展危机信息学的系列启示,包括在科研方面填补“人道主义与危机关怀”研究缺口、在教育方面依托各院校环境优势差异化建设学术共同体,以及借鉴国外iSchool跨学科协同发展模式,推动我国危机信息学高等教育体系构建等。 展开更多
关键词 引用分析法 危机信息学 引用逻辑链
原文传递
Investigation of the production of ^(152)Tb and ^(155)Tb terbium radioisotopes with europium targets
5
作者 C.Yalçın 《Nuclear Science and Techniques》 2026年第2期183-193,共11页
In recent years,terbium radioisotopes have been investigated for their potential therapeutic and diagnostic applications in nuclear medicine.This study aimed to investigate the production of ^(152) Tb and ^(155) Tb by... In recent years,terbium radioisotopes have been investigated for their potential therapeutic and diagnostic applications in nuclear medicine.This study aimed to investigate the production of ^(152) Tb and ^(155) Tb by alpha-induced reactions in detail,with a specific focus on determining the optimum production parameters and testing existing nuclear models.Given the limited number of experiments conducted on reactions related to terbium isotope production,it is necessary to perform theoretical calculations of cross sections over a wide energy range to gain a detailed understanding of terbium isotope production.To achieve this objective,the cross sections of the ^(151)Eu(α,n)^(154) Tb reactions were calculated up to 60 MeV using the TALYS computer code with 432 different combinations of optical model parameters,level density,and strength function models.The theoretical reaction cross-section results were compared with the experimental results in the literature.The best input parameters were determined using the Threshold Logic Unit method,and these parameters were used in all isotope production calculations.Once the optimal model combination was determined,the total activity production and isotopic fraction of ^(152) Tb and ^(155) Tb isotopes were calculated in detail for beam energies of 17–50 MeV,different irradiation times,and varying ^(151) Eu and ^(153) Eu target thicknesses. 展开更多
关键词 Terbium radioisotopes Medical isotope production Alpha-induced reactions Cross section Threshold logic unit method
暂未订购
中国共产党国家治理的历史图景、实践经验和方法逻辑
6
作者 杨琪 《哈尔滨师范大学社会科学学报》 2026年第1期19-23,共5页
“政党治理”与“国家治理”紧密相连、息息相通。“政党治理”是中国共产党国家治理变迁的关键变量,是区别于其他西方政党的中国方案和独特面相。回顾中国共产党国家治理的历史图景,可分为“建党—救国”“筑基—兴国”“立制—富国”... “政党治理”与“国家治理”紧密相连、息息相通。“政党治理”是中国共产党国家治理变迁的关键变量,是区别于其他西方政党的中国方案和独特面相。回顾中国共产党国家治理的历史图景,可分为“建党—救国”“筑基—兴国”“立制—富国”“善治—强国”四个阶段,呈现出“定位、定局、定法”的实践经验,为“政党治理”的中国方案提供坚持唯物论和辩证法的统一、系统思维和要素思维的统一、绝大多数和关键少数的方法逻辑,用“活的马克思主义”为中国共产党国家治理提供科学的领导方法和工作指导。 展开更多
关键词 中国共产党 政党治理 历史图景 实践经验 方法逻辑
在线阅读 下载PDF
一体推进党的纪律建设的系统逻辑、重点要求与科学方法
7
作者 商植桐 张朕 《乐山师范学院学报》 2026年第1期1-9,共9页
作为新时代党的建设新的伟大工程的重要组成部分,纪律建设是推动全面从严治党向纵深发展的重要举措。党规制定、党纪教育与执纪监督三者相互依存、动态耦合,形成“不敢腐、不能腐、不想腐”的治理闭环。党规制定作为制度基础,须立足现... 作为新时代党的建设新的伟大工程的重要组成部分,纪律建设是推动全面从严治党向纵深发展的重要举措。党规制定、党纪教育与执纪监督三者相互依存、动态耦合,形成“不敢腐、不能腐、不想腐”的治理闭环。党规制定作为制度基础,须立足现代化建设要求构建科学规范的党内法规体系,强化党章的统领作用与制度的系统集成效能;党纪教育作为思想根基,要以高标准推进党纪教育走深走实,筑牢拒腐防变的思想防线;执纪监督作为刚性保障,要以严的基调增强执纪监督震慑力,夯实全面从严治党的执政根基。一体推进党的纪律建设,须树立整体观念,构建制度约束、思想引导、监督震慑的有机统一的治理体系,坚持顶层设计与实践创新相结合,推动纪律建设与政治生态优化良性互动,为全面从严治党与中国式现代化提供坚强保障。 展开更多
关键词 纪律建设 系统逻辑 重点要求 科学方法
在线阅读 下载PDF
基于STPA的联锁系统层级安全需求建模及确认方法
8
作者 陈祖希 周林 +3 位作者 梅萌 王龙生 张宏扬 徐中伟 《中国铁道科学》 北大核心 2026年第1期185-196,共12页
针对铁路联锁系统安全需求验证中存在的动态行为建模不足和层级约束可追溯性弱等问题,提出1种基于系统理论过程分析(STPA)与形式化开发协同的安全需求建模及确认方法。首先,通过扩展STPA框架,建立多层次的安全需求模型,将顶层抽象的系... 针对铁路联锁系统安全需求验证中存在的动态行为建模不足和层级约束可追溯性弱等问题,提出1种基于系统理论过程分析(STPA)与形式化开发协同的安全需求建模及确认方法。首先,通过扩展STPA框架,建立多层次的安全需求模型,将顶层抽象的系统级安全约束逐步精化为具体的安全需求;其次,设计面向铁路联锁领域的分层精化策略,实现安全需求向形式化模型不变式与事件守卫条件的系统性转化;最后,引入形式化验证工具链,构建集定理证明、模型检测和行为仿真于一体的混合验证机制,通过数学证明完成各精化层级的验证,利用模型检验的状态空间探索与反例生成功能,全面验证由安全需求转化而来的模型不变式及线性时序逻辑(LTL)的正确性,并通过仿真复现典型运行场景,确认系统无死锁且满足预期的安全需求。结果表明:经过3次分层精化,将132条证明义务分解到4层模型中,并通过形式化验证工具进一步完成安全需求的确认,有效降低了铁路联锁系统安全需求建模的复杂性,也为铁路联锁系统的安全运行奠定了基础。 展开更多
关键词 铁路联锁系统 形式化方法 安全需求 线性时序逻辑 STPA
在线阅读 下载PDF
A RISK ASSESSMENT METHOD OF THE WIRELESS NETWORK SECURITY 被引量:13
9
作者 Zhao Dongmei Wang Changguang Ma Jianfeng 《Journal of Electronics(China)》 2007年第3期428-432,共5页
The core of network security is the risk assessment. In this letter,a risk assessment method is introduced to estimate the wireless network security. The method,which combines Analytic Hier-archy Process (AHP) method ... The core of network security is the risk assessment. In this letter,a risk assessment method is introduced to estimate the wireless network security. The method,which combines Analytic Hier-archy Process (AHP) method and fuzzy logical method,is applied to the risk assessment. Fuzzy logical method is applied to judge the important degree of each factor in the aspects of the probability,the influence and the uncontrollability,not to directly judge the important degree itself. The risk as-sessment is carved up 3 layers applying AHP method,the sort weight of the third layer is calculated by fuzzy logical method. Finally,the important degree is calculated by AHP method. By comparing the important degree of each factor,the risk which can be controlled by taking measures is known. The study of the case shows that the method can be easily used to the risk assessment of the wireless network security and its results conform to the actual situation. 展开更多
关键词 Wireless network Risk assessment Analytic Hierarchy Process (AHP) method Fuzzy logical method
在线阅读 下载PDF
面向航天发射系统动态故障模式的知识表达和验证方法
10
作者 石佳 任慧敏 崔小磊 《航天控制》 2026年第1期67-73,共7页
描述了一种面向航天发射系统动态故障模式的表达和形式化验证方法。通过该方法设计的动态故障模型可以使航天领域实时故障诊断系统具备针对复杂和多样性故障特征的诊断能力。动态故障模型由时态征兆表达,然而,时态征兆的复杂度和抽象程... 描述了一种面向航天发射系统动态故障模式的表达和形式化验证方法。通过该方法设计的动态故障模型可以使航天领域实时故障诊断系统具备针对复杂和多样性故障特征的诊断能力。动态故障模型由时态征兆表达,然而,时态征兆的复杂度和抽象程度导致其本身难以通过人工分析或者测试的方式进行验证。通过时态逻辑公式描述时态征兆的语义,使得可以通过形式化的模型检验方法来验证故障模型的正确性,这个验证过程是可通过模型检验工具自动化执行的。并且,动态故障模型不需要形式化的描述,领域专家构建故障模型时只需要关注业务领域的问题。在航天工程实践中,通过模型检验方法自动化地验证故障模型的特征属性,为领域专家设计故障模型提供了可靠的和可验证的数学化方法。 展开更多
关键词 计算树逻辑 知识表达 故障诊断 模型检验 形式化方法
原文传递
Design and Analysis of a Novel Tension Control Method for Winding Machine 被引量:8
11
作者 Xiao-Ming Xu Wu-Xiang Zhang +2 位作者 Xi-Lun Ding Ming Zhang Shi-Hou Wei 《Chinese Journal of Mechanical Engineering》 SCIE EI CAS CSCD 2018年第6期79-94,共16页
Filament winding has emerged as the main process for carbon fiber reinforced plastic(CFRP) fabrication, and tension control plays a key role in enhancing the quality of the winding products. With the continuous improv... Filament winding has emerged as the main process for carbon fiber reinforced plastic(CFRP) fabrication, and tension control plays a key role in enhancing the quality of the winding products. With the continuous improvement of prod?uct quality and e ciency, the precision of the tension control system is constantly improving. In this paper, a novel tension control method is proposed, which can regulate the fiber tension and transport speed of the winding process by governing the outputs of three di erent driven rollers(the torque of the unwind roll, the torque of the magnetic powder brake roller, and the speed of the master speed roller) in three levels. The mechanical structures and dynamic models of the driven rollers and idle rollers are established by considering the time?varying features of the roller radius and inertia. Moreover, the influence of parameters and speed variation on fiber tension is investigated using the increment model. Subsequently, the control method is proposed by applying fiber tension in three levels accord?ing to the features of the three driven rollers. An adaptive fuzzy controller is designed for tuning the PID parameters online to control the speed of the master speed roller. Simulation is conducted for verifying the performance and sta?bility of the proposed tension control method by comparing with those of the conventional PID control method. The result reveals that the proposed method outperforms the conventional method. Finally, an experimental platform is constructed, and the proposed system is applied to a winding machine. The performance and stability of the tension control system are demonstrated via a series of experiments using carbon fiber under di erent reference speeds and tensions. This paper proposes a novel tension control method to regulate the fiber tension and transport speed. 展开更多
关键词 Tension control Control method Fuzzy logic Filament winding
在线阅读 下载PDF
Selection of Best Materials and Parametric Optimization of Solar Parabolic Collector Using Fuzzy Logic
12
作者 Sri P. Mohana Reddy Pathi Venkataramaiah Devuru Vishnu Vardhan Reddy 《Energy and Power Engineering》 2014年第14期527-536,共10页
This paper focused on selection of best materials for absorber tube and reflective surfaces of Solar Parabolic Collector (SPC) using fuzzy logic, after analysing the material data. The glass mirror and Aluminium absor... This paper focused on selection of best materials for absorber tube and reflective surfaces of Solar Parabolic Collector (SPC) using fuzzy logic, after analysing the material data. The glass mirror and Aluminium absorber have been identified as best materials. These selected materials are replaced in existing experimental setup. An experimental design is prepared based on the considered parabolic collector parameters: Absorptivity, Reflectivity and Period of Sun Incidence. During experiments, outlet temperature of water and discharge is recorded for each experimental run. These data are analyzed using fuzzy Logic integrated with the Taguchi method and optimal parameter combination has been found. 展开更多
关键词 MATERIALS Fuzzy logic Taguchi method
暂未订购
管理学视域下的数字平台生态系统:关键科学问题与发展趋势 被引量:6
13
作者 焦豪 杨季枫 《研究与发展管理》 北大核心 2025年第2期1-15,共15页
数字平台生态系统已逐渐成为数字经济时代企业获取竞争优势的有效途径。本文从理论视角、研究方法、研究情境等方面提出了管理学视域下开展数字平台生态系统研究的关键科学问题与发展趋势。首先,从资源协奏、动态能力、问题—解决、悖... 数字平台生态系统已逐渐成为数字经济时代企业获取竞争优势的有效途径。本文从理论视角、研究方法、研究情境等方面提出了管理学视域下开展数字平台生态系统研究的关键科学问题与发展趋势。首先,从资源协奏、动态能力、问题—解决、悖论、社会—技术系统和数字平台生态等理论视角提出了数字平台生态系统研究的关键科学问题。其次,拓展了数字平台生态系统在新质生产力、工业互联网和中国式现代化视域下的研究趋势。最后,从研究方法层面梳理,提出以仿真模拟技术开展数字平台生态系统演进机理与动力学研究、以计量经济分析方法推动工业互联网研究、以数据挖掘技术开展基于海量用户的微观基础研究、以案例研究方法推动面向数字平台生态系统多元场景的机制研究。 展开更多
关键词 数字平台生态系统 理论视角 研究方法 研究情境 科学问题
在线阅读 下载PDF
被动宽带声接触航迹起始方法研究
14
作者 姚直象 柳嵩 林啸 《海军工程大学学报》 北大核心 2025年第3期63-68,共6页
针对背景干扰易造成被动声系统产生虚假航迹的问题,设计了一种基于逻辑法的被动宽带声接触航迹起始算法。首先,在被动宽带声接触检测和角度估计基础上,引入接触强度信息,构建角度-强度二维跟踪门;然后,基于二维跟踪门对多帧检测点进行... 针对背景干扰易造成被动声系统产生虚假航迹的问题,设计了一种基于逻辑法的被动宽带声接触航迹起始算法。首先,在被动宽带声接触检测和角度估计基础上,引入接触强度信息,构建角度-强度二维跟踪门;然后,基于二维跟踪门对多帧检测点进行关联确定航迹头、生成暂态航迹;最后,利用m/n准则将符合条件的暂态航迹升级为稳态航迹。理论分析、仿真和外场数据验证表明:所设计的被动宽带声接触航迹起始算法能够成功实现多接触航迹自动起始,降低虚假航迹的产生。 展开更多
关键词 被动声系统 宽带声接触 航迹起始 逻辑法
在线阅读 下载PDF
Real-Time Update of Sequence Placement Logic for High Arch Dams Based on Evidence Weight Discount 被引量:1
15
作者 Tao Guan Denghua Zhong Bingyu Ren 《Transactions of Tianjin University》 EI CAS 2017年第3期267-276,共10页
Sequence placement logic plays a significant role in construction simulation of high arch dams and directly affects the simulation process and results. To establish a sequence logic for dam block placement, the constr... Sequence placement logic plays a significant role in construction simulation of high arch dams and directly affects the simulation process and results. To establish a sequence logic for dam block placement, the construction scheme, real-time construction process, and random factors of the site all need to be considered in detail. There are few studies available currently that take all these factors into consideration. To address this problem, a real-time update of sequence placement logic for high arch dams based on evidence weight discount is proposed in this study. First, the subjective weight of the dam block sequence priority criteria is built using a consistent matrix method based on the construction scheme. Second, using evidence theory, dynamic objective weight of the priority criteria and basic probability assignment is built. Finally, using a weight self-adaptive adjustment method and comprehensive evidence discounting, the placing probabilities of different dam blocks are obtained. A case study indicates that this method can realize real-time update of sequence placement logic. © 2017, Tianjin University and Springer-Verlag Berlin Heidelberg. 展开更多
关键词 Arch dams ARCHES DAMS
在线阅读 下载PDF
Fuzzy Logic Implementation of Vulnerability Assessment in a Coastal Aquifer of Northern Sicily
16
作者 Antonio Cimino Adolfo Cimino Antonino Oieni 《Journal of Geoscience and Environment Protection》 2021年第8期177-188,共12页
Aquifers can be defined as complex ecological systems. Their description is closely influenced by geometrical and geological parameters, which portray the hydrogeological behaviour of underground systems. This paper r... Aquifers can be defined as complex ecological systems. Their description is closely influenced by geometrical and geological parameters, which portray the hydrogeological behaviour of underground systems. This paper reports a con<span>tribution to assess</span></span><span style="font-family:"">ing</span><span style="font-family:""> groundwater contamination risk in a particular Sicily sector, where deterministic approaches have methodically assessed and mappe</span><span style="font-family:"">d vulnerability and quality of groundwater. In detail, in the coastal area of Acqued<span>olci (Northern Sicily), already intensely surveyed in the frame of interdisciplinary projects on geological risk, implementing models and systems ha</span>ve been experimented, also considering fuzzy logic. Cartography issues are he<span>re presented and compared, with particular regard to the effect of stoc</span>h<span>astic hydrogeo</span><span>logical elements (<i>i.e.</i> “depth to water”), locally characterized by variability for simultaneous climate, overdraft, irrigation and sea encroachm</span>ent. </span><span style="font-family:"">Th<span>e </span></span><span style="font-family:"">authors show how fuzzy logic, applied to vulnerability settings, contributes to a better comprehension of the passive scenery offered by aquifers in</span><span style="font-family:""> Acquedolci Sicily area. 展开更多
关键词 Fuzzy logic Groundwater Vulnerability Acquedolci Plain SINTACS method Pearson Correlation Coefficient
在线阅读 下载PDF
省域新质生产力发展水平测度及比较 被引量:1
17
作者 陈钰芬 龚佳怡 潘小艺 《科学学与科学技术管理》 北大核心 2025年第10期166-183,共18页
因地制宜发展新质生产力,首先须正确掌握新质生产力发展现状及发展态势,因此构建具有统计监测功能的新质生产力测度体系具有重要意义。基于新质生产力的科学内涵,从生产力要素视角,构建包含劳动者、劳动资料、劳动对象三维度的评价指标... 因地制宜发展新质生产力,首先须正确掌握新质生产力发展现状及发展态势,因此构建具有统计监测功能的新质生产力测度体系具有重要意义。基于新质生产力的科学内涵,从生产力要素视角,构建包含劳动者、劳动资料、劳动对象三维度的评价指标体系,利用2012—2022年我国省域数据展开量化测度,使用核密度估计、莫兰指数和Dagum基尼系数分析时空演变特征和区域差异。结果发现:第一,新质生产力总水平及各维度均呈现稳步上升态势,但劳动者未能与劳动资料、劳动对象形成同步增长,成为制约新质生产力发展的关键瓶颈;第二,区域新质生产力发展水平呈阶梯状,按东部—中部—东北—西部依次降低;第三,部分省份存在新质生产力各维度发展失衡现象,其优势和短板迥异;第四,省域新质生产力呈现显著的空间集聚效应,具体表现为低—低集聚和高—高集聚。 展开更多
关键词 新质生产力 测度逻辑 组合逐层赋权 演进态势
原文传递
外来物种入侵随机生物系统的自适应模糊控制
18
作者 张翼 苏孝天 金正红 《沈阳工业大学学报》 北大核心 2025年第6期783-791,共9页
[目的]外来物种入侵作为全球性生态安全问题,其引发的生物多样性丧失和生态系统功能退化已对人类社会的可持续发展构成了严重威胁。传统生物控制方法在应对环境不确定性与随机干扰等复杂情况时,普遍存在控制精度不足、鲁棒性能较差的局... [目的]外来物种入侵作为全球性生态安全问题,其引发的生物多样性丧失和生态系统功能退化已对人类社会的可持续发展构成了严重威胁。传统生物控制方法在应对环境不确定性与随机干扰等复杂情况时,普遍存在控制精度不足、鲁棒性能较差的局限性。本文针对随机生物系统的动态特性,提出一种基于Lyapunov稳定性理论的自适应模糊控制(AFC)策略。通过建立具有白噪声干扰和未知不确定非线性因素的随机动力学模型,重点解决在环境不确定性、随机扰动等复杂因素耦合作用下,本地物种保护与入侵种群抑制的双目标协同调控这一核心问题。[方法]首先基于随机微分方程理论,构建了外来物种入侵随机生物系统的动力学模型。针对系统模型中存在的不确定非线性项,采用模糊逻辑系统(FLS)进行逼近处理。将反步法和自适应模糊手段相结合应用于随机生物系统,并选取合适的Lyapunov函数设计出具有参数自校正功能的模糊反步控制器和自适应律。[结果]所设计的自适应控制器的智能调整使得本地物种种群密度在有限时间内能够有效跟踪给定的期望密度,且跟踪误差能够收敛到原点附近,实现了控制器对误差信号的实时监测与精确分析。自适应控制器能够动态调整控制输入,确保跟踪误差始终处于可接受范围内,同时能够确保外来物种入侵随机生物系统中的所有状态均为半全局一致最终有界。当随机干扰强度变化时,系统仍能保持稳定的收敛特性并展现良好的适应性。[结论]结合模糊逻辑系统与非线性控制理论,所设计的自适应模糊控制策略有效解决了随机生物系统中的不确定性控制问题,数值仿真结果进一步验证了控制策略在本地物种保护和外来物种入侵动态管理中的有效性,可为复杂生态系统的智能调控提供新的思路。 展开更多
关键词 外来物种 生物系统 自适应模糊控制 随机系统 模糊逻辑系统 反步法 跟踪控制 白噪声
在线阅读 下载PDF
生物多样性保护融入生态环境法典的逻辑阐释与路径探析 被引量:1
19
作者 韩立新 邸卫佳 《河南社会科学》 北大核心 2025年第12期60-71,共12页
作为生态文明建设的重要内容,生物多样性保护融入生态环境法典的逻辑动因、基本理论范畴与路径亟待明确。在推进环境法法典化进程中,应对全球生物多样性丧失危机的中国担当宜通过法典予以彰显,生物多样性保护还原主义立法模式的碎片化... 作为生态文明建设的重要内容,生物多样性保护融入生态环境法典的逻辑动因、基本理论范畴与路径亟待明确。在推进环境法法典化进程中,应对全球生物多样性丧失危机的中国担当宜通过法典予以彰显,生物多样性保护还原主义立法模式的碎片化问题宜通过法典予以解决,生物多样性保护整体性原理所要求的法律供给范式革新宜通过法典予以实现,这分别从政治、现实和理论三个维度揭示出生物多样性保护入典的逻辑动因。生物多样性保护融入生态环境法典作为一项系统性工程,应在整体主义方法论的指引下,科学厘清气候变化应对与生物多样性保护、入典规范与单行立法、国内法治与涉外法治之间的逻辑关系。为了充分实现法典编纂的体系化效益,生物多样性保护融入生态环境法典需要选择适当的路径,包括合理确定入典的边界范围、统筹安排入典的技术方法、理性配置集中体现法典模式优势的关键法律条款等。 展开更多
关键词 生物多样性保护 生态环境法典 逻辑动因 整体主义方法论 理论范畴 技术方法
在线阅读 下载PDF
法治话语及其体系的逻辑刻画 被引量:2
20
作者 陈金钊 《东北师大学报(哲学社会科学版)》 北大核心 2025年第3期10-23,共14页
法治话语的逻辑刻画,关键在于强调话语与逻辑的关联。经不起逻辑推敲的话语不会产生深刻而久远的影响力。法治话语及其体系与逻辑的关系尤为密切。近些年来,随着法治话语的增多,引发了有关法治与逻辑关系的探究。这不仅使“法律不是逻... 法治话语的逻辑刻画,关键在于强调话语与逻辑的关联。经不起逻辑推敲的话语不会产生深刻而久远的影响力。法治话语及其体系与逻辑的关系尤为密切。近些年来,随着法治话语的增多,引发了有关法治与逻辑关系的探究。这不仅使“法律不是逻辑”的判断受到批评,而且引申出缺少逻辑是带伤的思考之话题。中国式法治现代化建设需要法治逻辑,而法律方法论的使命就是在法治思维中嵌入逻辑。法治是由法律所定义的秩序,法治框架是拟制基础上的逻辑构造。这是以逻辑思维规则塑造法治话语体系的基础命题。由法律定义的秩序包括法律的一般性、体系性、稳定性、自主性以及据法阐释、法源思维等捍卫法治的基本话语方式。 展开更多
关键词 法治话语体系 法治逻辑 法治思维 法律方法 法治现代化
在线阅读 下载PDF
上一页 1 2 65 下一页 到第
使用帮助 返回顶部