Windows动态链接库调试技术

动态链接技术被Windows应用程序广泛使用,主要特点是应用程序在运行时间动态加载它的代码。本文主要考虑动态链接库的基本机制,详细介绍了Windows动态链接库的调试技术。     

一种优化的跨平台可逆调试器

针对大型软件系统中调试效率低下以及并发程序错误难以重现的问题,设计和实现了基于虚拟技术的可移植优化逆向调试器(PORD)．PORD动态翻译被调试程序的二进制可执行代码,并且在翻译过程中向检查点处植入代码来保存程序运行状态,使程序在执行过程中以增量的形式自动生成状态日志．PORD中集成的功能扩展的GDB远程控制虚拟机,根据检查点的状态日志重建历史执行状态,从而达到逆向执行目的．当被调程序与宿主机有相同的指令集架构时,动态二进制翻译就被优化为直接拷贝执行被调试程序的二进制可执行码,使被调程序能够以接近本地速度的速度执行．实验结果表明,PORD可以为程序提供快速的可移植的逆向调试环境．     

跨平台仿真系统的远程调试器设计

远程调试器是排除跨平台仿真系统错误的有效工具。介绍了x86到申威处理器的跨平台仿真系统ARCH-BRIDGE及其动态二进制翻译机制,给出了其远程调试器设计和实现方法,并解决了动态二进制翻译优化条件下的断点设置、单步执行等调试命令的处理问题。     

基于事件注入机制的软件调试方法与实现

在研究原有QF(事件驱动框架)和QS(实时跟踪调试器)的基础上,提出并设计实现了基于事件注入机制的软件调试方法,使得软件调试有针对性地主动进行,并实现调试自动化,该方法可以提高软件调试的效率。     

有效的爬行Ajax页面的网络爬行算法

Ajax页面的生成和页面导航需要执行客户端的JavaScript代码, 传统网络爬行算法无法获取Ajax页面全部内容. 分析了Ajax的工作方式, 阐述了爬行Ajax网页所面临的主要问题, 提出并实现了一种有效爬行Ajax页面的网络爬行算法. 该算法可控制客户端浏览器动态生成页面内容和完成页面导航, 为爬行过的页面分配标识编号并生成相应静态页面. 实验结果表明, 提出的算法所爬行的Ajax页面数量明显多于传统方法, 同时, 采用的双重消重策略可有效减少算法的时间耗费.     

Android运行时恶意行为检测模型研究

为实现Android应用程序恶意行为的有效分析,提出了基于HMMs-SVM的程序行为分类模型,将隐马尔可夫模型（HMM）和支持向量机（SVM）相结合,以动态行为序列作为关键特征,对移动应用软件运行中的网络收发、文件访问等行为建模. 该模型融合了HMM和SVM的优势,并克服了二者的不足,适合于在获取连续动态行为特征序列后进行行为分类. 实验结果表明,该方法分析召回率较高,可以有效对应用中的异常行为进行捕捉,并可以将其按类型分类.     

一种基于CPLD的高速JTAG调试器的设计与实现

通过对JTAG协议的研究,设计并实现了一种基于CPLD的高速JTAG调试器。通过USB接口,可实现USB到JTAG的信号协议转换。由于采用USB＋CPLD实现协议转换,该调试器比传统上使用并口或者FT232实现的调试器具有更高的速度,在大型软件工程的调试上大大提高工作效率。     

基于机器学习的网页恶意代码检测方法

网络中大量的恶意网页已经成为网络用户的主要安全威胁。本文提出了一种基于机器学习分类器的网页恶意JavaScript代码分析方法。通过对训练样本训练学习,建立分类模型,最后对测试样本检测。实验表明,本方法能够有效的检测出大部分恶意网页JavaScript代码,检测准确率达到88．5％     

基于图论和FSM的UML模型与代码一致性检测

提出了一种基于图论和有限状态机（FSM）的统一建模语言（UML）模型与代码一致性检测方法.给出了该方法的基本思路;分别讨论了UML模型与代码静态一致性检测和动态一致性检测算法;实现了该检测方法的支撑工具,并使用该工具对C++项目UMLChecker 1.0进行了检测.实验结果表明,所提方法可对UML模型与代码的一致性进行检测,且具有较高的检测精度.通过对静态行为和动态行为的一致性检测可知,检测精度明显提升.     

基于WebGIS的城市地价动态监测体系的建立

论述了城市地价监测点的建立，以及基于WebGIS的城市地价信息发布方案的实现方法．采用Arc\Info平台，利用ASP技术和脚本语言JavaScript以及HTML技术，响应浏览器终端的动态请求，实现对地价监测点空间信息的查询、显示和图形的缩放、漫游．并通过地价监测点数据与地籍系统集成。实现对土地价格的动态监测与地价监测点资料的即时更新．     

立方准晶的反平面问题与Ⅲ型裂纹问题

发展了立方准晶材料的断裂理论 .通过应用Fourier分析和对偶积分方程理论 ,得到了立方准晶材料Ⅲ型裂纹问题的精确解析解 ,并由此确定了位移与应力场 ,应力强度因子和应变能释放率 .结果表明 ,应力强度因子与材料常数无关 ,而应变能释放率依赖于所有的材料常数 .这些为研究此新固体材料的变形和断裂提供了重要的信息 .     

FMS中加工质量故障预报的新方法

对引起加工质量故障的原因进行了研究,建立了用于加工中心加工质量故障分析的与/或故障树,提出了隐加工质量故障(FMQF)的概念和由·FMQF 找出制造系统故障的决策树方法.本文在模糊理论基础上,提出了隐加工质量故障识别的新方法,用这种方法可以根据控制图的变化进行设备状态估计.基于以上研究,建立了可用于柔性制造系统隐加工质量故障预测和预报的专家系统.     

基于田口方法的生态环境敏感性评估方法研究

提出基于田口法的生态环境敏感性评估方法。采用统计分析方法描述生态环境敏感性特征,构建生态环境敏感性数据的统计分析模型,结合大数据挖掘方法进行生态环境敏感性关联数据挖掘,提取生态环境敏感性数据统计分布的模糊聚类特征量,采用模糊C均值聚类分析方法和相关性融合分析方法,实现对生态环境敏感性评估和检测,基于田口方法构建生态环境敏感性评估的检测统计量,根据稳健性检验和统计回归分析方法,实现对生态环境敏感性评估和预测。仿真结果表明,采用该方法进行生态环境敏感性评估的自适应性能较好,预测准确度较高,提高了生态环境敏感性评估的置信度水平。     

Information for authors

<正>Science China Technological Sciences(Sci China Tech Sci)is a monthly peerreviewed academic journal supervised by the Chinese Academy of Sciences,and co-sponsored by the Chinese Academy of Sciences and National Natural Science Foundation of China.Its primary mission is to encourage communication of basic and innovative research results of high quality in the fields of technological sciences.The subject areas featured include materials,mechanical engineering,engineering thermophysics,water resources,space science,astronomics,civil engineering,nuclear science and technology,electronic engineering,architecture,and engineering mechanics,etc.All papers should be intelligible for a broad scientific audience.Contributions are invited from researchers all over the world.Sci China Tech Sci is indexed by SCI,EI,Current Contents,Index to Scientific Reviews,International Aerospace Abstracts,Math Reviews,MathSciNet,Current Mathematical Publications,Z Math,etc.     

Information for Authors

正General Journal of Beijing Institute of Technology(JBIT),an English language journal sponsored by Beijing Institute of Technology,was established in 1992.JBIT mainly publishes research articles that reflect the latest achievements in basic theory and experimental studies in various engineering fields and in applied mathematics,mechanics,physics,chemistry,and so on.JBIT is listed in Ei,CA,SA,AJ,CSA,MR,ZM and many other abstracting indexes.     

Genomics,metagenomics,and microbial oceanography—A sea of opportunities

Microbial oceanography is an emerging discipline resulted from the interaction,cross-fertilization and integration of life science and ocean science.Microbial oceanography integrates the principles of marine microbiology,microbial ecology and oceanography to study the role of microorganisms in the biogeochemical dynamics of natural marine ecosystems.The application of genomics tools to study marine microbes is resulting in rapid advancements in microbial oceanography that has important implications in globa...     

Information for Authors

正General Journal of Beijing Institute of Technology(JBIT),an English language journal sponsored by Beijing Institute of Technology,was established in 1992.JBIT mainly publishes research articles that reflect the latest achievements in basic theory and experimental studies in various engineering fields and in applied mathematics,mechanics,physics,chemistry,and so on.JBIT is listed in Ei,CA,SA,AJ,CSA,MR,ZM and many other abstracting indexes.     

Information for Authors

正General Journal of Beijing Institute of Technology(JBIT),an English language journal sponsored by Beijing Institute of Technology,was established in 1992.JBIT mainly publishes research articles that reflect the latest achievements in basic theory and experimental studies in various engineering fields and in applied mathematics,mechanics,physics,chemistry,and so on.     

电流变隔振器的理论研究

介绍了一种新型的隔振器———电流变隔振器 .通过对系统的结构进行简化 ,建立起物理模型 ,推导出运动微分方程 ,在理论分析和性能曲线模拟的基础上 ,确定出影响电流变隔振器工作特性的主要因素 .理论研究表明电流变隔振器在低、高频段均能良好隔振 ,有效降低传递力的幅值和扩大隔振的频率范围 ,并具有防系统共振的性能 .     

关于受控扩散过程的动力学

主要考虑在给定初始条件下构形变量的时间演化可由受控扩散描述的有限自由度动力系统.基于随机控制一般理论,引入受控扩散的随机作用量的两个适当形式.通过离散该随机作用量,导出系统受控扩散的广义坐标表示的动力学方程,该方程连同连续方程一起精确描述扩散运动的概率进程.