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

竞赛过失伤害行为的类型重构与刑事责任法理探究被引量：4: 1; 作者王桢《天津体育学院学报》 CAS CSSCI 北大核心 2015年第1期77-81,共5页; 我国对竞赛过失伤害行为的刑事责任研究仍显薄弱,原因是现有的分类方式不能为刑事责任的法理研究提供理想的分类模型,以此找出罪与非罪的理由进行详细探讨。因此,需要在确立其行为的构成要件后对其内容展开讨论,根据竞赛违规目的与过失... 展开更多; 关键词竞赛过失伤害行为类型重构纯粹的竞赛过失伤害行为故意的竞赛过失伤害行为刑事责任; 在线阅读下载PDF 职称材料

基于规则的数据类型重构技术研究: 2; 作者尹青何东 +1 位作者李娜何红旗《计算机工程》 CAS CSCD 2012年第19期30-33,共4页; 为恢复变量的数据类型信息并提高反编译的质量,提出一种基于规则的数据类型重构方法。采用静态和动态相结合的分析方式,将可执行代码转化为中间语言,在优化中间语言的基础上为每条指令制定约束规则,并给出相应的求解算法,从而推导出变... 展开更多; 关键词反编译类型重构类型约束中间语言类型格; 在线阅读下载PDF 职称材料

一种重构二进制代码中类型抽象的方法被引量：8: 3; 作者马金鑫李舟军 +2 位作者忽朝俭张俊贤郭涛《计算机研究与发展》 EI CSCD 北大核心 2013年第11期2418-2428,共11页; 重构二进制代码中的类型信息对逆向工程、漏洞分析及恶意代码检测等方面具有重大的意义,由于类型信息在编译过程中被移除,且二进制代码中的低级抽象难以理解,因此类型重构一直被认为是恢复高级抽象遇到的困难问题之一,现有的大多工具对... 展开更多; 关键词类型重构寄存器抽象语法树中间语言循环变量别名分析; 在线阅读下载PDF 职称材料

类型还原与重构:张家界土家传统民居的现代转化设计研究被引量：5: 4; 作者欧阳国辉向子睿 +2 位作者陈鑫陈染岐李维灏《家具与室内装饰》北大核心 2023年第7期130-135,共6页; 为满足村民的现代需求并最大化保留张家界土家传统民居风貌,基于建筑类型学的形态设计方法,以类型还原的方式从空间形制、建筑样式、建筑装饰等方面提取张家界土家传统民居的“住居原型”,以类型重构方法中的结构拓扑变换、空间要素传... 展开更多; 关键词类型还原类型重构土家传统民居现代转化设计; 在线阅读下载PDF 职称材料

反编译中数据类型自动重构技术研究被引量：1: 5; 作者何东尹青 +1 位作者谢耀宾井静《计算机科学》 CSCD 北大核心 2012年第5期133-136,共4页; 类型重构作为反编译的关键问题,对程序的可读性及可理解性具有重要的作用。给出了汇编基础上数据类型自动重构的算法。对于简单类型,通过基于格的类型属性操作,用迭代算法来实现类型恢复;对于复杂类型,通过构建标记等价类来恢复结构化... 展开更多; 关键词反编译类型重构类型依赖方程等价类; 在线阅读下载PDF 职称材料

基于新息自适应卡尔曼滤波算法的多类型结构响应重构被引量：2: 6; 作者丁怡渊殷红彭珍瑞《计算力学学报》 CAS CSCD 北大核心 2023年第5期757-763,共7页; 为改善传统卡尔曼滤波KF(Kalman filter)算法在过程噪声方差和测量噪声方差未知的情况下响应重构精度降低甚至发散的问题,提出了一种基于新息自适应卡尔曼滤波IAKF(innovation-based adaptive Kalman filter)算法的多类型响应重构方法... 展开更多; 关键词未知噪声方差卡尔曼滤波算法有限测点多类型响应重构; 在线阅读下载PDF 职称材料

未知测量噪声下的结构多类型响应重构被引量：1: 7; 作者史鹏程彭珍瑞《应用力学学报》 CAS CSCD 北大核心 2023年第6期1428-1436,共9页; 针对使用传统卡尔曼滤波(Kalman filter,KF)算法进行结构响应重构时测量噪声方差估计及多类型响应重构难的问题,提出了一种融合噪声方差估计和多类型响应重构的方法。首先在移动窗口卡尔曼滤波算法中引入近似计算的方法,提出递推移动窗... 展开更多; 关键词噪声递推估计卡尔曼滤波算法移动窗口法多类型结构响应重构; 在线阅读下载PDF 职称材料

基于状态空间模型的结构外部激励计算与响应重构: 8; 作者彭珍瑞史鹏程《铁道学报》 EI CAS CSCD 北大核心 2023年第12期182-188,共7页; 为提供更完备的响应数据,提出一种借助于状态空间模型的结构外部激励计算和结构多类型响应重构的方法。首先,将二阶动力学方程转化为状态空间模型,并利用状态空间模型推导出结构外部激励的计算公式。然后,将激励与结构模态坐标组合成新... 展开更多; 关键词多类型响应重构激励计算状态空间模型粒子滤波算法萤火虫算法; 在线阅读下载PDF 职称材料

题名竞赛过失伤害行为的类型重构与刑事责任法理探究被引量：4: 1; 作者王桢; 机构西南政法大学法学院; 出处《天津体育学院学报》 CAS CSSCI 北大核心 2015年第1期77-81,共5页; 基金西南政法大学研究生科研创新计划资助项目(项目编号:XZYJS2014086); 文摘我国对竞赛过失伤害行为的刑事责任研究仍显薄弱,原因是现有的分类方式不能为刑事责任的法理研究提供理想的分类模型,以此找出罪与非罪的理由进行详细探讨。因此,需要在确立其行为的构成要件后对其内容展开讨论,根据竞赛违规目的与过失伤害行为、竞赛违规心理与犯罪过失心理2对关系进行类型的重构,将其分为纯粹的竞赛过失伤害行为与故意的竞赛过失伤害行为。纯粹的竞赛过失伤害行为虽然具有违法性,但满足刑法在体育行业发展过程中的谦抑需要,且兼具责任能力减弱的条件,因而不具有刑事可罚性。故意的竞赛过失伤害行为因违反保护其他运动员的义务,具有适法的期待可能性,违反竞技体育精神,应当承担刑事责任。但是在量刑上,应优先考虑财产刑、有条件的缓刑等轻缓的手段。; 关键词竞赛过失伤害行为类型重构纯粹的竞赛过失伤害行为故意的竞赛过失伤害行为刑事责任; Keywords competition fault damage behavior types of refactoring pure competition fault damage behavior competition fault intentionally hurt behavior criminal responsibility according to law; 分类号 G80-05 [文化科学—运动人体科学]; 在线阅读下载PDF 职称材料

题名基于规则的数据类型重构技术研究: 2; 作者尹青何东李娜何红旗; 机构国家数字交换系统工程技术研究中心中国矿业大学银川学院; 出处《计算机工程》 CAS CSCD 2012年第19期30-33,共4页; 基金国家"863"计划基金资助项目(2007AA01Z483) 河南省科技攻关计划基金资助项目(092101210503); 文摘为恢复变量的数据类型信息并提高反编译的质量,提出一种基于规则的数据类型重构方法。采用静态和动态相结合的分析方式,将可执行代码转化为中间语言,在优化中间语言的基础上为每条指令制定约束规则,并给出相应的求解算法,从而推导出变量的数据类型信息。实验结果表明,该方法能对简单数据变量类型和复杂数据变量类型进行恢复,具有较高的准确性。; 关键词反编译类型重构类型约束中间语言类型格; Keywords decompilation type reconstruction type constraint intermediate language type lattice; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名一种重构二进制代码中类型抽象的方法被引量：8: 3; 作者马金鑫李舟军忽朝俭张俊贤郭涛; 机构北京航空航天大学计算机学院中国信息安全测评中心; 出处《计算机研究与发展》 EI CSCD 北大核心 2013年第11期2418-2428,共11页; 基金国家自然科学基金项目(90718017 60973105 +2 种基金 61170189) 软件开发环境国家重点实验室自主研究课题(SKLSDE-2011ZX-03); 文摘重构二进制代码中的类型信息对逆向工程、漏洞分析及恶意代码检测等方面具有重大的意义,由于类型信息在编译过程中被移除,且二进制代码中的低级抽象难以理解,因此类型重构一直被认为是恢复高级抽象遇到的困难问题之一,现有的大多工具对类型重构的准确度不够高.提出一种保守的类型重构方法,针对类型重构引入一种简单的中间语言,基于这种中间语言构造寄存器抽象语法树,并使用寄存器抽象语法树部分解决了基址指针别名问题,可有效收集基本类型和结构体类型的类型约束信息.提出一种判断二进制代码中的循环结构及识别循环变量的方法,可有效收集数组类型的约束信息,并据此生成类型约束,然后通过处理类型约束来重构最终的类型.使用CoreUtils中的15个程序作为测试用例,将该方法与IDA Pro进行对比实验.实验结果表明提出的方法不仅可以高效地重构数据类型,而且在结构体类型重构方面可恢复比IDA Pro多达5倍的数据.对这些数据的人工验证与分析表明,使用该方法重构的类型准确率高.; 关键词类型重构寄存器抽象语法树中间语言循环变量别名分析; Keywords type construction register abstract syntax tree intermediate language loop count aliasanalysis; 分类号 TP311.1 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名类型还原与重构:张家界土家传统民居的现代转化设计研究被引量：5: 4; 作者欧阳国辉向子睿陈鑫陈染岐李维灏; 机构长沙理工大学建筑学院; 出处《家具与室内装饰》北大核心 2023年第7期130-135,共6页; 基金湖南省自然科学基金项目(2022JJ30605) 2022年湖南省研究生科研创新项目(CX20220968)。; 文摘为满足村民的现代需求并最大化保留张家界土家传统民居风貌,基于建筑类型学的形态设计方法,以类型还原的方式从空间形制、建筑样式、建筑装饰等方面提取张家界土家传统民居的“住居原型”,以类型重构方法中的结构拓扑变换、空间要素传承、比例尺度延续、实体材料变更等方式对张家界土家传统民居进行现代转化设计研究,提出了一套较为系统的张家界地区现代土家民居设计策略,以期为少数民族地区传统民居的保护、传承与发展提供参考。; 关键词类型还原类型重构土家传统民居现代转化设计; Keywords Typological restoration Typological reconstruction Tujia traditional residence Modern transition; 分类号 TS664.1 [轻工技术与工程]; 在线阅读下载PDF 职称材料

题名反编译中数据类型自动重构技术研究被引量：1: 5; 作者何东尹青谢耀宾井静; 机构信息工程大学信息工程学院; 出处《计算机科学》 CSCD 北大核心 2012年第5期133-136,共4页; 基金国家"863"计划基金(2007AA01Z483) 河南省科技攻关(092101210503)资助; 文摘类型重构作为反编译的关键问题,对程序的可读性及可理解性具有重要的作用。给出了汇编基础上数据类型自动重构的算法。对于简单类型,通过基于格的类型属性操作,用迭代算法来实现类型恢复;对于复杂类型,通过构建标记等价类来恢复结构化类型的框架,而后通过收集框架内可访问的偏移集合并利用简单类型恢复的算法对偏移对象类型进行恢复,从而推导出复杂结构类型。该算法是目前正在开发的类型重构工具的关键技术,它不仅能够准确地重构简单类型,而且能够准确地解析复杂类型,且准确率较高。; 关键词反编译类型重构类型依赖方程等价类; Keywords Decompilation Type reconstruction Type dependence equation Equivalence class; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于新息自适应卡尔曼滤波算法的多类型结构响应重构被引量：2: 6; 作者丁怡渊殷红彭珍瑞; 机构兰州交通大学机电工程学院; 出处《计算力学学报》 CAS CSCD 北大核心 2023年第5期757-763,共7页; 基金国家自然科学基金(62161018) 甘肃省优秀研究生“创新之星”(2022CXZX-520)资助项目。; 文摘为改善传统卡尔曼滤波KF(Kalman filter)算法在过程噪声方差和测量噪声方差未知的情况下响应重构精度降低甚至发散的问题,提出了一种基于新息自适应卡尔曼滤波IAKF(innovation-based adaptive Kalman filter)算法的多类型响应重构方法。首先根据新息统计特性对卡尔曼滤波增益和状态估计误差协方差矩阵进行实时自适应调整;然后利用有限测点的加速度传感器的测量数据,结合模态法对结构各个位置的加速度、速度、位移以及应变进行响应重构;最后对起重机桁架和简支梁分别进行数值模拟和试验分析。结果表明,该方法能够有效地调整过程噪声方差并估计测量噪声方差,未测点的重构响应时程曲线与计算响应或测量响应时程曲线吻合良好。; 关键词未知噪声方差卡尔曼滤波算法有限测点多类型响应重构; Keywords unknown noise variance Kalman filtering limited measuring points multi-type response reconstruction; 分类号 TU311.3 [建筑科学—结构工程] O348.8 [理学—固体力学]; 在线阅读下载PDF 职称材料

题名未知测量噪声下的结构多类型响应重构被引量：1: 7; 作者史鹏程彭珍瑞; 机构兰州交通大学机电工程学院; 出处《应用力学学报》 CAS CSCD 北大核心 2023年第6期1428-1436,共9页; 基金国家自然科学基金资助项目(No.62161018)。; 文摘针对使用传统卡尔曼滤波(Kalman filter,KF)算法进行结构响应重构时测量噪声方差估计及多类型响应重构难的问题,提出了一种融合噪声方差估计和多类型响应重构的方法。首先在移动窗口卡尔曼滤波算法中引入近似计算的方法,提出递推移动窗口卡尔曼滤波算法(recursive moving-window Kalman filter,RMWKF)实时递推估计测量噪声方差,然后基于有限位置的应变片和加速度传感器的测量数据,并结合模态法对结构各个位置的应变、位移、速度以及加速度响应进行重构。最后对二维桁架和悬臂梁分别进行数值模拟和试验分析,验证了所提方法的有效性。试验结果表明,所提方法能对测量噪声方差进行有效地估计,能实现有效的多类型结构响应重构,同时减小了数据储存空间和计算量。; 关键词噪声递推估计卡尔曼滤波算法移动窗口法多类型结构响应重构; Keywords recursive estimation of noise Kalman filer moving window method multi-type structural response reconstruction; 分类号 TB22 [天文地球—大地测量学与测量工程]; 在线阅读下载PDF 职称材料

题名基于状态空间模型的结构外部激励计算与响应重构: 8; 作者彭珍瑞史鹏程; 机构兰州交通大学机电工程学院; 出处《铁道学报》 EI CAS CSCD 北大核心 2023年第12期182-188,共7页; 基金国家自然科学基金(62161018) 甘肃省优秀研究生“创新之星”(2021CXZX-576)。; 文摘为提供更完备的响应数据,提出一种借助于状态空间模型的结构外部激励计算和结构多类型响应重构的方法。首先,将二阶动力学方程转化为状态空间模型,并利用状态空间模型推导出结构外部激励的计算公式。然后,将激励与结构模态坐标组合成新的状态向量并构建增秩状态空间模型,结合结构部分观测的加速度响应实现对结构外部激励的计算以及其余位置未知速度、加速度响应的重构。同时引入粒子滤波算法以减小测量过程中有色噪声的影响,并使用萤火虫算法代替粒子滤波算法中的重采样过程,改善粒子贫化现象。最后对钢轨和外伸梁分别进行数值模拟和试验分析,验证所提方法的有效性。试验结果表明:所提方法能对结构外部激励和未知速度、加速度响应进行有效重构。; 关键词多类型响应重构激励计算状态空间模型粒子滤波算法萤火虫算法; Keywords multi-type response reconstruction excitation calculation state space model particle filter algorithm firefly algorithm; 分类号 U24 [交通运输工程—道路与铁道工程]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	竞赛过失伤害行为的类型重构与刑事责任法理探究	王桢	《天津体育学院学报》 CAS CSSCI 北大核心	2015	4	在线阅读下载PDF 职称材料
2	基于规则的数据类型重构技术研究	尹青何东李娜何红旗	《计算机工程》 CAS CSCD	2012	0	在线阅读下载PDF 职称材料
3	一种重构二进制代码中类型抽象的方法	马金鑫李舟军忽朝俭张俊贤郭涛	《计算机研究与发展》 EI CSCD 北大核心	2013	8	在线阅读下载PDF 职称材料
4	类型还原与重构:张家界土家传统民居的现代转化设计研究	欧阳国辉向子睿陈鑫陈染岐李维灏	《家具与室内装饰》北大核心	2023	5	在线阅读下载PDF 职称材料
5	反编译中数据类型自动重构技术研究	何东尹青谢耀宾井静	《计算机科学》 CSCD 北大核心	2012	1	在线阅读下载PDF 职称材料
6	基于新息自适应卡尔曼滤波算法的多类型结构响应重构	丁怡渊殷红彭珍瑞	《计算力学学报》 CAS CSCD 北大核心	2023	2	在线阅读下载PDF 职称材料
7	未知测量噪声下的结构多类型响应重构	史鹏程彭珍瑞	《应用力学学报》 CAS CSCD 北大核心	2023	1	在线阅读下载PDF 职称材料
8	基于状态空间模型的结构外部激励计算与响应重构	彭珍瑞史鹏程	《铁道学报》 EI CAS CSCD 北大核心	2023	0	在线阅读下载PDF 职称材料