三次(Ⅰ'')型插值样条算子的范数

本文考虑Ｍ．Ｍａｒｓｄｅｎ在［１］中提出的三次（Ⅰ’）型插值样条算子的范数．在分划等距的情况 下，我们给出此范数的精确表达式，同时指出它随分划加密的性态；在分划非等距的情况下，我 们给出此范数的一个估计式．     

正则分划D^r的存在性

根据Ｅｋ的正则分划Ｄ６ｒ的阶数ｒ以及满足正则分划定义的直接分划的个数ｍ与ｋ的关系，给出了两个主要结果：９１）当ｒ＾ｍ〉ｋ时，Ｅｋ不存在正则分划；（２）当ｒ＾ｍ≤ｋ时，Ｅｋ一定存在正则分划Ｄ６ｒ，并给出了Ｅｋ，当ｋ≤香的正则分划的实例计算。     

正则分划D~r的存在性

根据Ｅｋ的正则分划Ｄｒ的阶数ｒ以及满足正则分划定义的直接分划的个数ｍ与ｋ的关系，给出了两个主要结果：（１）当ｒｍ＞ｋ时，Ｅｋ不存在正则分划；（２）当ｒｍ≤足时，Ｅｋ一定存在正则分划Ｄｒ．并给出了Ｅｋ，当ｋ≤５时的正则分划的实例计算．     

基于带Fuzzy壳Boole代数和修正的Gaines—Rescher？…

建立了一种基于带Ｆｕｚｚｙ壳Ｂｏｏｌｅ代数和修正的Ｇａｉｎｅｓ－Ｒｅｓｃｈｅｒ蕴涵算子的险象识别逻辑，并对这种逻辑进行了语义方面的研究，获得若干结果。特别是，在这种逻辑中笔者发现α－ＨＳ规则和α－ＭＰ规则对每个α都无条件地成立。     

微电子学的发展前景

微电子学的发展前景ＰｒｏｓｐｅｃｔｓｆｏｒｔｈｅＤｅｖｅｌｏｐｍｅｎｔｏｆＭｉｃｒｏｅｌｅｃｔｒｏｎｉｃｓ￥／／许居衍（中国华晶电子集团公司，教授无锡２１４０６１）郑茳（东南大学无锡分校，教授无锡２１４０６１）一、硅技术发展逻辑一切技术的发展，都要受...     

对称分划法陀螺经纬仪定向

对称分划法是一种计时观测方法,通过测定目镜分划板零刻线两侧的对称分划的穿过时间来求得陀螺方位角。对称分划法不需要读记灵敏部的摆动摆幅,不受初始定向的严格限制。即使灵敏部的摆动稍微超出目镜分划板范围,仍能进行定向观测,因此,在操作下放灵敏部时比较容易。另外,进行多个刻划测时,只需观测一个周期。这是节约观测时间、节约成本、提高效率的好方法。     

Some Modal Relations and Generalized Velocity Method in State Space

ＩｎｔｒｏｄｕｃｔｉｏｎＴｈｅｍｏｄｅａｃｃｅｌｅｒａｔｉｏｎｍｅｔｈｏｄｉｎｒｅａｌｍｏｄｅｔｈｅｏｒｙｈａｓｔｈｅａｄｖａｎｔａｇｅｏｆｇｏｏｄｃｏｎｖｅｒｇｅｎｃｅｏｖｅｒｍｏｄｅｄｉｓｐｌａｃｅｍｅｎｔａｐｐｒｏａｃｈｅｓ[1,2].Ｍｏｔｉｖａｔｅｄｂｙｓｉｍｉｌａｒｃｏｎｓｉｄｅｒａｔｉｏｎｓ,ｓｏｍｅｒｅｓｅａｒｃｈｅｒｓｈａｖｅｅｓｔａｂｌｉｓｈｅｄａｃｏｍｐｌｅｘｍｏｄｅｖｅｌｏｃｉｔｙｍｅｔｈｏｄ(ＣＭＶＭｏｒＧＶＭ)ｉｎｓｔａｔｅｓｐａｃｅ[3,4].Ｕｓｉｎｇｔｈｅｃｏｍｐｌｅｘｍｏｄ…     

平面上散乱数据点的最优三角分划的一个定理证明

首先给出关于平面上散乱数据点的最优凸三角分划的定义。然后，讨论了最优凸三角分划的理论与实现。最后，介绍一个新的最优三角分划算法，并且证明由该算法所得到的三角分划的最优性。     

XAFS Study on Solid State Amorphization of Alloys by Mechanical Alloying

ＩｎｔｒｏｄｕｃｔｉｏｎＭｅｃｈａｎｉｃａｌａｌｌｏｙｉｎｇ(ＭＡ)ｏｆｅｌｅｍｅｎｔａｌｐｏｗｄｅｒｍｉｘｔｕｒｅａｎｄｍｅｃｈａｎｉｃａｌｍｉｌｌｉｎｇ (ＭＭ )ｏｆｉｎｔｅｒ ｍｅｔａｌｌｉｃｐｏｗｄｅｒｈａｖｅｂｅｅｎｓｕｃｃｅｓｓｆｕｌｌｙｅｍｐｌｏｙｅｄｉｎｒｅｃｅｎｔｙｅａｒｓａｓａｍｅｔｈｏｄｆｏｒｓｙｎｔｈｅｓｉｚｉｎｇａｍｏｒ ｐｈｏｕｓａｎｄｎａｎｏ ｃｒｙｓｔａｌｌｉｎｅａｌｌｏｙｓ[1～ 3 ] .ＸＡＦＳｍｅｔｈｏｄｗａｓｓｕｃｃｅｓｓｆｕｌｌｙｕｓｅｄｆｏｒｕｎｄｅｒｓｔａｎｄｉ…     

双参数并行Jacobi型迭代法的收敛性

双参数并行Ｊａｃｏｂｉ型迭代法的收敛性张志华（数学系）求线性方程组的解始终是一个重要课题．近年来，已取得许多成果．１９８３年Ｍｉｓｓｉｒｌｉｓ提出了并行Ｊａｃｏｂｉ型方法［１］，胡家赣１９９２年将这个方法推广到两参数的情形，称之为双参数并行Ｊａｃｏｂ...     

可编程序逻辑阵列的伪穷举故障检测

本文提出了一种适合可编程序逻辑阵列的伪穷举测试方法。在增加少量硬件电路的基础上，通过巧妙的逻辑划分，使每个逻辑子块可用穷举测试法进行故障检测。在保证故障被测度达到１００％的同时，大大缩短了测试所需的时间。测试序列总长度仅为原始输入端数和乘积线数的乘积。     

二值命题逻辑中限制逻辑等价关系及其应用

给出了(F(S),ρ)中公式的一种逻辑等价分解,利用这种逻辑等价分解讨论公式的真度、伪距离和相似度的计算问题,并且引入了(F(S′),ρ)中公式的限制逻辑等价概念,建立了一种等价关系.作为限制逻辑等价关系的应用,得到了(F(S),ρ )中基于真度的τ(A→X) =α型逻辑方程的解集,利用限制逻辑等价关系进行的一种相等“直径”的子集划分结果,为二值命题逻辑系统的逻辑推理和程度化的进一步研究提供了方法.     

控制流综合子系统的研究与设计

本文论述了控制流综合技术的研究内容及研究背景,给出了 VHDL 高级综合系统 HLS/BIT 中控制流综合子系统的设计。该子系统通过 FSM 分解、状态化简、状态分配、组合逻辑划分、两级逻辑化简和多级逻辑综合等步骤完成综合任务,重点解决解题范围、优化和正确性问题。该子系统可望完成 RISC SPARC 一类复杂体系结构的计算机和 ASIC 的自动综合任务。     

逻辑图自动划分的研究

提出基于划分的逻辑图布图策略,在效解决超大规模集成电路（VLSI）逻辑原理图自动生成中规模与速度的矛盾,给出的划分模型。结合逻辑原理图的．特点设计实现种子生成的构造式划分算法和迭代改进划分算法。实验表明,这两种算法的时间复杂度较低,算法精度及优化程度都能达到目标要求,在实际应用中取得了良好的效果。     

意外删除FAT32长文件的恢复技术研究

通过分区引导扇区FAT32位BPB表结构与系统功能调用的分析，给出长连续文件被意外删除后，应用读逻辑扇区与系统功能调用的恢复技术。     

Oracle 分区表和分区索引在 VLDB 中的研究

分区表和分区索引功能是数据库管理中的关键技术之一,是海量数据库管理(Very Large Databases,VLDB)中一个重要的性能提升机制.分区技术的原理是将逻辑上的一个大表拆分成多个独立的物理分区来存储,从而提高数据I/O性能.面对大数据的存储,几乎所有Oracle数据库都用分区技术来提高查询数据的性能.通过分析一个项目案例,说明如何综合使用分区表和分区索引来提高大数据的查询速度.     

模拟信源标量量化的模糊c-均值算法

为改进模拟信源标量量化的收敛速度,将模糊逻辑中的模糊c-均值算法进行适当改造,应用到模拟信源的标量量化过程中,即形成了模拟信源标量量化的模糊c-均值算法。算法将迭代过程中的分区矩阵“元素化”放宽了限制条件。仿真结果表明,新的模糊c-均值算法在选择合适的精度E的条件下,随着分区数目增加和训练序列长度的增加,收敛速度要远优于传统的c-均值算法,同时通过控制参数E,可以在收敛速度和量化失真度量M SE之间进行权衡。     

基于模糊及分块主纹理谱的图像聚类

基于主颜色方法提出分块主纹理谱的概念,在每个分块中自动生成阈值来过滤噪声.从模糊逻辑的角度出发提出一种新的纹理谱描述符,结合区域灰度平均值,构造隶属函数来计算纹理单元值.实验证明,所提出的方法在图像聚类方面达到较好的聚类效果.     

关于形式系统(L)*(强)完备性证明的注记

考察了形式系统L*完备性的现有证明过程，并对其中所涉及的R0代数同构问题进行了研究，分析了关于L*系统强完备性证明中的错误并给出了一个全新的修正证明．讨论了单位区间[0，1]上全序R0代数的非运算与强否定的一致性，给出了强否定表示定理的一个等价刻画，并对基于不同强否定且蕴含算子为R0算子的无穷值逻辑系统之上的广义重言式进行了考察，得到了公式集F(S)基于不动点的一类新的分划．     

YHFT-DX移位分支部件的设计与优化

根据YHFT-DX移位分支部件的功能特点和性能要求,提出了一种结构划分与实现策略,确定了移位分支部件的关键路径及相应设计方法.对于时序紧张的定点算术操作模块、移位操作模块采用手工半定制设计优化.时序验证与分析表明：移位分支部件时序优化了6.86%,面积减少了10.64%,达到了主频1.0 GHz的设计目标.