期刊文献+
共找到4,163篇文章
< 1 2 209 >
每页显示 20 50 100
辣椒抗烟草花叶病毒L^(3)基因的KASP标记转化及应用
1
作者 陈灵芝 王兰兰 +1 位作者 高彦萍 余海涛 《中国蔬菜》 北大核心 2025年第4期66-71,共6页
辣椒中存在抗烟草花叶病毒属的基因位点L,本研究将与抗烟草花叶病毒L^(3)基因紧密连锁的SCAR标记PMFR11转化为KASP标记LJK,利用BC_(1)P_(1)群体进行有效性验证,基因型和抗、感病表型之间的一致率为92.4%。对标记LJK和与抗烟草花叶病毒L^... 辣椒中存在抗烟草花叶病毒属的基因位点L,本研究将与抗烟草花叶病毒L^(3)基因紧密连锁的SCAR标记PMFR11转化为KASP标记LJK,利用BC_(1)P_(1)群体进行有效性验证,基因型和抗、感病表型之间的一致率为92.4%。对标记LJK和与抗烟草花叶病毒L^(3)基因紧密连锁的SCAR标记PMFR21检测结果进行比较,LJK与PMFR21 PCR分型结果完全一致。研究表明LJK可以快捷、高效应用于辣椒抗烟草花叶病毒L^(3)基因的分子标记辅助选择。实际育种过程中,在辣椒苗期利用LJK淘汰纯合感病基因型单株,保留杂合抗性基因型单株继续进行L^(3)基因的回交转育,创制出了含有纯合L^(3)基因的抗性种质。 展开更多
关键词 辣椒 抗烟草花叶病毒 L^(3)基因 KASP标记LJK
在线阅读 下载PDF
一类前向人工神经网络的L^(p)逼近误差估计
2
作者 俞斌 叶海良 曹飞龙 《应用数学》 北大核心 2025年第3期896-904,共9页
本文构造了一类激活函数由Sigmoid函数生成的单隐层前向人工神经网络.我们使用Steklov平均函数并以目标函数的光滑模作为度量工具,估计该神经网络逼近L^(p)可积函数的速度,得到该网络L^(p)逼近的Jackson型定理.
关键词 前向人工神经网络 逼近 光滑模 L^(p)空间
在线阅读 下载PDF
时变单侧Osgood条件下多维倒向随机微分方程的L^(1)解
3
作者 唐春阳 范胜君 《应用概率统计》 北大核心 2025年第3期353-371,共19页
本文利用停时技术, Hölder不等式及Bihari不等式等工具,建立了生成元g关于y满足时变单侧Osgood条件且关于z满足时变Lipschitz连续条件下一般时间终端多维倒向随机微分方程L^(1)解的存在唯一性,丰富并改进了一些已知结果.
关键词 多维倒向随机微分方程 时变单侧Osgood条件 L^(1)解 存在唯一性
在线阅读 下载PDF
斯托克斯定理的形式化及其初步应用
4
作者 刘永梅 王国辉 +3 位作者 关永 张景芝 施智平 董璐 《计算机工程与科学》 北大核心 2025年第6期1050-1061,共12页
斯托克斯定理是场论中的重要定理之一,它在流体力学、电磁学等领域都有广泛的应用。然而在实际应用中,斯托克斯定理前提条件的满足往往得不到正式的验证,这就存在一定的风险。因此,有必要对斯托克斯定理进行验证。基于斯托克斯定理的数... 斯托克斯定理是场论中的重要定理之一,它在流体力学、电磁学等领域都有广泛的应用。然而在实际应用中,斯托克斯定理前提条件的满足往往得不到正式的验证,这就存在一定的风险。因此,有必要对斯托克斯定理进行验证。基于斯托克斯定理的数学定义,构建其形式化模型,通过分析斯托克斯定理的数学证明过程,得出其形式化证明推导思路,根据分析、构建和验证目标,完成定理的形式化证明,最后将斯托克斯定理证明应用到管道流量设计模型的验证中。 展开更多
关键词 形式化验证 定理证明 斯托克斯定理 HOL Light
在线阅读 下载PDF
基于流计算的动车组PHM模型处理框架
5
作者 李燕 王辉 +2 位作者 杨春辉 李超旭 赵士伟 《计算机应用与软件》 北大核心 2025年第7期27-32,共6页
针对动车组故障预测与健康管理(Prognostics and Health Management,PHM)实时海量数据解析处理与模型计算问题,提出一种基于流计算的动车组PHM模型处理框架。首先分析动车组车载数据处理流程,然后基于Spark Streaming给出动车组PHM模型... 针对动车组故障预测与健康管理(Prognostics and Health Management,PHM)实时海量数据解析处理与模型计算问题,提出一种基于流计算的动车组PHM模型处理框架。首先分析动车组车载数据处理流程,然后基于Spark Streaming给出动车组PHM模型处理的总体框架。针对实时海量数据解析处理,首先分析解析前的车载数据结构,定义解析后的车载数据结构,然后设计通用化数据解析组件,给出流计算实现方式。针对模型计算,详细给出PHM模型的形式化定义,包括模型的基本信息、输入、输出和逻辑主体等,根据此定义设计模型通用组件,实现模型的快速研发、高效计算和统一应用。通过动车组PHM系统的有效应用,证明了该框架可以很好地满足海量数据的实时计算需求。 展开更多
关键词 动车组 故障预测与健康管理 流计算 模型 形式化 组件化
在线阅读 下载PDF
生物序列比对动态规划算法的统一形式化构造与Isabelle验证
6
作者 石海鹤 蓝孙文 +3 位作者 刘日明 石海鹏 王岚 钟林辉 《计算机研究与发展》 北大核心 2025年第1期119-131,共13页
序列比对是生物序列分析中的一个经典问题,旨在找出序列之间的相似性,它对于发现生物序列中的功能、结构和进化信息都具有重要的意义.该问题可分为双序列比对和多序列比对2类,现有工作多针对特定算法展开,没有设计通用的求解方法;此外,... 序列比对是生物序列分析中的一个经典问题,旨在找出序列之间的相似性,它对于发现生物序列中的功能、结构和进化信息都具有重要的意义.该问题可分为双序列比对和多序列比对2类,现有工作多针对特定算法展开,没有设计通用的求解方法;此外,甚少涉及算法可信性的研究.从生物序列比对问题的形式化规约出发,通过深入分析问题的性质,刻画问题求解的本质特征,借助形式化方法PAR(partition andrecursion)设计了序列比对动态规划算法的统一构造框架seqAlign;展示了应用该框架构造序列数为3的多序列比对算法的过程,并使用Isabelle定理证明器对构造结果进行形式化验证;利用PAR平台生成了该算法的C++可执行程序,进一步分析了由seqAlign框架机械化构造其他类型序列比对算法的过程.通过严密的规约精化和形式验证,有效地保证了生成算法的可信性;开发的seqAlign框架提供了序列比对问题类的通用求解方案,显著提高了序列比对算法族生成的效率.研究结果在生物序列分析中序列比对问题上的成功应用,从方法学和实践上可为复杂生物信息学领域高可靠算法的构造提供参考. 展开更多
关键词 序列比对 PAR方法 形式构造 Isabelle定理证明器
在线阅读 下载PDF
中国特有珍稀濒危植物小溪洞杜鹃的解剖结构特征
7
作者 李丹丹 刘杰 +1 位作者 李晓花 张乐华 《植物资源与环境学报》 北大核心 2025年第2期89-96,共8页
为了从解剖学角度探究中国特有珍稀濒危植物小溪洞杜鹃(Rhododendron xiaoxidongense W.K.Hu)的环境适应性机制和濒危机制,采用扫描电镜对其花粉特征及种子表面纹饰进行观察,并运用常规石蜡切片法对其叶片、幼茎、侧根和幼果的解剖结构... 为了从解剖学角度探究中国特有珍稀濒危植物小溪洞杜鹃(Rhododendron xiaoxidongense W.K.Hu)的环境适应性机制和濒危机制,采用扫描电镜对其花粉特征及种子表面纹饰进行观察,并运用常规石蜡切片法对其叶片、幼茎、侧根和幼果的解剖结构进行研究。结果表明:小溪洞杜鹃的花粉为复合型四合体,单粒花粉近球形,表面具黏丝,并具3个萌发沟。种子表面具肋纹且有明显的背腹面之分,两端具明显的翅。幼果的心皮边缘内卷,将子房分为8个心室,胚珠沿中轴胎座排列于两侧。叶为典型的异面叶,上表皮为复表皮,由2层排列紧密的不规则扁长方形表皮细胞组成,栅海比为0.49,而下表皮则由1层椭圆形表皮细胞组成,并分布有气孔;主脉仅有1个维管束,近圆形,并向叶片上表皮延伸形成维管束鞘延伸区,木质部位于维管束鞘中心位置且较为发达,韧皮部位于木质部四周,属于周韧维管束型。茎由表皮、皮层、次生韧皮部、次生木质部和髓组成,薄壁组织细胞内含有晶簇,无周皮,处于初生结构向次生结构的过渡阶段。侧根维管柱位于栓内层内,次生韧皮部面积较小,次生木质部较发达,木射线细胞在次生木质部呈放射状环绕排列。综上所述,小溪洞杜鹃为杜鹃花属(Rhododendron Linn.)植物的原始类群,营养器官和生殖器官的解剖结构特征既是该种的分类参考依据,也是其适应生境的一种表现。 展开更多
关键词 小溪洞杜鹃 解剖结构 形态分类 生态适应性 原始类群
在线阅读 下载PDF
逻辑后承语义定义探析——从塔斯基、埃切门迪到吉拉·谢尔
8
作者 郭建萍 李伟 《河南社会科学》 北大核心 2025年第4期105-113,共9页
塔斯基在论文《论逻辑后承概念》中以逻辑后承的两个直观考虑为出发点,基于满足等语义概念给出了逻辑后承语义定义,并认为这一定义与逻辑后承的通常用法相一致。然而,埃切门迪却批评塔斯基的语义定义在概念上未把握住逻辑后承的必然性,... 塔斯基在论文《论逻辑后承概念》中以逻辑后承的两个直观考虑为出发点,基于满足等语义概念给出了逻辑后承语义定义,并认为这一定义与逻辑后承的通常用法相一致。然而,埃切门迪却批评塔斯基的语义定义在概念上未把握住逻辑后承的必然性,因而与通常的逻辑后承概念不一致。埃切门迪的批评在学界引起广泛讨论,其中,吉拉·谢尔独创性地以逻辑性完善了塔斯基逻辑后承语义定义,并在为逻辑性提供同构不变标准的基础上,较为全面、彻底、深刻地反驳了埃切门迪的批评,在逻辑和哲学上都具有重要意义。 展开更多
关键词 逻辑后承 必然性 形式性 逻辑性
在线阅读 下载PDF
城市轨道交通信号系统测试序列自动生成方法研究 被引量:1
9
作者 张锐 司鑫悦 王成志 《都市快轨交通》 北大核心 2025年第2期140-146,共7页
针对目前国内城市轨道交通信号系统现场工程验收测试方法单一、周期长、效率低、成本高、任务重和工作量大等问题,研究一种适用于现场工程验收测试序列自动生成的方法。首先分析城轨信号系统互联互通测试案例集约束条件,将线路划分成若... 针对目前国内城市轨道交通信号系统现场工程验收测试方法单一、周期长、效率低、成本高、任务重和工作量大等问题,研究一种适用于现场工程验收测试序列自动生成的方法。首先分析城轨信号系统互联互通测试案例集约束条件,将线路划分成若干独立测试区段;其次将线路特征量转化为计算机能够识别的形式化语言,提高编辑效率和人机交互体验;然后应用辅助生成工具自动生成若干条现场可执行的工程验收测试序列;最后选取真实线路作为测试对象,验证工程验收测试效率。研究表明:相较于传统的人工设计测试序列的方法,通过形式化语言设计的测试序列,满足工程验收要求,覆盖互联互通测试案例,能够缩短现场测试时间,提高测试效率。 展开更多
关键词 城市轨道交通 信号系统 CBTC 互联互通 工程测试 形式化语言 测试顺序
在线阅读 下载PDF
俄罗斯形式论学派“陌生化”理论在中国的变异
10
作者 吴未意 《中国文学研究》 北大核心 2025年第3期9-16,共8页
20世纪80年代以来,俄罗斯形式论学派的“陌生化”理论在我国发生了多种自觉与不自觉变异,将“陌生化”的对象扩展至一般意义的内容层面,将“陌生化”视为表达思想主题、更新读者对世界的感受、深入理解外在世界的工具,认为该理论重视作... 20世纪80年代以来,俄罗斯形式论学派的“陌生化”理论在我国发生了多种自觉与不自觉变异,将“陌生化”的对象扩展至一般意义的内容层面,将“陌生化”视为表达思想主题、更新读者对世界的感受、深入理解外在世界的工具,认为该理论重视作者的主观精神等。变异发生的主要原因是我国以马克思主义文学理论为主导、以传统文论及其他在我国受到较多关注的西方文论为辅的文论语境的影响。这些变异弥补了理论自身的局限,为充分发掘其价值做出了重要贡献,也对我国当代文学理论的建构产生了重要影响。 展开更多
关键词 俄罗斯形式论学派 陌生化 变异
在线阅读 下载PDF
让城市基层治理回归自治本源
11
作者 竺乾威 《上海交通大学学报(哲学社会科学版)》 北大核心 2025年第7期122-132,共11页
城市最基层的居委会是一种居民自我管理、自我教育和自我服务的群众性自治组织,但在后来的发展中,这一基层组织的治理出现了一种越来越严重的行政化倾向。产生这一行政化倾向的原因既有市场经济体制建立后城市生活发生的巨大变化,也有... 城市最基层的居委会是一种居民自我管理、自我教育和自我服务的群众性自治组织,但在后来的发展中,这一基层组织的治理出现了一种越来越严重的行政化倾向。产生这一行政化倾向的原因既有市场经济体制建立后城市生活发生的巨大变化,也有政府权力对国家与社会边界的不当跨越。让城市的基层治理回归自治的本源,需要从权力、制度和文化三个方面进行创新和改革。 展开更多
关键词 基层治理 行政化 自治
在线阅读 下载PDF
有限统合:基层简约治理的限度与优化路径——基于鄂西北F乡镇的田野调查
12
作者 李岩 《天津行政学院学报》 北大核心 2025年第4期84-95,共12页
形式主义是当前基层治理面临的突出问题,实现简约治理是破解这个结构性难题、实现治理现代化的重要路径。实现基层简约治理的关键在于提升乡镇政权的统合能力。在当前基层治理转型背景下,基层政权面临着认证规范化、调适内卷化与回应形... 形式主义是当前基层治理面临的突出问题,实现简约治理是破解这个结构性难题、实现治理现代化的重要路径。实现基层简约治理的关键在于提升乡镇政权的统合能力。在当前基层治理转型背景下,基层政权面临着认证规范化、调适内卷化与回应形式化的“有限统合”困境。“有限统合”是基层政权主体性消退的结果,表现为治权集中、治理资源上移、治理组织虚化与治理内容无序扩张的主体性危机,这也导致了当前基层治理所面临的总体性困境。新时期简约治理需要赋予基层政权更充分的自主性权力,并为权力运作提供制度性空间,激发基层干部的主体性与基层治理的活力。 展开更多
关键词 形式主义 简约治理 政权统合 主体性
在线阅读 下载PDF
半正式化:基层政府编外人员的激励机制构建研究
13
作者 田先红 《思想战线》 北大核心 2025年第4期91-99,共9页
建立一个理性化的官僚体系是现代国家构建中的重要主题。伴随基层政府编外人员规模的扩大,如何加强编外人员的规范化管理,弥合编内干部与编外人员之间的罅隙,成为了我国基层官僚体系建设的重要任务。基层政府通过隐性的政治激励、差别... 建立一个理性化的官僚体系是现代国家构建中的重要主题。伴随基层政府编外人员规模的扩大,如何加强编外人员的规范化管理,弥合编内干部与编外人员之间的罅隙,成为了我国基层官僚体系建设的重要任务。基层政府通过隐性的政治激励、差别化的经济激励和辅助性的情感激励,对编外人员进行半正式化管理,推动了基层官僚体系的理性化进程。半正式化管理并没有改变编外人员的身份,也未能从根本上消除对编外人员的制度性排斥,但它在很大程度上正视了编外人员群体的存在,承认了编外人员的合法地位,并为其提供了较强的政治、经济和情感激励。囿于基层政府有限的权力资源条件,难以同时兼顾编内干部和编外人员的利益诉求。要从根本上调和编内和编外之间的张力,最终有赖于更高层级的政策设计。 展开更多
关键词 半正式化 编外人员 基层政府 激励
在线阅读 下载PDF
论实质平等内涵的应然扩展
14
作者 易小明 何礼广 《齐鲁学刊》 北大核心 2025年第3期64-73,共10页
传统的实质平等与形式平等的对应,其实是结果补偿性实质平等与形式平等相对应,在这种不完整的对应结构中,结果平等的内涵范围过窄,无法与形式平等的全面要求相称。因此,实质平等的内涵必须扩展,它至少要纳入条件平等的内容,才能大致与... 传统的实质平等与形式平等的对应,其实是结果补偿性实质平等与形式平等相对应,在这种不完整的对应结构中,结果平等的内涵范围过窄,无法与形式平等的全面要求相称。因此,实质平等的内涵必须扩展,它至少要纳入条件平等的内容,才能大致与形式平等相抗衡。条件平等一旦纳入实质平等,它就与结果平等共同构成实质平等的两个不同面向,此二者的动态平衡推动人类社会向更美好的境地发展。 展开更多
关键词 实质平等 形式平等 条件平等 结果平等 社会变革
在线阅读 下载PDF
基于形式理性与实质理性的大模型价值对齐机制
15
作者 程聪 陈佳晨 严璐璐 《技术经济》 北大核心 2025年第1期28-39,共12页
大模型价值对齐是关涉企业乃至社会在采用大模型技术进行安全协作的全球性议题。如何实现大模型行为与决策者的价值意图及社会规范系统保持一致,成为确保大模型应用安全性和信任度的核心问题。首先,本文引入马克斯•韦伯提出的形式理性... 大模型价值对齐是关涉企业乃至社会在采用大模型技术进行安全协作的全球性议题。如何实现大模型行为与决策者的价值意图及社会规范系统保持一致,成为确保大模型应用安全性和信任度的核心问题。首先,本文引入马克斯•韦伯提出的形式理性和实质理性两个重要哲学概念,探讨大模型价值对齐机制。研究发现,大模型应用于企业管理存在四种价值对齐状态:“高形式理性-低实质理性”的技术偏移、“高实质理性-低形式理性”的价值优先、“低形式理性-低实质理性”的对齐失效及“高形式理性-高实质理性”的动态对齐。其次,甄别了透明性、清晰性和社会性三种价值对齐的分析标准。最后,构建了大模型应用于企业管理的价值对齐实现路径,包括“技术偏移→动态对齐”的认知能力具身性路径、“价值优先→动态对齐”技术意向性的清晰化路径,以及“对齐失效→动态对齐”意义建构路径。研究成果为大模型应用于企业管理的价值对齐机制提供理论支撑与实践启示。 展开更多
关键词 大模型技术 价值对齐 形式理性 实质理性
在线阅读 下载PDF
泛逻辑学——逻辑学的大一统理论
16
作者 何华灿 何智涛 《智能系统学报》 北大核心 2025年第1期185-197,共13页
人工智能80年研究实践证明,不能用传统物质学科范式做指导,需要进行学科范式变革,接受信息学科范式的指导。相应的,作为智能学科基础理论之一的逻辑学,也需要进行逻辑范式变革,由数理形式逻辑主导变革为由数理辩证逻辑主导。本文阐述了... 人工智能80年研究实践证明,不能用传统物质学科范式做指导,需要进行学科范式变革,接受信息学科范式的指导。相应的,作为智能学科基础理论之一的逻辑学,也需要进行逻辑范式变革,由数理形式逻辑主导变革为由数理辩证逻辑主导。本文阐述了数理形式逻辑和数理辩证逻辑的区别和关系,确认两者是对立不充分的统一体,具有相互补充、各司其职的关系,本文提出的泛逻辑学,可以在数理形式逻辑的基础上,逐步把它拓展成为数理辩证逻辑。因为数理形式逻辑(标准逻辑、刚性逻辑)是全面受到“非此即彼性”约束的理想化的基本逻辑,而数理辩证逻辑是面向现实世界的具有“亦此亦彼性”、甚至“非此非彼性”的高级逻辑,基本逻辑是高级逻辑的一个特例,如同代数是微积分的特例一样。泛逻辑的使命就是在基本逻辑基础上,逐步放开某些逻辑因素的“非此非彼性”,引入“亦此亦彼性”、甚至“非此非彼性”,形成各种不同的非标准逻辑或超协调逻辑,这些逻辑都是整个数理辩证逻辑的组成部分。而且研究证明,柔性命题逻辑算子与柔性神经元可以存在一体两面的等价关系,神经网络可以不是黑箱,而具有明确的逻辑含义。最后指出,数理辩证逻辑是一个开放的逻辑体系,其边界可以不断扩张,没有上限。泛逻辑可以全面无死角地支撑智能学科范式变革的需要。 展开更多
关键词 形式逻辑 辩证逻辑 博弈逻辑 数理逻辑 人工智能 泛逻辑学 统一理论 柔性逻辑
在线阅读 下载PDF
基于多访问控制的智能合约重入攻击防御方法
17
作者 陈虹 谢金彤 +2 位作者 金海波 武聪 马博宇 《信息安全研究》 北大核心 2025年第4期333-342,共10页
为解决智能合约在处理外部合约调用时存在漏洞而导致的重入攻击问题,提出一种基于多访问控制(multiple access controls,MAC)的智能合约重入攻击防御方法.通过采用多访问控制仅允许合约所有者进行调用,并防止函数在执行期间对同一事务... 为解决智能合约在处理外部合约调用时存在漏洞而导致的重入攻击问题,提出一种基于多访问控制(multiple access controls,MAC)的智能合约重入攻击防御方法.通过采用多访问控制仅允许合约所有者进行调用,并防止函数在执行期间对同一事务重复进入;同时修改状态变量存储安全合约地址并更新合约状态.最后使用形式化验证运行经过防御后的智能合约.以银行存取款交易模型为例验证该方法.实验结果表明,采用该防御方法的智能合约能够有效解决外部合约调用时存在的重入攻击问题.相较于其他主流防御方法具有较高的可行性、有效性、逻辑正确性和易理解性;相较于未进行防御的合约,防御后的智能合约在等效内存使用量上减少了64.51%,同时缩短了运行时间. 展开更多
关键词 智能合约 多访问控制 重入攻击 形式化验证 银行存取款
在线阅读 下载PDF
公开数据适用商业秘密保护的可能及实现
18
作者 陈兵 林逸玲 《知识产权》 北大核心 2025年第6期62-76,共15页
当前,法律层面数据权益归属制度的缺失,加之《反不正当竞争法》“一般条款”自由裁量空间大,实践中仍面临较大的不明确性,导致数据持有者公开数据的意愿低,很大程度上阻碍了数据开放流通。有必要寻求以商业秘密保护公开数据,规制和督促... 当前,法律层面数据权益归属制度的缺失,加之《反不正当竞争法》“一般条款”自由裁量空间大,实践中仍面临较大的不明确性,导致数据持有者公开数据的意愿低,很大程度上阻碍了数据开放流通。有必要寻求以商业秘密保护公开数据,规制和督促“非法获取”行为向“合法使用”行为转变,提升数据持有者公开数据的意愿。实践中公开数据的“公开性”表征使其作为商业秘密的“秘密性”要求之认定面临挑战,公开数据的商业秘密权利主体也有待商榷,将算法作为商业秘密保护的理论基础与具体制度仍不充足,使得公开数据的商业秘密保护存在困境。基于此,有必要适当扩大公开数据秘密性的认定基准,尝试建立有限共享秘密性,鼓励数据持有人依法公开其原始数据、数据集合、数据产品以换取数据使用赋能与增值的效用,并明确其作为商业秘密权利主体享有或(和)共享其数据权益。 展开更多
关键词 公开数据 商业秘密 形式公开性 实质秘密性 共享型商业秘密
在线阅读 下载PDF
实质主义宪法观视角下的检察权结构关系新论
19
作者 赵丹 《政治与法律》 北大核心 2025年第4期96-109,共14页
面对司法体制改革背景下检察权能的扩展,不少学者对不同检察权能之间的关系进行新的阐释以回应实践需求。大多数学者持形式主义宪法观的理念,从我国《宪法》第134条规定的“人民检察院是国家的法律监督机关”这一定性出发,认为所有检察... 面对司法体制改革背景下检察权能的扩展,不少学者对不同检察权能之间的关系进行新的阐释以回应实践需求。大多数学者持形式主义宪法观的理念,从我国《宪法》第134条规定的“人民检察院是国家的法律监督机关”这一定性出发,认为所有检察权均以法律监督职能为核心。这种理解局限于宪法文本,对中国检察制度长期发展、渐进改进、内生性演化的实际观照不足,存在逻辑缺漏,还会导致“法律监督”内涵的不当泛化,并不利于各项检察权的依法有效行使。实质主义宪法观视角下的检察权结构关系论认为,“法律监督机关”这一国家机关定性不能决定检察权的属性或主要功能,不同种类的检察权之间地位平等,非法律监督性质的检察权之行使尽管会产生权力监督的客观效果,但有其自身独立的功能与价值。检察权子权力之间的内部分工以及检察权与其他国家权力关系的理顺均应遵循功能适当原则而非法律监督原则。 展开更多
关键词 法律监督机关 检察权 形式宪法 实质宪法 功能适当
在线阅读 下载PDF
双重领导力网络互动对员工安全创新行为的跨层次影响研究
20
作者 王丹 宋远志 《中国安全生产科学技术》 北大核心 2025年第3期80-86,共7页
为探讨双重领导力网络互动对安全创新行为的作用路径,基于权变领导理论和网络嵌入理论,构建以群体心理安全和个体吸收能力作为中介变量的链式跨层模型。借鉴成熟量表对621名高危工作者展开问卷调研,采用Mplus 8.3和Bootstrap方法分析并... 为探讨双重领导力网络互动对安全创新行为的作用路径,基于权变领导理论和网络嵌入理论,构建以群体心理安全和个体吸收能力作为中介变量的链式跨层模型。借鉴成熟量表对621名高危工作者展开问卷调研,采用Mplus 8.3和Bootstrap方法分析并验证假设模型。研究结果表明:双重领导力网络互动对员工安全创新行为有直接正向的影响效果;群体心理安全在双重领导力网络互动与安全创新行为之间起到跨层中介作用;个体吸收能力在双重领导力网络互动与安全创新行为之间同样起到跨层中介作用;群体心理安全正向促进个体吸收能力,并且双重领导力网络互动能够通过心理安全和吸收能力的跨层中介作用于安全创新行为。研究结果可为高危企业管理者对员工安全创新的指导提供新的领导思路。 展开更多
关键词 双重领导 安全创新 正式网络 非正式网络 吸收能力 心理安全
在线阅读 下载PDF
上一页 1 2 209 下一页 到第
使用帮助 返回顶部