基于Z的协议形式描述与验证

一、引言在过去的十年.计算机网络与分布式系统已取得了很大的进展[6j。步入九十年代,各种新型通信技术和分布式应用已相继出现.并已对计算机通信软件发生了重要影响。这些新技术及应用主要包括高速光纤网、多媒体通信、宽带综合业务数字网(B一IsDN)、智能网络技术.如智能服务器、智能路由选择、智能协议开发环境等.以及综合语音、数据、图文和图象服务等等。为了适应这种形势的发展一门新兴的学科一协议工程已应运而生川。     

大亚湾核电站18个月换料对流体系统的影响分析和论证

分析了大亚湾核电站18个月换料对流体系统可能产生的影响，根据改进后的燃料管理策略以及相关参数变化，遵照系统设计准则的要求。对14个流体系统的容量和能力进行了计算和论证。论证结果表明，大亚湾核电站现有系统基本满足18个月换料的需求     

建筑电气设计中AutoCAD二次开发的研究

基于AutoCAD的二次开发环境下,建立幻灯片库,在AutoCAD本身所包含的程序帮助下,将已建好的幻灯片库嵌入到AutoCAD用户专用下拉菜单中.给设计者创造属于自己的开发环境,使AutoCAD在建筑电气设计中的使用更加灵活,极大的提高设计效率.     

分置式牛津型斯特林制冷机的数值分析与实验验证

对分置式牛津型斯特林制冷机进行了数值计算 ,介绍了计算模型考虑到的众多不可逆因素。通过对计算结果与实验结果的对比 ,验证了本文数值计算的准确性 ,说明本文计算模型与数值处理方法是切实可行的     

Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.     

形状记忆聚氨酯的结构与性能研究

以 2 ,4 -甲苯二异氰酸酯 (2 ,4 -TDI)、不同分子量的聚己二酸丁二醇酯 (PBAG)和 1,4-丁二醇 (BDO)为原料合成了具有形状记忆功能的聚氨酯材料。通过DSC、弯曲实验和力学实验 ,研究了形状记忆聚氨酯的性能 ,发现软段高度结晶和硬段聚集形成硬段微区是其具有较好形状记忆性能的必要条件。     

二厘米微波衰减标准装置不确定度的验证

采用传递比较法对二厘米微波衰减标准装置不确定度进行了验证。测量标准装置的重复性以组内实验标准偏差sn(A)定量表征，测量标准装置的稳定性用组间实验标准偏差sm定量表征。     

基于非锐化掩模的实时自适应图像增强算法

针对传统的非锐化掩模算法的局限性,依据图像中各像素点及以其为中心的若干相邻像素点的均方差值,提出了自适应图像增强算法的原理,并分析其硬件实现方法,然后给出了该算法与其它算法应用于图像增强的对比结果,最后在FPGA（field programmable gate array）实验板上进行验证.实验结果表明,此算法有效的增强图像的细节区域,防止图像边缘区域出现过冲现象,抑制图像平坦区域的噪声放大.因此,该算法取得了良好的视觉效果,硬件实现简单,适合于实时条件下图像的增强.     

Stress State of Bent Buried Pipelines

The authors consider edge effects in buried pipelines that occur in the region of joining of a straight buried pipe and a bent insert (factory bend, elbow, or an elastically bent segment). The action of those effects results in the appearance of additional bending moments, which are proportional to the difference between the axial force in an infinite straight pipeline and that in a closed-end pipe, and depend on the geometrical parameters of the pipeline and physical-mechanical characteristics of the soil. Specific examples of analysis of elastic interaction of a pipeline with the soil for pipe bends with various radii of the bend arc are offered. It is shown that additional bending stresses may exceed appreciably the stresses from the axial force, and therefore, they should be taken into account when designing and building pipelines. The solution for an elastically bent segment has been obtained and analyzed.