法治小院:农业院校法学专业实践教育新模式探索

借鉴科技小院模式,法治小院把法学实践课堂学习和乡村实践紧密结合起来,是法律诊所教育的新平台,是开展法治调研的新场域,是开展法治宣传的新窗口,是提供法律服务的新样板,是乡村治理的新力量。法治小院不仅有利于学生实践能力的提升,而且能在服务乡村法治建设中塑造学生的精神品格;同时能够满足村民法治需求,为法治乡村建设做出贡献。西北农林科技大学法学专业在法治小院教学实践探索中,逐渐形成了“校内外联合,理论与实践融合,学习与服务耦合,专业技能与精神品格综合,线上与线下结合”的“五合”实践运行模式。

安全协议形式化分析方法研究综述

介绍了安全协议的基本概念和分类,然后对安全协议形式化分析方法进行了详细介绍,包括基于模态逻辑的方法、基于模型检测的方法、基于定理证明的方法和基于可证明安全性理论的方法。其中,基于模型检测的方法是目前应用最广泛的一种方法,因此详细介绍了一些常用的基于模型检测方法的工具。最后,总结了当前安全协议形式化分析方法的研究热点和未来的发展方向。

《共产党宣言》对社会主义的双重逻辑论证探究

作为科学社会主义的纲领性文献,《共产党宣言》深度而完整地展现了马克思恩格斯对社会主义的双重逻辑论证。一方面,基于科学的客观性逻辑,即通过把握现实本质自身中的矛盾运动规律,揭示其走向“自我否定”的必然趋向,《共产党宣言》深入资本主义社会现实,通过揭示其内在的并且在资本主义体制内无法克服的矛盾,暴露资本主义生产方式的历史性特质及其必然走向灭亡的历史结局;另一方面,基于实践的能动性逻辑,即阐明无产阶级革命实践在推动社会主义转变中的重要作用,《共产党宣言》对资本主义社会框架中无产阶级革命能动性的锻造展开系统探究,强调通过联合起来的无产阶级的社会实践和集体行动颠覆资本主义社会,实现社会主义社会。两者的联合体现了马克思基于科学的客观性和实践的能动性之双重逻辑论证社会主义的方式,两者在保持界限的前提下呈现出相互支撑的交互作用关系。

论警察权的阶段性:逻辑证成、问题检视与完善路径

以警察任务和警察职权的变迁过程来看,警察权在抽象和具体两个层面均呈现出阶段性面向。概括授权方式下警察权力的扩张与泛化是警察权阶段性的内在动因,秩序维护过程化对警察权的可分性构造是警察权阶段性的法理基础,警察危害预防功能的层次性与社会应急管理实践的契合是警察权阶段性的现代指向。但由于法的规范性与实践场景复杂性的矛盾,导致警察权的阶段性建设存在着法律定位不明、权力指向缺失和授权与控制双向乏力的问题。应回归警察权的本质,从立法体例、结构要素以及视角转换三个维度提升警察权行使的效能。

智能变电站二次防误技术及工程实践

传统智能变电站防误装置仅能实现一次设备倒闸操作时一次设备之间的防误逻辑闭锁,二次设备不参与防误逻辑校验且现场二次设备操作过程也无防误技术措施,存在压板漏投退、误投退或不按规定顺序投退等隐患。文章提出研制一种智能变电站二次防误装置,通过构建一次设备和二次设备软压板之间的防误逻辑,实现一次闭锁二次、二次闭锁一次和二次闭锁二次的功能,并将所有保护软压板集中到防误装置中,通过与监控后台数据通信,实现智能变电站二次设备软压板集中化管理、同屏式投退。

基于PLC的掘锚机防爆电控箱设计及应用

为解决矿用掘锚机电气系统维保困难、故障率高的问题,对当前掘锚机主流电气设计原理、电缆引入装置和控制方法进行分析,选择采用可编程逻辑控制器(PLC)作为主控制器,优化并重新设计防爆电控箱。优化后的掘锚机电控箱由隔爆外壳、配电电路、本安电路、电机综合保护电路和人机交互界面组成,具有接口丰富、组装简单、编程调试方便的特点。实际应用表明,使用该电控箱的掘锚机维保方便、故障率低、掘进效率高。

城轨列车逻辑控制装置控制软件编码防错技术研究

列车可编程逻辑控制单元产品应用现场采用分布式机箱架构,不同机箱使用不同编码进行区分。但编码易受应用现场环境干扰、编码器失效等因素影响,使车辆出现逻辑误动作。本文分析了编码识别错误问题的产生原因,针对编码采集值错误故障树分析了硬件失效、结构失效、软件采集过程失效等导致编码采集值错误的可能原因,并针对这些可能失效点,提出一套针对现场LCU编码的防错采集方法。目前LCU编码防错技术已成功应用于全国各地城轨列车可编程逻辑控制单元装车现场,应用情况良好。

我国司法会计鉴定功能定位及证明机理探究

司法会计鉴定是一门以证明技术方法为研究对象的证明科学。其主要功能是证明问题而并非发现问题。但长期以来,鉴定人是如何对会计专门性问题做出主观判断并得以出具鉴定意见的证明过程被忽视了,导致在司法实践中,审计查账方法被当作了司法会计鉴定的基本方法和技巧。在今后的理论研究中,应当以"证明"为主导,将司法证明过程及证明机理作为司法会计鉴定的主要研究对象,密切关注对涉案会计事实证明具有实质意义的逻辑推理与论证方法,积极推进司法会计鉴定司法证明的科学化进程。

一种用于指针程序验证的指针逻辑

本文改进并扩展先前为验证指针程序提出的指针逻辑,主要贡献是提出了合法访问路径集合的概念,极大地简化了访问路径上的基本运算,并使得指针逻辑推理规则变得易理解.另外,增加了局部推理规则和函数构造的推理规则,使得指针逻辑可以方便地用于有函数调用的场合.

Semantic Web研究综述

近年来 ,SemanticWeb逐渐成为WWW领域的研究热点以及智能化网络服务和应用开发中的关键技术之一。归纳了Se manticWeb技术的研究背景和主要发展历史。在分析了典型的SemanticWeb概念后 ,给出了SemanticWeb的定义。通过讨论SemanticWeb构想的层次框架模型 ,指出了各个层次扮演的角色 ,并着重分析了SemanticWeb的重要研究领域 ,指出了它们在SemanticWeb构架中的核心作用。通过分析SemanticWeb的应用领域和相关开发工具以及面临的问题和挑战 ,指明了SemanticWeb研究和实践的方向。作为总结 ,给出了SemanticWeb领域下一步的研究趋势。

一种新的安全协议形式化分析方法--证据逻辑

形式化分析技术对于安全协议的正确设计至关重要,考虑到现有信仰逻辑分析方法的不足,文章提出了一种新的安全协议形式化分析方法——证据逻辑,即通过对协议主体证据的推理来实现安全协议的形式化分析。与现有的方法相比,该方法不仅能够用于认证协议、密钥协商(交换)协议的分析,也能用于电子商务协议的不可否认性和公平性的分析,因此具有更好的通用性和更强的协议分析能力。

当代中国政治史研究的学科视野与问题意识

当代中国政治史研究是历史学与政治学科际整合的体现之一,既吸纳了政治学与历史学两大学科的学理资源,又经历了新兴社会科学研究方法的动员,对于理解和解释当代中国社会政治发展具有广阔的前景。本文从历史与政治、规范与经验、文化与权力、时间与结构、逻辑与证据五个方面讨论当代中国政治史研究的学科脉络、研究视角和问题意识。

认识逻辑(3):基于语义tableau的证明理论

本文定义了带有索引的认识逻辑ELI，讨论了ELI的语义tableau的证明过程，证明了模态tableau的相容性和完备性．由于ELI与认识逻辑EL是等价的，因而，本文讨论的tableau证明过程也可以作为EL的证明理论．

ANODR匿名路由协议的安全性验证

匿名路由协议的目的是保证移动自主网中节点在通信时不会泄露参与通信的节点身份以及通信路径不被发现,其目标可分为发送匿名、接收匿名和路由匿名。将该协议分解为3个组件,分别实现3个目标。利用扩展后的Cord逻辑对实现路由匿名的组件进行验证,结果证明其不能满足路由匿名规范,破坏了协议作为一个整体提供的匿名服务。

一种面向软件工程的时序逻辑语言

ＸＹＺ系统由时序逻辑语言ＸＹＺ／Ｅ及一组基于该语言的ＣＡＳＥ工具集组成．ＸＹＺ／Ｅ语言的目的是欲使逐步求精，描述及验证、快速原型等一些软件工程方法更加有效．特别地，它还能表示实时通信进程中的动态成分．在统一的框架下，不仅能表示不同层次的抽象描述，而且能表示普通高级语言的各种重要性质．本文是关于这一时序逻辑语言最新、最完整的介绍．

论辩、论证与逻辑学的产生和发展

无论中国先秦还是古希腊,论辩和论证都是逻辑学得以发展的根本原因。论辩给逻辑学的创新和发展提出了问题,论证则进一步将逻辑学的研究引向深入。今天,中国逻辑学的发展也需要提倡论辩和论证的和谐氛围,倡导平等对话、理性对话,创造良好的学术环境和学术氛围。

数学分析中几类基本概念及其否定概念的逻辑结构

学习数学分析,学生首先遇到的困难是基本概念的理解,特别是对两个互为否定概念的关系的理解.产生这些困难的主要原因之一,是对基本概念的逻辑结构没有搞清楚,对两个互为否定概念之间的逻辑关系就更糊涂,往往只知道问题的一面,而不知道问题的另一面,或者只知其然,不知其所以然.因此,进一步揭示数学分析基本概念的逻辑结构,特别是两个互为否定概念的逻辑结构之间的内在关系,对理解和掌握数学分析的基本概念有其重要的意义,也是利用反证法证明有关数学命题的关键.

思考在证据“拿来”之后——威格摩尔证明表格的逻辑化倾向及启示

人们普遍承认在由证据法学向证明法学转向过程中,威格摩尔是一位具有宏阔战略眼光的人物,但对反映其司法证明科学理论的著作《建立在逻辑学、心理学和一般生活经验基础上的司法证明原则》并未给予应有的重视。这主要与当时普遍重视证据规则立法、相对轻视司法证明内在结构与原则的研究不无关系。现在英美国家的证据规则立法已充分发达,而影响证据立法的体制与主要因素已有所变化,重新认识其司法证明的基本原则与方法论倾向会对预测证据法学的发展趋势与我国的证据立法实践有重要现实意义。

安全协议形式化分析方法

安全协议的形式化分析是检验协议安全性的必要手段。为了实现协议的规范描述和合理完备的安全性验证,各种数学理论和人工智能方法被引进安全协议形式化分析与自动化验证领域。主要从逻辑方法、模型检测方法和证明方法3个方面对符号化的安全协议形式化分析方法进行了综述,并指出了今后该领域的研究方向。

命题逻辑与数学证明方法(Ⅰ)

简单地讨论了命题逻辑,用命题逻辑全面地研究了推理格式和数学证明方法,形成一个完整的系统,内容包括命题逻辑.