过失基准行为论:过失犯刑事责任范围的限定

我国传统过失犯理论无力对抗片面地从危害结果引出的处罚要求,具有鲜明的结果归责倾向。引进"注意义务"和"注意能力"这两个概念,虽然有助于使过失心态认定更为精确,但显然不能彻底解决传统理论的上述问题。要实现过失刑事责任范围的合理限定,必须借助"过失基准行为"这一理论工具,在过失犯认定过程中赋予"行为"以实质作用。过失基准行为则是指包含法不容许的危险的行为。

重大行政决策裁量基准的规范构造研究

重大行政决策裁量基准可对决策行为自由裁量权进行规束。我国行政法学界对一般行政行为裁量基准制度较为关注,但对其他裁量基准制度缺少系统化梳理与类型化研究。《重大行政决策程序暂行条例》授权决策机关根据重大决策事项内容规定,结合职责权限和本地实际,确定决策事项目录、标准,系立法首次肯认“重大行政决策裁量基准”存在。重大行政决策基准独立的条件已经成熟,着眼于决策裁量基准体系的法治实践现状,需从基本性质、原则遵循、控制目标与技术路径等维度明确其框架体系,并在决策基准规范体系、审核主体、审查标准、外部监督等方面建构类型化完善进路,以期对完善我国行政裁量基准制度体系有所助益。

嵌入式程序的故障行为分析

为分析由软件缺陷引发的程序异常行为,首先给出了程序行为的表征方法,并对程序基准行为和故障行为进行定义和形式化描述。在此基础上,提出了能够反映程序故障行为特性的三个量化指标。其次,提出并实现了一种以系统调用为程序状态提取粒度的故障行为分析(PFBA)方法,并以嵌入式基准程序为对象进行故障注入实验以获得上述故障行为特征的各量化指标。实验结果表明,不同故障类型下的程序行为特征存在较大差异,且这些差异主要来源于与嵌入式程序的实现机制、结构特性等相关的固有特性。因此,该故障行为特征及其量化指标能够准确地揭示嵌入式程序运行时的故障行为,为程序开发过程提供了有效的回溯信息。

论现场重建中作案人行为基准线的确定

在现场重建过程中关于作案人行为基准线的研究尚属初始阶段,其涵盖生理、性格、心理三方面内容。作案人行为基准线的确定,对精准发现提取物证、串并现场散乱的痕迹信息、准确认识案情、分析作案人特点有积极意义。侦查人员在重建现场的过程中,通过勘查现场、发现重点痕迹物证、勘验尸体、排列案件现场痕迹先后顺序、模拟案发现场作案经过、重新查找并排除不合理因素等几个步骤,最终确定作案人的行为基准线。在确定作案人行为基准线时应注意,现场重建的还原度,以及造成行为基准线偏差的偶然因素。

妨害传染病防治罪的罪过要素分析

自妨害传染病防治罪在司法实践中被激活之后,其罪过形式一直颇受争议。无论是通说过失说还是故意说、复合罪过说等说法,都难以回应责任主义的需求。笔者主张后疫情时代需要依照要素分析模式对该罪进行罪过形式的重构,降低行为人对结果要素的罪过要求,由此可实现对其处罚范围的精细化处理。

一种对程序故障行为和失效行为的聚类有效性验证方法

分析软件自身故障在软件运行过程中的行为规律是分析"故障—错误—失效"链式效应的基础.但在研究软件故障行为特征时面临的关键问题是故障行为集合的庞大与复杂.因此,如何约简故障行为集合是研究故障行为规律的基本前提."当两个程序具有相似的基本属性时,其故障行为和失效行为也具有相似性"这一推断为约简故障集提供了良好的依据,但尚未得到验证.本文核心工作即验证该推断的正确性.为此,首先提出一种针对程序基准行为、故障行为和失效行为的表征方法;其次提出一种考虑最佳聚类数的程序行为聚类方法;最后设计一组基于故障注入的程序行为聚类实验,用以验证前述推断的正确性.其中,实验分别以计算密集型程序(SPEC CPU2000和SPEC CPU2006基准程序)和I/O密集型程序(IOZONE、DEBENCH等)作为目标程序集.实验结果表明,(1)程序行为的表征方法和聚类方法具有合理性和有效性;(2)以程序基准行为聚类结果为依据的故障行为和失效行为的聚类质量良好,以此验证了推断的正确性.