证明策略的集成研究

讨论了ＸＹＺ／ＶＥＲＩ系统的向后推理机制，具体而言是基本策略，集成策略语言、策略的结构以及在这样的策略集成环境中的向后推理过程。     

一种射频组织间肿瘤透热治疗系统及其计算机模拟

本文设计并制定了一套工作频率为０．５ＭＨｚ的射频组织间透热治疗系统，包括功率源电路、测温电路和控温电路三大部分。用计算机实时控制方法在脑肿瘤的生物模拟材料上进行了实验，证明本系统工作正常，性能可靠。同时还利用阻抗法在ＥＬＸＳＩ６４００超级小型计算机上对该系统作了计算机模拟，为今后在病理实验和临床应用中的布针结构及其可靠性工作提供了理论依据。     

上海华通开关厂CIMS应用

在充分研究了上海华通开关厂业务瓶颈和发展目标的基础上 ,设计完成 :1 .开发了集成化管理信息系统 ,包括 BOM表的自动生成与传递、生产计划管理与控制、物料需求计划、库存管理、成本核算和工艺文件管理 ,实现了管理内部的信息集成 ;2 .以 UG- 为平台建立了计算机辅助产品设计系统 ,包括产品的设计、结构配置管理及产品的有关数据管理 ;3.建立了多种数据模型的数据库和计算机网络支持系统 ,实现了以 CAD为主的工程系统与信息管理系统的初步集成 ,并保证了后续发展的整体性和集成性 .该成果已投入正常运作 ,CAD子系统已用于新产品 S1 …     

全局数据字典系统的研制与实现

本文论述我国“计算机集成控制”高技术主题“重点应用工厂”工程项目之一的济南第一机床厂信息集成的策略，重点剖析在信息集成中起关键作用的全局数据字典系统的研制与实现伯全过程，具全包括对其需求，功能的确定，体系结构的设计及字典系统查询工具的设计与实现。     

基于Internet的CAI课件及其开发系统设计

基于Ｉｎｔｅｒｎｅｔ的ＣＡＩ是计算机远程教育的一种新形式，对其开发工具的研究与应用是该领域的重要课题之一。本文主要对基于Ｉｎｔｅｒｎｅｔ的课件及其开发系统的设计与实现技术进行讨论，内容包括该类课件的特征、开发系统的基本结构以及相应的ＨＴＭＬ文件设计要点等。     

CIM与企业发展战略

介绍现有ＣＩＭ基本功能体系，并基于工业企业系统基本结构的同构原理，对其应用发展进行探讨，期望对我国企业建设计算机集成制造系统有所裨益。     

一种高速分度机构的智能CAD系统

将专家系统技术与传统ＣＡＤ技术相结合，研究了智能ＣＡＤ系统的建立和实现，针对平行分度凸轮机械的设计过程，建立了平行分度凸轮机构智能ＣＡＤ的结构模型，并编制程度实现了集专家系统技术、数值计算、计算机绘图为一体的集成设计环境。     

面向制造业的CIMS应用集成平台

介绍了计算机集成制造系统应用集成平台的产生背景和基本概念.给出了CIMS应用集成平台的定义、基本特性和功能需求.重点介绍了制造业CIMS应用集成平台的系统体系结构、功能、软件开发环境和设计开发方法.所设计和开发的集成平台以多种服务和集成工具的方式为企业的CIMS应用提供了有力的支持,为实现制造业企业CIMS的快速实施提供了良好的应用开发、集成和运行环境.     

热力系统的计算机集成设计系统

为帮助热力系统的设计人员快速、准确地掌握复杂系统的动、静态特性，保证热力系统的优化设计和安全运行，研制了高起点、多功能的热力系统仿真研究系统－清华计算机集成设计系统（ＴＨＣＩＤＳ），它由建模系统、仿真研究集成环境、数采与测试系统、可视化环境与仿真器开发四部分组成。该系统采用了图形化及模块化建模、计算机网络等新技术和方法，可以进行热力系统的设计、方案比较、系统特性研究、控制系统的设计、控制规律和策略的研究以及软硬件的测试等，并具有良好的开放性和可扩充性。     

计算机考试系统研究与实现

探讨了计算机上机考试系统的基本流程和功能结构，深入分析和讨论考试系统的关键技术、各种考试方法及存在的问题。介绍了《VB程序设计》计算机考试系统的基本功能、设计思想和应用情况。     

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

正~~