用于二维非线性静磁场计算的微型计算机程序TRIM／PC

一、引言TRIM是一个相当成熟的解二维非线性静磁问题的计算程序,它在束流光学系统设计中起着越来越重要的作用。最原始的TRIM程序是A.M.Winslow(Lawrence Radi-ation Laboratory,Livermore,California)编写的,后来又经多次修改扩充,并能运行在CDC-6600,IBM-360等中型计算机上。近年来,微型计算机的应用有了很大的发展,IBM-PC/XT或其兼容机在国内已相当普及。在微型机上运行应用软件会更有利于软件的     

非线性编辑系统在新闻节目制作中使用的优与劣

随着数字技术和计算机技术的发展,非线性编辑系统已经越来越广泛地应用在电视节目制作中.阐述了非线性编辑系统在电视新闻节目(包括新闻专题节目、以新闻消息为主的日播节目等)制作中具有的优势和存在的劣势.     

基于TMS320C67xx DSP的软件开发及优化

本文介绍了TMS320C67xx的性能特点，给出了其程序开发流程，并详细讨论了常用的软件优化方法．这些方法有一定的工程应用价值。     

Categorical ML — Category-theoretic modular programming

We consider an extension of the functional programming language Standard ML with a modular structure based upon concepts in category theory such as categories, functors, natural transformations and adjunctions. In essence, we are following the categorical imperative of considering arrows as well as objects. This is intended to enforce a certain mathematical rigour on the programmer, so that the only programs that can be expressed are those with a categorical significance. The essentially algebraic nature of category theory means that we may generate equational correctness conditions for the modular structure of programs, thus separating the correctness of individual functions from that of modules. We describe this programming language, give examples of its use, and explain how it is implemented in a type system.     

The interprocedural analysis and automatic parallelization of Scheme programs

Lisp and its descendants are among the most important and widely used of programming languages. At the same time, parallelism in the architecture of computer systems is becoming commonplace. There is a pressing need to extend the technology of automatic parallelization that has become available to Fortran programmers of parallel machines, to the realm of Lisp programs and symbolic computing. In this paper we present a comprehensive approach to the compilation of Scheme programs for shared-memory multiprocessors. Our strategy has two principal components:interprocedural analysis andprogram restructuring. We introduceprocedure strings andstack configurations as a framework in which to reason about interprocedural side-effects and object lifetimes, and develop a system of interprocedural analysis, using abstract interpretation, that is used in the dependence analysis and memory management of Scheme programs. We introduce the transformations ofexit-loop translation andrecursion splitting to treat the control structures of iteration and recursion that arise commonly in Scheme programs. We propose an alternative representation for s-expressions that facilitates the parallel creation and access of lists. We have implemented these ideas in a parallelizing Scheme compiler and run-time system, and we complement the theory of our work with snapshots of programs during the restructuring process, and some preliminary performance results of the execution of object codes produced by the compiler.This work was supported in part by the National Science Foundation under Grant No. NSF MIP-8410110, the U.S. Department of Energy under Grant No. DE-FG02-85ER25001, the Office of Naval Research under Grant No. ONR N00014-88-K-0686, the U.S. Air Force Office of Scientific Research under Grant No. AFOSR-F49620-86-C-0136, and by a donation from the IBM Corportation.     

焦炭高温反应炉温度控制系统的改进

介绍了焦炭高温反应炉的温控工艺及程控曲线，给出了程控曲线的控制结构、主回路以及实现多套PI参数控制的方法。     

单螺杆挤出过程的数值模拟

以三段七区物理模型为基础，采用面向对象程序设计语言VisualC ，对整个单螺杆挤出过程进行了数值模拟。所得压力。温度等工艺参数的模拟结果与实验值吻合较好，说明采用数学模型的正确性和数值算法的可行性。     

基于BACnet/IP的设备与实时数据库通信实现

针对不同厂商、不同系统的楼宇自控设备互操作、互通信的局限性,分析了BACnet/IP技术和实时数据库,设计开发了一种基于BACnet/IP技术的实时数据库DasRdb的设备驱动程序。该设备驱动程序采用UDP通信方式,通过调用每个BACnet/IP设备的标准接口函数来驱动实时数据库DasRdb分别进行写操作和读操作,能够有效地实现BACnet/IP设备与实时数据库DasRdb之间的通信,从而使楼控设备的互操作成为可能。现场工程应用表明,该程序的运行契合BACnet的一致性要求,具有简单、高效、精确度高、实时性好的特点。     

计算思维导向的计算机程序设计课程教学改革研究

根据程序设计类课程与计算思维之间的内在联系,提出以“案例教学、趣味教学、微课堂”为根本的教学改革,阐述如何在新的人才培养模式下构建教学方法,即通过优化教学内容、创新实践方法等一系列举措,将程序设计的思想与方法转化为学生的创新精神和创新能力。