超媒体系统中的人工智能方法

一、什么是超媒体近年来迅速崛起的多媒体(multimedia)技术,是一种使计算机具有交互式地综合处理和管理文字、图形、图象、声音、视频等多种媒体能力的技术,必将使计算机技术发生一     

带类型λ—演算

一、引言补演算是一个用函数描述计算的形式理论体系[1J,它由许多计算模型所组成。文〔1〕指出,应用认-演算比纯粹补演算更接近程序语言.但是由于内建函子和常数的引入常会发生一些问题,例如.常数O和函子+在机器中同样看待     

宽带自适应跳频控制器

本文叙述宽带自适应跳频控制器的原理及方案,频率集的配置、自适应跳频拒收门限及频点更新、跳频码序列及同步等。有效地组织宽带自适应跳频系统能避开大部分固定和半固定性质的单频连续波干扰,使得移动卫星通信系统中实现高可靠性的数据传输。     

Evaluation of a parallel branch-and-bound algorithm on a class ofmultiprocessors

We propose and evaluate a parallel “decomposite best-first” search branch-and-bound algorithm (dbs) for MIN-based multiprocessor systems. We start with a new probabilistic model to estimate the number of evaluated nodes for a serial best-first search branch-and-bound algorithm. This analysis is used in predicting the parallel algorithm speed-up. The proposed algorithm initially decomposes a problem into N subproblems, where N is the number of processors available in a multiprocessor. Afterwards, each processor executes the serial best-first search to find a local feasible solution. Local solutions are broadcasted through the network to compute the final solution. A conflict-free mapping scheme, known as the step-by-step spread, is used for subproblem distribution on the MIN. A speedup expression for the parallel algorithm is then derived using the serial best-first search node evaluation model. Our analysis considers both computation and communication overheads for providing realistic speed-up. Communication modeling is also extended for the parallel global best-first search technique. All the analytical results are validated via simulation. For large systems, when communication overhead is taken into consideration, it is observed that the parallel decomposite best-first search algorithm provides better speed-up compared to other reported schemes     

插补法CAI研究

数字程序控制计算机辅助教学是将计算机技术用于数字程序控制的教学过程，它帮助学生学习并模拟教学实验．本文介绍了数字程序控制中直线插补和圆孤插补的ＣＡＩ实现方法．     

Fault trees—Problems and the modern state of investigations

Published in Kibernetika i Sistemnyi Analiz, No. 3, pp. 128–150, May–June, 1994.     

银河－Ⅱ气象应用并行库

本文着重介绍“银河－Ⅱ气象应用并行库”的设计思想、技术特点和使用方法。     

聚合物载体－稀土金属络合物的研究 ⅩⅢ．聚［苯乙烯－甲基丙烯酸β（甲基亚硫酰基）乙酯］的结构与其稀土金属络合物催化丁二烯聚合的活性

从测得的竞聚率计算了单体链节在聚［苯乙烯－甲基丙烯酸β（甲基亚硫酰基）乙酯］（ＰＳＭ）中的序列分布。苯乙烯（Ｓ）或甲基丙烯酸β（甲基亚硫酰基）乙酯（Ｍ）的长序列的概率随着ＰＳＭ中相应单体含量的增加而增加。对于Ｓ和Ｍ摩尔分数大致相等的ＰＳＭ，单体链节的长序列分布函数值相接近。用与此结构相近的ＰＳＭ合成的稀土金属络合物，其催化活性不佳。在Ｍ短序列分布和Ｓ长序列分布较高的情况下，络合物的催化活性最好。所得聚丁二烯的微观结构与ＰＳＭ中单体单元的分布无关。     

Variation of the creep limit and structure of a welded joint in PT-3V titanium alloy under the effect of cyclic loading. Report 2

Comparative analysis of the characteristics of amplitude-dependent internal friction (IF) was carried out to explain reasons leading to an increase of the creep limit of the butt welded joint in PT-3V titanium alloy (PT-2V filler material) after cyclic loading. IF was measured by the method of the direct torsional pendulum on cylindrical specimens representing the gage part of the specimens subjected to preliminary cyclic loading. The data were processed using the Granato-Lucke theory. The results show that the reduction of IF after cyclic loading took place as a result of an increase of the number and redistribution of pinning points of the dislocations. Consequently, the density of mobile dislocations decreases by 8% and the length of dislocation segments by 18%. These processes of stabilization of the structure were completed within 5·10 ⁴ cycles of preliminary loading. Stabilization of the dislocation structure of the material of the welded joint increases its creep limit.Translated from Problemy Prochnosti, No. 4, pp. 35–40, April, 1996.