期刊文献+
共找到10篇文章
< 1 >
每页显示 20 50 100
被忽视的突袭性裁判:刑事诉讼中证据构造径行变更的程序规制
1
作者 唐云阳 《太原理工大学学报(社会科学版)》 2024年第1期71-79,共9页
证据是定罪量刑之基础。定罪量刑上的裁判突袭,实质指向证据构造的违法变更,两者相比,后者并未得到立法规范及理论研究的重视。证据构造突袭裁判的识别标准具有层次性,区分为诉外裁判和公诉事实同一范围内的裁判变更。在基本类型上,总... 证据是定罪量刑之基础。定罪量刑上的裁判突袭,实质指向证据构造的违法变更,两者相比,后者并未得到立法规范及理论研究的重视。证据构造突袭裁判的识别标准具有层次性,区分为诉外裁判和公诉事实同一范围内的裁判变更。在基本类型上,总体存在证据构造不当补强、脱离争点变更及重复评价等情形。对证据构造变更的出入情形应否践行“变更程序”的标准在于是否影响被告防御权之行使。证据构造突袭裁判的生成逻辑具有复杂性,包括但不限于职权主义真实观、刑事诉讼法特殊构造、防范前提要件不足及程序性制裁未彰等。法院证据构造突袭裁判的防范重点应着眼于程序边界的明确控制,主要从规制方式选择、告知防御程序确立、权利保障程序完善,以及程序制裁后果明确四个维度来厘定我国证据构造变更的程序边界。 展开更多
关键词 证据构造 突袭裁判 告知防御 不利于被告人 程序边界
下载PDF
中文弹出式窗口的边界管理
2
作者 姜泳江 《中国计算机用户》 1991年第10期20-21,共2页
关键词 计算机 窗口 弹出式 管理 边界程序
下载PDF
防止缓冲区溢出攻击的增强编译技术分析 被引量:4
3
作者 潘亦 吴春梅 武港山 《计算机科学》 CSCD 北大核心 2005年第3期156-158,共3页
通过增强传统的编译处理技术来防止缓冲区溢出攻击是一种常用有效的方法。本文比较了几个典型的应用这一技术来防卫缓冲区溢出攻击的常用工具的原理与性能,比较的结果可以指导软件开发者根据自己的安全需求来选择合适的工具来防止缓冲... 通过增强传统的编译处理技术来防止缓冲区溢出攻击是一种常用有效的方法。本文比较了几个典型的应用这一技术来防卫缓冲区溢出攻击的常用工具的原理与性能,比较的结果可以指导软件开发者根据自己的安全需求来选择合适的工具来防止缓冲区溢出攻击,以达到提高软件安全性能的目的,也有助于正在研究缓冲区溢出攻击防范技术的工作者提出更加有效而安全的防止缓冲区溢出攻击工具。 展开更多
关键词 缓冲区 溢出攻 增强编译技术 网络安全 C程序边界检查
下载PDF
渤南油田义176区块三维应力场智能预测 被引量:3
4
作者 徐珂 汪必峰 +1 位作者 付晓龙 石达 《西南石油大学学报(自然科学版)》 CAS CSCD 北大核心 2019年第5期75-84,共10页
为提高应力场数值模拟的运算效率,基于ANSYS中的APDL语言编译自适应边界程序,将边界条件的人为调整过程自动化,并借助Petrel与ANSYS的联合建模技术以及三维非均质岩石力学场的构建技术,开展了渤南油田176区块三维应力场的智能预测。结... 为提高应力场数值模拟的运算效率,基于ANSYS中的APDL语言编译自适应边界程序,将边界条件的人为调整过程自动化,并借助Petrel与ANSYS的联合建模技术以及三维非均质岩石力学场的构建技术,开展了渤南油田176区块三维应力场的智能预测。结果表明,自适应边界程序大幅且有效地缩短了人工反复尝试边界条件的时间,提高了应力场模拟的效率,且保证了预测精度。义176区块现今最大水平主应力方向总体呈近EW-SEE向,边界断层对应力方向影响较为显著,引起了约5 °~10 °的偏转。现今地应力数值变化较大,离散性高,平面上呈带状展布,具有北高南低的分布趋势,在目的层范围内属于Ia类地应力,岩石的非均质性是造成应力数值差异的主要原因。在义176区块中部存在一片条带状展布的“应力甜点”,可以作为井位部署和压裂作业的优势区域。 展开更多
关键词 三维应力场 智能预测 自适应边界程序 义176区块 渤南油田
下载PDF
基于前后端关联性分析的固件漏洞静态定位方法 被引量:3
5
作者 刘翎翔 潘祖烈 +1 位作者 李阳 李宗超 《信息网络安全》 CSCD 北大核心 2022年第8期44-54,共11页
目前大多数物联网设备通过Web服务接口进行远程管理,利用Web服务漏洞发起攻击成为当前物联网设备安全面临的主要威胁之一。文章提出一种针对物联网设备Web服务漏洞的静态挖掘方法,首先基于前端脚本文件与边界二进制程序之间的关联性特征... 目前大多数物联网设备通过Web服务接口进行远程管理,利用Web服务漏洞发起攻击成为当前物联网设备安全面临的主要威胁之一。文章提出一种针对物联网设备Web服务漏洞的静态挖掘方法,首先基于前端脚本文件与边界二进制程序之间的关联性特征,通过对前后端文件进行关联分析,识别固件中的边界二进制程序,确定在边界二进制程序中针对Web输入数据的起始处理位置。然后利用污点分析技术判断输入数据是否会被漏洞触发函数处理,定位程序中的危险函数区域。最后实现固件漏洞静态方法的原型系统FBIR,并对10款固件进行实验,通过定位危险函数的方式验证45个已知漏洞并挖掘出12个零日漏洞。在漏报率只有14.9%的基础上,与传统人工分析的方法对比,文章所提方法将程序函数分析范围平均缩小了86%。 展开更多
关键词 固件漏洞分析 关联性分析 边界二进制程序
下载PDF
城乡融合视野下农村土地征收的法律规制研究 被引量:1
6
作者 袁文 《农业经济》 北大核心 2021年第4期103-105,共3页
城乡融合发展加速了人口、资源等要素的流动,农村土地的用途更加多样化。受城乡二元体制的影响,城乡土地市场同样具有二元性,农村土地市场化水平相对较低,为改善这一现状,最为根本的是完善相关立法。虽然新土地法尝试推进农村土地征收... 城乡融合发展加速了人口、资源等要素的流动,农村土地的用途更加多样化。受城乡二元体制的影响,城乡土地市场同样具有二元性,农村土地市场化水平相对较低,为改善这一现状,最为根本的是完善相关立法。虽然新土地法尝试推进农村土地征收的规范化运行,但现行法律依然面临严谨性、细致性、操作性方面的问题,农村土地征收的法律规制尚需进一步完善。 展开更多
关键词 城乡融合 二元土地市场 农村土地征收 征地边界程序
下载PDF
Computation of Ship Hydrodynamic Interaction Forces in Restricted Waters using Potential Theory 被引量:8
7
作者 Xueqian Zhou Serge Sutulo C. Guedes Soares 《Journal of Marine Science and Application》 2012年第3期265-275,共11页
A computer code based on the double-body potential flow model and the classic source panel method has been developed to study various problems of hydrodynamic interaction between ships and other objects with solid bou... A computer code based on the double-body potential flow model and the classic source panel method has been developed to study various problems of hydrodynamic interaction between ships and other objects with solid boundaries including the seabed. A peculiarity of the proposed implementation is the application of the so-called "moving-patch" method for simulating steady boundaries of large extensions. The method is based on an assumption that at any moment just the part of the boundary ("moving patch") which lies close to the interacting ship is significant for the near-field interaction. For a specific case of the fiat bottom, comparative computations were performed to determine optimal dimensions of the patch and of the constituting panels based on the trade-off between acceptable accuracy and reasonable efficiency. The method was applied to estimate the sway force on a ship hull moving obliquely across a dredged channel. The method was validated for a case of ship-to-ship interaction when tank data were available. This study also contains a description of a newly developed spline approximation algorithm necessary for creating consistent discretizations of ship hulls with various degrees of refinement. 展开更多
关键词 ship hydrodynamic interaction restricted waters moving panelled patch method potential theory
下载PDF
粘弹性人工边界的虚位移原理 被引量:12
8
作者 马怀发 王立涛 陈厚群 《工程力学》 EI CSCD 北大核心 2013年第1期168-174,共7页
该文将结构及其近场地基作为动力平衡系统,将在人工边界上的波动分解为自由波和散射波,并将输入地震波动转化为作用于人工边界上的等效荷载以实现波动输入。基于以上假设通过分析结构及其近场地基系统的动力平衡关系和自由场的传播机制... 该文将结构及其近场地基作为动力平衡系统,将在人工边界上的波动分解为自由波和散射波,并将输入地震波动转化为作用于人工边界上的等效荷载以实现波动输入。基于以上假设通过分析结构及其近场地基系统的动力平衡关系和自由场的传播机制,给出了自由场的位移表达式、速度表达式,以及在人工边界上由自由场产生的等效荷载一般表达形式,最后建立了粘弹性人工边界统一的动力学积分弱解形式,同时基于有限元程序自动生成系统(FEPG)开发了粘弹性边界条件元件程序。经过计算验证:该文建立的具有粘弹性人工边界的动力学问题的积分弱解方程粘弹性边界条件元件程序可靠、正确。利用这些元件程序,在前处理中可像加位移或应力边界条件一样简便快捷地施加粘弹性边界条件。 展开更多
关键词 有限元法 粘弹性人工边界 虚位移原理 粘弹性边界元件程序 半空间自由波场 散射场
原文传递
Some progress in spectral methods Dedicated to Professor Shi Zhong-Ci on the Occasion of his 80th Birthday 被引量:3
9
作者 GUO BenYu 《Science China Mathematics》 SCIE 2013年第12期2411-2438,共28页
In this paper, we review some results on the spectral methods. We first consider the Jacobi spectral method and the generalized Jacobi spectral method for various problems, including degenerated and singular different... In this paper, we review some results on the spectral methods. We first consider the Jacobi spectral method and the generalized Jacobi spectral method for various problems, including degenerated and singular differential equations. Then we present the generalized Jacobi quasi-orthogonal approximation and its applica- tions to the spectral element methods for high order problems with mixed inhomogeneous boundary conditions. We also discuss the related spectral methods for non-rectangular domains and the irrational spectral methods for unbounded domains. Next, we consider the Hermite spectral method and the generalized Hermite spec- tral method with their applications. Finally, we consider the Laguerre spectral method and the generalized Laguerre spectral method for many problems defined on unbounded domains. We also present the generalized Laguerre quasi-orthogonal approximation and its applications to certain problems of non-standard type and exterior problems. 展开更多
关键词 JACOBI Hermite and Laguerre spectral approximations Jacobi and Laguerre quasi-orthogonalapproximations spectral and spectral element methods degenerated and singular problems problems on non-rectangular and unbounded domains problems of non-standard type exterior problems
原文传递
Computational Method for Prestress Developing of Tensile Cable-Net Structures
10
作者 赵俊钊 陈务军 付功义 《Journal of Shanghai Jiaotong university(Science)》 EI 2013年第2期197-204,共8页
The prestress developing of tensile cable-net structures is a state transforming process from the initial unstressed state to the final prestressed state, and it is rather complicated because the elastic deformation i... The prestress developing of tensile cable-net structures is a state transforming process from the initial unstressed state to the final prestressed state, and it is rather complicated because the elastic deformation is normally coupled with the kinematic mechanism movement. Firstly, the basic equations of prestress developing by moving boundary joint are derived from the total potential energy equation. Secondly, the presumed initial tension is proposed to impose into the elements and avoid the singularity of global stiffness matrix. And the self-stress mode which is calculated from the equilibrium matrix with singular vMue decomposition is employed as basically presumed initial tension. By applying boundary movement increment, an iterative computation is developed to calculate the updating geometric configuration and tension evolution. Finally, the MATLAB program is coded from the presented method, and numerical examples indicate that this computational method is effective and has theoretical significance and valuable guide to design and construction of tensile cable-net structure. 展开更多
关键词 tensile cable-net structures prestress developing presumed initial tension self-stress mode singular value decomposition
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部