Σ-ΔA/D转换技术及仿真

Σ－ΔＡ／Ｄ转换技术近年来颇受重视，因为基于该技术的Ａ／Ｄ转换器能达到很高的分辨率（１６ｂｉｔ以上），并另具一系列优点。本文对Σ－ΔＡ／Ｄ转换器的基本原理，包括过采样（Ｏｖｅｒｓａｍｐｌｉｎｇ），噪声成形（ＮｏｉｓｅＳｈａｐｉｎｇ），以及数字抽取滤波（ＤｉｇｉｔａｌＤｅｃｉｍａｔｉｏｎＦｉｌｔｅｒｉｎｇ）等内容，均作了叙述。作者还对一个２０ｂｉｔΣ－Δ转换器的算法进行了计算机仿真。该转换器采用了高阶ＭＡＳＨ噪声成形技术，而其数字抽取滤波部分则由梳状滤波器与级联的半带滤波器构成。文章中给出了仿真结果。     

测评软件生成系统的设计与实现

本文讨论了一个具有通用性的测试评估软件生成系统的设计思想和实现方法，给出了该生成器的系统组成、数据组织结构、查询搜索方式以及用户界面的设计。该系统具广泛的应用领域和实用意义。     

计算机集成制造系统（CIMS）国际发展动态

ＣＩＭＳ（计算机集成制造系统）是世界上高技术开发项目之一．ＣＩＭＳ是涉及广泛技术领域的复杂系统，当前的研究课题覆盖了ＣＩＭ中方法学、技术和应用领域的部分内容．本文简要讨论ＣＩＭＳ的国际发展动态．     

冲裁模CAD／CAM结构库之原型法

本文首先给出了一种新的2.5D 实体表示法,然后在此基础上提出了“原型”的概念。原型法的思想运用在结构库的管理中主要体现在它将模具结构与构成这种结构的零件之间的强联系变成弱联系,结构库面向的对象是一个具有整体性和可运算性的结构原型。这样的原型结构库基本上达到了通用性与开放性的要求。     

C/O能谱测井数据预处理的两点改进意见

简单介绍了碳氧比测井的原理及通常的数据处理方法。分析了由常规数据处理所得曲线仍然存在的问题及可能的成因 ,并给出了可行的修正办法。讨论了另一种可行的曲线异常数据的检测、剔除方法。实践表明 :文章讨论的两点建议都是可行的 ,并且在提高测量曲线质量的同时也提高了地层含油饱和度的解释精度。     

国内外乙丙橡胶市场供需状况

介绍了国内外乙丙橡胶市场的供需状况，并对我国乙丙橡胶的产业发展提出了建议。     

碳/碳复合材料CVI工艺中热解碳形成机理的研究

对碳碳复合材料CVI或（CVD）工艺中热碳组织的类型，沉积机理等研究情况进行了简要的综述，并对其进一步研究提出了相应观点。     

BaFe12O19/SiO2-B2O3微晶玻璃陶瓷的制备和微波性能

采用柠檬酸sol-gel工艺合成了BaFe12O19/SiO2-B2O3微晶玻璃陶瓷，研究了SiO2-B2O3玻璃的含量，Ba/Fe原子比和热处理温度对体系析出晶相的影响，以及介电常数和磁异率在1MHz-6GHz频率范围的变化规律，结果表明，休系中SiO2-B2O3玻璃的含量和Ba/Fe比越高，BaF312O19相的析出越困难，前驱体合适的热处理温度为1000℃，介电常数和磁导率基本上随测试频率的增而加下降；介电损耗的最大值为0．43，磁损耗较小。     

Model validation and model structure determination

This paper gives a tutorial overview of basic approaches for model validation and model structure determination.Work partially supported by the Swedish Research Council for Engineering Sciences under contract 98-654.     

Shallow Linear Action Graphs and their Embeddings

Action calculi, which generalise process calculi such as Petri nets, π-calculusand ambient calculus, have been presented in terms of action graphs. We here offer linear action graphs as a primitive basis for action calculi. This paper presents the category of embeddings of undirected linear action graphs without nesting, using a novel form of graphical reasoning which simplifies some otherwise complex manipulations in regular algebra. The results are adapted in a few lines to directed graphs. This work is part of a long-term search for a uniform behavioural theory for process calculi. Received October 2000 / Accepted in revised form April 2001