论文部分内容阅读
详细给出了面对象的实时分布式语言ＭｉｎｉＣＳＰ－Ｒ的操作语义，对语句的时间限制，不确定选择给出了相应的描述方法。
Mini CSP—R语言的操作语义
【摘 要】
：
详细给出了面对象的实时分布式语言ＭｉｎｉＣＳＰ－Ｒ的操作语义，对语句的时间限制，不确定选择给出了相应的描述方法。
【机 构】
：
电子科技大学计算机系
【出 处】
：
电子科技大学学报
【发表日期】
：
1994年6期
【基金项目】
：
电子部预研基金
其他文献
基于阵元数差一的两个平行均匀线阵组成的信号接收系统提出了多个空间窄带信号源频率和到达方向二维参数估计的高分辨率快速方法。方法的参数估计是直接计算的，避免了二维空间
教育体制改革的深化及我国人才观念的革新促使初中教学的目标与任务发生了一系列显著的变化.在初中数学知识学习过程中,数形结合是一种重要的学习方法和解题思维.对此,初中教
对于观察点不在任意方向放置的,位于分层双各向异性媒质中的基本电磁振子源附近的电磁场,本文给出了明显表达式。利用傅立叶变换谱域中的横向场矢量的矩阵分析,该问题得到了
20世纪末的最后的几天里，一位广大观众喜爱的笑星选择了从政，顷刻在全国掀起了不小的波澜。有人说，他是演艺界第一个吃螃蟹的人；有人说，这是炒作，做秀；甚至还有人认为这是……无论人
研究了适用于卫星气象资料广播分发的三种差错控制技术方案,并用计算机进行了大量的性能模拟试验,证实了采用BCH（127,106）的方案可将误码率从10-3改进为<10-9,传输效率为81％;卷
研究了一种适合于工作在毫米波段的新型介质谐振器－边廊模介质谐振器，从介质波导的一般色散方程和波特性出发，导出了介质波导中边廊模特性和色散方程，给出了边廊模圆介质谐振器的
中分子物质系指分子量为300—5000道尔顿的一类物质。现有文献资料证明,中分子物质与尿毒症,急性烧伤毒血症等多种疾病的发病机理有关。血液流度学性质的改变和微循环损伤是
随着信息时代的到来和管理科学化发展，高校管理信，包系统必将成为高校管理工作不可缺少的方面。本文就管信息系统的本质，系统建设的原则和组织形式以及系统建设过程中系统分析和
黄梅调电影是我国电影史上极为独特的一种类型,它的兴起为我国戏曲电影的广泛传播起到了极其重要的推动作用。李翰祥更是黄梅调电影史上一位举足轻重的导演。回顾李翰祥的黄
本文就教学评估的概念、特性及其在管理中的地位和功能作用，进行了讨论；简要分析了教学评估的对象、内容及与教学系统三要素的关系；针对高校教学评估的现状，提出了建立以教学评估