检索结果-南通市图书馆

Control Structure Analysis and Recovery of Embedded Binaries

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Chinese Journal of Electronics 2017年第6期26卷 1118-1124页

作者： JI Weixing huo yuanhong WANG Yizhuo GAO Yujin SHI Feng Beijing Institute of Technology

Existing decompilers use rule-based algorithms to transform unstructured Control flow graph(CFG) into equivalent high-level programming language constructs with "goto" statements. One problem of such approaches is that they generate a large number of "goto"s in the output code, which reduce the readability and hinder the understanding of input binaries. A global search algorithm is proposed based on structural analysis. This algorithm restructures a CFG and generates fewer number of "goto" statements than the rule-based algorithm *** also present a Genetic algorithm(GA) for the global search approach to locate near optimal solutions for large CFGs. Evaluation results on a set of real CFGs show that the genetic algorithm-based heuristic for global search is capable of finding high-quality solutions.

关键词： Decompiling Control flow graph restructuring Structural analysis Genetic algorithm(GA)

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

基于结构分析的高级语言控制结构恢复方法

计算机应用 2013年第12期33卷 3428-3431页

作者：霍元宏刘毅计卫星北京理工大学计算机学院北京100081

为正确获得嵌入式可执行程序和汇编代码的高级语言控制结构,弥补现有高级程序控制结构恢复算法在处理非结构化区域的不足,将编译领域经典的控制流分析方法———结构分析算法引入到嵌入式汇编代码高级程序控制结构恢复研究中;针对嵌入... 详细信息

为正确获得嵌入式可执行程序和汇编代码的高级语言控制结构,弥补现有高级程序控制结构恢复算法在处理非结构化区域的不足,将编译领域经典的控制流分析方法———结构分析算法引入到嵌入式汇编代码高级程序控制结构恢复研究中;针对嵌入式可执行程序的特点,对结构分析算法加以改进;利用结构分析算法的结果构造程序的控制树,生成高级语言代码。与开源反编译器DCC的对比实验结果表明,改进的结构分析算法在高级程序结构恢复问题上是可行有效的。

关键词：反编译控制流分析嵌入式系统逆向分析

在线全文

学校读者我要写书评

暂无评论

疲劳试验机控制器研究

冶金设备 2014年第S1期 58-59,171页

作者：霍原洪王旭东中冶建筑研究总院有限公司北京100088 济南东测试验机技术有限公司山东济南250000

在动态试验技术迅速发展的今天,提出了PC机作为系统控制器的方案。针对系统特点提出的实用控制算法,在实际应用中取得了良好的效果。

关键词：电液伺服疲劳试验机计算机控制研究

中立型Emden-Fowler微分方程的振动性

在线全文

学校读者我要写书评

暂无评论

数学物理学报（A辑） 2017年第6期37卷 1062-1069页

作者：李文娟汤获俞元洪赤峰学院数学与统计学院内蒙古赤峰024000 赤峰学院应用数学研究所内蒙古赤峰024000 中国科学学院数学与系统科学研究院北京100190

该文主要研究了二阶中立型Emden-Fowler微分方程(r(t)|z′(t)|^(α-1)z′(t))′+p(t)|z′(t)|^(α-1)z′(t)+q(t)|x(σ(t))|^(β-1)x(σ(t)=0的振动性,其中z(t)=x(t)+g(t)x(τ(t)).利用广义Riccati变换和积分平均技巧建立新的振动准则,... 详细信息

关键词： Emden-Fowler方程中立型微分方程振动性

在线全文

学校读者我要写书评

暂无评论

偶阶非线性中立型时滞微分方程的振动性

应用数学学报 2019年第2期42卷 229-241页

作者：李文娟汤获俞元洪赤峰学院数学与统计学院赤峰024000 赤峰学院应用数学研究所赤峰024000 中国科学院数学与系统科学研究院应用数学研究所北京100190

本文研究一类新的偶阶非线性中立型时滞微分方程(r(t)|z^((n-1))(t)|^(a-1)z^((n-1))(t))'+F(t,x(g(t)))=0,t≥t_0(其中z(t)=x(t)+p(t)x(T(t)),α> 0为常数,n为偶数)的振动性.利用广义Riccati不等式和积分平均技巧得到方程一切解均为振... 详细信息

关键词：偶阶非线性微分方程广义Riccati不等式振动准则

具有次线性中立项的二阶阻尼微分方程的振动准则

在线全文

学校读者我要写书评

暂无评论

数学物理学报（A辑） 2022年第1期42卷 58-69页

作者：李文娟汤获俞元洪赤峰学院数学与计算机科学学院内蒙古赤峰024000 赤峰学院应用数学研究所内蒙古赤峰024000 中国科学学院数学与系统科学研究院北京100190

该文研究如下具有次线性中立项的二阶阻尼微分方程的振动性(a(t)(z’(t))^(γ))’+b(t)(z’(t))^(γ)+q(t)^(β)(σ(t))=0,其中z(t)=x(t)+p(t)x^(α)(τ(t)).利用广义Riccati变换和不等式技巧建立了所考虑方程的新的振动准则,所得结果改... 详细信息

该文研究如下具有次线性中立项的二阶阻尼微分方程的振动性(a(t)(z’(t))^(γ))’+b(t)(z’(t))^(γ)+q(t)^(β)(σ(t))=0,其中z(t)=x(t)+p(t)x^(α)(τ(t)).利用广义Riccati变换和不等式技巧建立了所考虑方程的新的振动准则,所得结果改进,推广了某些熟知的结果.也给出阐述所得结果意义的若干例子.

关键词：次线性中立项 Emden-Fowler方程半线性微分方程中立型微分方程振动性

半线性Emden-Fowler微分方程的振动性

在线全文

学校读者我要写书评

暂无评论

纯粹数学与应用数学 2017年第3期33卷 274-285页

作者：李文娟汤获李书海俞元洪赤峰学院数学与统计学院内蒙古赤峰024000 中国科学院数学与系统科学研究院北京100190

主要研究了一类半线性Emden-Fowler微分方程的振动性.利用广义Riccati变换和积分平均技巧建立新的振动准则,推广和改进了一些文献中的结果.此外,给出每个定理所相对应的例子,用来说明其相对于已有文献中的定理具有一定的优越性.

关键词： Emden-Fowler方程半线性微分方程振动性

在线全文

学校读者我要写书评

暂无评论

工程管理专业结构力学课程教学改革

内蒙古工业大学学报（社会科学版） 2010年第2期19卷 116-118页

作者：霍俊芳吴安利郝贠洪侯永利内蒙古工业大学土木工程学院内蒙古呼和浩特010051

结构力学作为工程管理专业一门重要的课程,因与土木工程专业有着不同的学时设置,应针对学生采取不同的教学思想和教学方法。通过启发学生的力学思维、合理安排教学内容,适当的多媒体教学、案例分析等教学手段相结合,可以大大提升教学效果。

关键词：工程管理专业结构力学教学改革

2012年中国CHINET无菌体液中分离的细菌构成和耐药性监测

在线全文

学校读者我要写书评

暂无评论

中国感染与化疗杂志 2014年第6期14卷 482-487页

作者：朱任媛张小江徐英春俞云松林洁汪复朱德妹倪语星孙景勇孙自镛陈中举胡云建艾效曼张泓孔菁胡志东李全王传清王爱敏魏莲花吴玲卓超苏丹虹张朝霞季萍徐元宏沈继录单斌杜艳褚云卓中国医学科学院北京协和医学院北京协和医院检验科北京100730 浙江大学医学院附属邵逸夫医院复旦大学附属华山医院上海交通大学医学院附属瑞金医院华中科技大学同济医学院附属同济医院北京医院上海交通大学医学院附属上海儿童医院天津医科大学总医院复旦大学附属儿科医院甘肃省人民医院广州医科大学附属第一医院新疆医科大学第一附属医院安徽医科大学第一附属医院昆明医科大学第一附属医院中国医科大学附属第一医院

目的了解国内不同地区15所医院2012年从临床分离自脑脊液及其他无菌体液(胸水、腹水、胆汁等)的细菌构成及其对抗菌药物的耐药性。方法对国内主要地区(13所综合性医院、2所儿童医院)临床分离菌株采用纸片扩散法或自动化仪器法按统一方... 详细信息

目的了解国内不同地区15所医院2012年从临床分离自脑脊液及其他无菌体液(胸水、腹水、胆汁等)的细菌构成及其对抗菌药物的耐药性。方法对国内主要地区(13所综合性医院、2所儿童医院)临床分离菌株采用纸片扩散法或自动化仪器法按统一方案进行细菌药敏试验,按CLSI 2012版标准判断结果。结果 3 945株非重复的细菌中,革兰阴性菌2 214株,占56.1%,革兰阳性菌1 731株,占43.9%。无菌体液中最常见的细菌依次为大肠埃希菌,肺炎克雷伯菌,凝固酶阴性葡萄球菌(CNS),屎肠球菌,粪肠球菌。无菌体液标本中甲氧西林耐药金黄色葡萄球菌(金葡菌)和CNS(MRSA和MRCNS)的检出率分别为61.3%和77.2%。未发现对万古霉素、利奈唑胺耐药的葡萄球菌。无菌体液中发现1株对万古霉素耐药的粪肠球菌和1株对利奈唑胺耐药的粪肠球菌,还发现6株对万古霉素耐药的屎肠球菌。无菌体液标本中产ESBL大肠埃希菌和肺炎克雷伯菌的检出率分别为48.1%和24.4%。无菌体液标本中泛耐药鲍曼不动杆菌、肺炎克雷伯菌和铜绿假单胞菌的检出率分别为24.5%、5.5%和1.4%。结论应防范泛耐药肠杆菌科细菌和鲍曼不动杆菌对临床造成严重威胁。

关键词：细菌耐药性监测无菌体液细菌分布药敏试验