非均匀介质中的场与波：理论及其在电测井中的应用

本文综述了非均匀介质中场与波理论近年来的研究进展及其应用成果，着重介绍了非均匀介质中的电磁场正演分析和反演计算中的各种高效数值方法，以及它们在电法测井数值模拟和成象研究中的成功应用。     

基于软件总线的星载系统软件结构的研究与设计

针对目前国内外星载系统软件可重构性较差的问题，提出了一种基于软件总线的星载系统软件结构。首先，介绍了软件总线和软构件的结构。其次，阐述了星载实时多任务操作系统中混合任务调度算法的设计。最后，对这个混合任务调度算法的正确性给出了证明。     

高速并行调制解调器中差错控制方法

本文简单介绍了适合高速并行调制解调器中差错控制的Reed-Solomon编码，提出了适合DSP软件实现的一整套的RS码的编码、译码实用方法，并对该编、译码法采用数字信号处理器TMS320C5410b进行仿真，对其性能与传统方法进行了对比。     

多散射介质中光子密度波扩散方程的求解

将光源作为一个复数点光源,根据实验研究模型的要求,求解了多散射介质中光子密度波扩散方程,找出了与入射面相对应面的光子通量和介质中吸收系数改变量之间的关系。所得结论能直接用于多散射介质中成像问题的实验研究之中,即通过对光子通量的检测,反演出吸收系数改变量的分布,从而达到多散射介质中的成像问题的解决。     

基于DSP的图像灰度校正

本文介绍了一个在用户视频环境下，采用典型非线性因子2.2进行非线性校正的公式；进而给出采用TMS320C2000进行图像灰度校正的软件设计方法。     

VTI介质中弹性参数地震反演方法

根据地震波在具有垂直对称轴的横向各向同性（VTI）介质中的运动学特征，应用传播时间反演方法，进行了水平层状VTI介质的地层弹性参数反演方法研究。在VTI介质中，P－P波的传播时间曲线不再是双曲线，尤其在长排列情况下，已不能用二项泰勒展式精确地反演P－P波的传播时间，用三项泰勒展式则可以达到更高精度；P－SV波的传播时间也可用三项泰勒展式表达，在中等及短排列长度时可达到一定精神。对P－P波、P－SV波的传播时间进行三项泰勒展开时，它们的系数中包含了地震波的各向异性信息及垂直速度信息，中以为地震波的弹性参数反演提供提供基础，模试验分析及江苏油田某地区的二维多波资料实际反演结果表明，在最大炮间距为1．5倍地层埋深时，可以很精确地得到三项泰勒展式的系数，应用这些系数能精确反演地层弹性参数，包括P波、S波的垂直速度和各向异性参数。图4表1参5（杜丽英摘）     

The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems

Electronic commerce is an important application that has evolved significantly recently. However, electronic commerce systems are complex and difficult to be correctly designed. Guaranteeing the correctness of an e-commerce system is not an easy task due to the great amount of scenarios where errors occur, many of them very subtle. In this work we presents a methodology that uses formal-method techniques, specifically symbolic model checking, to design electronic commerce applications and to automatically verify them. Also, a model checking pattern hierarchy has been developed—it specifies patterns to construct and verify the formal model of e-commerce systems. We consider this research the first step to the development of a framework, which will integrate the methodology, an e-commerce specification language based on business rules, and a model checker. Adriano Pereira received the B.S. and M.S. degrees in computer science in 2000 and 2002, respectively, and he is currently pursuing the Ph.D. degree in computer science from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His current interests are on performance analysis and modeling of e-business and distributed systems, and formal methods. Mark Song received the B.S., M.S. and Ph.D. degrees in computer science from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His current interests are on distributed systems and formal methods – especially BMC (Bounded Model Checking). Gustavo Franco received the B.S. and M.S. degrees in computer science in 2001 and 2004, respectively, from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His research was on modeling the user behavior of e-business and distributed systems, and formal methods. Actually his current interests are on software engeneering and project management of IT projects.     

用各向异性介质构造的一维光子晶体的特性分析

本文根据单轴晶体的传输矩阵，研究了一种由各向异性介质周期排列构成的一维光子晶体，分析了在不同入射角度和折射率条件下，该周期结构的反射和偏振的光学特性。分析结果表明，各向异性介质在折射率比值较大或与高折射率同性介绍结合使用，可获得较宽的禁带，并可实现在可见光范围内的全偏振全角度反射。     

Mixture-proportioning of high-performance concrete

The paper presents a new approach to design concrete mixtures. It is based upon a set of models relating composition and engineering properties of concrete, to be implemented into software, linked with a material database. The principles underlying the various models are summarized, most of which focus on the granular structure of fresh/hardened concrete. A global approach to concrete is promoted, where performance specifications can be formulated in terms of fresh concrete (yield stress, plastic viscosity, slump and air content), hardening concrete (adiabatic temperature rise and autogenous shrinkage) and hardened concrete (compressive strength at any age, tensile strength, elastic modulus, creep and shrinkage). This approach is illustrated through the design of a special high-shrinkage high-performance concrete (HPC) for road application. To date, durability is lacking in the model and requires further research.     

高校媒体公关存在的问题与对策研究

近年来,随着信息时代社会的日新月异,高等教育事业驶入快速发展的轨道,社会对高校的关注度越来越高,高校间的竞争越来越激烈,在这种生存环境下,如何加强高校和校外社会媒体的关系,扩大高校的社会形象和知名度,提高高校的品牌价值和竞争力,已经成为新时期摆在众多高校面前的一个崭新课题。本文将公共关系这一重要的现代理论嫁接在高等学校,以跨学科的眼光和思路来探讨当前高校媒体公关存在的问题,并提出相应的对策,希望对新形势下开展高校媒体公关提供一定的参考。