期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
并发对象强可线性化性质的检测和验证
1
作者 王超 贾巧雯 +1 位作者 吕毅 吴鹏 《软件学报》 EI CSCD 北大核心 2024年第9期4141-4159,共19页
可线性化被公认为并发对象正确性标准,但其已被证明不能作为含有随机语句的并发对象的正确性标准.为此,Golab等人提出了强可线性化概念,它在可线性化的定义上增加了前缀保持性质,对并发对象具有更强的约束性.关于强可线性化的研究集中... 可线性化被公认为并发对象正确性标准,但其已被证明不能作为含有随机语句的并发对象的正确性标准.为此,Golab等人提出了强可线性化概念,它在可线性化的定义上增加了前缀保持性质,对并发对象具有更强的约束性.关于强可线性化的研究集中在使用特定的基本对象构造满足强可线性化性质的并发对象的可行性.对常见的并发对象的强可线性化性质的检测和验证方面的研究较为少见.从并发对象的验证算法和证否方法两个方面研究了强可线性化性质.首先,细化强可线性化性质,将它细分为固定生效点和单纯帮助两类,并证明固定生效点是已有的固定可线性化点概念的扩展.其次,提出两种强可线性化的验证算法,其中一种基于固定可线性化点,另一种基于固定生效点.最后,给出一个构造性的证明并发对象违背强可线性化的证明方法,依据该方法证明了Herlihy&Wing队列、一种单读单写寄存器实现和一种并发快照实现违反强可线性化性质. 展开更多
关键词 并发对象 正确性标准 可线性化 强可线性化
下载PDF
维特根斯坦私人语言研究的“语法”性质
2
作者 林允清 《哲学分析》 CSSCI 北大核心 2024年第1期3-31,196,共30页
维特根斯坦的私人语言研究是语法研究。私人语言的定义表明私人说话者对他的感觉没有自然表现。这就意味着他对他的感觉词汇没有正确性标准。如果一个词的使用没有正确性标准,那么它就是无意义的;这是一条语法规则。根据这条语法规则,... 维特根斯坦的私人语言研究是语法研究。私人语言的定义表明私人说话者对他的感觉没有自然表现。这就意味着他对他的感觉词汇没有正确性标准。如果一个词的使用没有正确性标准,那么它就是无意义的;这是一条语法规则。根据这条语法规则,私人的感觉词汇是无意义的,私人语言也就是无意义的了。维特根斯坦通过语法研究成功消解了私人语言问题,他对私人语言的处理与他的哲学理念是一致的。此外,维特根斯坦还对认为私人语言有可能的哲学家们所犯的错误进行了诊断并为其提供了治疗。 展开更多
关键词 维特根斯坦 私人语言 感觉 自然表现 正确性标准 语法
下载PDF
关于检验实践标准问题的争鸣
3
作者 华兰英 《中共山西省委党校学报》 1990年第5期17-18,共2页
理论界对检验实践的标准问题的争议。归纳起来主要有下列意见:第一种意见认为,真理是检验实践正确性的标准。真理是客观规律的主观存在方式,离开这种客观规律的主观存在方式,人类将无法把握任何客观规律。因而它也就成为人们行为是否符... 理论界对检验实践的标准问题的争议。归纳起来主要有下列意见:第一种意见认为,真理是检验实践正确性的标准。真理是客观规律的主观存在方式,离开这种客观规律的主观存在方式,人类将无法把握任何客观规律。因而它也就成为人们行为是否符合客观规律的唯一的科学尺度。真理能够成为检验实践的正确性标准,理由是:①真理具有科学性。②真理具有绝对性。③真理具有客观性。有的论者指出,在真理形成过程中,实践是检验真理的标准。因为一种认识只有经过实践的检验,才能确定其为真理。 展开更多
关键词 检验实践 正确性标准 最终决定力量 意识范畴 人民群众 检验标准 人的发展 经验教训 价值内容 人类实践活动
下载PDF
我国采光权诉讼司法审查标准刍议
4
作者 陈骏 《宁波广播电视大学学报》 2013年第4期53-57,共5页
采光权行政诉讼具有证据技术性、专业性强,法律法规内容冲突,法定程序缺失,自由裁量空间大等特性,使法院在运用既有司法审查标准过程中产生困惑。对此,应坚持区分类别的司法审查标准,即对于事实问题,采用合理性审查标准,一般情况下尊重... 采光权行政诉讼具有证据技术性、专业性强,法律法规内容冲突,法定程序缺失,自由裁量空间大等特性,使法院在运用既有司法审查标准过程中产生困惑。对此,应坚持区分类别的司法审查标准,即对于事实问题,采用合理性审查标准,一般情况下尊重行政部门依据技术标准做出的事实认定;对于法律问题,采用正确性审查标准,审查具体行政行为是否用了无效或错误的技术标准;对于程序问题,采用正当程序审查标准,确保当事人采光权得到充分救济。 展开更多
关键词 采光权诉讼 司法审查标准 合理性审查标准 正确性审查标准 正当程序审查标准
下载PDF
合法律性论证与合理性论证——从南京彭×撞人案一审判决书谈起 被引量:3
5
作者 杨贝 《法治论坛》 2008年第2期63-76,共14页
关键词 一审判决 合理性论证 法律决定 法律论证 外部证成 正确性标准 论证理论 彭宇 残疾赔偿金 佩雷尔曼
原文传递
NLO QCD corrections to Bc(B*c) production around the Z pole at an e+e- collider
6
作者 XuChang Zheng ChaoHsi Chang +1 位作者 TaiFu Feng Zan Pan 《Science China(Physics,Mechanics & Astronomy)》 SCIE EI CAS CSCD 2018年第3期34-46,共13页
The production of Bc and B* mesons at a Z-factory (an e+e- collider operating at energies around the Z pole) is calculated up to the next-to-leading order (NLO) QCD accuracy. The results show that the dependence... The production of Bc and B* mesons at a Z-factory (an e+e- collider operating at energies around the Z pole) is calculated up to the next-to-leading order (NLO) QCD accuracy. The results show that the dependence of the total cross sections on the renormalization scale/1 is suppressed by the corrections, and the NLO corrections enhance the total cross sections of B,. by 52% and of Bc* by 33% when the renormalization scale is taken at μ = 2mb. To observe the various behaviors of the production of the mesons Bc and Bc*, such as the differential cross section vs. the out-going angle, the forward-backward asymmetry, and the distribution vs. the energy fraction z up to NLO QCD accuracy as well as the relevant K-factor (NLO to LO) for the production, are calculated, and it is pointed out that some of the observables obtained in the present work may be used as a specific precision test of the standard model. 展开更多
关键词 Bc meson PRODUCTION Z-factory
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部