期刊文献+
共找到22篇文章
< 1 2 >
每页显示 20 50 100
我国罚金刑空判问题的立法审视
1
作者 杜雄柏 陈立兵 《湘潭大学学报(哲学社会科学版)》 CSSCI 北大核心 2009年第2期65-68,共4页
在我国,罚金刑空判问题的普遍存在严重地削弱了司法的权威、损害了司法的公平与正义。罚金刑空判问题产生的立法原因在于:一是设定的裁量原则不够合理,二是规定的适用方式过于呆板,三是设计的执行制度比较粗疏。因而,应当从拓展裁量原... 在我国,罚金刑空判问题的普遍存在严重地削弱了司法的权威、损害了司法的公平与正义。罚金刑空判问题产生的立法原因在于:一是设定的裁量原则不够合理,二是规定的适用方式过于呆板,三是设计的执行制度比较粗疏。因而,应当从拓展裁量原则、修改适用方式和细化执行制度等几个方面完善其立法。 展开更多
关键词 罚金刑 空判 立法缺陷
下载PDF
财产刑空判问题初探 被引量:2
2
作者 岳修新 《平原大学学报》 2003年第3期92-93,共2页
财产刑空判影响人民法院的公信力和法律的尊严,本文从加大查缴财产的力度方面进行了一定探讨.
关键词 刑法 财产刑 空判 中国 刑事诉讼法
下载PDF
责令退赔空判现象实证研究——以L市两级法院刑事判决为中心的考察 被引量:15
3
作者 袁辉 《法律适用》 CSSCI 北大核心 2015年第1期88-92,共5页
责令退赔制度是被害人权利救济的重要渠道,但司法实践中却存在严重的"空判"现象,且长期被实务界和学界所忽视,必须受到认真对待。本文以实证研究为进路,首先定量描述了责令退赔"空判"的司法现状,将其归纳为五种表... 责令退赔制度是被害人权利救济的重要渠道,但司法实践中却存在严重的"空判"现象,且长期被实务界和学界所忽视,必须受到认真对待。本文以实证研究为进路,首先定量描述了责令退赔"空判"的司法现状,将其归纳为五种表现形式;其次剖析了制度失效的现实成因,包括立法缺陷、经济理性和利益驱动等;进而通过理念反思,重构了责令退赔的基础观念;最后基于制度创新,提出了对相关法律障碍、经济障碍、思想障碍和利益障碍的破解路径,最终激活责令退赔制度。 展开更多
关键词 责令退赔 空判 实证研究
原文传递
刑事附带民事赔偿案件“空判”现状与破解路径 被引量:4
4
作者 何刚 王建荣 曾昌斌 《人民检察》 北大核心 2013年第24期23-26,共4页
当前我国刑事附带民事赔偿案件"空判"现象严重,影响了社会关系的有效修复。犯罪四元责任主体的提出,为解决附带民事赔偿案件"空判"问题提供了充足的理论支撑和依据。通过强化刑事财产保全制度、合理运用刑事和解、... 当前我国刑事附带民事赔偿案件"空判"现象严重,影响了社会关系的有效修复。犯罪四元责任主体的提出,为解决附带民事赔偿案件"空判"问题提供了充足的理论支撑和依据。通过强化刑事财产保全制度、合理运用刑事和解、实现罪犯赔偿的动态持续化、量化刑事案件相关人员责任、创新刑事被害人社会保障制度以及加强检察监督,是破解刑事附带民事赔偿案件"空判"问题的有效方法。 展开更多
关键词 刑事附带民事诉讼 赔偿案件 空判 责任主体
原文传递
基于启发式SCCs的广义Büchi自动机判空检测算法 被引量:1
5
作者 王曦 徐中伟 《电子学报》 EI CAS CSCD 北大核心 2012年第1期95-102,共8页
基于自动机理论模型检测的一个关键算法是判断有穷状态系统是否满足属性的判空检测.对标准Büchi自动机作判空检测,容易引起状态爆炸.本文以TGBA为研究对象,提出基于启发式SCCs的广义Büchi自动机判空检测算法.该算法在on-the-... 基于自动机理论模型检测的一个关键算法是判断有穷状态系统是否满足属性的判空检测.对标准Büchi自动机作判空检测,容易引起状态爆炸.本文以TGBA为研究对象,提出基于启发式SCCs的广义Büchi自动机判空检测算法.该算法在on-the-fly算法的基础上结合启发式深度优先搜索和SCCs检测算法,能较快地判断TGBA的非空性.通过正确性证明、复杂性分析和实验验证了该算法的正确可行性.在TGBA非空的情况下,该算法的时空性能比已有算法更优. 展开更多
关键词 模型检测 BÜCHI自动机 on-the-fly算法 检测
下载PDF
软件安全中基于判断逻辑的空指针引用故障检测
6
作者 王锐强 金大海 《信息网络安全》 2015年第6期47-54,共8页
空指针引用故障导致的软件安全问题不断出现,给各个方面带来了极大困扰和损失。文章研究利用静态测试的方法对一类空指针引用故障进行静态检测分析,同时提出一种利用判断逻辑信息进行空指针引用检测的方法。文章首先给出与基于判断逻辑... 空指针引用故障导致的软件安全问题不断出现,给各个方面带来了极大困扰和损失。文章研究利用静态测试的方法对一类空指针引用故障进行静态检测分析,同时提出一种利用判断逻辑信息进行空指针引用检测的方法。文章首先给出与基于判断逻辑的空指针引用故障相关的一些定义和故障分类。接着,提出使用函数摘要技术提取间接判空点和间接解引用点,定义该函数摘要为函数特征信息和后置约束信息的集合,研究了判断逻辑函数摘要生成和传递的方法。最后,利用有限状态机建立基于判断逻辑的空指针引用故障模型,给出故障模型描述,并利用状态机状态转换和函数摘要完成对此类空指针引用故障的检测。在静态检测工具DTS中实现了文中的方法并且对6个开源Java工程进行了测试,测试结果表明文中方法可以检测出更多的BUG并且同样适用于检测大型软件系统。 展开更多
关键词 软件安全 静态缺陷检测 指针引用 信息 函数摘要
下载PDF
论我国财产刑的执行困境及其解决途径? 被引量:2
7
作者 刘畅 《广东广播电视大学学报》 2010年第5期50-56,共7页
在司法实践中,大量的财产刑判决难以得到有效的执行,主要表现为空判率高,执结率低。这严重影响了财产刑遏制和预防犯罪目的的实现。财产刑的执行难已成为亟待解决的问题。造成执行难有立法、司法、执法和人文等方面的原因,只有对症下药... 在司法实践中,大量的财产刑判决难以得到有效的执行,主要表现为空判率高,执结率低。这严重影响了财产刑遏制和预防犯罪目的的实现。财产刑的执行难已成为亟待解决的问题。造成执行难有立法、司法、执法和人文等方面的原因,只有对症下药,才能根治这一顽症。 展开更多
关键词 财产刑 罚金刑 空判 执行率 解决途径
下载PDF
罚金刑若干问题探讨
8
作者 陈连军 《鸡西大学学报(综合版)》 2002年第1期26-28,共3页
我国199r7《刑法》大幅度增加了罚金刑的适用规定,但在适用中仍存在应罚不判、罚金空判等问题,分析其原因在于罚金刑制度本身存在缺陷,对此,本文提出了一些建议和对策,以期完善我国的罚金刑制度。
关键词 罚金刑制度 刑法 易科制度 财产刑 应罚不 罚金空判 先缴后
下载PDF
基于标记Büchi自动机的时态描述逻辑ALC-LTL模型检测 被引量:2
9
作者 朱创营 常亮 +1 位作者 徐周波 李凤英 《计算机科学》 CSCD 北大核心 2013年第10期166-171,共6页
时态描述逻辑将描述逻辑的刻画能力引入到命题时态逻辑中,适合于在语义Web环境下对相关系统的时态性质进行刻画。为了对这些时态性质进行高效的验证,在ALC-LTL的基础上研究了时态描述逻辑的模型检测问题。一方面,使用时态描述逻辑ALC-LT... 时态描述逻辑将描述逻辑的刻画能力引入到命题时态逻辑中,适合于在语义Web环境下对相关系统的时态性质进行刻画。为了对这些时态性质进行高效的验证,在ALC-LTL的基础上研究了时态描述逻辑的模型检测问题。一方面,使用时态描述逻辑ALC-LTL公式来表示待验证的时态规范;另一方面,在对系统建模时借助描述逻辑ALC对领域知识进行刻画。针对上述扩展后得到的模型检测问题,提出了基于自动机的ALC-LTL模型检测算法。模型检测算法由3个阶段组成:首先将时态规范的否定形式和系统模型分别构造成标记büchi自动机;接下来构造这两个自动机的乘积自动机,并将关于ALC的推理机制融入到乘积自动机的构造过程中;最后对该乘积自动机进行判空检测。与LTL模型检测相比,时态描述逻辑ALC-LTL的模型检测引入了描述逻辑的刻画和推理机制,可以在语义Web环境下对语义Web服务等复杂系统的时态性质进行刻画和验证。 展开更多
关键词 线性时态描述逻辑 模型检测 标记büchi自动机 ALC-类 乘积自动机 问题 语义WEB
下载PDF
Bayes discriminant analysis method to identify risky of complicated goaf in mines and its application 被引量:25
10
作者 胡玉玺 李夕兵 《Transactions of Nonferrous Metals Society of China》 SCIE EI CAS CSCD 2012年第2期425-431,共7页
A Bayes discriminant analysis method to identify the risky of complicated goaf in mines was presented. Nine factors influencing the stability of goaf risky, including uniaxial compressive strength of rock, elastic mod... A Bayes discriminant analysis method to identify the risky of complicated goaf in mines was presented. Nine factors influencing the stability of goaf risky, including uniaxial compressive strength of rock, elastic modulus of rock, rock quality designation (RQD), area ratio of pillar, ratio of width to height of pillar, depth of ore body, volume of goaf, dip of ore body and area of goal, were selected as discriminant indexes in the stability analysis of goal. The actual data of 40 goals were used as training samples to establish a discriminant analysis model to identify the stability of goaf. The results show that this discriminant analysis model has high precision and misdiscriminant ratio is 0.025 in re-substitution process. The instability identification of a metal mine was distinguished by using this model and the identification result is identical with that of practical situation. 展开更多
关键词 GOAF risky identification Bayes discriminant analysis metal mines
下载PDF
On Quadratric Rotational Curved Surface
11
作者 马国强 朱振兴 《Chinese Quarterly Journal of Mathematics》 CSCD 1993年第4期77-82,共6页
In this paper,a deterministic theorem is proposed for quadratic rotational curved surface.The relationship between invariants for quadratic rotational curved surface is established.In addition we give each type of equ... In this paper,a deterministic theorem is proposed for quadratic rotational curved surface.The relationship between invariants for quadratic rotational curved surface is established.In addition we give each type of equitions for rotational curved surface using the invariant. 展开更多
关键词 rotational ellipsoidal surface of revolution HYPERBOLOID parabolic surface
下载PDF
一种高炉料流阀自学习调节系统
12
作者 彭洋 张超 薛耀新 《自动化应用》 2022年第1期34-37,共4页
介绍了一种高炉料流阀自学习调节的方法,基于高炉料罐振动判空技术,解决了料罐传统雷达料位计判空和重量判空的不可靠问题,能够准确判空料罐,检测布料时间。该自学习调节方法借助西门子PLC自控系统,调节稳定可靠,解决了人工频繁调节料... 介绍了一种高炉料流阀自学习调节的方法,基于高炉料罐振动判空技术,解决了料罐传统雷达料位计判空和重量判空的不可靠问题,能够准确判空料罐,检测布料时间。该自学习调节方法借助西门子PLC自控系统,调节稳定可靠,解决了人工频繁调节料流阀角度的问题,使用效果良好。 展开更多
关键词 振动 料流阀 自学习 PLC
下载PDF
The Study on the Occupants Protection of the Emergency Landing Condition for Part 23 Airplane
13
作者 Hae Sun Lee Yeung Woo Kim Jong Min Yoon 《Journal of Physical Science and Application》 2014年第7期412-419,共8页
The part 23 airworthiness standards for small airplanes states minimal standards of the emergency condition for the occupant protection. Under this regulation, the airplane must be designed and certified about static ... The part 23 airworthiness standards for small airplanes states minimal standards of the emergency condition for the occupant protection. Under this regulation, the airplane must be designed and certified about static strength of the fuselage and seats, horizontal and vertical dynamic strength of seats. Human injuries in dynamic crash tests and the survivability in the turnover condition should be also evaluated. The most important part among injuries of human is a head and the head injury is evaluated by Head Injury Criterion (HIC). KC-100, 4 seats airplane that is manufactured by KAI, was conducted seat dynamic tests. The HIC from tests was well within criteria limits 1,000 and the occupant compartment for head protection provided hazard-free spaces in the occupant's head strike envelope for the frontal-horizontal crash impacts. The airplane also was conducted a turnover static test and analysis to especially show living spaces of the head. The airframe could sustain living spaces for occupants in the turnover condition and occupants could escape and be protected. The results of tests and analysis corresponded to the criteria and proved the retention of survivable space in emergency landing condition. 展开更多
关键词 HIC head injury criterion emergency landing turnover test seat dynamic test.
下载PDF
A Criterion of Decomposable Elements in V^(2)
14
作者 朱忠南 《Chinese Quarterly Journal of Mathematics》 CSCD 1997年第1期13-17, ,共5页
In this paper, a criterion of decomposable element in V(2) is obtained , i. e.,Z = p(i, j)eij is decomposable if and only if its adjacent coordinate matrices are all "row 1≤i≤j≤ncommute" equivalent.
关键词 spanning matrix adjacent coordinate matrix 'row commute' equivalence classification
下载PDF
Texture Analysis and Characteristic Identification About Plaque Tissues of IVUS 被引量:1
15
作者 DONG Hai-yan LI Hong 《Chinese Journal of Biomedical Engineering(English Edition)》 2010年第2期47-55,共9页
Intravascular ultrasound can provide clear real-time cross-sectional images,including lumen and plaque.In practice,to identify the plaques tissues in different pathological changes is very important.However,the graysc... Intravascular ultrasound can provide clear real-time cross-sectional images,including lumen and plaque.In practice,to identify the plaques tissues in different pathological changes is very important.However,the grayscale differences of them are not so apparent.In this paper a new textural characteristic space vector was formed by the combination of Co-occurrence Matrix and fraction methods.The vector was projected to the new characteristic space after multiplied by a projective matrix which can best classify those plaques according to the Fisher linear discriminant.Then the classification was completed in the new vector space.Experimental results found that the veracity of this classification could reach up to 88%,which would be an accessorial tool for doctors to identify each plaque. 展开更多
关键词 intravascular ultrasound statistical texture fractional texture Fisher linear discriminant analysis
下载PDF
没收财产刑适用的困境与出路探析——以200份没收财产刑裁判文书为研究样本 被引量:2
16
作者 张宏博 武天义 《中国检察官》 2018年第9期61-64,共4页
十八届四中全会后,"以审判为中心的诉讼制度改革"的大幕已经拉开,没收财产刑在刑事司法领域中的一些弊端也需要根据刑事司法改革的要求进行必要的修正和完善。中国裁判文书网随机抽取的200份没收财产刑的裁判文书为分析对象,... 十八届四中全会后,"以审判为中心的诉讼制度改革"的大幕已经拉开,没收财产刑在刑事司法领域中的一些弊端也需要根据刑事司法改革的要求进行必要的修正和完善。中国裁判文书网随机抽取的200份没收财产刑的裁判文书为分析对象,在总结和反思我国现行没收财产刑立法和司法中存在的问题和原因的基础上,立足司法实践,以"庭审实质化"作为大背景,提出了没收财产刑解困的建议。 展开更多
关键词 没收财产刑 空判 相互配合 检察监督
原文传递
财产刑执行检察工作中的误区与策略
17
作者 《检察调研与指导》 2017年第4期68-71,共4页
近年来,随着刑罚轻缓化和社会化的发展,财产刑越来越多地被法院在刑事判决中适用,其在我国整个刑罚体系中的地位逐渐凸显,但目前的现状是:一方面,法院财产刑判决及执行情况信息不全、底数不明,审判与执行缺乏衔接,执行未能归口、多数得... 近年来,随着刑罚轻缓化和社会化的发展,财产刑越来越多地被法院在刑事判决中适用,其在我国整个刑罚体系中的地位逐渐凸显,但目前的现状是:一方面,法院财产刑判决及执行情况信息不全、底数不明,审判与执行缺乏衔接,执行未能归口、多数得不到执行,财产刑“空判”现象突出,影响了法律的权威性;另一方面,财产刑执行检察缺乏操作程序和刚性手段,往往抓不住重点,发挥不了检察监督的效力,在考核的压力下,部分检察机关为了追求绩效,甚至代行法院职能。 展开更多
关键词 空判 信息 刑罚 财产 检察 法院 底数
原文传递
SPECIAL ISSUE: SPACE PRODUCTION AND URBAN ORDER IN CONTEMPORARY CHINA--From Object to Perspective: A Shift of Significance in Space Production and Space Criticism--The Issue of Space in Conceptualizing Contemporary Chinese Urban Construction 被引量:1
18
《Social Sciences in China》 2010年第4期177-188,共12页
Physical space refers to both natural space and social space, that is, social relations. Space production includes production in space and of space. Relations between these two dimensions and between physical space pr... Physical space refers to both natural space and social space, that is, social relations. Space production includes production in space and of space. Relations between these two dimensions and between physical space production and social space production constitute two basic relations in space production. The dialectical connotation of these two basic relations manifests the truth that space production can basically be summed up as reproduction of social relations. Therefore, arguments about space production can be seen as involving a fundamental shift of importance from object to perspective. Seen in this way, there remain some errors in ideas about today's Chinese urban construction, that is, the rupture and separation of object and perspective, resulting in unnecessary risks and costs in the progress of modem Chinese ttrbanization. 展开更多
关键词 OBJECT PERSPECTIVE space production space criticism shift of importance
原文传递
Optimal programmable unambiguous discriminator between two unknown latitudinal states 被引量:1
19
作者 XiaoBing Sunian YuWei Li Tao Zhou 《Science China(Physics,Mechanics & Astronomy)》 SCIE EI CAS CSCD 2016年第10期19-24,共6页
Two unknown states can be unambiguously distinguished by a universal programmable discriminator, which has been widely discussed in previous works and the optimal solution has also been obtained. In this paper, we inv... Two unknown states can be unambiguously distinguished by a universal programmable discriminator, which has been widely discussed in previous works and the optimal solution has also been obtained. In this paper, we investigate the programmable unambiguous discriminator between two unknown "latitudinal" states, which lie in a subspace of the total state space. By equivalence of unknown pure states to known average mixed states, the optimal solution for this problem is systematically derived, and the analytical success probabilities for the optimal unambiguous discrimination are obtained. It is beyond one's expectation that the optimal setting for the programmable unambiguous discrimination between two unknown "latitudinal" states is the same as that for the universal ones. The results in this work can be used for the realization of the programmable discriminator in laboratory. 展开更多
关键词 programmable state discrimination unambiguous discrimination latitudinal state
原文传递
Use of near-infrared spectroscopy and least-squares support vector machine to determine quality change of tomato juice 被引量:1
20
作者 Li-juan XIE Yi-bin YING 《Journal of Zhejiang University-Science B(Biomedicine & Biotechnology)》 SCIE CAS CSCD 2009年第6期465-471,共7页
Near-infrared (NIR) transmittance spectroscopy combined with least-squares support vector machine (LS-SVM) was investigated to study the quality change of tomato juice during the storage. A total of 100 tomato juice s... Near-infrared (NIR) transmittance spectroscopy combined with least-squares support vector machine (LS-SVM) was investigated to study the quality change of tomato juice during the storage. A total of 100 tomato juice samples were used. The spectrum of each tomato juice was collected twice: the first measurement was taken when the tomato juice was fresh and had not undergone any changes, and the second measurement was taken after a month. Principal component analysis (PCA) was used to examine a potential capability of separating juice before and after the storage. The soluble solid content (SSC) and pH of the juice samples were determined. The results show that changes in certain compounds between tomato juice before and after the storage period were obvious. An excellent precision was achieved by LS-SVM model compared with discriminant partial least-squares (DPLS), soft independent modeling of class analogy (SIMCA), and discriminant analysis (DA) models, with 100% of a total accuracy. It can be found that NIR spectroscopy coupled with LS-SVM, DPLS, SIMCA, and DA can be used to control the quality change of tomato juice during the storage. 展开更多
关键词 Near-infrared (NIR) spectroscopy Least squares-support vector machine (LS-SVM) Quality change Tomato juice
原文传递
上一页 1 2 下一页 到第
使用帮助 返回顶部