检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

我国刑事诉讼法确立品格证据规则初探

我国刑事诉讼法确立品格证据规则初探

作者：冯志勇四川大学

学位级别：硕士

近年来，理论界对西方品格证据规则开始关注，并进行了一些有益的讨论。我国目前刑事理论、立法和司法实践中对品格证据问题尚缺乏实证考察和理论研究。本文立足于我国刑事司法实践中存在的品格证据的运作事实，试图对其进行理论考察和... 详细信息

近年来，理论界对西方品格证据规则开始关注，并进行了一些有益的讨论。我国目前刑事理论、立法和司法实践中对品格证据问题尚缺乏实证考察和理论研究。本文立足于我国刑事司法实践中存在的品格证据的运作事实，试图对其进行理论考察和分析，并指出我国目前尽管有关于品格证据运用的立法，但由于对品格证据规则缺乏理论上的探讨和指引，使品格证据与现行法律规定在制度上存在矛盾;同时，由于品格证据的运用规则缺乏系统性和理论指导，导致司法实践中对品格证据的认识模糊不清，运用比较混乱，甚至出现非法使用品格证据的情况。本文在借鉴国外有关立法规定的前提下，通过分析我国基本的刑事证据制度改革现状，对在我国刑事诉讼中确立品格证据规则进行初步探讨，并提出一些具体的构想。本文由四部分组成：第一部分为引言，介绍国外品格证据的基本概念，概述我国学者对品格证据规则研究的基本情况，引出论题。第二部分为第一章，通过分析我国刑事法律的相关规定和对刑事司法实践的调查访问，对我国品格证据的现状进行扫描。分析品格证据在我国刑事司法实践中出现的主要问题，是由于品格证据的证明原理与我国证明理论之间存在差异，使品格证据规则难以在我国目前的证据制度中确立;刑事法理论与刑事司法制度的不协调，引起司法人员对品格证据的使用出现混乱状况;品格证据规则理论研究不丰富;品格证据存在的问题未引起司法人员的重视等原因造成的。第三部分为第二章，主要对英美法系和大陆法系国家有关品格证据规则立法情况进行概述，国外品格证据规则对我国的有益启示。第四部分为第三章，本部分主要分析我国确立品格证据规则的犯罪心理学、法律真实论证明标准和程序正义等法理基础，以及在我国刑事诉讼中确立品格证据规则的必要性，并进一步提出在我国刑事诉讼中确立品格证据规则的具体构想。第五部分为结语，说明目前我国品格证据规则问题研究存在的困难。

关键词：刑事诉讼品格证据证据规则

基于Pi-演算的Web服务形式化描述模型*

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

计算机应用研究 2011年第6期28卷 2168-2173页

作者：胡静冯志勇天津大学计算机科学与技术学院天津300072

当前对Web服务进行形式化描述的方法多是基于对某个具体Web服务组合规范的抽象,无法兼顾基于全局和局部的设计方法,并且无法描述Web服务组合的体系结构的动态性。在对现有的Web服务形式化描述方法进行回顾和总结的基础上,基于Pi-演算建... 详细信息

当前对Web服务进行形式化描述的方法多是基于对某个具体Web服务组合规范的抽象,无法兼顾基于全局和局部的设计方法,并且无法描述Web服务组合的体系结构的动态性。在对现有的Web服务形式化描述方法进行回顾和总结的基础上,基于Pi-演算建立了Web服务形式化描述模型,将BPEL4WS和WS-CDL规范的重要行为在模型中作了映射。最后通过例子说明,基于局部和全局的设计方法在提出的模型中的映射是一致的。提出的描述模型直接用来进行Web服务组合的设计时,可以更好地描述动态的体系结构。

关键词： Web服务 Web服务组合形式化描述模型 Pi-演算

在线全文

学校读者我要写书评

暂无评论

信息光学课程思政教学改革实践

经济师 2023年第10期 199-200,202页

作者：冯志勇李世涛沈阳理工大学辽宁沈阳110159

信息光学课程是光电信息科学与工程专业的主干课程,它在培养学生的综合素质方面具有举足轻重的地位。在习近平总书记关于高校课程思政的指导思想之下,从专业的实际情况出发,在信息光学课程的授课中,通过适当地将思政的相关内容与教学内... 详细信息

信息光学课程是光电信息科学与工程专业的主干课程,它在培养学生的综合素质方面具有举足轻重的地位。在习近平总书记关于高校课程思政的指导思想之下,从专业的实际情况出发,在信息光学课程的授课中,通过适当地将思政的相关内容与教学内容结合起来,形成跨专业的协同作用,在教学中融入思政教育,为学生树立正确的人生观、价值观、世界观和职业观。

关键词：信息光学思政教育课程思政应用型人才

语义Web服务自动组合定义、方法及验证调查

在线全文

学校读者我要写书评

暂无评论

计算机应用研究 2014年第5期31卷 1292-1301,1311页

作者：王向辉冯志勇山东建筑大学计算机学院济南250101 天津大学计算机学院天津300072

针对近几年在语义Web服务自动组合上的研究成果,深入归纳和总结了语义Web服务组合的定义、组合方法以及正确性验证技术,对语义Web服务组合问题进行分类和形式化定义,并归纳出一个语义Web服务自动组合框架。按照不同问题分析和比较相关... 详细信息

针对近几年在语义Web服务自动组合上的研究成果,深入归纳和总结了语义Web服务组合的定义、组合方法以及正确性验证技术,对语义Web服务组合问题进行分类和形式化定义,并归纳出一个语义Web服务自动组合框架。按照不同问题分析和比较相关的组合方法,同时总结了组合方案正确性验证技术。最后,根据前面的分析和总结,提出了语义Web服务自动组合当前面临的问题和挑战。

关键词：语义Web服务形式化定义组合框架组合方法正确性检验

在线全文

学校读者我要写书评

暂无评论

物流领域本体的模块化研究与实现

天津大学学报 2009年第12期42卷 1105-1111页

作者：杨倩冯志勇饶国政王家昉天津大学计算机科学与技术学院天津300072

为解决物流领域大本体不易维护、应用困难等问题,将模块化技术引入物流领域本体建设中.提出了本体模块的定义.给出了物流领域问题域划分原则,并采用断言方式将模块连接,形成不同语境下的知识表示.针对模块连接时产生的不一致问题提出约... 详细信息

为解决物流领域大本体不易维护、应用困难等问题,将模块化技术引入物流领域本体建设中.提出了本体模块的定义.给出了物流领域问题域划分原则,并采用断言方式将模块连接,形成不同语境下的知识表示.针对模块连接时产生的不一致问题提出约束原则,从而保证了模块间连接的正确性.由于划分后产生的货物本体模块依然较大,根据货物专业领域的知识特点将其细化为多个模块,这样模块间的关系呈现树状结构,并用程序将模块连接.在此基础上,优化了基于本体和规则的物流管理系统.实验表明,模块化技术将推理限制在较小的范围之内,降低了推理复杂度,大大减少了系统内存消耗,提高了系统响应速度,且本体模块易维护和复用.

关键词：本体模块化不一致物流

在线全文

学校读者我要写书评

暂无评论

基于语义数据的药物网络模型构建与分析

计算机工程 2016年第6期42卷 31-36,42页

作者：王爽冯志勇天津大学计算机科学与技术学院天津300072 天津大学天津市认知计算与应用重点实验室天津300072

针对传统生物数据分析方法无法高效处理规模不断增大的生物语义数据集的现状,将基于属性共现的节点相似度算法应用于Ch EMBL数据集,构建基于药物天然产物-活性的二部图模型,应用Graphlab框架计算基于活性特征的药物天然产物相似度,并对... 详细信息

针对传统生物数据分析方法无法高效处理规模不断增大的生物语义数据集的现状,将基于属性共现的节点相似度算法应用于Ch EMBL数据集,构建基于药物天然产物-活性的二部图模型,应用Graphlab框架计算基于活性特征的药物天然产物相似度,并对相似度较高的药物天然产物进行活性推荐。实验结果表明,该方法能有效利用生物数据集的语义信息发现药物天然产物潜在的活性特征,从而指导药物研发早期的活性探测以及药物靶标的发现和选择过程。

关键词：语义数据 ChEMBL数据集活性 Graphlab并行计算节点相似度算法

在线全文

学校读者我要写书评

暂无评论

基于HTN的供应链优化策略

计算机应用 2003年第10期23卷 103-105页

作者：谷长兴冯志勇天津大学电子信息工程学院天津300072

HTN(HierarchicalTaskNetwork,层次任务网络)具有任务描述和分解、任务分派、任务完成的能力以及约束机制和冲突解决机制,可以高效地对复杂问题进行规划。文章就HTN在供应链优化中的应用进行了初步地探讨,结合多代理系统,针对供应链库... 详细信息

HTN(HierarchicalTaskNetwork,层次任务网络)具有任务描述和分解、任务分派、任务完成的能力以及约束机制和冲突解决机制,可以高效地对复杂问题进行规划。文章就HTN在供应链优化中的应用进行了初步地探讨,结合多代理系统,针对供应链库存管理业务提出其任务网络模型,指出任务分解方法及其约束关系和任务在代理间的分派关系,并给出应用实例。

关键词：层次任务网络供应链多代理系统

在线全文

学校读者我要写书评

暂无评论

轮机模拟器操作评分系统的设计与开发

轮机模拟器操作评分系统的设计与开发

作者：冯志勇武汉理工大学

学位级别：硕士

仿真训练装置的迅速发展使很多领域中出现了利用模拟器代替实际仪器装备进行操作训练。训练仿真装置具有安全、经济、可控、可重复、不受气候条件和场地空间限制的特点,同时训练仿真装置既能训练常规操作又能培训操作人员对各种事故（... 详细信息

仿真训练装置的迅速发展使很多领域中出现了利用模拟器代替实际仪器装备进行操作训练。训练仿真装置具有安全、经济、可控、可重复、不受气候条件和场地空间限制的特点,同时训练仿真装置既能训练常规操作又能培训操作人员对各种事故（包括灾难事故）的处理应变能力,使得利用训练仿真系统进行训练具有高效率和高效益。轮机模拟器作为航海领域航海模拟器的主要研究对象之一,为我国的轮机管理人才的培养起到了积极作用。STCW78/95公约也对船员利用轮机模拟器进行训练作出了强制性要求。传统上,对学员进行轮机模拟器培训考核是采用教练员主观评分的方式。主观评分易受人为因素影响,难以客观、公正地评价操作人员的操作水平,因此开发一套轮机模拟器操作评分系统很有必要。本文所开发的轮机模拟器操作评分系统采用了专家系统的设计原理,借鉴了系统评价理论。该系统作为轮机模拟器的重要组成部分,可以监测学员操作过程,并对实操结果进行评估、统计和分析,可以了解学员的学习情况及存在的问题和缺陷。采用评分系统对学员考核进行评分,可以避免人工评分的缺陷,保证了考核的客观性和公正性,提高了考核效率。本文主要完成了下面几个工作： 1)介绍了专家评判法、层次分析法和模糊综合评判法。建立了轮机模拟器操作评分系统评分指标,并给出了具体的评分模型。总结了本系统的评分参数,并对评分参数的设定方法进行了介绍。 2)介绍了专家系统的一般结构模式、轮机模拟器评分系统知识及知识表达方式、搜索算法、专家系统推理机制。根据专家系统的一般结构模式建立了轮机模拟器评分系统整体结构框架,并对结构中的重要部件：知识库、动态数据库、推理机、解释机构进行了设计。 3)对轮机模拟器操作评分软件总体功能进行了设计,并将软件划分为信息管理模块、实操评分模块和成绩管理模块三大独立模块。对各模块进行了详细设计实现。对系统中的数据管理进行了分析,并对知识库与成绩管理数据库中的表结构及字段进行了设计。以船舶电站中的手动准同步并车考核题目为例,进行了实例分析。

关键词：轮机模拟器评分系统专家系统模糊综合评价层次分析法

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

毕奥及毕奥科学成就研究

毕奥及毕奥科学成就研究

作者：冯志勇内蒙古师范大学

学位级别：硕士

文章介绍的是法国19世纪著名的物理学家毕奥(Jean Baptist Biot,1774—1862)及他的科学成就。鉴于我国学者对法国科学史特别物理学史又特别是对毕奥的研究甚少,以致造成对毕奥的不了解甚至误解的情况,为了更好地了解毕奥及其工作、正确... 详细信息

文章介绍的是法国19世纪著名的物理学家毕奥(Jean Baptist Biot,1774—1862)及他的科学成就。鉴于我国学者对法国科学史特别物理学史又特别是对毕奥的研究甚少,以致造成对毕奥的不了解甚至误解的情况,为了更好地了解毕奥及其工作、正确地评价毕奥在科学发展史上的作用和地位,笔者较细致地对毕奥的生平、科学贡献进行了整理、研究。展现了毕奥广阔的科研领域和辉煌的科研成果。反映了毕奥献身科学和教育事业,勇于探索科学未知领域和实事求是、大胆创新的科学精神。并且介绍了毕奥所生活时代法国的科技环境,这样做的目的是为了使我们能够历史地看待毕奥的成就,正确地认识毕奥。通过这部分我们也能看清楚法国为何能够在十九世纪初的三四十年内成为世界科学的中心,也能够大致了解法国大革命期间法国年轻一代著名科学家的成长过程。对我国科研策略的制定和培养青年科学家也有一定的借鉴作用。文章的第三章从毕奥和当时其他科学家合作研究的角度,从另一视角介绍毕奥所取得的科研成果和他的科学生涯。笔者之所以选取这一视角,是因为这一视角不仅能反映毕奥取得了什么样的科研成果,更重要的是通过对他们合作研究的介绍,我们能够看到毕奥在科研群体中的科研能力和合作精神。毕奥的合作对象很多,为了能够较充分地反映毕奥的科研能力,我们选取了当时科学界最伟大的科学家盖-吕萨克、阿拉果、洪堡、巴斯德与毕奥的合作为例。文章的第四章选取了毕奥在电磁领域的一项重大

关键词：毕奥(Jean Baptist Biot,1774-1862) 毕奥-萨伐尔定律毕奥定律偏振光学科学成就