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

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

对高频电路原理图绘制问题的探讨

本文结合Protel 99 SE在高频PCB设计中的应用,着重探讨在电路原理图的绘制上需要重点注意的一些特殊问题,并提出解决问题的方法,尽可能地减小对高频PCB设计的影响,提高PCB设计的效率。     

高职高专《数据库原理及应用》教学探讨

针对高职高专《数据库原理及应用》的教学现状,进行了个人的思考,并就教学重点、教材的选取、教学方法及考核方式进行了探讨。     

管隙式微管出水器

提出一种农业滴灌用的新型出水器——管隙式微管出水器,其结构简单,且性能指标超过国内同类出水器,在结构、性价比上也将超过国外出水器。     

对转桨推进型鱼雷有动力影响研究

为使国内具备鱼雷有动力风洞试验能力 ,通过设备研制和对转桨推进型鱼雷性能研究试验表明 :一是动力对姿态导数影响达 40 % ,效率导数一般下降 1 0 %～ 1 5 % ,设计单位应重视上述特性对鱼雷航行与机动特性的影响 ;二是对转桨对雷体稳定性作用值得高度重视 ,传统认为对转桨是鱼雷辅助稳定装置的设计思想应有所调整 ,尤其对机动性要求高的鱼雷。     

求解装箱问题的遗传算法

本文提出了两种求解装箱问题（ＢｉｎＰａｃｋｉｎｇ）的遗传算法。一种是简单遗传算法,它采用等长度字符代码编码方法,使用常规的遗传操作算子。另一种是混合遗传算法,它综合运用解装箱问题的ＦＦＤ（ＦｉｒｓｔＦｉｔＤｅ－ｃｒｅａｓｉｎｇ）近似算法和简单遗传算法。试算结果表明,由这两种遗传算法所得到的装箱方案较一些近似算法所得到的装箱方案都要好。     

影响间接言语行为的正确理解的因素探讨

间接言语行为的使用是日常生活中极为常见的现象,对间接言语行为的正确理解依赖于一系列语言的和语言外的因素,论文即是对这些因素的尝试性探讨。     

氨电弧喷射推力器实验和数值研究

为了证实氨电弧喷射推力器良好的工作性能，对其进行了系统的实验和数值研究。在实验研究中建立了高真空实验系统、先进的小推力测量系统和恒定电流控制系统，在数值研究中采用二阶精度无波动、无自由参数的耗散差分格式(NND格式)数值求解耦合电磁源项的扩展N-S方程组。通过实验获得了不同结构尺寸的推力器不同工作条件下的工作性能，通过数值模拟给出了推力器的流场结构，预计了其推力、比冲和推进效率。研究结果表明，氨电弧喷射推力器工作性能良好，能够担负一定的空间应用任务。     

声重波激发的赤道Spread—F的拓扑特性研究

本文对声重波激发的Spread-F扰动的非线性制约方程的拓扑特性进行了定性讨论和数值计算．研究了Spread-F的混沌特征及参数范围．结果表明声重波在不同条件时对Spread-F的激发作用有本质的不同．     

SPACE LIFE SCIENCE IN 2000-2001

Chinese scientists studied some of the problems in the field of space life science and achieved success in the area during 2000-2001. Space biological experi ments were carried out in the orbit and the results of ground studies on protein crystallization, space radiation, space motion sickness were introduced in this paper. The influences of simulated weightlessness on the brain-function, the car diovascular, endocrine hormones, immunity, skeletal and muscle systems were presented. In addition, gravity medicine and space environment medicine, as well as countermeasures to space deconditioning, such as the traditional Chinese medicine, were also reported.