期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到5篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
从公安中心到分工、配合、制约——历史与社会叙事内的刑事诉讼结构 被引量：30
1
作者 刘忠 《法学家》 CSSCI 北大核心 2017年第4期1-16,共16页
一些研究者以流水线、接力赛等隐喻方式命名当代中国的刑事诉讼结构,但这给准确地认知实践中的公检法关系造成巨大的歧义。对当代中国刑事诉讼结构的准确概括,是彭真提出的"分工负责、互相配合、互相制约"。这一政策于1954年... 一些研究者以流水线、接力赛等隐喻方式命名当代中国的刑事诉讼结构,但这给准确地认知实践中的公检法关系造成巨大的歧义。对当代中国刑事诉讼结构的准确概括,是彭真提出的"分工负责、互相配合、互相制约"。这一政策于1954年被正式提出,意在改变此前的公安中心格局。1979年前后,决策者对于犯罪人和政法机关性质的判断发生了转变。此刑事诉讼结构思想在1982年被写入《宪法》,并在1983年通过司法体制变动予以践行。该结构在具体规则、实践中产生了一些非制度期待的结果。2014年启动的新的司法改革设计,对此偏差的矫正是"回到彭真"。 展开更多
关键词 刑事诉讼结构 公检法关系 双向制约 1983年司法改革 彭真
原文传递
双向张弦梁结构的多维地震响应分析和计算 被引量：4
2
作者 邓华 谢道清 林华峰 《振动与冲击》 EI CSCD 北大核心 2010年第10期16-22,101,共8页
采用随机振动理论的功率谱法,对双向张弦梁结构在多维地震作用下的动力性能及抗震计算两方面问题进行了探讨。以一个90m×90m的双向张弦梁屋盖结构为算例,分析了结构的自振特性、多维地震下的位移和内力响应特点、各地震动分量对结... 采用随机振动理论的功率谱法,对双向张弦梁结构在多维地震作用下的动力性能及抗震计算两方面问题进行了探讨。以一个90m×90m的双向张弦梁屋盖结构为算例,分析了结构的自振特性、多维地震下的位移和内力响应特点、各地震动分量对结构响应的贡献以及上下部协同工作的影响等。在地震作用计算方面,对组合振型数的选取、预应力效应的影响、阻尼比的敏感性以及《建筑抗震设计规范》(GB50011)的多维地震效应组合方法的有效性进行了考察。对双向张弦梁结构的一些非常规地震响应特点给予了强调,提出抗震计算方面的建议,可供设计人员参考。 展开更多
关键词 双向张弦梁 多维地震 动力响应 抗震计算 随机振动
下载PDF
双曲拱桥的结构检算及病害分析 被引量：2
3
作者 陶红艳 《森林工程》 2007年第2期59-61,共3页
通过对双曲拱桥上部结构检算,确定其承载能力,并通过静载试验进行验证。对该桥病害成因进行分析,为维修和加固提供理论上的依据。
关键词 双曲拱桥 结构检算 静载试验 病害
下载PDF
新旧规范下某双曲拱桥结构承载能力研究
4
作者 费文 《北方交通》 2015年第6期10-12,16,共4页
双曲拱桥是中国特有的桥型,一些双曲拱桥已经严重老化,如何准确地评价这些已经不堪重负的双曲拱桥,成为目前亟待解决的一个问题。结合具体的工程实例,利用有限元软件,建立有限元模型,来分析比较新、旧规范下双曲拱桥的承载能力,为桥梁... 双曲拱桥是中国特有的桥型,一些双曲拱桥已经严重老化,如何准确地评价这些已经不堪重负的双曲拱桥,成为目前亟待解决的一个问题。结合具体的工程实例,利用有限元软件,建立有限元模型,来分析比较新、旧规范下双曲拱桥的承载能力,为桥梁养护部门制定合理的加固和养护方案提供科学的依据。 展开更多
关键词 双曲拱 旧规范 现行规范 承载能力 结构验算
下载PDF
PSL构造双向交换自动机及非确定自动机的方法
5
作者 虞蕾 陈火旺 《软件学报》 EI CSCD 北大核心 2010年第1期34-46,共13页
PSL(property specification language)是一种用于描述并行系统的属性规约语言,包括线性时序逻辑FL(foundation language)和分支时序逻辑OBE(optional branching extension)两部分.由于OBE就是CTL(computation tree logic),并且具有时... PSL(property specification language)是一种用于描述并行系统的属性规约语言,包括线性时序逻辑FL(foundation language)和分支时序逻辑OBE(optional branching extension)两部分.由于OBE就是CTL(computation tree logic),并且具有时钟声明的公式很容易改写成非时钟公式,因此重点研究了非时钟FL逻辑.为便于进行模型检验,每个FL公式必须转化成为一种可验证形式,通常是自动机(非确定自动机).构造非确定自动机的过程主要是通过中间构建交换自动机来实现.详细给出了由非时钟FL构造双向交换自动机的构造规则.构造规则的核心逻辑不仅仅局限于是在LTL(linear temporal logic)基础上的正规表达式,而且全面而充分地考虑了各种FL操作算子的可能性.并且给出了将双向交换自动机转化为非确定自动机的一种方法.最后,编写了将PSL转化为上述自动机的实现工具.FL双向交换自动机的构造规则计算复杂度仅是FL公式长度的线性表达式,验证了构造规则的正确性.在此基础上,证明了双向交换自动机与其转化的等价的非确定自动机接受的语言相同.上述工作对解决复杂并行系统建模和模型验证问题具有重要的理论意义和应用价值. 展开更多
关键词 PSL(property specification language) FL(foundation language) 双向交换自动机 非确定自动机 模型检验
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部