期刊文献+
共找到69,442篇文章
< 1 2 250 >
每页显示 20 50 100
适用2000 HSC CODE的高速船特点及总体设计要求
1
作者 张伟 曲宁宁 段玉龙 《船舶》 2024年第3期60-67,共8页
高速船由于其航速高、质量轻、营运特殊等特点,需要适用的规则与常规船型不同。2000年的《国际高速船安全规则》(简称2000 HSC CODE)作为较完备的适用于高速船的规则,被各海事主管机关广泛接受作为高速船的设计依据。文中简要介绍2000 H... 高速船由于其航速高、质量轻、营运特殊等特点,需要适用的规则与常规船型不同。2000年的《国际高速船安全规则》(简称2000 HSC CODE)作为较完备的适用于高速船的规则,被各海事主管机关广泛接受作为高速船的设计依据。文中简要介绍2000 HSC CODE的安全原理,以及该规则对各海事主管机关的适用程度;然后通过国内外高速船事故来分析该类船的事故类型及致因特点,并进一步介绍了适用高速船的风险控制及设计措施,包括营运限制、破舱稳性、防火要求和撤离分析等总体设计要求,以供理解高速船的安全原理并指导其设计。 展开更多
关键词 国际高速船安全规则 安全原理 高速船事故 营运限制 船底破损 阻火分隔
下载PDF
CodeScore-R:用于评估代码合成功能准确性的自动化鲁棒指标
2
作者 杨光 周宇 +1 位作者 陈翔 张翔宇 《计算机研究与发展》 EI CSCD 北大核心 2024年第2期291-306,共16页
评估指标在代码合成领域中至关重要.常用的代码评估指标可以分为3种类型:基于匹配、基于语义和基于执行.其中,基于执行的Pass@k指标通过执行测试用例,能够准确判断预测代码的功能准确性.然而,该指标的计算需要大量开销,因此亟需设计一... 评估指标在代码合成领域中至关重要.常用的代码评估指标可以分为3种类型:基于匹配、基于语义和基于执行.其中,基于执行的Pass@k指标通过执行测试用例,能够准确判断预测代码的功能准确性.然而,该指标的计算需要大量开销,因此亟需设计一种自动化评估指标,在无需测试用例时仍可评估预测代码的功能准确性.此外,好的评估指标应当具有鲁棒性,即预测代码发生微小改变时,评估指标仍能保持其准确性.为此,提出了一种基于UniXcoder和对比学习的自动化鲁棒指标CodeScore-R,用于评估代码合成的功能准确性. CodeScore-R采用草图化处理、语法等价转换和变异测试等技术手段,有效减轻了标识符、语法结构和运算符对评估结果的干扰.实验结果表明,在Java和Python语言上的代码生成和迁移任务中,CodeScore-R的表现优于其他无需测试用例的评估指标,且更接近Pass@k指标,并具有更强的鲁棒性. 展开更多
关键词 代码合成评估指标 功能准确性 鲁棒性 代码合成 神经网络
下载PDF
Enhancing Security in QR Code Technology Using AI: Exploration and Mitigation Strategies
3
作者 Saranya Vaithilingam Santhosh Aradhya Mohan Shankar 《International Journal of Intelligence Science》 2024年第2期49-57,共9页
The widespread adoption of QR codes has revolutionized various industries, streamlined transactions and improved inventory management. However, this increased reliance on QR code technology also exposes it to potentia... The widespread adoption of QR codes has revolutionized various industries, streamlined transactions and improved inventory management. However, this increased reliance on QR code technology also exposes it to potential security risks that malicious actors can exploit. QR code Phishing, or “Quishing”, is a type of phishing attack that leverages QR codes to deceive individuals into visiting malicious websites or downloading harmful software. These attacks can be particularly effective due to the growing popularity and trust in QR codes. This paper examines the importance of enhancing the security of QR codes through the utilization of artificial intelligence (AI). The abstract investigates the integration of AI methods for identifying and mitigating security threats associated with QR code usage. By assessing the current state of QR code security and evaluating the effectiveness of AI-driven solutions, this research aims to propose comprehensive strategies for strengthening QR code technology’s resilience. The study contributes to discussions on secure data encoding and retrieval, providing valuable insights into the evolving synergy between QR codes and AI for the advancement of secure digital communication. 展开更多
关键词 Artificial Intelligence Cyber Security QR codes Quishing AI Framework Machine Learning AI-Enhanced Security
下载PDF
Script-Based GPU-Ready ELM Development for Continuous Code Integration
4
作者 Peter Schwartz Dali Wang +1 位作者 Fengming Yuan Peter Thornton 《Journal of Computer and Communications》 2024年第5期102-106,共5页
Designing and optimizing complex scientific code for new computing architectures is a challenging task. To address this issue in the E3SM land model (ELM) development, we developed a software tool called SPEL, which f... Designing and optimizing complex scientific code for new computing architectures is a challenging task. To address this issue in the E3SM land model (ELM) development, we developed a software tool called SPEL, which facilitates code generation, verification, and performance tuning using compiler directives within a Function Unit Test framework. In this paper, we present a SPEL extension that leverages the version control system (e.g., Git) to autonomous code generation and demonstrate its application to continuous code integration and development of the ELM software system. The study can benefit the scientific software development community. 展开更多
关键词 E3SM Land Model GPU code Porting Continuous code Integration SPEL Scientific Software Refactorization
下载PDF
On Some Properties of Graph of Prefix Code
5
作者 Nikolai I. Krainiukov Mikhail E. Abramyan Boris F. Melnikov 《Journal of Applied Mathematics and Physics》 2024年第4期1571-1581,共11页
We investigate decomposition of codes and finite languages. A prime decomposition is a decomposition of a code or languages into a concatenation of nontrivial prime codes or languages. A code is prime if it cannot be ... We investigate decomposition of codes and finite languages. A prime decomposition is a decomposition of a code or languages into a concatenation of nontrivial prime codes or languages. A code is prime if it cannot be decomposed into at least two nontrivial codes as the same for the languages. In the paper, a linear time algorithm is designed, which finds the prime decomposition. If codes or finite languages are presented as given by its minimal deterministic automaton, then from the point of view of abstract algebra and graph theory, this automaton has special properties. The study was conducted using system for computational Discrete Algebra GAP. . 展开更多
关键词 Finite Languages Minimal Deterministic Automata CONCATENATION codeS Graph of Automaton Free Algebra
下载PDF
以CodeBERT为基础的代码分类研究 被引量:2
6
作者 成思强 刘建勋 +1 位作者 彭珍连 曹奔 《计算机工程与应用》 CSCD 北大核心 2023年第24期277-288,共12页
随着代码大数据的不断发展,代码库中的源代码数量逐渐增长。如何快速有效地对代码库中的代码进行分类管理,对软件工程的发展具有十分重要的意义。第一次将预训练模型引入代码分类研究,并提出了一种优化的代码分类方法 CBBCC。CBBCC采用w... 随着代码大数据的不断发展,代码库中的源代码数量逐渐增长。如何快速有效地对代码库中的代码进行分类管理,对软件工程的发展具有十分重要的意义。第一次将预训练模型引入代码分类研究,并提出了一种优化的代码分类方法 CBBCC。CBBCC采用wordpiece对源代码进行数据预处理。采用CodeBERT预训练模型对源代码进行特征表征。在预训练模型的基础上进行分类任务的微调。为了验证所提模型的有效性,在POJ104数据集上进行实验分析。实验结果表明,相对于7种基准模型,CBBCC模型各项分类指标都在98%以上。其中准确率上比目前最优模型提高了1.1个百分点,达到了POJ104代码分类数据集上分类任务的SOTA值。CBBCC能有效地对代码进行标注,提高对开源社区源代码的管理,促进软件工程领域的发展。 展开更多
关键词 代码分类 代码表征 codeBERT 迁移训练 代码片段
下载PDF
基于改进实数编码遗传算法的神经网络超参数优化 被引量:1
7
作者 佘维 李阳 +2 位作者 钟李红 孔德锋 田钊 《计算机应用》 CSCD 北大核心 2024年第3期671-676,共6页
针对神经网络超参数优化效果差、容易陷入次优解和优化效率低的问题,提出一种基于改进实数编码遗传算法(IRCGA)的深度神经网络超参数优化算法——IRCGA-DNN(IRCGA for Deep Neural Network)。首先,采用实数编码方式表示超参数的取值,使... 针对神经网络超参数优化效果差、容易陷入次优解和优化效率低的问题,提出一种基于改进实数编码遗传算法(IRCGA)的深度神经网络超参数优化算法——IRCGA-DNN(IRCGA for Deep Neural Network)。首先,采用实数编码方式表示超参数的取值,使超参数的搜索空间更灵活;然后,引入分层比例选择算子增加解集多样性;最后,分别设计了改进的单点交叉和变异算子,以更全面地探索超参数空间,提高优化算法的效率和质量。基于两个仿真数据集,验证IRCGA-DNN的毁伤效果预测性能和收敛效率。实验结果表明,在两个数据集上,与GA-DNN(Genetic Algorithm for Deep Neural Network)相比,所提算法的收敛迭代次数分别减少了8.7%和13.6%,均方误差(MSE)相差不大;与IGA-DNN(Improved GA-DNN)相比,IRCGA-DNN的收敛迭代次数分别减少了22.2%和13.6%。实验结果表明,所提算法收敛速度和预测性能均更优,能有效处理神经网络超参数优化问题。 展开更多
关键词 实数编码 遗传算法 超参数优化 进化神经网络 机器学习
下载PDF
Construction and Weight Distributions of Binary Linear Codes Based on Deep Holes
8
作者 Yong Yang Wenwei Qiu 《Applied Mathematics》 2023年第10期684-695,共12页
Deep holes are very important in the decoding of generalized RS codes, and deep holes of RS codes have been widely studied, but there are few works on constructing general linear codes based on deep holes. Therefore, ... Deep holes are very important in the decoding of generalized RS codes, and deep holes of RS codes have been widely studied, but there are few works on constructing general linear codes based on deep holes. Therefore, we consider constructing binary linear codes by combining deep holes with binary BCH codes. In this article, we consider the 2-error-correcting binary primitive BCH codes and the extended codes to construct new binary linear codes by combining them with deep holes, respectively. Furthermore, three classes of binary linear codes are constructed, and then we determine the parameters and the weight distributions of these new binary linear codes. 展开更多
关键词 Linear codes MacWilliams Equations Weight Distribution Dual codes Deep Holes Covering Radius
下载PDF
A Personalized Digital Code from Unique Genome Fingerprinting Pattern for Use in Identification and Application on Blockchain
9
作者 Isaac Kise Lee 《Computational Molecular Bioscience》 CAS 2023年第1期1-20,共20页
With over 10 million points of genetic variation from person to person, every individual’s genome is unique and provides a highly reliable form of identification. This is because the genetic code is specific to each ... With over 10 million points of genetic variation from person to person, every individual’s genome is unique and provides a highly reliable form of identification. This is because the genetic code is specific to each individual and does not change over time. Genetic information has been used to identify individuals in a variety of contexts, such as criminal investigations, paternity tests, and medical research. In this study, each individual’s genetic makeup has been formatted to create a secure, unique code that incorporates various elements, such as species, gender, and the genetic identification code itself. The combinations of markers required for this code have been derived from common single nucleotide polymorphisms (SNPs), points of variation found in the human genome. The final output is in the form of a 24 numerical code with each number having three possible combinations. The custom code can then be utilized to create various modes of identification on the decentralized blockchain network as well as personalized services and products that offer users a novel way to uniquely identify themselves in ways that were not possible before. 展开更多
关键词 Genomic Fingerprint Digital code SNP’s Auxiliary code Marker Selection Blockchain WEB3.0 Decentralized Identification (DID)
下载PDF
基于直接CAD几何模型的辐射场生成技术研究及应用 被引量:1
10
作者 王立鹏 曹璐 +5 位作者 余小任 张信一 姜夺玉 胡田亮 李达 陈立新 《现代应用物理》 2024年第3期14-19,44,共7页
介绍了基于直接CAD几何模型的3维辐射场生成技术及其应用情况。在大规模并行非结构网格蒙特卡罗粒子输运方法的基础上,结合在线地图、SolidWorks等直接CAD几何模型,提出了1种适用于电子元器件、复杂厂房几何和大区域城市环境的高效辐射... 介绍了基于直接CAD几何模型的3维辐射场生成技术及其应用情况。在大规模并行非结构网格蒙特卡罗粒子输运方法的基础上,结合在线地图、SolidWorks等直接CAD几何模型,提出了1种适用于电子元器件、复杂厂房几何和大区域城市环境的高效辐射场生成模拟计算方法。并基于该技术实现了安卓设备电路板辐射场、复杂放射源迷道辐射环境和核辐射在百米量级城市环境建筑物区域的数值模拟,获取了全空间的辐射场中子注量率和能量分布信息,验证了该项技术在电子元器件辐照效应、放射源屏蔽设计和核辐射瞬发效应仿真应用中的可行性。 展开更多
关键词 CAD 辐射场 蒙特卡罗 非结构网格 粒子输运
下载PDF
LncRNA ZEB1-AS1和LncRNA SOX2OT在糖尿病肾病患者中的表达及与肾功能的相关性研究 被引量:1
11
作者 何德娇 凌娜 +3 位作者 李正翔 乔玲 张淼淼 夏露 《疑难病杂志》 CAS 2024年第7期809-813,共5页
目的探究长链非编码RNA锌指E盒结合同源盒蛋白1反义链1(LncRNA ZEB1-AS1)和长链非编码RNA性别决定相关基因簇2重叠转录本(LncRNA SOX2OT)在糖尿病肾病(DN)患者中的表达及与肾功能的相关性。方法选取于2021年11月—2023年12月在武汉大学... 目的探究长链非编码RNA锌指E盒结合同源盒蛋白1反义链1(LncRNA ZEB1-AS1)和长链非编码RNA性别决定相关基因簇2重叠转录本(LncRNA SOX2OT)在糖尿病肾病(DN)患者中的表达及与肾功能的相关性。方法选取于2021年11月—2023年12月在武汉大学人民医院肾内科收治的DN患者106例为DN组,并根据24 h尿蛋白定量(24 h Upro)水平分为正常蛋白尿亚组43例(<30 mg)、微量蛋白尿亚组39例(30~<300 mg)、大量蛋白尿亚组24例(≥300 mg),另选取同期医院单纯糖尿病患者106例作对照组,检测患者血清LncRNA ZEB1-AS1、LncRNA SOX2OT水平;Pearson法分析LncRNA ZEB1-AS1和LncRNA SOX2OT与肾功能指标的相关性;Logistic分析影响DN患者肾功能损伤的因素。结果DN组血清LncRNA ZEB1-AS1、LncRNA SOX2OT水平低于对照组(t=11.471、10.257,P均<0.001)。血清LncRNA ZEB1-AS1、LncRNA SOX2OT比较,正常尿蛋白亚组>微量尿蛋白亚组>大量尿蛋白亚组(F=58.720、117.722,P均<0.001),BUN、SCr、UA水平比较,正常尿蛋白亚组<微量尿蛋白亚组<大量尿蛋白亚组,差异均有统计学意义(F=122.493、595.589、53.178,P均<0.001);LncRNA ZEB1-AS1、LncRNA SOX2OT分别与BUN、SCr、UA呈负相关(r=-0.487、-0.498、-0.521,-0.527、-0.515、-0.534,P均<0.001);Logistic回归分析显示,糖尿病病程长及高BUN、SCr、UA水平是影响DN患者肾功能损伤的危险因素[OR(95%CI)=1.672(1.128~2.479)、2.839(1.534~5.253)、2.754(1.512~5.017)、2.693(1.464~4.954)],高LncRNA ZEB1-AS1、LncRNA SOX2OT是保护因素[OR(95%CI)=0.875(0.798~0.959)、0.898(0.832~0.969)]。结论血清LncRNA ZEB1-AS1、LncRNA SOX2OT水平与DN患者肾功能有关,可能是评估DN患者肾功能的潜在指标。 展开更多
关键词 糖尿病肾病 长链非编码RNA锌指E盒结合同源盒蛋白1反义链1 长链非编码RNA性别决定相关基因簇2重叠转录本 肾功能 相关性
下载PDF
基于CAN通信实现MBD代码下载的DSP Bootloader开发 被引量:1
12
作者 郭毅锋 郭世成 +1 位作者 黄丽敏 张栗 《制造技术与机床》 北大核心 2024年第3期57-63,68,共8页
为了实现DSP嵌入式系统在实际应用中便捷下载MBD(model-based design)代码的需求,文章设计了一种基于CAN通信实现MBD代码下载的Bootloader方案。以TMS320F28335为例,通过对MBD代码的结构进行分析,设计了Boot程序与MBD程序的内存划分方案... 为了实现DSP嵌入式系统在实际应用中便捷下载MBD(model-based design)代码的需求,文章设计了一种基于CAN通信实现MBD代码下载的Bootloader方案。以TMS320F28335为例,通过对MBD代码的结构进行分析,设计了Boot程序与MBD程序的内存划分方案,确保程序下载的有效性和稳定性;开发了相应的Boot程序和上位机程序,详细介绍了Bootloader的实现流程,并对关键步骤函数进行了分析与解释,利用CAN通信实现了程序的下载。实验结果表明,该方法稳定可靠且具有实用性,为DSP嵌入式系统在实际应用中的MBD代码下载提供了一种可行且高效的解决方案。 展开更多
关键词 TMS320F28335 CAN通信 MBD代码下载 BOOTLOADER
下载PDF
基于注意力机制和特征融合的股票预测方法 被引量:1
13
作者 范辉 朱勇丞 李晋江 《山东工商学院学报》 2024年第1期57-68,76,共13页
基于人工智能在金融数据中的应用,提出了一种新的股票预测方法,称为AFG。AFG使用位置编码和时间编码获取股票数据的位置信息和时间信息,然后通过门控循环单元和多头自注意力机制对股票数据分别进行特征提取。在将两类股票特征融合之后,... 基于人工智能在金融数据中的应用,提出了一种新的股票预测方法,称为AFG。AFG使用位置编码和时间编码获取股票数据的位置信息和时间信息,然后通过门控循环单元和多头自注意力机制对股票数据分别进行特征提取。在将两类股票特征融合之后,由全连接层导出最终的股票预测曲线。 展开更多
关键词 股票预测 门控循环单元 多头自注意力机制 位置编码 时间编码
下载PDF
CRC校验码软件生成技术原理分析 被引量:1
14
作者 罗长洲 马梦宇 +1 位作者 李萌 李泽超 《计算机仿真》 2024年第3期158-161,481,共5页
循环冗余校验(Cyclic Redundancy Check,CRC)具有检错能力强,运算简单,易于直接用硬件数字电路实现的特点。在完善CRC校验码生成原理模型的基础上,研究了信息系统传输带CRC校验码数据包的一般过程,提出了三种计算数据包CRC校验码的技术... 循环冗余校验(Cyclic Redundancy Check,CRC)具有检错能力强,运算简单,易于直接用硬件数字电路实现的特点。在完善CRC校验码生成原理模型的基础上,研究了信息系统传输带CRC校验码数据包的一般过程,提出了三种计算数据包CRC校验码的技术方法,在ADI公司DSP软件集成开发仿真测试环境中,设计了一组嵌入式程序,生成了符合ITU组织CRC16 ITU-T V.41标准的CRC校验码码表,分析并总结了CRC校验码码表元素的工程含义和应用方法,研究了两种计算数据包CRC校验码工程实现方法的技术特点,并验证了它们的正确性、一致性和有效性。 展开更多
关键词 信息系统 循环冗余校验 循环冗余码 多项式
下载PDF
PDMS项目阀门Commodity Code软件开发应用
15
作者 邹培轩 《化工设计》 CAS 2023年第4期28-31,1,共5页
本文主要介绍利用PDMS内置PML编程语言进行阀门Commodity Code开发的思路及程序应用效果。
关键词 阀门 PDMS PML COMMODITY code
下载PDF
数字资本主义技术代码视域下功绩主体的自我剥削与自由悖论 被引量:3
16
作者 姜英华 《东北师大学报(哲学社会科学版)》 北大核心 2024年第1期25-32,共8页
数字技术作为数字资本主义的重要基点,既承载了数字生产力的纯粹要素方面,也维持和重塑着数字生产关系。数字资本主义的技术代码表征了数字技术生产力与生产关系、技术需求与社会需求的内聚统一,形塑了数字资本主义下崭新的功绩社会。... 数字技术作为数字资本主义的重要基点,既承载了数字生产力的纯粹要素方面,也维持和重塑着数字生产关系。数字资本主义的技术代码表征了数字技术生产力与生产关系、技术需求与社会需求的内聚统一,形塑了数字资本主义下崭新的功绩社会。功绩社会下,驯化主体被功绩主体所代替,功绩主体将传统的否定禁止和他者剥削翻转为肯定示好和自我剥削,自我剥削打着自我发展、自我实现、自我优化和自我完善的幌子,实际却是自我征服、自我促逼、自我耗散和自我毁灭,由此呈现出自由的功绩主体不自由的悖论景象。对此,我们需要求教和回归马克思历史唯物主义和技术批判的原则方法,透视和掌握数字资本主义的技术代码和技术本质,识破功绩主体自我剥削的不自由真相,分析其深层本质和致因逻辑,并在此基础上阐明一种真正自由的可能的未来方向。 展开更多
关键词 数字资本主义 技术代码 功绩主体 自我剥削 自由辩证法
下载PDF
A Class of New Optimal Ternary Cyclic Codes over F3m with Minimum Distance 4
17
作者 Wenwei Qiu 《Applied Mathematics》 2023年第11期764-772,共9页
As a branch of applied mathematics, coding theory plays an important role. Among them, cyclic codes have attracted much attention because of their good algebraic structure and easy analysis performance. In this paper,... As a branch of applied mathematics, coding theory plays an important role. Among them, cyclic codes have attracted much attention because of their good algebraic structure and easy analysis performance. In this paper, we will study one class of cyclic codes over F<sub>3</sub>. Given the length and dimension, we show that it is optimal by proving its minimum distance is equal to 4, according to the Sphere Packing bound. 展开更多
关键词 sphere packing bound minimal distance Cyclic code
下载PDF
大跨斜拉桥双层桁架主梁施工状态的阻力系数 被引量:1
18
作者 李加武 谢泽恩 +2 位作者 李嘉煜 李宇 赵雪 《湖南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2024年第1期14-23,共10页
针对规范中对大跨径桁架桥的双层主梁阻力系数在取值上的局限,提出一种主梁阻力系数计算方法,以施工阶段节段模型的风洞试验结果为基础,对双层桁架主梁进行模型简化后,使用CFD计算得出其三分力系数.采用不同迎风面特征尺寸,桁架片数以... 针对规范中对大跨径桁架桥的双层主梁阻力系数在取值上的局限,提出一种主梁阻力系数计算方法,以施工阶段节段模型的风洞试验结果为基础,对双层桁架主梁进行模型简化后,使用CFD计算得出其三分力系数.采用不同迎风面特征尺寸,桁架片数以及桁架间距,分析了迎风面特征尺寸对主梁的阻力系数的影响.讨论了桁架间距以及片数不同对主梁的阻力系数的影响趋势.结果表明:迎风面特征高度与特征宽度对主梁阻力系数影响的变化规律并不相同,对此提出以桁架纵高比为变量的双层桁架桥梁主梁的阻力系数拟合公式;当桁架间距较小时,桁架片数对主梁阻力系数无影响,但当桁架间距与桁架高度比值达到3时,桁架片数的变化会对主梁的阻力系数产生较大的影响. 展开更多
关键词 风洞试验 数值模拟 双层桁架梁 三分力系数 规范 计算流体动力学
下载PDF
基于三级编码的智能城市网络安全风险评估体系构建研究 被引量:1
19
作者 吴树芳 高梦蛟 朱杰 《情报杂志》 北大核心 2024年第3期198-206,F0003,共10页
[研究目的]城市的智能化发展为城市建设带来了多元的网络安全风险,这些风险已经成为城市发展中的极大隐患,为有效应对该问题,构建了智能城市网络安全风险评估体系。[研究方法]首先基于计量分析对国内外近十年的相关研究进行整理和可视... [研究目的]城市的智能化发展为城市建设带来了多元的网络安全风险,这些风险已经成为城市发展中的极大隐患,为有效应对该问题,构建了智能城市网络安全风险评估体系。[研究方法]首先基于计量分析对国内外近十年的相关研究进行整理和可视化处理,构建用于评价指标提取的数据集;然后利用扎根理论中的三级编码方法提取智能城市安全风险评估中不同级别的评价指标,并进行编码;最后采用量化分析对指标进行合理性检验和修正,并根据HP-ANP模型进行指标赋权,完成智能城市网络安全风险评估体系的构建。[研究结论]通过对评估体系中影响智能城市网络安全风险要素的关联和重要性分析,提出了智能城市安全建设的对策建议,助力智能城市规避网络安全风险。 展开更多
关键词 智能城市 网络安全风险 三级编码 评价指标 评估体系 文献计量
下载PDF
专门生态环境诉讼制度的法典构造 被引量:3
20
作者 吴勇 郭兰潇 《中国地质大学学报(社会科学版)》 北大核心 2024年第1期35-49,共15页
生态环境纠纷解决是生态文明建设的重要内容,也是环境法典编纂需要考量的重要问题。在环境法典中,有必要根据生态环境责任的特殊性需求、生态环境诉讼的功能承载需求、环境司法的发展需求,系统规定专门生态环境诉讼制度。该制度秉承可... 生态环境纠纷解决是生态文明建设的重要内容,也是环境法典编纂需要考量的重要问题。在环境法典中,有必要根据生态环境责任的特殊性需求、生态环境诉讼的功能承载需求、环境司法的发展需求,系统规定专门生态环境诉讼制度。该制度秉承可持续发展观,充分考量生态环境诉讼理论的新发展和环境司法改革的实践成果,发挥生态环境诉讼制度定分止争、权利维护和公共政策实施的功能。具体而言,专门生态环境诉讼制度的法典构造应遵循能动司法与合作司法运行理念,按照环境司法机构专门化、审理程序综合化、审判制度系统化、公益救济合作化的要求建构。在规则层面,着重考量不同环境诉讼之间的衔接、专门司法机构设置、管辖机制的优化、“多审合一”的实质化、专门证据规则的制定、替代性修复规则的明确、预防性环境公益诉讼的确定、执行合作机制的确立等。 展开更多
关键词 环境法典 生态环境纠纷 生态环境诉讼 专门化
下载PDF
上一页 1 2 250 下一页 到第
使用帮助 返回顶部