波动方程数值模拟的隐式差分法

在有限差分波动方程数值模拟中,通常采用高阶差分方法来提高空间导数的数值逼近精度,以实现降低数值频散,提高数值模拟精度的目的。首先对差分频散进行了理论分析;然后讨论了估计一阶空间导数的隐式差分格式,并与通常采用的高阶精度显式差分格式进行了对比分析,结果表明,隐式差分格式能够在更宽的波数范围使差分频散控制在可接受的水平,如8阶精度的显式差分格式所适应的波数带宽约为O．55kmax,而隐式差分格式所适应的波数带宽约为0．7kmax;最后通过模型试算,对隐式差分格式的有效性进行了验证。模拟结果表明,用隐式差分格式在一定程度上降低了差分频散,提高了模拟精度。     

高校摄录编播设备数字化改造探析

为了用有限的资金建设一个高标准、现代化的适合高校现代教育技术需要的数字化摄录编播系统，结合实际，详细介绍一种适合高校重大事件记录、课件制作及教学片拍摄、可以满足高校多种需求的数字化摄录编播设备的合理化配置。     

VB中实现打印功能的方法

介绍了在VB开发的应用程序中,实现打印功能的几种方法.这些方法包括:①打印窗口;②通过PRINTER打印;③利用数据报表进行打印;④将打印内容传送于Office组件的Word或Excel,通过Word、Excel打印.同时列出了相关的程序格式.     

剪切机的运动学分析

剪切机是工业生产中常用的设备，广泛应用于剪切各种材料。某厂使用的小型剪切机因生产需要将其改装成自动剪切设备，但理论上难以确定其最小剪切性能。笔者采用图解法对其进行运动和受力分析，得出在调速电机转速一定的情况下能够剪切的钢材直径，对生产使用具有较高的理论指导价值。     

中央电视台第一个数字化演播室视频系统介绍

数字电视系统在提高图像质量方面已显示出极大的优越性。因此，世界各国电视台都已开始数字化的进程，中国也不例外。本文详细介绍了中央电视台第一个数字化演播室－８００ｍ＾２演播室的视频系统，包括视频系统数字信号格式的确定，主要设备的特点以及演播室数字视频系统的主要特点等，供广大同行参考。     

在传统中探寻当代海报的本土设计

在设计国际化的影响下,中国现代视觉设计中充满了受西方影响的视觉语言,“国际化”视觉符号的泛滥与“本土化”视觉语言的失语视觉现象非常突出。作为当今社会人与人交流载体的海报设计,要走出一条“民族个性”的道路,就必须根植于民族文化土壤中,向传统学习,并进行具有创造性的转化,使传统文化符号在当代海报设计中既具有“民族个性”又有“时代性”,这样,我们海报设计才能真正走“国际化”。     

液压启闭机CAD系统研究

简要介绍了在引进支撑环境下独立开发的专用ＣＡＤ系统应用软件－“液压启闭机ＣＡＤ系统”的运行环境、结构特点，主要功能模块的功能、开发过程中碰到的关键技术难点及解决办法。     

A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol

We present a formal model of asynchronous communication between two digital hardware devices. The model takes the form of a function in the Boyer-Moore logic. The function transforms the signal stream generated by one processor into that consumed by an independently clocked processor, given the phases and rates of the two clocks and the communications delay. The model can be used quantitatively to derive concrete performance bounds on communications at ISO protocol level 1 (physical level). We use the model to show that an 18-bit/cell biphase mark protocol reliably sends messages of arbitrary length between two processors provided the ratio of the clock rates is within 5% of unity.     

基于集群计算机的保护定值在线校核

采用分布式计算技术，研究并实现了基于集群计算机的保护定值在线校核并行计算方法。首先分析了保护定值校核计算的计算量和计算特点，接着对可能采用的并行计算方法进行比较，最后选择了基于电网分块的并行计算方法。采用协调机加计算子机的计算模式，在协调机上执行分块算法，通过基于主导节点的图划分方法把电网分成几块，每台计算子机只校核1块电网内的保护定值，最后由协调机收集汇总计算结果。现场应用证明，该并行计算方法正确、有效。     

Turbo Pascal在网络数据库图形处理中的应用

本文介绍用Turbo Pascal 5.0在3~+网上运行的DBASEⅢplus网络数据库中进行图形处理的技术.