期刊文献+
共找到704篇文章
< 1 2 36 >
每页显示 20 50 100
The State Logic of Modernizing the Governance System
1
作者 Chen Jinhua 邵亚楠 《Social Sciences in China》 2022年第1期37-52,共16页
The governance system is the institutional carrier and mechanism guaranteeing the operation of the state.The Western governance dilemma and China’s governance practice show that state dominance is the intrinsic logic... The governance system is the institutional carrier and mechanism guaranteeing the operation of the state.The Western governance dilemma and China’s governance practice show that state dominance is the intrinsic logic behind the modernization of the governance system.As a worldwide issue,the core question in the logic of state modernization of the governance system is to develop governance rules,procedures and orders that effectively respond to and resolve the problems of the state-society relationship.In other words,state logic is rooted in the historical process of the dynamic evolution of the building of the state-society relationship community,and looks toward practice in solving the issue of balanced national development.In advocating a modern governance system led by state logic,China does not simply wish to continue the master page of its history and culture,but to hold fast to being guided by the issues and focusing on the transformation of the principal contradictions of Chinese society to bring about good governance that is oriented toward the people,in order to systematically respond to the major adjustments in national governance variables brought about by IT development and globalization.In the current context in which governance solutions dominated by the logic of capital have difficulty coping with global problems of development,adhering to the logic of the state in modernizing the governance system not only helps us break away from “polycentric governance” and correctly ensures that the state plays an authoritative and leading role in the governance system while also providing an institutional framework and mechanism that achieves social justice,improves market efficiency and fosters social autonomy,thus forging a new type of civilization for national and global governance on a global scale. 展开更多
关键词 governance system governance capacity MODERNIZATION state logic
原文传递
基于Fuzzy Logic/Stateflow的挖掘机拟人操作技术
2
作者 杨克石 刘杰 谷雨明 《东北大学学报(自然科学版)》 EI CAS CSCD 北大核心 2010年第8期1174-1177,共4页
为提高挖掘机工作装置的自主操作水平,减轻驾驶员的劳动强度,针对PC02挖掘机工作装置在挖掘过程中的基本动作,在行为控制的基础上,提出了实现基本动作的I-FORMA-O方法以及基于FuzzyLogic/Stateflow的仿真实验模型;仿真实验实现了由基本... 为提高挖掘机工作装置的自主操作水平,减轻驾驶员的劳动强度,针对PC02挖掘机工作装置在挖掘过程中的基本动作,在行为控制的基础上,提出了实现基本动作的I-FORMA-O方法以及基于FuzzyLogic/Stateflow的仿真实验模型;仿真实验实现了由基本动作对应的驱动事件使挖掘行为发生状态迁移的过程.结果表明,用模糊逻辑定义基本动作简化了计算,该仿真实验模型作为平台,直观、可靠,便于借用和修改挖掘机驾驶人员的操作经验,使开发效率明显提高,为以后使用RTW工具箱直接生成可执行代码奠定了基础. 展开更多
关键词 挖掘机 拟人操作 模糊逻辑 有限状态机 stateFLOW
在线阅读 下载PDF
Fault tolerant deterministic secure quantum communication using logical Bell states against collective noise 被引量:1
3
作者 王朝 刘建伟 +2 位作者 陈秀波 毕亚港 尚涛 《Chinese Physics B》 SCIE EI CAS CSCD 2015年第4期53-62,共10页
This study proposes two novel fault tolerant deterministic secure quantum communication (DSQC) schemes resistant to collective noise using logical Bell states. Either DSQC scheme is constructed based on a new coding... This study proposes two novel fault tolerant deterministic secure quantum communication (DSQC) schemes resistant to collective noise using logical Bell states. Either DSQC scheme is constructed based on a new coding function, which is designed by exploiting the property of the corresponding logical Bell states immune to collective-dephasing noise and collective-rotation noise, respectively. The secret message can be encoded by two simple unitary operations and decoded by merely performing Bell measurements, which can make the proposed scheme more convenient in practical applications. Moreover, the strategy of one-step quanta transmission, together with the technique of decoy logical qubits checking not only reduces the influence of other noise existing in a quantum channel, but also guarantees the security of the communication between two legitimate users. The final analysis shows that the proposed schemes are feasible and robust against various well-known attacks over the collective noise channel. 展开更多
关键词 collective noise deterministic secure quantum communication logical Bell states
原文传递
Fault-Tolerant Quantum Dialogue Without Information Leakage Based on Entanglement Swapping between Two Logical Bell States 被引量:1
4
作者 叶天语 《Communications in Theoretical Physics》 SCIE CAS CSCD 2015年第4期431-438,共8页
At present, the anti-noise property and the information leakage resistant property are two great concerns for quantum dialogue(QD). In this paper, two anti-noise QD protocols without information leakage are presented ... At present, the anti-noise property and the information leakage resistant property are two great concerns for quantum dialogue(QD). In this paper, two anti-noise QD protocols without information leakage are presented by using the entanglement swapping technology for two logical Bell states. One works well over a collective-dephasing noise channel, while the other takes effect over a collective-rotation noise channel. The negative influence of noise is erased by using logical Bell states as the traveling quantum states. The problem of information leakage is avoided by swapping entanglement between two logical Bell states. In addition, only Bell state measurements are used for decoding, rather than four-qubit joint measurements. 展开更多
关键词 quantum dialogue(QD) information leakage entanglement swapping logical Bell state collective-dephasing noise collective-rotation
原文传递
High throughput N-modular redundancy for error correction design of memristive stateful logic
5
作者 朱熙 徐晖 +5 位作者 杨为平 李智炜 刘海军 刘森 王义楠 龙泓昌 《Chinese Physics B》 SCIE EI CAS CSCD 2023年第1期568-579,共12页
Memristive stateful logic is one of the most promising candidates to implement an in-memory computing system that computes within the storage unit.It can eliminate the costs for the data movement in the traditional vo... Memristive stateful logic is one of the most promising candidates to implement an in-memory computing system that computes within the storage unit.It can eliminate the costs for the data movement in the traditional von Neumann system.However,the instability in the memristors is inevitable due to the limitation of the current fabrication technology,which incurs a great challenge for the reliability of the memristive stateful logic.In this paper,the implication of device instability on the reliability of the logic event is simulated.The mathematical relationship between logic reliability and redundancy has been deduced.By combining the mathematical relationship with the vector-matrix multiplication in a memristive crossbar array,the logic error correction scheme with high throughput has been proposed.Moreover,a universal design paradigm has been put forward for complex logic.And the circuit schematic and the flow of the scheme have been raised.Finally,a 1-bit full adder(FA)based on the NOR logic and NOT logic is simulated and the mathematical evaluation is performed.It demonstrates the scheme can improve the reliability of the logic significantly.And compared with other four error corrections,the scheme which can be suitable for all kinds of R–R logics and V–R logics has the best universality and throughput.Compared with the other two approaches which also need additional complementary metal–oxide semiconductor(CMOS)circuits,it needs fewer transistors and cycles for the error correction. 展开更多
关键词 MEMRISTOR stateful logic logic reliability in-memory computing
原文传递
基于Fuzzy Logic与State flow的汽车换挡策略研究
6
作者 王秀发 于英 田晋跃 《车辆与动力技术》 2012年第2期9-12,共4页
针对车辆在复杂的路况下行驶时,车辆自动变速器的频繁换挡和车辆动力不足的问题,设计了一种基于升、降档模糊控制器基本模块的换挡策略.升降挡模糊控制器模块是以加速度的正负作为控制参量,加速度为正时,基于升档规律曲线的升档模糊控... 针对车辆在复杂的路况下行驶时,车辆自动变速器的频繁换挡和车辆动力不足的问题,设计了一种基于升、降档模糊控制器基本模块的换挡策略.升降挡模糊控制器模块是以加速度的正负作为控制参量,加速度为正时,基于升档规律曲线的升档模糊控制器起作用;加速度为负时,基于降档规律曲线的降档模糊控制器起作用.通过State Flow的逻辑来判断哪个控制器起作用.在上述基本模块的基础上,建立了以制动力的大小,弯道大小以及坡度大小作为控制输入参数的模糊修正模块,其输出对上述基本模块的升档模糊控制器和降档模糊控制器的输出进行修正.仿真结果表明:所设计的换挡控制策略具有很好的避免频繁换挡和动力不足的问题. 展开更多
关键词 模糊控制 state FLOW 换挡规律 频繁换挡 行驶环境
在线阅读 下载PDF
Bell States and Two-Qubit Logic Gate with Superconducting Charge Qubits Coupling to a Nanomechanical Resonator
7
作者 LIAO Jie-Qiao~1 and WANG Xin-Wen~(2,3)~1 Department of Physics,Hunan Normal University,Changsha 410081,China~2 Department of Physics,Beijing Normal University,Beijing 100875,China~3 Department of Electronic Engineering and Physics,Hunan University of Science and Engineering,Yongzhou 425100,China 《Communications in Theoretical Physics》 SCIE CAS CSCD 2007年第12期999-1002,共4页
We propose a scheme for generating Bell states involving two SQUID-based charge qubits by coupling themto a nanomechanical resonator.We also show that it is possible to implement a two-qubit logic gate between the two... We propose a scheme for generating Bell states involving two SQUID-based charge qubits by coupling themto a nanomechanical resonator.We also show that it is possible to implement a two-qubit logic gate between the twocharge qubits by choosing carefully the interaction time. 展开更多
关键词 Bell states superconducting charge qubit two-qubit logic gate nanomechanical resonator
在线阅读 下载PDF
基于故障逻辑的民机液压状态监控与故障诊断 被引量:1
8
作者 冯蕴雯 潘维煌 +1 位作者 路成 刘佳奇 《系统工程与电子技术》 北大核心 2025年第3期842-854,共13页
当前民用飞机的监测数据难以有效应用于状态监测与故障诊断,限制了其安全性和可靠性的提升。为此,本文提出一种基于液压系统部件设计与监测数据的决策树模型,用于实现液压系统运行状态的监控;同时提出一种基于故障逻辑与运行数据的迁移... 当前民用飞机的监测数据难以有效应用于状态监测与故障诊断,限制了其安全性和可靠性的提升。为此,本文提出一种基于液压系统部件设计与监测数据的决策树模型,用于实现液压系统运行状态的监控;同时提出一种基于故障逻辑与运行数据的迁移学习模型,用于故障诊断与定位,以提升状态监控能力与故障诊断效率。首先,分析液压系统原理,依据机组操作手册(flight crew operating manual,FCOM)额定参数与监测数据建立运行监控指标,采用决策树模型监控液压系统的运行状态;随后通过故障形成条件梳理成逻辑图,结合逻辑图的输入信号参数采集快速存取记录器(quick access recorder,QAR)数据,开发迁移学习模型实现故障诊断与定位。最后以某型国产民机液压低压故障为例,验证了所提方法的应用效果。结果表明,该运行状态监控方法能有效量化液压系统状态,故障诊断方法则能高效识别故障原因。 展开更多
关键词 状态监控 故障诊断与定位 逻辑图 监测参数 迁移学习
在线阅读 下载PDF
国有企业差异化管控的逻辑框架、机制设计与推进路径
9
作者 王文举 曹晓芳 《商业经济与管理》 北大核心 2025年第7期20-31,共12页
深刻践行分类监管的实践逻辑,实施差异化管控策略,是激活国资国企潜能,纵深推进国有企业分类改革走深走实的关键抓手。文章聚焦国有企业分类监管的核心命题,以市场化管控为导向,以“管资本”为核心,剖析不同功能类别和股权比例下国有企... 深刻践行分类监管的实践逻辑,实施差异化管控策略,是激活国资国企潜能,纵深推进国有企业分类改革走深走实的关键抓手。文章聚焦国有企业分类监管的核心命题,以市场化管控为导向,以“管资本”为核心,剖析不同功能类别和股权比例下国有企业差异化管控的框架、机制与路径,力图破除“一刀切”的监管惯性,推进科学精准监管。首先,在“有为政府+有效市场”框架下,遵循“功能使命—战略定位—市场驱动—管控重构”的逻辑思路,构建以“外部+内部”为逻辑主线的国有企业差异化管控整合框架。其次,基于外部“行政型管控、经济型管控、政治型管控”的互嵌融合模式和内部“治理型管控、垂直管控、授权决策”的一体两翼结构,设计具有中国特色的国有企业差异化管控机制。最后,从科学分类、放管结合、子公司董事会强化、多维协同、数智化赋能五个方面提出差异化管控推进路径,为政策导向转化为实践方案提供有效支撑。文章立足党的二十届三中全会对国资国企改革新使命的最新部署,助力推动市场机制在国资监管体制改革中的精准渗透,致力扫除国有企业监管深层次体制机制障碍,强化监管韧性,完善中国特色现代监管体系。 展开更多
关键词 国有企业差异化管控 逻辑框架 机制设计 推进路径
在线阅读 下载PDF
基于多重使命和多元逻辑的国有企业运行机制研究 被引量:1
10
作者 肖红军 李烨 《财经问题研究》 北大核心 2025年第6期23-43,共21页
国有企业兼具市场主体、政策工具和社会责任承担者三重属性,同时受到多元制度环境的复合影响,其运行机制长期处于主流理论的认识鸿沟与解释断层之中。本文突破传统研究范式,构建“多重使命—多元逻辑—运行机制”的整合性分析框架,揭示... 国有企业兼具市场主体、政策工具和社会责任承担者三重属性,同时受到多元制度环境的复合影响,其运行机制长期处于主流理论的认识鸿沟与解释断层之中。本文突破传统研究范式,构建“多重使命—多元逻辑—运行机制”的整合性分析框架,揭示了国有企业运行的内在规律和演化路径。研究发现,经济使命、政治使命和社会使命等多重使命与市场逻辑、政治逻辑和社会逻辑等多元逻辑的动态耦合,深刻塑造了国有企业运行机制。本文从组织创新、价值创造和激励约束共生三个维度深入剖析了国有企业的六大核心运行机制:多重使命驱动下的组织形态重构机制、多元治理逻辑耦合的混合型治理机制、多重使命导向下的资源配置机制、经济—政治—社会多元价值的系统共创机制、市场化—行政性—社会性激励的有机融合机制、多元约束的动态协同机制。本文研究提出,国有企业应通过分类改革、逻辑融合、价值创造、战略管控、治理现代化和组织文化建设等路径,构建兼顾效率与公平、政府与市场、短期与长期的运行机制,为国有企业在新时代背景下实现高质量发展提供理论支撑和实践指南。 展开更多
关键词 国有企业 多重使命 多元逻辑 组织创新 价值创造 激励约束
在线阅读 下载PDF
俄罗斯多极世界秩序构想的探索及其实践初探
11
作者 阮建平 何诗雨 《东北亚论坛》 北大核心 2025年第2期113-126,128,共15页
随着与美国关系的持续恶化以及对其单极霸权秩序的日益不满,俄罗斯逐步探索提出多极世界秩序构想。该构想以多极世界体系为基础,反对美国的单极霸权;强调传统文化和文明的多样性,反对美国的普世价值观和文化霸权;主张多边合作和平等发展... 随着与美国关系的持续恶化以及对其单极霸权秩序的日益不满,俄罗斯逐步探索提出多极世界秩序构想。该构想以多极世界体系为基础,反对美国的单极霸权;强调传统文化和文明的多样性,反对美国的普世价值观和文化霸权;主张多边合作和平等发展,反对单边主义和殖民主义。为此,俄罗斯在批判美国单极霸权秩序的同时,加快“向东转”,以“金砖”扩容为抓手开展“全球南方”外交,推动集安组织与上合组织合作,促进欧亚经济联盟与“一带一路”对接。主观上,俄罗斯多极世界秩序构想及其实践旨在摆脱美国的秩序制约、争取更多国际支持。客观上,俄罗斯的多极世界秩序构想契合了国际格局多极化和国际关系民主化趋势,其实践有助于推动构建国际新秩序。 展开更多
关键词 俄罗斯 多极世界秩序 美国 单极霸权秩序 逻辑框架
原文传递
面向低磨损存内计算的多状态逻辑门综合 被引量:1
12
作者 赵安宁 许诺 +4 位作者 刘康 罗莉 潘炳征 薄子怡 谭承浩 《计算机研究与发展》 北大核心 2025年第3期620-632,共13页
通过融合布尔逻辑和非易失存储的功能,忆阻状态逻辑电路可以消除计算过程中的数据移动,实现在存储器中计算,打破传统冯·诺依曼计算系统的“存储墙”和“能耗墙”.近年来,通过构建条件转变到数学逻辑关系之间的映射,已经有一系列存... 通过融合布尔逻辑和非易失存储的功能,忆阻状态逻辑电路可以消除计算过程中的数据移动,实现在存储器中计算,打破传统冯·诺依曼计算系统的“存储墙”和“能耗墙”.近年来,通过构建条件转变到数学逻辑关系之间的映射,已经有一系列存内状态逻辑门被提出,功能覆盖IMP,NAND,NOR,NIMP等多个逻辑运算.然而,复杂计算过程到存内状态逻辑实现的自动化综合映射方法仍处于萌芽阶段,特别是缺少针对器件磨损的探讨,限制了设备维修不便的边缘计算场景应用.为降低复杂存内状态逻辑计算过程的磨损(翻转率),实现了一种面向低磨损存内计算的多状态逻辑门综合映射过程.与领域内熟知的SIMPLER MAGIC状态逻辑综合流程相比,该综合映射流程在复杂计算过程的翻转率上实现了对EPFL,LGSynth91的典型基准测试电路分别平均35.55%,47.26%以上的改进;与最新提出的LOSSS状态逻辑综合流程相比,在复杂计算过程的翻转率上实现了对EPFL,LGSynth91的典型基准测试电路分别平均8.48%,6.72%以上的改进. 展开更多
关键词 忆阻器 状态逻辑 翻转率 逻辑综合与映射 低磨损
在线阅读 下载PDF
明清至民国山陕黄河滩地地权的官方管控与民间逻辑
13
作者 段友文 石怀庆 《中国农史》 北大核心 2025年第3期132-143,共12页
黄河中游的小北干流河段,河道左右游荡摆动,形成了独特的黄河滩地生境。以之为生存空间的滩民有着独特的地权观念、划界技术与边界手段,并从明清时期延续至今。作为地方性知识的滩地地权包括基本生存权、村落身份权、祖辈产业权三个主... 黄河中游的小北干流河段,河道左右游荡摆动,形成了独特的黄河滩地生境。以之为生存空间的滩民有着独特的地权观念、划界技术与边界手段,并从明清时期延续至今。作为地方性知识的滩地地权包括基本生存权、村落身份权、祖辈产业权三个主要方面,民间社会语境下的土地观念亦自下而上,在国家治权、土地制度变迁的过程中与之互动,并影响着基层地权治理,形成治权与产权、国家与民间之间的张力。自明清至今的民间地权逻辑有其民俗控制的惯性,对民众土地观念的解读有助于理解农地制度改革对农民文化情感的影响,以之成为农业农村现代化的历史镜鉴。 展开更多
关键词 官民互动 山陕滩案 民间逻辑 黄河滩地
原文传递
民营经济立法的逻辑基础与完善趋向——兼评《民营经济促进法(草案征求意见稿)》的相关规定 被引量:5
14
作者 牛文杰 姚轩鸽 《中国矿业大学学报(社会科学版)》 2025年第1期128-139,共12页
制定民营经济促进法是中国式现代化全面推进强国建设关键时期助力民营经济走出困境,实现可持续、低风险和高质量发展的法治保障。民营经济立法的逻辑基础在于,将财富创获权利的平等分配作为立法对象,将促进民营经济主体增进社会财富总... 制定民营经济促进法是中国式现代化全面推进强国建设关键时期助力民营经济走出困境,实现可持续、低风险和高质量发展的法治保障。民营经济立法的逻辑基础在于,将财富创获权利的平等分配作为立法对象,将促进民营经济主体增进社会财富总量作为立法目的,以遵循民营经济主体利害行为规律及民营经济发展重大利害关系为立法原理,赋予民营经济市场主体财富创获活动配置资源的平等地位,对促进民营经济发展重大利害的政企关系、公平竞争关系予以法律强制性规范调整,对促进民营经济健康发展和民营经济人士健康成长的营商环境予以道德性的“软法”规范调整,通过软硬兼施,实现民营经济增进全社会和每个国民利益和福祉、幸福与尊严总量。 展开更多
关键词 民营经济促进法 非公有制经济 立法逻辑 立法道德
在线阅读 下载PDF
混合所有制改革背景下国企如何应对制度逻辑冲突——基于金字塔结构的隔板式治理 被引量:3
15
作者 陈光沛 魏江 +1 位作者 杨升曦 王青 《南开管理评论》 北大核心 2025年第4期4-15,共12页
混合所有制改革背景下,国有企业应如何应对不断加剧的制度逻辑冲突?如何在兼顾经济效益的同时提升政策绩效?为回答如上问题,本文通过对海康威视及其所在的视频安防行业开展案例分析,发现:(1)面对制度逻辑冲突,国企会选择与政府松散耦合... 混合所有制改革背景下,国有企业应如何应对不断加剧的制度逻辑冲突?如何在兼顾经济效益的同时提升政策绩效?为回答如上问题,本文通过对海康威视及其所在的视频安防行业开展案例分析,发现:(1)面对制度逻辑冲突,国企会选择与政府松散耦合的制度设计,向上设置“隔离带”,向下开凿“防水渠”,所形成的金字塔结构能够发挥“分层过滤器”作用,将行政逻辑与市场逻辑分离在不同的制度层级中。(2)金字塔结构的形成具有反复振荡的特征,该结构的最终稳定源于国企管理层持续创新组织安排的战略能动性,更离不开市场化改革背景下制度障碍被逐步扫清的环境条件。(3)金字塔结构本身只能分离却无法消解不同制度逻辑的张力,制度逻辑冲突的解决有赖于国企开展基于金字塔结构的隔板式治理,表现为双元领导下的资源桥接与冲突转移机制。(4)通过隔板式治理,国企能够在产业政策发展过程中发挥“试金石”与“信号枪”作用,基于风险承担与信息反馈机制,带头响应政策,并为政策试错提供反馈。这些发现有助于混合型组织、制度逻辑等研究,并对国企改革、产业政策发展等实践具有一定启示。 展开更多
关键词 混合所有制改革 国有企业 制度逻辑冲突 金字塔结构 隔板式治理
在线阅读 下载PDF
国家通用语言文字铸牢中华民族共同体意识的逻辑机理与优化路径——基于现代民族国家建构的视角
16
作者 付秋梅 李俊清 《广西民族研究》 北大核心 2025年第2期85-97,共13页
以国家通用语言文字塑造公民国家认同是现代民族国家建构的普遍实践。中华民族从自在走向自觉和自强的蜕变,离不开国家通用语言文字所发挥的重要作用。我国通用语言文字发展变迁经历了居庙堂之上的言文分离、社会低组织化下的言文合一... 以国家通用语言文字塑造公民国家认同是现代民族国家建构的普遍实践。中华民族从自在走向自觉和自强的蜕变,离不开国家通用语言文字所发挥的重要作用。我国通用语言文字发展变迁经历了居庙堂之上的言文分离、社会低组织化下的言文合一语言变革、坚持以人民为中心的国家通用语言文字推广普及的演进。以人民为中心的国家通用语言文字推广普及实践,积极形塑、黏合了国民与国家的关系。基于公共服务范畴的推普实践具有工具理性和价值理性,其作用机理遵循“感知—认知—认同—自信”的圈层性和递进性接洽逻辑,最终使得铸牢中华民族共同体意识有形有感有效。在“两个大局”交织的新时代,应聚焦于权利保障、认知塑造、认同强化、自信提升四个维度,高质量推广普及国家通用语言文字,引导各族人民牢固树立“四个与共”的共同体理念,构筑起维护国家安全、保障边疆稳固、促进民族团结坚不可摧的思想防线。 展开更多
关键词 国家通用语言文字 铸牢中华民族共同体意识 现代民族国家建构 逻辑机理
在线阅读 下载PDF
一种新的Statechart模型验证方法 被引量:2
17
作者 陈丽娜 赵建民 《计算机科学》 CSCD 北大核心 2011年第2期144-147,165,共5页
在传统的基于时序逻辑的模型检查框架下验证Statechart模型面临三大挑战:全状态空间搜索、多次重复搜索和复杂时序逻辑公式难写。基于上述问题和实践工作,提出一种新的Statechart模型验证方法。该方法的中心是一种强化了的属性描述语言... 在传统的基于时序逻辑的模型检查框架下验证Statechart模型面临三大挑战:全状态空间搜索、多次重复搜索和复杂时序逻辑公式难写。基于上述问题和实践工作,提出一种新的Statechart模型验证方法。该方法的中心是一种强化了的属性描述语言———属性状态图,并利用属性状态图中存在的先后关系和并发关系,把各个属性状态图有机地结合成一个树结构———属性树。属性树涵盖了目标系统要求验证的属性空间,因此可自上而下的验证整棵属性树。在验证过程中系统Statechart模型对应状态空间是逐步展开的,每验证部分属性就展开相应的部分状态空间并对其进行验证,验证过程是基于属性树转换并以step为单位,验证step的初始status和结束status是否满足对应属性树节点公式对其的属性约束,这样既能够迅速找出错误又能屏蔽step内部系统Statechart模型的状态变化,使得验证过程更简单快捷。为了说明属性状态图和基于其的验证算法是实用和易用的,通过一个例子说明了从模型设计到具体验证整个过程。 展开更多
关键词 状态图 模型检查 模型验证 时序逻辑 状态爆炸问题 形式化语义 反应系统
在线阅读 下载PDF
基于火电机组响应状态的“启动-并网”时长预测方法研究
18
作者 张徐东 段传俊 +3 位作者 吴中杰 李思 王成元 罗明 《山东科学》 2025年第4期130-138,共9页
随着新能源装机规模的快速增加,火电机组在电网调峰方面的作用变得日益显著。快速、准确地预测火电机组“启动-并网”过程时长对调度人员及时调整电网运行状态至关重要。针对目前依赖人为经验预估“启动-并网”时长的问题,提出了一种火... 随着新能源装机规模的快速增加,火电机组在电网调峰方面的作用变得日益显著。快速、准确地预测火电机组“启动-并网”过程时长对调度人员及时调整电网运行状态至关重要。针对目前依赖人为经验预估“启动-并网”时长的问题,提出了一种火电机组“启动-并网”过程时长预测方法。对火电机组“启动-并网”过程进行全面分析,确定各阶段的关键运行参数;通过建立监测模型,判断机组响应状态;通过逻辑计算,实现对机组“启动-并网”过程时长的预测。在“网源平台”上对典型机组进行试点研究的结果表明,该模型能够精确的监测机组“启动-并网”响应状态,并成功预测机组“启动-并网”时长。这一方法为调度人员提供了及时的决策支持,有助于确保电网运行的安全性和稳定性。 展开更多
关键词 火电机组 监测模型 响应状态 逻辑计算 时长预测
在线阅读 下载PDF
基于模糊二阶高通滤波的光伏混合储能直流微网的功率分配控制 被引量:1
19
作者 周珊 张伟杰 +3 位作者 许丹宁 吴怡轩 屠淑敏 张有兵 《电机与控制应用》 2025年第1期52-63,共12页
【目的】可再生能源出力具有随机性和波动性,直接并入电网会对其稳定运行产生影响。为了改善可再生能源发电系统的并网特性,引入了混合储能系统(HESS)。为了充分发挥直流微网中HESS的能量密度和功率密度优势,本文提出了一种基于模糊逻... 【目的】可再生能源出力具有随机性和波动性,直接并入电网会对其稳定运行产生影响。为了改善可再生能源发电系统的并网特性,引入了混合储能系统(HESS)。为了充分发挥直流微网中HESS的能量密度和功率密度优势,本文提出了一种基于模糊逻辑的变时间常数二阶高通滤波控制策略。【方法】首先,构建了光伏混合储能直流微网模型。然后,根据功率平衡关系设计了微网的功率分配策略,并根据各单元的特性设计了对应的控制策略。光伏发电单元采用模糊控制以实现最大功率点的快速跟踪,提高光伏发电单元的能源利用率。并网逆变器采用电压外环、电流内环的双闭环控制方式,以保证直流微网向配电网输送稳定的电力。设计了基于模糊逻辑的变时间常数二阶高通滤波方法,对HESS的功率进行分频分配,以提高直流微网中不平衡功率的分配精度。最后,基于Matlab/Simulink搭建了光伏混合储能直流微网仿真模型来验证所提控制策略的有效性。【结果】从HESS功率、直流母线电压以及超级电容荷电状态等方面对所提模糊变时间常数二阶高通滤波控制策略进行了仿真分析。仿真结果表明,模糊变时间常数二阶高通滤波控制不仅能够实现直流微网不平衡功率在HESS中的分频分配,改善系统长时间运行导致的超级电容过充过放的状况,保障超级电容的性能稳定,延长其使用寿命,还能显著降低并网电流的总谐波失真。【结论】本文所提控制策略提高了光伏混合储能直流微网的运行可靠性和稳定性,为电网的高质量运行提供了有力保障。 展开更多
关键词 直流微网 混合储能 荷电状态 滤波控制 模糊逻辑
在线阅读 下载PDF
具有状态和输入量化的分数阶非线性系统自适应模糊控制
20
作者 孙珂 马志垚 +1 位作者 马宏军 佟绍成 《控制理论与应用》 北大核心 2025年第6期1132-1141,共10页
本文主要探讨在状态和输入量化条件下的分数阶非线性系统的模糊自适应控制问题.首先,基于状态非量化的情况,设计了状态量化下的虚拟控制器和实际控制器,其偏导数是量化状态的乘积,以实现最终的控制设计;其次,为确保由于状态量化和输入... 本文主要探讨在状态和输入量化条件下的分数阶非线性系统的模糊自适应控制问题.首先,基于状态非量化的情况,设计了状态量化下的虚拟控制器和实际控制器,其偏导数是量化状态的乘积,以实现最终的控制设计;其次,为确保由于状态量化和输入量化导致的一些列误差有界,构造了一个足够光滑的分数阶投影算子并设计了一种模糊自适应反步递推控制策略.进而建立并严格证明了分数阶一致有界准则,在已知参数有界的前提下,解决了分数阶意义下的误差信号一致有界问题.在分数阶一致有界准则的保障下,确保了所有闭环信号的有界性;最后,通过仿真结果验证了该方法的有效性. 展开更多
关键词 分数阶非线性系统 状态和输入量化 模糊逻辑系统 反步递推
在线阅读 下载PDF
上一页 1 2 36 下一页 到第
使用帮助 返回顶部