基于SystemC的RISC CPU行为描述

探讨了一种基于SystemC的RISC CPU建模方法，建立了一个SPARC精简指令集CPU的整数单元(IU)行为级模型．该模型作为指令集仿真器(ISS)．基本达到了RISC CPU的功能要求．为程序提供了一个CPU模拟平台．减少了软硬件协同设计的周期，这对片上系统SOC的实现具有重要的意义。     

改善计算机实验室实验能力的几种方法

介绍了应用型地方本科院校计算机实验室的现状,做了网络存储体系、集群与负载平衡、虚拟机与仿真器等技术的应用研究。结合计算机实验室网络环境和设备性能差的实际,提出了利用NAS网络存储技术、负载均衡技术、虚拟机与仿真器等"虚拟"技术优化改善计算机实验室网络系统性能的几种方法,旨在探索易用、可靠且廉价的实验室网络服务系统优化方案,提升计算机实验室的实验支持能力,提高实验效率。     

列车驾驶仿真器及其关键技术

列车驾驶仿真器通过列车运行性能仿真、驾驶环境仿真来建构一个具有高度真实感的虚拟驾驶环境。以列车驾驶仿真器为平台,可进行驾驶培训和列车动力学仿真、优化操纵等研究工作。介绍了列车驾驶仿真器的不同构成形式,给出了全功能分布式列车驾驶仿真器的典型结构,并在此基础上进一步讨论了列车驾驶仿真器的关键技术。     

催化裂化装置仿真器的开发

根据流化催化裂化装置开工、停工和生产操作动态数学模型,开发了既可用于培训、也可用于研究的催化裂化仿真器。其硬件包括个人微机、接口、模拟仪表盘和教员操作台。运用这种仿真器对操作工进行技术培训、能摸拟装置的开工、停工、生产操作调节、干扰调节及事故处理等过程,并可对催化裂化装置的操作性能、控制方法和优化等进行考察研究。这种仿真器具有较低的价格/性能值。     

高性能可重构指令集架构模拟技术

应用可重构技术能大大降低指令集架构模拟器的再开发开销,为了在维持可重构性的同时提高模拟器性能,提出一种模拟技术。该技术使用C语言格式的架构描述语言对目标架构进行描述,可兼容多种指令集的模拟。针对模拟过程的瓶颈提出由ADL描述生成基于指令集编码格式信息的译码自动机的算法,实现了快速译码模拟。运用本技术构建了M IPS 4KC的模拟器并用性能评估的程序进行模拟。结果表明:该算法能提高模拟速度约110%~150%,与同类技术相比具有模拟性能高、额外开销小且易于应用的特点。     

虚拟GDB远程调试技术及其在硬件仿真器中的应用

为了解决当前硬件仿真器采用测试激励与探针采样调试方法导致的额外硬件资源需求增加以及调试方法复杂死板的问题,研究出一种虚拟GDB远程调试技术提高硬件仿真器的调试能力。首先,使用JTAG的消息代理器与事务处理器进行软件与硬件的信息交互,实现计算机与硬件仿真器的通信;然后,通过VPI接口实现GDB与JTAG代理器的软件信息交互,完成虚拟GDB调试;最后,在硬件仿真器中进行应用实验。结果表明,虚拟GDB远程调试系统可支持断点插入、单步运行、寄存器读写等功能,与插入探针的调试方法相比,使用虚拟GDB调试提速近百倍。虚拟GDB远程调试技术丰富了硬件仿真器的软件调试手段,增强了硬件仿真器的调试能力,提升了芯片设计验证效率。     

80486极小指令集及其构造性证明

指令集是计算机系统结构的重要研究内容之一,众多学者对指令完全性进行了描述,但至今未见极小指令集的报道。在文中,寻找既具有基本功能,又无法由其它指令编程实现的计算机基本指令,研究计算机现有的最基本的计算行为。提出了指令的功能完全性和独立性概念,并在此基础上定义了极小指令集,这为计算机指令集的优化设计建立了理论基础。还从Intel 80486指令集中选定了一个子集I9,并构造性地证明了I9是IA-32处理器指令集的极小指令集。     

日志结构合并树的查询优化技术

针对基于日志结构合并树(Log Structured Merge Tree, LSM-tree)的数据库查询性能较差的问题,目前的研究工作主要集中在利用索引和缓存技术提升LSM-tree的查询性能.本文主要从以下几个方面对LSM-tree的查询优化技术进行了综述.第一,介绍了LSM-tree的基础架构,分析了影响查询的因素.第二,分析了当前的LSM-tree查询优化技术,包括索引优化技术和缓存优化技术.第三,分析了索引和缓存技术是如何提升基于LSM-tree的数据库查询性能的,并总结了一些现有的研究工作.最后,总结并给出了未来可能的研究方法.     

无线通信网络仿真器性能对比分析

应用仿真器进行无线通信网络仿真,是无线通信领域发展的一个重要趋势。本文在定义了仿真器评价指标基础上,选取目前常用的NS-2、OMNET＋＋、OPNET、QualNet四种无线通信网络仿真器,进行性能和使用特性对比分析。由于这些仿真器各有优缺点,在使用过程中可根据本文给出的对比分析结果,结合实际仿真需求,有针对性选择所需要的工具。     

节能专用指令集处理器的设计

本书是关于专用指令集处理器（ASIPs，Application—Specific Instruction Set Porcessors）设计的综合性专著，是根据作者在德国亚琛理工大学集成信号处理系统研究所（ISS／RWTH Aechen／Germany）的博士论文扩充而成。     

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     

An affordable accurate evaluation of the binding conformations predicted by molecular docking studies in bio-system

Franck-Condon factors bridge the gap between theoretical modeling and experimental observations for molecular electronic spectroscopy and electron transfer.Under the displaced harmonic oscillator approximation,multidimensional Franck-Condon factors are decomposed into a product of many one-dimensional(1D)Franck-Condon(FC)factors,and each 1D-FC factor is associated with one Huang-Rhys factor that determines the leading contribution of     

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