一种时间自动机时钟离散化算法

稠密时间自动机被广泛应用于实时系统自动验证.然而其在补操作下不封闭,因而导致多种线性实时性质不可验证.离散时间自动机虽不存在此问题,但该模型表达能力偏弱.因此,提出了一种时间自动机时钟离散化算法,结合时钟物理约束因素,证明了新方法可有效解决上述问题.     

角谱公式与瑞利-索末菲公式的等价性

基于矢量平面波角谱公式和球面波的Weyl表示式,未采用任何近似处理,非常方便地推导出矢量形式的第一类和第二类瑞利-索末菲衍射积分公式。作为特例,当只考虑光场的一维横向分量时,类似地可得到标量形式的瑞利-索末菲衍射积分公式。结果表明：平面波角谱公式与瑞利-索末菲衍射公式是等价的。     

两个切线公式的等价性

本文证明了解析几何与高等几何两门课程中两个表达形式截然不同的切 线公式的等价性。     

Newton公式和Waring公式的等价性的讨论

本文研究了Newton公式和Waring公式的关系,揭示了两公式之间的内在联系,得到了一个重要的结论。     

Newton公式和Waring公式的等价性的讨论

本文研究了Newton公式和Waring公式的关系,揭示了两公式之间的内在联系,得到了一个重要的结论.     

Fuzzy树自动机的等价性

在给出模糊树自动机概念的基础上,讨论了模糊树自动机与传统字符自动机、模糊有限自动机相类似的性质,即指确定性模糊树自动机与非确定性的模糊树自动机的等价性、FNBTA与FNTTA 等价,及FDBTA和FNBTA等价;这为模糊树自动机的进一步研究奠定了基础.     

一个极小不可满足公式子类的等价结构

研究一个极小不可满足公式子类（MAX（1）的等价结构,考虑了MAX（1）上的变元改名问题和文字改名问题。此两个问题均可在O（nlog2(n))时间内可解。     

巧用公式编辑器编辑复杂的方程式

本文通过具体实例,介绍了利用Word 中的公式编辑器来编辑工程计算中经常要用到的一些比较复杂的计算方程式或分类汇总表达式的处理方法.     

伴随等价图计数的一个乘法公式

本文给出了一个大于2且不含有2，3，4系的整数组成的可重集的伴随等价图的个数的乘法公式．     

奇异常微分算子的Kodaira公式

本文证明了两端奇异的微分算子的Ｋｏｄａｉｒａ公式：若τ（ｙ）是（－∞，∞）上定义的ｎ阶微分算式，其在（－∞，０］上的亏指数为ｄ￣－，在［０，∞）上的亏指数为ｄ￣＋，则τ（ｙ）的亏指数ｄ＝ｄ￣－＋ｄ￣＋－ｎ。     

广州地铁一号线时钟系统的应用

本文以广州地铁一号线时钟系统为列,探讨了地铁时钟系统的组成,功能和运行方式,并对地铁时钟系统发展作了展望。     

基于网表的量子元胞自动机时钟布局方案

量子细胞自动机(quantum cellular automaton,QCA)器件是一种具有时控工作特征的新型器件结构,与传统的通过电信号来表示二进制信息的方法不同,它是通过电子在QCA细胞上占据的位置来表示的。正是由于QCA器件的时控工作特征,若没有一个系统合理的方法设计QCA时钟电路,则会导致电路时钟设计复杂、电路时钟周期冗余。文章基于传统集成电路成熟的网表技术,引入了新的网表参数,使得在进行电路器件设计时也能解决时钟布局的设计,缩短了电路设计时间、提高了时钟的合理布局。     

多复变Toeplitz算子的等价性

设Ω表示ｎ维复空间Ｃｎ中的单位球Ｂｎ或单位多重圆盘Ｄｎ，本文讨论Ｈａｒｄｙ空间Ｈ２（Φ）上的解析Ｔｏｅｐｌｉｔｚ算子组与坐标乘子组的联合酉等价及Ｈｐ（Φ）上等距同构的Ｔｏｅｐｌｉｔｚ算子．     

Aitken-Neville-Newton插值法计算过程的等价性

分析论证了Aitken逐次线性插值公式、Neville算法及Newton插值法在节点逐步增加、多项式次数逐次增加时3个插值公式的每一步都是等价的.     

常型Sturm-Liouville算子特征值的渐近式和迹公式

应用迭代法计算了自伴型Sturm-Liouville微分算子特征值的渐近式,据此给出了算子的一类迹公式,并计算出其正则项和迹量.     

应用于连续时间∑Δ调制器的时钟抖动建模方法

提出了一种能够快速而精确地模拟时钟抖动的建模方法,可应用于连续时间Sigma-Delta调制器(continuous-time sigma-delta-modulator,CT-SDM)等系统的仿真与验证。相较于传统的基于离散时间的建模方法,所提出的一种基于连续时间的模型,可以灵活地应用于各种连续时间电路中,且可在保证精度的情况下,快速完成仿真。给出了关于时钟抖动的理论分析和该模型的数学理论推导,并通过搭建一个完整的连续时间Sigma-Delta调制器,验证了所提时钟抖动方法的正确性与可行性,仿真时间在数十秒内。     

复Finsler流形上的交换公式

设M是n维复流形,具有强拟凸的复Finsler度量F.本文讨论复Finsler流形(M,F)上的复Rund联络,得到它的水平共变导数与垂直共变导数的各种交换公式,并应用这些交换公式得到强Kaehler Finsler流形上复水平Laplacian算子的一种表示式,该式显含复Rund联络的h-曲率.     

网络化测试系统的时钟同步

介绍网络化测试系统的时钟同步问题,包括同步时钟源以及时钟同步方法,并对每种方法的特点及应用进行了探讨.最后根据网络化测试系统的具体特点提出了简单而又实用的测试网传输报文加盖时间戳进行时钟同步的方法,利用ICMP报文给出了实现方法.     

一类奇性积分的积分公式

运用Ｇａｕｓｓ型求积公式解决奇性积分时，需求解含τｉ（ｉ＝０，１，２，…）通项的奇性积分。给出了一类含奇性核　　，　　，　　的积分公式，可具体应用于计算含源空间的电场、磁场、引力场等的场强以及求解活动边界的杂质扩散等问题。     

FPGA的可靠时钟设计方案

对于现场可编程门阵列(FPGA)常见的6种时钟设计,根据建立时间和保持时间的要求,按照同步设计原则,分别给出可靠的时钟设计方案.利用这些方案来设计FPGA的时钟,可以更容易完成FPGA的项目设计,使得FPGA系统更稳定、更可靠.