嵌入式软件调试环境的对等协议的设计与实现

基于目标机机内调试器的嵌入式软件调试，是通过采用宿主机一端的嵌入式软件调试环境与目标 机一端的机内调试器之间的通信连接，并遵循共同的协议规则来完成的。主要介绍该种调试用对等协议的 设计原则与主要实现技术，实现对目标机的源级虚拟调试。     

嵌入式软件调试环境的对等协议的设计与实现

基于目标机机内调试器的嵌入式软件调试，是通过采用宿主机一端的嵌入式软件调试环境与目标机一端的机内调试器之间的通信连接，并遵循共同的协议规则来完成的。主要介绍该种调试用对等协议的设计原则与主要实现技术，实现对目标机的源级虚拟调试。     

一种能有效生成异构平台上FORTH系统的框架

FORTH语言已越来越广泛地用于设计嵌入式软件和固件，但设计过程中通常面临的诸如没有操作系统支持、缺乏调试环境等问题却使得传统的编译FORTH语言的方法遇到了很大的困难，本文针对嵌入式软件开发的实际情况，提出了一种具有良好可移植性和可扩展性、能有效生成异构平台上FORTH系统的框架，该框架被应用于开放式BOOT固件的设计中，取得了良好的效果。     

面向多目标机的交叉调试器的研究与设计

为了缩短嵌入式软件开发的时间和提高嵌入式软件的质量,需要研究和开发新的交叉调试器技术。该文研究了交叉调试器的原理和主要技术难点,针对嵌入式软件开发环境与运行环境不同,以及嵌入式芯片多样性的特点,采用构件组装的技术,提出了一种全新结构的交叉调试器的设计方案。此设计方案可以支持多种嵌入式目标机,并且具有良好的目标机重定向性、功能可扩充性和平台可移植性。     

FMS运行控制软件调试环境排错功能的实现

FMS运行控制软件调试环境的主要职能是利用计算机模拟柔性制造系统环境．为FMS运行控制系统或单元控制器提供一种计算机辅助形式的调试和测试手段．其中，对FMS运行控制软件测试排错是FMS运控软件调试环境的基本功能之一。该文在Petri网（PN）理论基础上，在库所中引入结构，提出一种新的高级PN模型MPN（Macto Petri Net），这种模型对币同的FMS环境配置具有开放性．测试驱动下的运控指令序列转化为对应的MPN状态变迁，可应用PN理论实现对被测系统软件的测试排错。     

分布式PowerBuilder应用程序的调试策略和方法

由于分布式应用的独特性,使得分布式应用程序的调试远比单机应用程序的调试复杂得多。文中对分布式应用程序提出一种“先单机单机程调试,次单机多进程调试,最后再多机远程调试”的调试策略,给出在PowerBuilder开发环境下的实施方法,并对分布式PB应用程序的常用调试工具、技术和调试中应注意的问题进行探讨。所述策略和方法知开发《广西变通高校计算机等级考试管理系统MCT》网络版中得到成功使用,证明是正确可行的。     

并行调试环境分析与设计

并行程序的特点,可能使得传统的通过运行测试来保证程序正确性的方法失效,传统的通过多次运行逐步定位错误所在的调试方法也可能失效.提出了一个较好的并行调试环境,对并行调试环境所涉及到的接口、端口、界面、作用等作了详细的分析和设计.     

Pvm并行调试器DPD中的时序处理

针对并行调试器中传统排序模型的缺陷，提出了一套改进的时序处理机制．该机制是在调试系统中加入一个全局记录器，被调试模块在需要事件记录时向全局记录器申请一个全局序号，这样并行模块的事件就被自然地串行化，从而实现了并行程序时序的完全排序．该方法大大简化了排序过程，给记录一重放技术以及动态分析技术提供了有力的支持。     

芯片调试技术中插入点和监听电路区域的研究

根据硬件开销和缺陷的检测能力评估了一种可重构的调试设计方案.对于要调试的目标电路,首先设计并完成了一套由4个32位处理器核组成的多处理机系统,然后评估该调试设计电路的硬件架构.对改变调试电路排列的评估结果表明,调试电路的硬件开销占用所实现的多处理机系统在8.6%～12.7%的范围内.其次,对是否可以通过调试电路发现故障效应进行了评估.在一个16位处理器核上注入了10种不同的故障并且检查其是否会被每一个设置在处理器核上的观测点所发现,同时测量了观察所需的时钟周期数.最后还评估了每一种故障的可观察率以及每一个观察点的可观察率.     

试论无线电调试的技术分析与应用

认知无线电是具有自主寻找能力、提高空闲频谱使用效率的一种无线电技术，可实现无线射频传输环境下的频谱检测功能。本文结合笔者多年工作经验，对认知无线电的频谱检测技术进行具体分析与阐述，对发展无线电调试技术具有重要意义。     

Markedness and its Interpretation in Language Use

Language markedness is a common phenomenon in languages, and is reflected from hearing, vision and sense, i.e. the variation in the three aspects such as phonology, morphology and semantics. This paper focuses on the interpretation of markedness in language use following the three perspectives, i.e. pragmatic interpretation, psychological interpretation and cognitive interpretation, with an aim to define the function of markedness.     

Features of Women's language

Language is a means of verbal communication. People use language to communicate with each other. In the society, no two speakers are exactly alike in the way of speaking. Some differences are due to age, gender, statue and personality. Above all, gender is one of the obvious reasons. The writer of this paper tries to describe the features of women＇s language from these perspectives： pronunciation, intonation, diction, subjects, grammar and discourse. From the discussion of the features of women＇s language, more attention should be paid to language use in social context. What＇s more, the linguistic phenomena in a speaking community can be understood more thoroughly.     

低渗透非均质砂岩油藏启动压力梯度研究

理论推导与室内实验相结合,建立了低渗透非均质砂岩油藏启动压力梯度确定方法。首先借助油藏流场与电场相似的原理,推导了非均质砂岩油藏启动压力梯度计算公式。其次基于稳定流实验方法,建立了非均质砂岩油藏启动压力梯度测试方法。结果表明:低渗透非均质砂岩油藏的启动压力梯度确定遵循两个等效原则。平面非均质油藏的启动压力梯度等于各级渗透率段的启动压力梯度关于长度的加权平均;纵向非均质油藏的启动压力梯度等于各渗透率层的启动压力梯度关于渗透率与渗流面积乘积的加权平均。研究成果可用于有效指导低渗透非均质砂岩油藏的合理井距确定,促进该类油藏的高效开发。     

On Tragic Consciousness In The Works By Ernest Hemingway

As an American modern novelist who were famous in the literary world, Hemingway was not a person who always followed the trend but a sharp observer. At the same time, he was a tragedy maestro, he paid great attention on existence, fate and end-result. The dramatis personae's tragedy of his works was an extreme limit by all means tragedy on the meaning of fearless challenge that failed. The beauty of tragedy was not produced on the destruction of life, but now this kind of value was in the impact activity. They performed for the reader about the tragedy on challenging for the limit and the death.     

Achieving Unusual States of Matter Under High Pressure

正The periodicity of the elements and the non-reactivity of the inner-shell electrons are two related principles of chemistry,rooted in the atomic shell structure.Within compounds,Group I elements,for example,invariably assume the+1 oxidation state,and their chemical properties differ completely from those of the p-block elements.These general rules govern our understanding of chemical structures and reactions.Using first principles calcula-     

Exchange-Correlation and Electronic Excitation Energies from Pairing Matrix Fluctuations

We have developed an adiabatic connection to formulate the ground-state exchange-correlation energy in terms of pairing matrix linear fluctuations.This formulation of the exchange-correlation energy opens a new channel for density functional approximations based on the many-body perturbation theory.We illustrate the potential of such approaches with an approximation based on the particle-particle Random Phase Approximation(pp-RPA).This re-     

Density Functional Theory for the Response of Periodic Systems to Electric Fields Based on the Vector Potential Approach

正The electronic and nuclear(structural/vibrational)response of 1D-3D nanoscale systems to electric fields gives rise to a host of optical,mechanical,spectral,etc.properties that are of high theoretical and applied interest.Due to the computational difficulty of treating such large systems it is convenient to model them as infinite and periodic(at least,in first approximation).The fundamental theoretical/computational problem in doing so is that     

On the Thermodynamic Limit for Responses to Static Electromagnetic Fields

For molecular systems,the quantum-mechanical treatment of their responses to static electromagnetic fields usually employs a scalar-potential treatment of the electric field and a vector-potential treatment of the magnetic field.Although the potential for each field separately is associated with the choice of an(unphysical)origin,the precise choice of the origin for the electrostatic field has little consequences for the results.This is different for the     

Call for Papers

<正>"The Journal of Shanghai Normal University:Mathematics"is published by Shanghai Normal University as regular issues of The Journal of Shanghai Normal University each year from 2014 in English.The editors-in-chief of the issues are professors Yuhao Cong and Maoan Han.The Journal of Shanghai Normal University was started in 1958 with     

Journal of Donghua University ( English Edition) Contents of Volume 31

正~~