检索结果-维普期刊中文期刊服务平台

程序性质的描述及证明被引量：2: 1; 作者官荷卿郭亮《计算机科学》 CSCD 北大核心 2003年第3期146-148,共3页; XYZ/E是一种基于Manna-Pnueli线性时序逻辑的线性时序逻辑语青(LTLL),其主要特征为它在统一的时序逻辑框架下既能表示程序的静态规范(XYZ/AE)也能表示可执行代码(XYZ/EE),因此程序规范和程序可执行代码的语义一致性也就得以在时序逻辑... 展开更多; 关键词程序性质程序设计 XYZ语言 AE语言时序逻辑语言; 在线阅读下载PDF 职称材料

XYZ/AE描述程序性质的探讨被引量：1: 2; 作者左春华张广泉戎玫《计算机科学》 CSCD 北大核心 2007年第3期268-270,278,共4页; 为保证程序的正确性,程序在投入使用前需要检验其是否满足规定的性质,那么程序的性质需要用一种语言来描述。XYZ/AE是时序逻辑系统XYZ的一个子语言,用此语言描述程序性质有很多优点。XYZ/AE不仅能描述所有的程序性质且简单易懂,另外它... 展开更多; 关键词程序性质 XYZ/AE XYZ/E; 在线阅读下载PDF 职称材料

面向对象的燃气热力性质计算程序设计: 3; 作者陈坚红盛德仁 +2 位作者渠福来岑可法任浩仁《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2003年第5期588-590,622,共4页; 为计算燃气的热力性质,根据燃料与空气燃烧的通用化学反应方程式,分析了燃气的基本特征,对燃气热力性质(内能、焓、比热等)的计算方法进行了改进,使该计算方法能适应不同地区、不同气候的空气含氧量差异对燃气成分的变化情况.利用面向... 展开更多; 关键词燃气热力性质计算程序面向对象程序设计计算方法化学反应方程式; 在线阅读下载PDF 职称材料

第三人撤销之诉性质的重识被引量：5: 4; 作者杨卫国《东方法学》 CSSCI 2015年第5期152-160,共9页; 目前国内关于第三人撤销之诉性质的讨论多集中在"诉的性质"方面,且重点围绕是否属诉讼法上的形成之诉展开争论,很少从"程序性质"的角度来进行探讨。以诉讼法上的形成之诉为焦点的第三人撤销之诉性质的讨论是伪命题... 展开更多; 关键词第三人撤销之诉诉的性质程序性质; 在线阅读下载PDF 职称材料

实体法与程序法交互作用下的共有物分割之诉被引量：11: 5; 作者邬砚《现代法学》 CSSCI 北大核心 2016年第2期61-71,共11页; 在共有物分割之诉中,实体法与程序法呈现出明显的交互关系。一是围绕共有物分割滋生的实体权利义务争议涉及诸多事项,基于实体权利义务的一体性,应对争议事项做一揽子解决。这就导致共有物分割之诉突破了程序法的诉讼类型区分,囊括了确... 展开更多; 关键词共有物分割射程范围程序性质裁判规则; 在线阅读下载PDF 职称材料

基于PVS的时序逻辑语义模型及其实现: 6; 作者许庆国缪淮扣《应用科学学报》 CAS CSCD 北大核心 2006年第6期598-603,共6页; 时序逻辑作为一种规格说明语言,能够很好地描述程序性质.为了能够利用现有的定理证明器PVS(prototype verification system)对用时序逻辑公式描述的程序性质予以证明,从而达到程序验证的目的.文中在PVS中建立了时序逻辑的语义模型,同时... 展开更多; 关键词时序逻辑语义定理证明程序性质; 在线阅读下载PDF 职称材料

SPS系统的一种精确语义描述: 7; 作者戎玫《计算机科学》 CSCD 北大核心 2008年第10期284-287,共4页; 规约模式系统SPS是根据性质的语义抽象而成的描述程序性质的表达模式,既能方便程序员使用,又有对应的时序逻辑表达式。但是,它现有的语义描述不够精确。首先介绍了规约模式系统及其现有的语义,并用它描述了实例的性质,接着采用模型检测... 展开更多; 关键词规约模式系统程序性质形式化方法 SPIN; 在线阅读下载PDF 职称材料

我国第三人撤销之诉若干问题的新思考被引量：5: 8; 作者胡军辉张瑞鑫《中南大学学报（社会科学版）》 CSSCI 2015年第3期86-92,共7页; 第三人撤销之诉程序有四种不同的类型,我国立法规定的是独立型第三人撤销之诉程序。在性质上,第三人撤销之诉既属于事前救济程序又属于事后救济程序。在审级利益的保护上,当事人之间存在不可避免的不对等,需要对相关救济程序进行特殊的... 展开更多; 关键词第三人撤销之诉程序类型与性质审级利益功能定位程序完善; 在线阅读下载PDF 职称材料

题名程序性质的描述及证明被引量：2: 1; 作者官荷卿郭亮; 机构中国科学院软件研究所计算机科学开放研究实验室; 出处《计算机科学》 CSCD 北大核心 2003年第3期146-148,共3页; 基金国家自然科学基金YCK15028; 文摘 XYZ/E是一种基于Manna-Pnueli线性时序逻辑的线性时序逻辑语青(LTLL),其主要特征为它在统一的时序逻辑框架下既能表示程序的静态规范(XYZ/AE)也能表示可执行代码(XYZ/EE),因此程序规范和程序可执行代码的语义一致性也就得以在时序逻辑框架下验证。对于顺序程序,XYZ系统提供了一套基于Hoare逻辑规则的验证工具XYZ/VERI。; 关键词程序性质程序设计 XYZ语言 AE语言时序逻辑语言; Keywords Temporal logic language XYZ/E.Dekker algorithm,Specification,Prove .Liveness, Safety; 分类号 TP311.1 [自动化与计算机技术—计算机软件与理论] TP312 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名XYZ/AE描述程序性质的探讨被引量：1: 2; 作者左春华张广泉戎玫; 机构苏州大学计算机科学与技术学院暨南大学深圳旅游学院; 出处《计算机科学》 CSCD 北大核心 2007年第3期268-270,278,共4页; 基金江苏省高校自然科学基金(批准号:05KJB520119) 重庆市自然科学基金项目(编号:CSTC +1 种基金 2006BB2259) 重庆市教委科学技术研究项目(合同号:040803); 文摘为保证程序的正确性,程序在投入使用前需要检验其是否满足规定的性质,那么程序的性质需要用一种语言来描述。XYZ/AE是时序逻辑系统XYZ的一个子语言,用此语言描述程序性质有很多优点。XYZ/AE不仅能描述所有的程序性质且简单易懂,另外它能与可执行语言XYZ/EE结合,描绘程序中间程度的抽象性,具有很好的扩展性。文章从上述几方面探讨了XYZ/AE描述程序性质的能力。; 关键词程序性质 XYZ/AE XYZ/E; Keywords Program＇ s property, XYZ/AE, XYZ/EE; 分类号 TP31 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名面向对象的燃气热力性质计算程序设计: 3; 作者陈坚红盛德仁渠福来岑可法任浩仁; 机构浙江大学机械与能源工程学院; 出处《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2003年第5期588-590,622,共4页; 文摘为计算燃气的热力性质,根据燃料与空气燃烧的通用化学反应方程式,分析了燃气的基本特征,对燃气热力性质(内能、焓、比热等)的计算方法进行了改进,使该计算方法能适应不同地区、不同气候的空气含氧量差异对燃气成分的变化情况.利用面向对象程序设计思想,建立了C-H-O-N-S类型的燃料与空气完全燃烧生成燃气的热力性质计算模型的基本框架,并详细讨论了其内部实现过程.通过计算实例验证表明,此方法具有便捷、可靠、精度高的特点,其最大误差不超过0.34%.; 关键词燃气热力性质计算程序面向对象程序设计计算方法化学反应方程式; Keywords flue gas thermodynamic properties object-oriented; 分类号 TP311.1 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名第三人撤销之诉性质的重识被引量：5: 4; 作者杨卫国; 机构海南大学法学院; 出处《东方法学》 CSSCI 2015年第5期152-160,共9页; 文摘目前国内关于第三人撤销之诉性质的讨论多集中在"诉的性质"方面,且重点围绕是否属诉讼法上的形成之诉展开争论,很少从"程序性质"的角度来进行探讨。以诉讼法上的形成之诉为焦点的第三人撤销之诉性质的讨论是伪命题,既缺乏理论基础也不符合中国现实。从"程序性质"的角度看,第三人撤销之诉本质上是以除去对第三人产生不利影响的原确定判决内容之效力为前提,重新实现第三人参加之诉的纠纷一次性解决功能的特殊复合诉讼救济程序。除去原确定判决部分或全部效力只是实现维护第三人的实体权益的前提步骤和手段而已,不能作为诉讼标的,其诉讼标的为第三人与原当事人之间争议的请求法院审判的民事实体法律关系或者民事实体权利。; 关键词第三人撤销之诉诉的性质程序性质; 分类号 D922.291.91 [政治法律—经济法学]; 在线阅读下载PDF 职称材料

题名实体法与程序法交互作用下的共有物分割之诉被引量：11: 5; 作者邬砚; 机构重庆市沙坪坝区人民法院; 出处《现代法学》 CSSCI 北大核心 2016年第2期61-71,共11页; 文摘在共有物分割之诉中,实体法与程序法呈现出明显的交互关系。一是围绕共有物分割滋生的实体权利义务争议涉及诸多事项,基于实体权利义务的一体性,应对争议事项做一揽子解决。这就导致共有物分割之诉突破了程序法的诉讼类型区分,囊括了确认之诉、形成之诉与给付之诉等多重内容。二是实体法上关于裁判分割方法的确定,具有明显的非讼属性,而共有人份额的确定、是否符合分割条件的判断,则属于典型的诉讼事件。这就导致共有物分割之诉兼具非讼向度与诉讼向度,但为效率计,仍应在一个诉讼程序中一并解决。三是在具体确定起诉条件、分割方法、他项权利人的诉讼地位、诉讼费的分配时,亦涉及实体法与程序法的交错问题,应同时满足二者的要求。; 关键词共有物分割射程范围程序性质裁判规则; Keywords the division of co-owned property covering scope procedural nature judgment rules; 分类号 DF72 [政治法律—诉讼法学]; 在线阅读下载PDF 职称材料

题名基于PVS的时序逻辑语义模型及其实现: 6; 作者许庆国缪淮扣; 机构上海大学计算机工程与科学学院; 出处《应用科学学报》 CAS CSCD 北大核心 2006年第6期598-603,共6页; 基金国家自然科学基金(60173031) 国家"973"重点基础研究发展计划(2002CB312001)资助项目; 文摘时序逻辑作为一种规格说明语言,能够很好地描述程序性质.为了能够利用现有的定理证明器PVS(prototype verification system)对用时序逻辑公式描述的程序性质予以证明,从而达到程序验证的目的.文中在PVS中建立了时序逻辑的语义模型,同时给出了其语义解释.然后通过一个简单的例子(求解整数平方根的程序),应用时序逻辑公式对该程序的部分性质进行了描述,取得了较好的效果.实现了程序性质的时序逻辑公式表示,为使用PVS验证程序的性质打下了一个好的基础.; 关键词时序逻辑语义定理证明程序性质; Keywords temporal logic semantics PVS program properties; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名SPS系统的一种精确语义描述: 7; 作者戎玫; 机构暨南大学深圳旅游学院; 出处《计算机科学》 CSCD 北大核心 2008年第10期284-287,共4页; 基金重庆市自然科学基金(2006BB2259) 江苏省高校自然科学基金(08KJB520010); 文摘规约模式系统SPS是根据性质的语义抽象而成的描述程序性质的表达模式,既能方便程序员使用,又有对应的时序逻辑表达式。但是,它现有的语义描述不够精确。首先介绍了规约模式系统及其现有的语义,并用它描述了实例的性质,接着采用模型检测工具SPIN验证了该系统表达的性质,通过对比验证结果及现有语义,给出了系统精确的语义描述。; 关键词规约模式系统程序性质形式化方法 SPIN; Keywords SPS, Program properties,Formal method,SPIN; 分类号 TP311.52 [自动化与计算机技术—计算机软件与理论] X823 [环境科学与工程—环境工程]; 在线阅读下载PDF 职称材料

题名我国第三人撤销之诉若干问题的新思考被引量：5: 8; 作者胡军辉张瑞鑫; 机构湘潭大学法学院; 出处《中南大学学报（社会科学版）》 CSSCI 2015年第3期86-92,共7页; 基金教育部人文社会科学研究规划基金项目"第三人撤销之诉研究"(13YJA820012) 湘潭大学法学院研究生科研创新项目"诉讼调解瑕疵及其救济途径"(FXYCX003); 文摘第三人撤销之诉程序有四种不同的类型,我国立法规定的是独立型第三人撤销之诉程序。在性质上,第三人撤销之诉既属于事前救济程序又属于事后救济程序。在审级利益的保护上,当事人之间存在不可避免的不对等,需要对相关救济程序进行特殊的设置以达到适度平衡的目的。第三人撤销之诉的制度目的和功能定位具有复合性,但应当突出其纠错功能、事后救济功能和实体救济功能。我国现行法对第三人撤销之诉的程序设置并不够完善,仍需要对其进行进一步的修改。; 关键词第三人撤销之诉程序类型与性质审级利益功能定位程序完善; Keywords suit for the third party to revoke judgment procedure types and nature case-hearing level interests functional localization improvement of procedure; 分类号 D915 [政治法律—诉讼法学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	程序性质的描述及证明	官荷卿郭亮	《计算机科学》 CSCD 北大核心	2003	2	在线阅读下载PDF 职称材料
2	XYZ/AE描述程序性质的探讨	左春华张广泉戎玫	《计算机科学》 CSCD 北大核心	2007	1	在线阅读下载PDF 职称材料
3	面向对象的燃气热力性质计算程序设计	陈坚红盛德仁渠福来岑可法任浩仁	《浙江大学学报（工学版）》 EI CAS CSCD 北大核心	2003	0	在线阅读下载PDF 职称材料
4	第三人撤销之诉性质的重识	杨卫国	《东方法学》 CSSCI	2015	5	在线阅读下载PDF 职称材料
5	实体法与程序法交互作用下的共有物分割之诉	邬砚	《现代法学》 CSSCI 北大核心	2016	11	在线阅读下载PDF 职称材料
6	基于PVS的时序逻辑语义模型及其实现	许庆国缪淮扣	《应用科学学报》 CAS CSCD 北大核心	2006	0	在线阅读下载PDF 职称材料
7	SPS系统的一种精确语义描述	戎玫	《计算机科学》 CSCD 北大核心	2008	0	在线阅读下载PDF 职称材料
8	我国第三人撤销之诉若干问题的新思考	胡军辉张瑞鑫	《中南大学学报（社会科学版）》 CSSCI	2015	5	在线阅读下载PDF 职称材料