MPP系统中的MP通信及其实现

论述了ＭＰＰ系统中节点机的通信结构，以及在主控机与节点机之间实现的Ｍｅｓｓａｇｅ Ｐａｓｓｉｎｇ通信及其通信协议。     

A functional correspondence between call-by-need evaluators and lazy abstract machines

We bridge the gap between compositional evaluators and abstract machines for the lambda-calculus, using closure conversion, transformation into continuation-passing style, and defunctionalization of continuations. This article is a followup of our article at PPDP 2003, where we consider call by name and call by value. Here, however, we consider call by need.We derive a lazy abstract machine from an ordinary call-by-need evaluator that threads a heap of updatable cells. In this resulting abstract machine, the continuation fragment for updating a heap cell naturally appears as an ‘update marker’, an implementation technique that was invented for the Three Instruction Machine and subsequently used to construct lazy variants of Krivine's abstract machine. Tuning the evaluator leads to other implementation techniques such as unboxed values. The correctness of the resulting abstract machines is a corollary of the correctness of the original evaluators and of the program transformations used in the derivation.     

List partitions

By definition, apartition of a list is a division of that list into nonempty contiguous segments. Many programming and operations research problems can be specified in terms of list partitions, and we present a hierarchy of theorems for deriving programs from such specifications. Throughout, reasoning is conducted in an equational style using the calculus for program synthesis developed by Bird and Meertens.Supported by a BP research studentship.     

Introducing concurrency in sequential Java via laws

Nowadays multi-core processors can be found everywhere. It is well known that one way of improving performance is by parallelization. In this paper we propose a parallelization strategy for Java using algebraic laws. We perform an experiment with two benchmarks and show that our strategy produces a gain similar to a specialized parallel version provided by the Java Grande Benchmark (JGB).     

计算机专用实时母系统在VAX／VMS环境下的实现

“母系统—子系统”的工作方式是计算机专用实时系统研制中的一次重要尝试,本文闸明计算机专用实时母系统在VAX/VMS环境下的工程实现。     

激光起爆系统可靠性模拟计算

采用计算机模拟对激光起爆系统的可靠性进行了研究.利用开发的系统仿真程序对各部件对系统可靠性的影响进行了分析,并对不同可靠度下所需激光器输出能量进行了模拟计算.结果表明,系统的发火可靠性受激光起爆器的影响最大,其次为连接器,分束器的一致性对系统的可靠性影响相对较小.     

PLC与微机的实时通信程序设计

文章讨论了使用ＢｏｒｌａｎｄＣ＋＋语言,设计可编程序控制器ＰＬＣ与微机的实时通信软件的基本方法,包括串口的初始化、等内容。     

ST8105A实现AD688AQ测试

针对在数模混合测试仪器ST8105A上实现AD688测试的需要,通过对仪器的软硬件资源与器件测试需求的软硬件资源进行分析比对,将两者的资源进行匹配并进行合理的优化分配使用,利用已有的测试仪器的软件API对测试仪器硬件的控制测试,实现了AD688测试需要的适配器设计及软件编程,并完成测试,达到对测试仪器软硬件资源熟悉掌握并可熟练运用的目的.     

频谱分析仪测试结果的保存方法研究

随着无线电技术的飞速发展,频谱分析仪作为一种频域分析的高性能、多功能的测量仪器,被广泛应用于微波通讯、频率管理、信号监测、EMC测量等方面,做各种信号监测、频谱分析使用。有些工程技术人员想把复杂的测试结果保存下来,便于更进一步的应用与交流。然而,他们目前使用的频谱分析仪却不直接具备这个功能,为了解决这一问题,该文列举了几种方案,并给出了详细的切实可行的实现方法。希望以上管窥之见,能够及时帮助大家解决实际问题。     

“军事通信基础”课程设计

统编“军事通信基础”教材已经投入教学,相应的课程标准也已制定,因此,深入领会课程标准、精心设计教学思路和单元内容、周密组织教学实施、科学评价教学效果,开拓学生视野、加强实践操作能力,优化教学构想等环节成为课程教学良性发展的关键因素。基于此形成了课程设计,旨在培养学生任职能力和素质,提高教学质量。一期的教学实践初步验证了课程设计的必要性和有效性。