我国引进电分机和多色胶印机的概况(2)

我国引进电分机和多色胶印机的概况（２）辽宁印刷工业科技信息站高鸿飞二、多色胶印机１．引进概况。我国印刷业引进的多色（４、５色机）胶印机截止１９９１年为４３７台。这些设备分布在全国３０多个省、市、自治区的３００多个印刷企业。引进台数最多的省、市是：北京...     

浅谈电分机高端联网的应用

浅谈电分机高端联网的应用李国雄电分机在我国的制版领域十多年来发挥了十分重要的作用。但随着印前制版技术的发展，印刷市场发展的需求，电分机在印前领域的地位正受到多方面的冲击。一、电分机虽有很高的图像分色水平，但彩色拼版、文字处理功能差。目前印刷厂绝大多数...     

数字積分机講座(上)

一序言电字数字积分机又叫数字微分分析机,是近十年來發展起來的一种新型計算机。它兼有电子数字計算机和模拟計算装置的优点。电子数字計算机有很高的計算精确度,但是,在解题之前需要化費很多时間來編排计算程序。此外,电子数字计算机結構庞大,     

多色胶印机进口中应注意的问题──供货商的观点与建议

多色胶印机进口中应注意的问题──供货商的观点与建议盛怡从９０年代开始，每年国内都有一大批印刷厂家投资几百万、上千万人民币用于胶印设备的更新和改造。每年都有少则几十台、多则上百台来自德国、日本等国的多色胶印机交付国内用户手中。怎样选购进口胶印机，可以说...     

MAX(1)和MARG(1)中公式改名的复杂性

改名是一个将变元映射到变元本身或它的补的函数,变元改名是公式变元集合上的一个置换,文字改名是一个改名和一个变元改名的组合.研究CNF公式的改名有助于改进DPLL算法.考虑判定问题"对于给定的CNF公式H和F是否存在一个变元(或文字)改名ψ使得ψ(H)=F?"的计算复杂性.MAX(1)和MARG(1)是极小不可满足公式的两个子类,这两个子类中的公式可以用树表示.树同构的判定问题在线性时间内是可解的.证明了对于MAX(1)和MARG(1)中的公式,文字改名问题在线性时间内可解,变元改名问题在平方次时间内可解.     

LR(1)文法和LBLR(1)文法语法分析表的自动生成

一、前言 LR(K)文法所产生的语言类是恰能被确定的下推自动机所接受的语言类。它不但具有文法类大的优点,而且分析速度快,查错功能强。LBLR(K)文法是LR(K)文法的子类,它在编译时占用的空间小,分析速度较快,而且在空间上有和LR(K)文法一样强的查错能力。但是,对一般文法来说,其LR(1)语法分析动作表f和走向表g、LBLR(1)语法分析动作表f_B以及走向表gR的构造是十分繁冗复杂,使用手工计算不仅要花费大量的人力和时间,而且其正确性往往得不到保证,因此,这些语法分析表的自动生成就显得十分必要。我们在美国CROMEMCO公     

速成原型的研究概况(下)

<正> 2.2.3.2 执行支持系统为了迅速地构造并更新原型,PSDL的执行支持系统必须高效。因为原型按照人们期望的、习惯的模式在执行支持系统上运行时,至少,需要经常的修改,应该给处理时间和执行时间大致相等的权,采用解释实现的方法比用编译实现的方法更好些。执行支持系统能够保留计算状态,一个原型按给定的状态运行几个可选版本时,无需重复计算的初始部分。这一点很重要,因为设计者将参加与使用者的对话,演示,评价原型某一方面的性质,交互式的选择方案。当系统与用户交互,以便得到用户需要的特殊状态时,设计者必须和用户进行多次对话,或从保存下来的原始文本中重新运行最     

速成原型研究概况(上)

<正> 1.研究摘要研究速成原型工作的目标是为了说明和检索可重用软部件开发规范方法,原型语言PSDL开发实现技术,并把这种语言和技术用于多处理机的原型模式。我们对部件规范的研究是以重写系统和按类生成的概念为基础的。寻求组合规范,因为它容许有效地简化用于部件检索的典型的或标准的形式。可重用软部件的原性抽象地支持软件库方案的设计,用按类生成的方法构造它,以便部件的检索。我们建立规范语言和软件库操作之间的关系。通过试验生成一系列原型语言PSDL的变换器,而这种变换器的产生借助于以变换器工具为基础的属性文法,从而为测试结果建立了试验条件。为了实现PSDL,我们还要寻求高效率的解释技术,把这种语言推广到分布式系统,并研究适合多处理机的调度算法。这项工作将解决以可重用部件为基础的自动化原型领域中的某些关键问题。用速成原型的方法确认软件的要求,取决于下列三个主要因素:原型语言,软件库和原型方法。这里研究的问题,对软件库和原型语言都会产生影响。     

四川遥感工作概况(续)

(1)遙感区域地质调查。十几年来,用航卫片结合外调,完成了四川盆地约15万Km~2的1:20万区域地质调查、制图和川西高原大面积的调查任务。与常规方法比较,缩短调查成图周期2/3,降低成本60％;而且成图精度高,尤其是解决了地层划分对比问题。其成果受到亚洲遥感会上专家们的好     

CMM跟我学(I)——概况

本刊从本期开始将通过介绍ＣＭＭ的概况、内容、意义和方法等来系统地介绍ＣＭＭ,希望能够为那些希望了解ＣＭＭ、想通过ＣＭＭ认证的企业带来一些帮助。ＣＭＭ是软件组织生产软件能力定性语言和计量的表达。它指出软件生产能力由低向高发展的进化过程,可分为５个级别。 软件能力成熟度模型（ ＣＭＭ：Ｃａｐａｃｉｔｙ Ｍ ａｔｕｒｉｔｙ Ｍｏｄｅｌ）得到越来越多的软件开发者、管理者的关注。因为对软件开发企业而言,如果能获得ＣＭＭ认证,就等于获得了进入国际市场的通行证。在国务院发布的《鼓励软件产业和集成电路产业发展的若干…     

主板供电全接触(NO.1)——CPU供电

主板的供电部分是评价主板产品做工的重要因素,对CPU的供电更是供电部分的重头。一般来说主板CPU供电部分主要采用两相供电和三相供电。电容、电感线圈以及场效应管三个部分构成了单相供电电路(即N颗电容+1个电感线圈+N个场效应管)。由于单相供电电路中,电感线圈恒定为一个,所以根据电感线圈的数目,我们就能知道CPU供电电路的相数。一些主板厂商会用电感线圈代替一级电感,这样会一定程度上影响我们的判断。不过一级电感所使用的电感线圈体积较小,还是容易区分的。目前常见的主板一般使用的是两相或三相供电,但一些高端产品出于稳定性和…     

MAX(1)和MARG(1)中公式改名的复杂性

改名是一个将变元映射到变元本身或它的补的函数,变元改名是公式变元集合上的一个置换,文字改名是一个改名和一个变元改名的组合.研究CNF公式的改名有助于改进DPLL算法.考虑判定问题"对于给定的CNF公式H和F是否存在一个变元(或文字)改名ψ使得ψ(H)=F?"的计算复杂性.MAX(1)和MARG(1)是极小不可满足公式的两个子类,这两个子类中的公式可以用树表示.树同构的判定问题在线性时间内是可解的.证明了对于MAX(1)和MARG(1)中的公式,文字改名问题在线性时间内可解,变元改名问题在平方次时间内可解.     

袒露(1)

我跟小岩在医院对面的茶社里坐了一会,要了壶苦涩的乌龙,喝得满腔说不出的悲伤。小岩20多岁的大小伙子了,眼圈竟然是红的。他好像已经好几天没有怎么睡觉和吃饭了。眼见着就这么消瘦下去,消瘦成一个令人同情、为爱痛楚的男人。 “我们的事情,就是在这个茶社开始的,”小岩看着窗外,窗外盛开着没有名字的花,“看来也就要在这里结束了。也许今天我只能再看她一眼,最后的一眼。这个人,就要彻底从我生命里消失了。”     

专业术语(1)

alternating－currentlinearvariabledifferentialtrans－former，AC－ACLVDT交流差动变压器amplitudemodulation，AM幅度调制；调幅angleresolvedelectronspectroscopy，ARES角分辨电子谱法appearancepotentialspectroscopy，APS出现电势谱法applicationlayer，AL应用层arithmeticlogicunit，ALU算术逻辑运算单元asynchronouscommunicationinterfaceadapter，ACIA异步通信接口适配器atmosphericpressureionization，API大气压电离Augerelectronenergyspectrometer，AEES俄歇电子能谱仪Augerelectronspectroscopy，AES俄歇…     

我国仪器仪表发展概况和今后的任务

本文介绍了我国仪器仪表行业的概况、产品发展、产业结构、技术引进与国际合作、成套水平等情况,分析了存在的主要问题和差距,提出了今后的目标和措施。     

新型微处理机MCS-85(8085)的概况

模井与次郎英特尔公司于1976年发表了新型微处理机 MCS—85(8085),该机是 MCS—80(8080)的改良型。市场上已有出售,本文简介微处理机的硬件和指令系统。由于 CPU8080的工作电源采用+12V,+5V,-5V,外部必须连接时钟发生器和状态暂存器等用的系统控制器,因而芯片数增多。     

化学符号和化学结构式的图形处理(1)

编者的话：在化学、化工领域的文章、报告中，经常出现化学符号和化学结构式，在使用计算机进行图形处理的过程中，许多年来许多人使用着许多不同种类的应用方法。我们将不断地收集和整理这些方法，并在本栏目中介绍。1．图形扫描处理图形扫描处理是最简便、最快捷的处理方式。可以用手工绘制或从报刊上选取样图后，将图放在扫描仪进行扫描。以使用惠普ScanJetⅡP扫描仪为例：进入Windows后，在第1窗口选择Deskscan连击2次，在第2窗口选择DeskScanⅡ连击2次，进入扫描屏幕后，在Scaling栏中用鼠标在长条框中选择设定图形大小，一般将图…     

相机春秋(1)

纵观1995年照相机技术的发展，我们看到了135相机技术的“凝滞”、APS先进摄影系统的“破土”与DigitalCamera的“新芽”。自动化科技的飞跃、数字化浪潮的冲击、信息化进程的加速、多媒体音像的“诱惑”，迫使经过72年风雨，在测光、测距。AE、AF上屡立战功的135相机逐步退出历史舞台。体态轻盈、能自动平直输片、高清晰度细颗粒胶卷能在焦平面精确定位、磁道传递摄影信息可保证冲扩过程优化的APS体系正如旭日初升、前程似锦。多姿多彩的静像在多媒体的支持下更加丰富了AV天地，“一网蔽天下”的Internet可使结像于1／5”CCD上的小…