计算机程序切片技术探讨

程序切片技术是一种分析和理解程序的技术，在程序切片技术提出的30年来，得到了很快的发展。本文主要介绍了程序切片的基本概念，程序切片的种类、算法以及用途。     

基于PAT树的程序静态分析方法

软件测试是软件工程的重要组成部分，程序静态分析技术是软件测试中静态测试的基础，该技术通过对程序源代码进行分析以发现其中的错误．文章提出了一种程序静态分析方法，建立了一个树形结构的模型PAT（Program Analysis Tree）形式化描述了Java程序，准确地描述了Java程序的逻辑结构．最后给出了一个基于此模型的程序分析方法．     

一个基于面向对象的程序设计方法的钟表系统

面向对象的程序设计是一种实用的程序设计方法，它采用全新的方法求解问题。概述了面向对象的程序设计方法，并以钟表系统为例，详细叙述了用面向对象的程序设计方法实现钟表系统的过程。     

一种改进的程序流程图--层次流程图HFG

程序流程图是刻划程序控制结构的一种重要的表示方式，层次流程图（HierarchicalFlowGraph,HFG）是一种真正基于块、节点、段三层程序划分机制的完全图形化的新型程序流程图，将程序由二维空间拓展到了三维空间，HFG有效利用了块结构的构型特征和对象封装性，具有较高的可重用性和可扩展性，此外，HFG还提供了极为灵活的程序收缩和延展机制，可提供多级别的程序框架，在很大程度上改善了程序理解和测试工作。     

耦合谐振子的代数解法──波戈留波夫变换法

本文利用波戈留波夫变换法，提出了一种求解ｎ维耦合谐振子的程序，称之为退耦程序（ｄｅｃｏｕｐｌｉｎｇｐｒｏｃｅｄｕｒｅ）．并用该程序求解了２维耦合谐振子问题。     

可编程序控制器在变频调速系统中的应用

介绍了可编程序控制器控制变频器的方法及硬件连接，变频器参数的设定，可编程序控制器梯形图程序设计。可编程序控制器与变频器结合是一种理想的控制方案，有推广应用价值。     

从毛发中提取的胱氨酸的红外光谱定量测定

在P－EM1730型FTIR上，编制了红外光谱定量分析的OBEY程序，该程序来用峰高、峰面积、一阶导数量大、一阶导数量小、一阶数区间、二阶导数最小6种不同的方法，并把此程序应用于从毛发中提取的胱氨酸含量的测定，通过对胱氨酸含量的测定，验证了程序的可行性，且对6种方法进行了比较，证明了6种方法在定量分析中都是切实可行的。     

一种形式化知识库更新方法--修正程序

本文在逻辑程序的理论基础上引入一种规范知识库更新的形式化方法-修正程序，它允许使用逻辑程序的说明性语义和强制性语义来解释修正规则，但用来解释修正程序将会变得非常困难，本文将引入修正程序的语义模型-P-合理修正，并讨论了修正程序同逻辑程序的关系及修正程序的现实意义。     

审前程序纠纷解决功能设计——从我国审前程序完善的角度切人

审前程序应当像一个漏斗，使案件繁简分流，只有复杂的程序才能通过审判程序解决。因此，审前程序应该具有两个目标：一是更好地为审判程序做准备（明确争点、固定证据）；二是寻找纠纷替代解决功能（审前调解）。就目前各国经验来看，都赋予了审前程序独立解决纠纷的价值，而我国的审前程序是作为审判程序的一个附属程序，不具有审前程序应有功能。为了构建我国的审前程序，需要承认审前程序独立地位、设立诉答制度、审前调解制度等方面进行改革。     

把我变成机器人吧！

谁偷偷存了程序？ 把想干的事儿，变成电脑程序，存进大脑里。这事儿可没说得那么轻巧吧。估计非要找个电脑软件高手编写一个程序，然后再找外科医生把程序塞进大脑里吧？其实真不用这么麻烦～你大脑里现有的那些程廖是怎么进去的，再照着做一次不就行了。不敢相信吧。你的大脑里已经有程序了？什么程序？谁存的？什么时候存的？     

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

正~~