期刊文献+
共找到82篇文章
< 1 2 5 >
每页显示 20 50 100
用Java和VRML开发三维虚拟交互站点 被引量:3
1
作者 罗铁祥 《中南民族学院学报(自然科学版)》 2001年第2期26-29,共4页
归纳了虚拟现实的语言、场景、时间执行模式、静态、动态行为等概念模式 ,着重介绍了Java与 VRML的结合及实现技术 :Script结点 ,在 Script结点和 Java程序代码之间通讯 ,Scripts和执行模式 ,最后给出了 VRML场景设计中应注意的问题和技... 归纳了虚拟现实的语言、场景、时间执行模式、静态、动态行为等概念模式 ,着重介绍了Java与 VRML的结合及实现技术 :Script结点 ,在 Script结点和 Java程序代码之间通讯 ,Scripts和执行模式 ,最后给出了 VRML场景设计中应注意的问题和技巧 . 展开更多
关键词 虚拟现实 JAVA 执行模式 三维虚拟交互站点 VRML Scripts结点 Java程序代码
下载PDF
“软件技术基础”中数据结构教学方法研究 被引量:3
2
作者 郭秀清 《电气电子教学学报》 2013年第5期53-56,共4页
数据结构是"软件技术基础"课程的重要组成部分,内容主要包括常用数据结构及其运算。本文探讨了数据结构的教学方法,包括基本教学四步骤和基于典型案例的算法执行法教学方法。与传统数据结构教学方法比较,这种教学方法具有简... 数据结构是"软件技术基础"课程的重要组成部分,内容主要包括常用数据结构及其运算。本文探讨了数据结构的教学方法,包括基本教学四步骤和基于典型案例的算法执行法教学方法。与传统数据结构教学方法比较,这种教学方法具有简单、直观和易教易学的特点。实践表明其可操作性强,且行之有效。 展开更多
关键词 典型案例 案例库 执行法
下载PDF
建设工程价款优先受偿权之立法完善——以民事执行案件为视角 被引量:2
3
作者 张文波 《德州学院学报》 2011年第3期55-59,共5页
为了解决开发商拖欠建设工程价款的情况,我国合同法确立了一项崭新的制度——建设工程价款优先受偿权制度,这一规定应该说具有十分重要的现实意义。但是,由于该条规定的过于简单笼统,这一制度并没有成为解决工程价款拖欠问题的利器,反... 为了解决开发商拖欠建设工程价款的情况,我国合同法确立了一项崭新的制度——建设工程价款优先受偿权制度,这一规定应该说具有十分重要的现实意义。但是,由于该条规定的过于简单笼统,这一制度并没有成为解决工程价款拖欠问题的利器,反而在司法实践特别是民事执行案件中出现很多不同意见和相差甚远的处理结果,这损害了司法的统一性和权威性。 展开更多
关键词 建设工程 工程价款 优先受偿权 执行案件
下载PDF
夫妻个人债务的清偿与执行规则——以司法实践中的“类案异执”为视角
4
作者 费美望 《湖北职业技术学院学报》 2022年第1期95-101,共7页
夫妻共同财产可否成为个人债务的执行标的在学界和司法实务界存在分歧,而《民法典》第1066条和第303条对于在婚姻关系存续期间是否可以分割夫妻共同财产的规定亦有矛盾冲突之处。实在法的矛盾冲突、财产的外在公示与实际所有的不一致、... 夫妻共同财产可否成为个人债务的执行标的在学界和司法实务界存在分歧,而《民法典》第1066条和第303条对于在婚姻关系存续期间是否可以分割夫妻共同财产的规定亦有矛盾冲突之处。实在法的矛盾冲突、财产的外在公示与实际所有的不一致、债权人保护与案外人保护之间的价值衡量等原因导致夫妻个人债务的执行在司法实践中呈现“类案异执”乱象,应采取两步走路径,先执行被执行人个人名下财产,再另行提起析产诉讼对夫妻共同财产予以分割从而执行被执行人应有份额,以此保障配偶方的正当权益和统一规制司法实践中的执行乱象。 展开更多
关键词 个人债务 夫妻共同财产 类案 执行 析产
下载PDF
执行环境对民事执行的影响分析 被引量:1
5
作者 刘晓婧 《贵阳学院学报(社会科学版)》 2011年第3期39-41,共3页
执行环境是民事案件执行得以实现的重要条件之一。通过分析当前执行环境中信用体系残缺、法律客体法制意识淡薄、地方保护主义、"人情社会"以及司法队伍中贪腐分子等不利因素对民事执行的影响和干扰,提出改善执行环境的的建议。
关键词 民事 执行 环境 影响
下载PDF
关于民商案件执行难的对策思考
6
作者 谢戎华 万小兵 《井冈山医专学报》 2005年第4期170-172,共3页
人民法院生效的民商法律文书或具有国家强制执行力的其它文件,通过启动国家强制执行后,仍有大量 案件遇到执行难的问题。究其原因,既有立法上的疏漏与滞后,又有相关体制的制约与障碍,更有地方保护主 义的存在,还有法院内部的相关原因。... 人民法院生效的民商法律文书或具有国家强制执行力的其它文件,通过启动国家强制执行后,仍有大量 案件遇到执行难的问题。究其原因,既有立法上的疏漏与滞后,又有相关体制的制约与障碍,更有地方保护主 义的存在,还有法院内部的相关原因。为了破解这些问胚,本文从不同方面分析了执行难的原因,提出了制定 强制执行法,完善我国执行立法;建立信息系统,强化执行威慑力;规范破产制度,畅通执行的终端;完善执 行体制,提高执行队伍素质等观点。 展开更多
关键词 民商 案件 执行难 原因 对策
下载PDF
民事诉讼法上的“利害关系人”之界定 被引量:19
7
作者 李喜莲 《法律科学(西北政法大学学报)》 CSSCI 北大核心 2012年第1期139-147,共9页
因我国民事诉讼立法及相关司法解释对利害关系人的概念缺乏明确界定,学者们在注解相关条文中的"利害关系人"时亦见解不一,故难以厘清"利害关系人"与"当事人"、"案外人"等概念之间的关系。实务... 因我国民事诉讼立法及相关司法解释对利害关系人的概念缺乏明确界定,学者们在注解相关条文中的"利害关系人"时亦见解不一,故难以厘清"利害关系人"与"当事人"、"案外人"等概念之间的关系。实务界因缺乏明确的法律依据和正确的理论指引,在利害关系人之诉权保护及确定审判权作用范围等问题上不时遭遇操作障碍。就制定法上概念、术语的精确化而言,司法解释比法条定义更具灵活性和针对性,更能适用变化多样的法律关系。为了保护利害关系人的合法权益,保障民事诉讼的正常运行,最高人民法院应根据一般民事案件的私益性、对抗性,非讼案件的公益性,执行案件兼顾第三人利益之特点,出台相关司法解释,对通常诉讼程序、非讼程序和执行程序中的利害关系人分别作出界定。 展开更多
关键词 民事诉讼 利害关系 利害关系人 非讼案件 执行程序
原文传递
基于模型的Web应用测试 被引量:16
8
作者 缪淮扣 陈圣波 曾红卫 《计算机学报》 EI CSCD 北大核心 2011年第6期1012-1028,共17页
提出了基于模型的Web应用测试方法,包括建模、测试用例生成、测试用例的执行、模型以及测试用例的可视化等关键技术.设计并实现一个基于模型的Web应用测试系统.以FSM作为被测Web应用的形式测试模型,集成了模型转换器、测试目标分析器、... 提出了基于模型的Web应用测试方法,包括建模、测试用例生成、测试用例的执行、模型以及测试用例的可视化等关键技术.设计并实现一个基于模型的Web应用测试系统.以FSM作为被测Web应用的形式测试模型,集成了模型转换器、测试目标分析器、测试序列生成器、FSM和测试序列可视化以及Web应用测试执行引擎等工具.除支持状态覆盖、迁移覆盖、迁移对覆盖等传统的覆盖准则外,还改进/提出了优化状态迁移覆盖、完整消息传递覆盖、完整功能交互覆盖和功能循环交互覆盖等覆盖准则.该文以兴宁水库移民信息管理系统为例演示了该系统. 展开更多
关键词 WEB应用 模型转换 测试用例生成 测试执行
下载PDF
“案结事了”理想的实践障碍及其超越——基于调解案件进入执行程序的实证分析 被引量:4
9
作者 冯一文 《宁波大学学报(人文科学版)》 2009年第6期132-136,共5页
尽管调解结案相对于判决结案的优越性重新得到肯定,但调解结案的"案结事了"司法功能却出现弱化趋势,相当部分调解案件"案结事不了"需要法院强制执行。探究原因,从调解程序参与者的角度看,主要是由义务人的不当参与... 尽管调解结案相对于判决结案的优越性重新得到肯定,但调解结案的"案结事了"司法功能却出现弱化趋势,相当部分调解案件"案结事不了"需要法院强制执行。探究原因,从调解程序参与者的角度看,主要是由义务人的不当参与调解与法官不适当地寻求"案结"利益而罔顾"事了"目标造成的。为此,应从杜绝义务人不当参与调解和防止法官不当主持调解两个层面,对诉讼调解相关制度作一重构。 展开更多
关键词 “案结事了” 调解案件 强制执行
下载PDF
我国执行转破产程序衔接机制完善路径探索——从破产案件审理信息化出发 被引量:2
10
作者 马更新 《法学家》 北大核心 2023年第5期131-143,195,共14页
我国破产案件审理信息化处于高速发展的上升期,其便捷的操作方式、低廉的成本投入等优势,有助于提升审理效率、保障各方利益、实现案件公平。但“执转破”程序目前尚缺乏行之有效的信息化审理系统,在实践中出现各方当事人对程序申请存... 我国破产案件审理信息化处于高速发展的上升期,其便捷的操作方式、低廉的成本投入等优势,有助于提升审理效率、保障各方利益、实现案件公平。但“执转破”程序目前尚缺乏行之有效的信息化审理系统,在实践中出现各方当事人对程序申请存在顾虑、进入破产程序后难以双向衔接等问题。破解问题之道在于构建执行与破产新型程序信息共享系统,并通过该系统将执行程序中的强制措施保留至破产程序,在“执转破”程序中尝试构建简易破产制度,并加强各个部门之间的沟通协作,以解决目前“执转破”案件实践中存在的问题,实现其衔接执行与破产程序、调和执行难题的制度价值,也使其更好地服务于我国市场主体的退出和产业结构的调整。 展开更多
关键词 破产信息化 执转破 程序衔接 市场退出
原文传递
浅论非诉行政案件执行制度 被引量:2
11
作者 尤春媛 赵文瑜 《山西财经大学学报(高等教育版)》 2006年第1期76-78,共3页
非诉行政执行是将生效的具体行政行为提交法院审查、执行,通过分割行政权来达到最大限度地保护相对人的利益、防止滥用行政权的目的。从现实情况来看,当事人在法定期限内不提起诉讼,并不意味着行政行为的合法、正确。在我国诉讼环境不... 非诉行政执行是将生效的具体行政行为提交法院审查、执行,通过分割行政权来达到最大限度地保护相对人的利益、防止滥用行政权的目的。从现实情况来看,当事人在法定期限内不提起诉讼,并不意味着行政行为的合法、正确。在我国诉讼环境不佳、公民意识不强的情况下,进一步完善非诉行政案件的执行制度,对减少行政侵害的发生,保护相对人的利益具有积极的作用。 展开更多
关键词 非诉 行政执行 行政诉讼
下载PDF
民事执行异议之诉问题研究 被引量:3
12
作者 王静 《河南财经政法大学学报》 CSSCI 2021年第4期123-129,共7页
民事执行异议之诉是实体性执行救济制度,在实践中与普通民事诉讼制度相互吸收排斥,与民事审判监督、民事执行监督之间密切关联,司法实践容易认知不一、适用混淆。厘清民事执行异议之诉与其他相关民事程序界限,确定关联程序的“连接点”... 民事执行异议之诉是实体性执行救济制度,在实践中与普通民事诉讼制度相互吸收排斥,与民事审判监督、民事执行监督之间密切关联,司法实践容易认知不一、适用混淆。厘清民事执行异议之诉与其他相关民事程序界限,确定关联程序的“连接点”,才能明确民事执行异议之诉受案范围的除外情形:担保人、优先权人要求停止对标的物执行的异议、公司要求停止执行股东在公司股权的异议、债权人对于执行法院不同意其参与分配所提异议及其他三种特殊情形的异议,逐帧完善民事执行异议之诉制度。 展开更多
关键词 执行异议之诉 受案范围 执行救济 制度匹配
下载PDF
涉危化品刑事案件行刑衔接疑难问题研究
13
作者 韩瀚 江奥立 《犯罪研究》 2023年第2期97-103,共7页
涉危化品刑事案件办理中的行政执法和刑事司法的有效衔接不仅在于工作机制的优化和完备,还在于法体系的调适和粘合,该项工作在司法实践中常遇诸多挑战,最主要的原因在于司法人员对前置性法律法规的理解以及对刑法规范的把握存在偏差。... 涉危化品刑事案件办理中的行政执法和刑事司法的有效衔接不仅在于工作机制的优化和完备,还在于法体系的调适和粘合,该项工作在司法实践中常遇诸多挑战,最主要的原因在于司法人员对前置性法律法规的理解以及对刑法规范的把握存在偏差。结合司法实践中暴露的突出问题,针对性完善前置性法律法规的内容、充分挖掘前置性法律法规的规范价值以及理性看待前置性法律法规和刑事规范之间的差异性与独立性,是进一步提升涉危化品刑事案件行刑衔接工作水平的重要举措。 展开更多
关键词 涉危化品刑事案件 行刑衔接 前置性规范
下载PDF
基于符号执行和LTL公式重写的测试用例产生方法 被引量:3
14
作者 陈冬火 刘全 《计算机研究与发展》 EI CSCD 北大核心 2013年第12期2661-2675,共15页
基于模型检验等形式化方法的测试用例自动产生技术成为测试自动化领域一项重要的进展.对于输入和输出为无界抽象数据类型的无限状态系统,利用传统模型检验技术难以有效地产生测试用例集合,提出基于符号执行和公式重写的测试用例产生方法... 基于模型检验等形式化方法的测试用例自动产生技术成为测试自动化领域一项重要的进展.对于输入和输出为无界抽象数据类型的无限状态系统,利用传统模型检验技术难以有效地产生测试用例集合,提出基于符号执行和公式重写的测试用例产生方法.通过建立程序的符号化执行模型,避免输入和输出变量数值化枚举而导致的无限状态系统的建模和状态爆炸问题;建立基于符号化执行模型的时序公式重写规则,并根据线性时序逻辑(linear temporal logic,LTL)公式的反例模式求取复杂属性及行为约束关系,利用约束求解的方法自动产生测试用例集合.这种方法集成了符号执行技术和时序公式状态重写——一种轻量级模型检验技术,成为基于复杂抽象数据类型系统与属性相关的测试用例自动产生的有效方法. 展开更多
关键词 测试用例自动产生 符号执行 公式重写 模型检验 线性时序逻辑 输入 输出符号变迁系统
下载PDF
基于符号执行与混合约束求解的测试用例生成研究 被引量:2
15
作者 周海将 吴军华 《计算机应用与软件》 CSCD 2016年第6期23-26,31,共5页
由于现有基于符号执行的测试用例生成方法无法对关于字符串的测试用例生成提供有效支持,因此提出并实现了基于符号执行与混合约束求解测试用例自动化生成方法。该方法利用模型检测软件对被测软件源代码进行符号执行,生成关于字符串与数... 由于现有基于符号执行的测试用例生成方法无法对关于字符串的测试用例生成提供有效支持,因此提出并实现了基于符号执行与混合约束求解测试用例自动化生成方法。该方法利用模型检测软件对被测软件源代码进行符号执行,生成关于字符串与数值的混合约束集,利用字符串-数值约束求解器对约束集进行求解,最终根据求解结果生成软件测试用例与不可达路径。实验结果表明,该方法较好地支持了关于字符串测试用例生成,且具有良好的效率与准确性。 展开更多
关键词 测试用例生成 符号执行技术 混合约束求解 字符串
下载PDF
民行检察“新类型”案件实践与探索——以沈阳地区民事执行监督、虚假诉讼监督及公益诉讼为视角
16
作者 刘宏立 《辽宁公安司法管理干部学院学报》 2018年第1期40-46,共7页
检察机关民行检察的传统业务主要是对法院生效的民事、行政裁判以及损害国家利益、社会公共利益的调解书进行事后监督。但是近年来,尤其是2012年《民事诉讼法》修改后,检察机关民行检察职能和监督格局已经发生重大变化。民事执行检察监... 检察机关民行检察的传统业务主要是对法院生效的民事、行政裁判以及损害国家利益、社会公共利益的调解书进行事后监督。但是近年来,尤其是2012年《民事诉讼法》修改后,检察机关民行检察职能和监督格局已经发生重大变化。民事执行检察监督、虚假诉讼监督和公益诉讼案件等"新类型"监督案件成为民行检察监督的重要内容和常态化工作,在检察监督主业中已发挥重要作用和影响力,是国家监察制度改革后民行检察面临的前所未有的机遇,未来也必将进一步推动民行检察地位向更高更新阶段发展。 展开更多
关键词 新类型案件 民事执行检察 虚假诉讼监督 公益诉讼
下载PDF
规则之失下非诉行政执行案件审理的反思与突破
17
作者 张娇东 《贵州警官职业学院学报》 2012年第2期74-77,113,共5页
《中华人民共和国行政诉讼法》及《关于执行〈中华人民共和国行政诉讼法〉若干问题的解释》规定了对非诉行政执行案件的审理与执行,是法院审理非诉行政执行案件的主要依据。但上述法律规定较为原则,实践中存在诸多问题。伴随国务院《国... 《中华人民共和国行政诉讼法》及《关于执行〈中华人民共和国行政诉讼法〉若干问题的解释》规定了对非诉行政执行案件的审理与执行,是法院审理非诉行政执行案件的主要依据。但上述法律规定较为原则,实践中存在诸多问题。伴随国务院《国有土地上房屋征收与补偿条例》的颁布施行,涉及房屋征收与补偿的非诉行政执行案件将大量涌入法院,使法院在审理非诉行政执行案件时面临诸多新情况、新问题。规则之失下如何受理、审理和执行非诉行政执行案件是当前人民法院行政审判工作的一项重要任务。 展开更多
关键词 非诉行政执行案件 立审分离 审执分离
下载PDF
身份关系案件的执行问题探析
18
作者 赵珂瑞 《宁波广播电视大学学报》 2014年第1期57-58,103,共3页
由于身份关系案件与当事人的婚姻家庭有关,因此这类案件的执行与一般民商事案件执行相比,具有其自身的特点。身份关系案件的执行在努力实现裁判法律文书中确定的权利人权益的同时,还要特别注意维持和维护案件当事人之间的特殊亲情关系... 由于身份关系案件与当事人的婚姻家庭有关,因此这类案件的执行与一般民商事案件执行相比,具有其自身的特点。身份关系案件的执行在努力实现裁判法律文书中确定的权利人权益的同时,还要特别注意维持和维护案件当事人之间的特殊亲情关系。要做好此类案件的执行工作,首先需要完善我国的现行立法,为执行人员的具体执行工作提供法律依据,这样才可能真正实现身份关系案件的执行目标。 展开更多
关键词 民事诉讼 身份关系案件 执行
下载PDF
非诉行政案件如何避免执行错误——兼议执行错误的责任承担
19
作者 代温世 《山西警官高等专科学校学报》 2014年第4期24-28,共5页
非诉行政案件执行错误的原因在于,我国非诉行政审查制度中,被执行人无法参与到法院对非诉案件的审查当中,其陈述和申辩权利没有得到保障。人民法院错误执行后,被执行人往往投诉无门,其权益保障出现了真空。在现有的法律框架内,要使被执... 非诉行政案件执行错误的原因在于,我国非诉行政审查制度中,被执行人无法参与到法院对非诉案件的审查当中,其陈述和申辩权利没有得到保障。人民法院错误执行后,被执行人往往投诉无门,其权益保障出现了真空。在现有的法律框架内,要使被执行人的权利得到有效救济,应使被执行人有机会参与到非诉行政案件审查当中,应根据不同的情形,确定不同的责任主体承担相应的赔偿责任。 展开更多
关键词 非诉行政案件 执行错误 被执行人 责任主体 赔偿责任
下载PDF
HB省行政案件审执情况实证调研——兼谈行政诉讼审执分离
20
作者 代晓涛 《中南财经政法大学研究生学报》 2016年第S1期139-144,共6页
通过对HB省法院行政案件审判与执行情况的调研,以实证分析方法分析和阐释近三年行政审判与执行的状况,解析行政审判效果、诉讼执行与非诉执行和行政机关败诉情况,探求背后的深层次原因和影响。厘清审执关系,既要遵循司法规律,又要敢于... 通过对HB省法院行政案件审判与执行情况的调研,以实证分析方法分析和阐释近三年行政审判与执行的状况,解析行政审判效果、诉讼执行与非诉执行和行政机关败诉情况,探求背后的深层次原因和影响。厘清审执关系,既要遵循司法规律,又要敢于突破法院内部形式"审执分离",实行彻底的实质"审执分离",才能更好地推动HB省乃至全国行政审判功能的发挥,服务国家治理现代化。 展开更多
关键词 HB省 行政案件 审执分离
下载PDF
上一页 1 2 5 下一页 到第
使用帮助 返回顶部