论文部分内容阅读
设立风险投资公司建立我国高科技产业投融资体系
【出 处】
：
投资经济
【发表日期】
：
1994年2期
其他文献
本文介绍了基于微机的归纳法推理系统。用该系统，作者已证明了一批计算机程序的正确性及一些有价值的程序属性，包括算术表达式编译程序的正确性、ＦＯＲＴＲＡＮ编译程序的正确性、ＬＩＳＰ解释程序的
近日，农业部、财政部、国家发展和改革委员会联合公布了《2009—2011年国家支持推广的农业机械产品目录》，江苏正昌集团有限公司5只产品进入这一目录．它们分别是SSHJ1d混合机、S
面向对象技术的发展，使基于传统客户／眼务器体系的分布计算系统显示出一些不足之处．南京大学计算机科学与技术系设计并实现的智能操作系统KZ4中，子系统MSOS是一个分布对象系统．它
SCAN算法是构成某些并行算法的一个简单而常用的基本模块。本文首先描述了SCAN操作及其串行和并行算法的设计；然后介绍了并行算法的可扩放性概念、度量及其分析方法；最后分析了
美国TTT公司是国际知名的专业生产空气悬架产品的公司，此前这款空气悬架产品一直在土耳其加工并且是专利生产，经过东风公司不断争取，TTT公司交给东风汽车悬架弹簧公司试制。东风
总线桥协议是用于构造并行计算机群的多计算机互连协议，它于１９９１年提出，其初衷是设计一种连接采用不同 一标准的计算设备和控制设备的中继协议。几年的研究和工程实践结果表明，基于
本文讨论一种分布式系统中的任务分配算法，对它所使用的数据结构、算法实现以及性能等给予阐述，本算法采用双向启动策略，而且能根据系统总负功情况等自动选择发送者或接受者启动
现有的基于象素的区域围线追踪算法在追踪形状复杂区域的围线时往往失效，而且没有简单的方法来加以改进．为此，提出了一种基于边过程的区域困线追踪算法．该算法不仅能追踪形状任意复杂区域的围线，还能给出表示围线之间包含关系的树结构，追踪出的围线由边过程组成，并且可以十分方便地转化成由象素组成的围线或扩展围线，算法的计算复杂性是线性的，即Ｏ（Ｐ），其中Ｐ＝Ｎ×Ｎ是图象中象素的个数，而Ｎ为图象的线性尺寸．