浅析甲控乙购产品的管理模式

甲控乙购产品（包括设备、材料）采购模式是控制工程项目物资采购，保证工程项目质量、进度、节约工程投资的有效模式之一；是指招标人（以下称甲方）控制工程项目采购相关产品，在招投标阶段形成竞争价，在工程实施阶段，甲方选择质量可靠，满足设计要求产品的一种采购模式。下面简单分析甲控乙购产品的3种采购模式，重点分析设计变更中甲控产品的管理模式。     

CC—高阶通信系统的并发演算

并发演算CC(Concurrent Calculus)是高阶并发通信系统的数学模型,它把λ-演算作为子理论并包含一阶通信系统演算CCS、活动进程演算CMP、和高阶通信系统演算CHOCS的主要特征。在CC中,通信端口可为任意表达式并且进程和通信端口都可以作为在通信中传递的一等对象(First-class Objects)。从而CC不仅可以描述一阶通信行为而且可以刻划通信网络的动态自修改行为。另外,由于CC把λ-演算和进程演算纳入同一形式系统,故CC可以作为并发函数式程序设计的核心语言和理论模型。本文首先给出CC的语法、语义和例子,然后研究CC的高阶双向模拟等价关系以及CC的代数定律。最后简单讨论了相关的工作和今后的研究方向。     

谈表面粗糙度标准及有关标准的标注方法宣贯

分析了GB/T131—93《机械制图 表面粗糙度符号、代号及其注法》以及有关的5项标准宣贯中的重点和难点,进行了新旧标准标注方法的对照。对难以实施的问题,根据生产实际作了补充规定。     

八丝热线探针制作及其应用

介绍了八丝热线探针的制作工艺,有效地消除了各热丝探头之间的电信号干扰和动力学干扰。实验中使用该探针检测到了湍流边界层内的大尺度旋涡,并测量了它们的强度和尺度。与此同时还获得了速度、湍流强度和功率谱等流场参数,结果与现有典型数据一致。说明本文所述的多丝热线探针具有很强的实用性。     

澳大利亚空管状况分析

从2002年6月到2004年6月，民航总局空管局组织了历时两年、为期18个月的京、沪、穗三大区域管制中心SSF系统培训，其中在澳大利亚墨尔本THALES公司进行了12个月的工厂培训，北京SSF本部进行了6个月的现场培训，这是总局空管局有史以来同外方合作程度最深、时间最长的一次技术培训。笔者有幸被选拔成为其中的一员完整地参加了此次学习。两年过去了，     

多相序列的相关性研究

地址码在CDMA通信系统中占有重要地位,它决定着系统的容量、抗干扰性等重要指标。本文在NaokiSuehiro提出的多相序列构造理论的基础上,对其相关性进行分析、研究,并与当前性能较佳的二元序列进行对比。结果表明,多相序列具有优异的性能,适合用作CDMA系统中的地址码。     

外来语与汉语引进外来语的方式探讨

外来语的发展趋势呈现出新词趋同化、信息集约化和词汇新潮化的特点。外来语大量流入汉语是一种潮流,引进外来语的方式各有优势,字母词的出现被认为是音译外来语的突破。在积极探索外来语引进的同时,应注意汉语发展的规范化。     

一个说明语言的设计和其子集编译器的开发

基于软件文档可执行的想法，设计了一个适用于指称语义描述的可执行规范说明语言——ＪＺＣ，并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念，使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试，ＪＺＣ核心子集编译器的开发采用了该种方法，其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介ＪＺＣ的语言特点，给出了编译器开发过程的一个描述框架和证明梗概     

一类统一的零(低)相关序列构造方法

基于自相关理想序列和正交矩阵建立一类统一的具有零(低)相关区的扩频序列构造方法,并对其相关特性进行分析和证明。该类方法可通过序列和矩阵的任意选取,统一地构造二元、三元、多相、复数的ZCZ(LCZ)序列集,且构造简单、形式统一,通用性更好,适用于准同步CDMA(QS-CDMA)系统。