法律面前人人平等:谁的面前?何种平等?

“法律面前人人平等”被视为法律的一项基本原则,但是该原则的适用范围,以及具备何种效力却是不清楚的,并且将其具体化为同案同判原则仍然将面临冗余的怀疑。内在于法律本身的平等在概念上依赖于规则的一般性,这是因为法律中的平等原则范围只能是在适用法律中的平等,而无法完全保证法律内容中的平等,并且也不能等同于完全正当的判决。但是,平等原则在法律制度中通过抽象化的方式予以实现,并且该形式性的平等原则仍然具有实质平等无法替代的规范重要性。

融合法条的司法裁判文书摘要生成方法

针对司法裁判文书摘要生成过程中忽略案件审理逻辑脉络,导致许多重要信息丢失的问题,基于法官的案件审理逻辑脉络,提出融合法条的裁判文书生成方法。通过构建法条的外部知识编码器,将该编码器融合到Encoder-Decoder摘要框架中,利用知识编码表示后的法条在摘要过程中辅助保留裁判文书中的重要信息,提升司法摘要生成模型的性能。实验结果表明,该模型在F1指标上相比主流的指针生成网络摘要模型分别提升了1.37 ROUGE-1、4.91 ROUGE-02、3.91 ROUGE-L。

Review of Software Model-Checking Techniques for Dealing with Error Detection in Program Codes

Debugging software code has been a challenge for software developers since the early days of computer programming. A simple need, because the world is run by software. So perhaps the biggest engineering challenge is finding ways to make software more reliable. This review provides an overview of techniques developed over time in the field of software model checking to solve the problem of detecting errors in program code. In addition, the challenges posed by this technology are discussed and ways to mitigate them in future research and applications are proposed. A comprehensive examination of the various model verification methods used to detect program code errors is intended to lay the foundation for future research in this area.

普外科汉语大课教学课前发放相关英文病例摘要并课堂讲解教学方法的探讨

笔者在医学七年制外科汉语大课教学实践中尝试采用课前发放并课堂讲解英文病历摘要,同时对重要词汇标注英式与美式音标的教学新方法,并对这一教学方法作相关问卷调查。结果显示,绝大多数学生对此方法持肯定态度。本文就该教学方法作简要讨论,以有助于今后的医学全英语教学。

七年制外科学全英语教学方法的探讨

作者在医学七年制外科学全英语教学实践中尝试采用根据教学大纲要求,参考多本原版教材编写专用教材讲义,课前发放相关医学英语单词词义及注音,并在课堂利用几分钟时间提问讲解,课前发放并课堂讲解病历摘要,充分应用多媒体教学,采取与外语教学相应比例的英文命题并要求用英文回答,同时采取一定的鼓励加分措施等教学方法,取得了良好的教学效果。

peC语言的部分求值器及在编译器测试中的应用

部分求值技术在程序优化及软件自动生成等方面起着极为重要的作用.将部分求值技术应用到编译器测试中.为此,设计了一种C语言的子集peC语言,给出了该语言的部分求值策略的形式化描述,实现了peC语言的部分求值器,设计了基于部分求值技术的编译器测试框架.通过实验,该方法可以检测出大部分之前其他方法发现的GCC,LLVM编译器中的错误,此外还发现了其他方法不能发现的错误,这表明,将部分求值技术应用到编译器测试中是有效的.

学术论文摘要写作常见问题剖析

是一篇论文内容的浓缩和精华,它对作者阅读论文具有重要的引领作用。但目前很多作者投稿往往忽视摘要的撰写。文章运用案例分析方法,对100篇初次投稿论文和20种期刊已刊发的200篇论文进行统计,发现摘要中主要存在人称错误,结果笼统、不具体,内容简单、空洞,背景常识偏多、不能展示论文的创新点等问题;通过实例分析,指出摘要的规范化写作方法。

法学案例教学法探讨

试图通过对法学案例教学法的前提问题,如案例,法律规则,法律问题,法学教育等问题进行清理和分析,而达到一个对法学案例教学法的合适的定位。由于抽象规则与具体案例间的矛盾,对规则的遵循与对规则的追问之间的矛盾,法学学术教育与职业教育间的矛盾,以及教学的主体与客体间的矛盾等等,法学案例教学法不应当是一个解释,一个例证,一个辅助工具,而应当是一个起点,一个对照,一个理论与实践之间的媒介。

外科学全英语教学应用英文“病历摘要”实施教学的探讨

目的探讨医学专业课全英语教学的有效方法.方法采用课前发放病历,课堂讲解病历摘要的教学方法,并对这一教学方法作相关问卷调查.结果绝大多数学生对此教学方法持肯定态度,取得了较好的教学效果.结论外科学全英语教学课前发放并课堂讲解病历摘要是一种较好的教学方法,有助于今后的医学全英语教学的开展.

一种基于抽象解释的WCET自动分析工具

利用基于抽象解释的变量值范围传播技术,提出了一种自动分析高级语言程序流信息的方法；并在白盒测试工具NPCA的基础上利用该方法实现了WCET分析工具NPCA-WCET。

支持指令预取的两级指令缓存WCET分析

随着嵌入式实时系统中硬件的不断发展,许多处理器具有两级指令缓存并且支持指令预取技术.指令预取技术能否在两级指令缓存结构中广泛应用,取决于两级指令缓存下支持指令预取的缓存最坏情况执行时间(WCET,Worst-Case Execution Time)能否被分析.目前虽然存在一些支持指令预取的缓存分析方法,但是它们都只能用于单层指令缓存,并不能用于多层组关联指令缓存WCET分析.通过扩展在两级指令缓存架构下缓存分析的支持指令预取的抽象语义,本文提出了基于抽象解释的支持指令预取的缓存WCET分析方法.本文分析指令预取对于L1指令缓存和L2指令缓存访存延迟和抽象缓存状态的影响,设计了支持指令预取的L1指令缓存和L2指令缓存访存延迟计算方法和缓存状态分析算法.本文实验中对不同的Benchmarks进行了分析,结果表明本文的支持指令预取的缓存WCET分析方法是有效的,在不同的指令预取度下,指令预取比没有指令预取的最坏情况下平均提升了19.3%的性能.

论司法审查行政行为的范围

根据我国现行《行政诉讼法》及《最高人民法院关于执行〈中华人民共和国行政诉讼法〉若干问题解释》中行政诉讼受案的规定,对我国司法审查行政行为的受案范围的局限性、司法审查行政行为受案范围的扩大等问题予以分析和探讨。在目前的行政立法过程中,应将抽象行政行为、最终裁决的具体行政行为、行政自由裁量等纳入司法审查的范围。

软件技术基础教学方法研究

本文针对“软件技术基础”课程的特点和要求，总结笔者多年来的教学实践经验，提出了基于案例驱动的软件技术基础教学方法、基于抽象模型的软件技术基础教学方法以及实际课堂教学与虚拟课堂教学相结合的软件技术基础教学方法等。实践结果表明这些教学方法可操作性强，且行之有效。

新工科背景下计算思维能力培养的探索

探讨了计算思维的本质内涵及其与新工科的关系,探索如何在新工科课程教学中,有意识地培养学生认识和理解计算思维,提出结合具体实例的"问题抽象化-模型构建-自动化方案-思维分析"培养方式。以案例教学的方式,通过电梯运行实例阐述如何以计算思维为指导,使学生快速理解计算思维和掌握计算思维能力。

面向WCET估计的Cache分析研究综述

实时系统时间分析的首要任务是估计程序的最坏情况执行时间(worst-case execution time,简称WCET).程序的WCET通常受到硬件体系结构的影响,Cache则是其中最为突出的因素之一.对面向WCET计算的Cache分析研究进行了综述,介绍了经典Cache分析框架与Cache分析核心技术,并从循环结构分析、数据Cache分析、多级Cache分析、多核共享Cache分析、非LRU替换策略分析等角度介绍了Cache分析在不同维度上的研究问题与主要挑战,总结了现有技术的优缺点,展望了Cache分析研究的未来发展方向.

论行政诉讼受案范围的不足及其完善

我国现行行政诉讼法应当将规章以下的抽象行政行为、行政终局裁决纳入行政诉讼法的受案范围 ;采用概括式规定法院应该受理的行政案件 ;以相对人的人身权和财产权作为受案范围的确定标准不能全面保护相对人的合法权益 ;某些内部行为、公权力主体的行为应当受到司法审查。

基于谓词抽象的测试用例约简生成方法

针对大规模软件系统状态迁移数量庞大,容易导致状态空间爆炸的问题,提出一种基于谓词抽象的测试用例约简生成方法,该方法依据给定的谓词集合对软件系统的状态空间进行等价类划分,通过状态集合之间的映射得到约简的抽象状态,并以抽象状态之间的迁移关系作为测试用例约简生成的基础。实验结果表明,该方法可以有效地对系统状态进行约简,并生成规模较小的测试用例集。

运用抽象技术和JPF生成类测试用例方法

从类的源代码中抽象出类的所有状态来减少系统状态及其行为,根据抽象后的类状态,设置JPF搜索环境,裁剪类方法测试序列生成时的搜索分支,提出了一种类测试用例生成方法。实验结果表明,该方法能够有效地减少类测试用例生成时间。

违宪审查的启动机制

在当代中国 ,《宪法》、《立法法》关于违宪审查的规定虽然不够完善 ,但毕竟初步建立起了违宪审查制度。但是 ,在法治实践中却很少真正启动违宪审查程序。怎样启动违宪审查 ,是一个理论上需要迫切解决的问题。本文正是从这一角度出发 ,探讨必须赋予公民违宪申诉权以启动违宪审查 ,达到维护法制统一 。

论行政诉讼受案范围之重构

我国行政诉讼法受案范围过于狭窄,限制了对行政相对人合法权益的保护,也使对行政主体的司法审查在很大范围上受到了限制。正确界定行政诉讼的范围,应当从行政诉讼目的出发,从我国立法对受案范围的规定入手,提出宪法所规定的公民的基本权利(除某些特殊权利)、抽象行政行为、内部行政行为、准行政行为、侵犯公益性质行政行为等的可诉性等问题加以重点研究,以期在今后完善我国行政诉讼立法时,更加合理科学地界定行政诉讼的受案范围。