论文部分内容阅读
可逆软件计数器的设计
【机 构】
：
水电部珠江水利委员会科学研究所
【出 处】
：
第一届中国机电一体化学术会议
【发表日期】
：
1988年期
其他文献
该文提出了一个验证有限步终止的算术程序正确性的代数方法。其主要思想是将待验证的程序用实数域上的ＢＳＳ计算模型来模拟，然后将其转化为一个多项式代数方程组，从而把程序的正确性
任何鞋服品牌的发展,都有着不同的经营模式,其营销模式也会各异。有些品牌钟爱遍布各个城市闹区的加盟连锁店,有些品牌专注能把控渠道命脉的直营旗舰专卖,更多的品牌则是直营
以微机在模拟集成电路测试中的应用为例，讨论了几种类型的程控电压源、电流源的软硬件实现方法及其应用价值。并设计了一种高精度、大电流、宽电压范围的程控电压源，采用软件方
程序固化是嵌入式实时软件准备运行的重要环节。该文重点研究Intel8086段保护模式可固化程序开工段的设计技术，详细介绍了对段保护模式建立过程中GDT、IDT表R0M区定位及向RAM
程序优化是提高程序运行效率的重要步骤,程序剖析是程序优化的第一步。对于串行语言，程序剖析代码是由编译器通过一个命令行开关自动插入。但是，大部分并行语言编译器都不具有
视觉器官内的加色混合分为静态混合和动态混合,是指参加混合的各单色光,分别刺激人眼的三种感色细胞,产生新的综合颜色感觉。
Visual color mixing within the organ is div