基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

浅析英文报纸标题的特点

读英文报纸是我们提高英文水平、扩大视野的有效途径,而看懂英文标题往往可领会文章中心思想.然而英文报纸标题有其特点,把握好与否关系重大,为此,笔者就英文报纸标题的词汇、语法、类型及符号使用等方面作了些阐释、希望对大学生有所帮助.     

实代数数的代数表达式的符号判定

将符号计算方法与数值计算方法结合起来应用于计算机代数领域,构造了一种判定实代数数的代数表达式的符号的算法,并在计算机数学系统上加以实现,算法的基本思想是对每一个实代数数ａ定义了一个二元组（Ｉ,ｆ（ｘ））,其中Ｉ是包含ａ的区间,ｆ（ｘ）是ａ所满足的多项式,并将代数数的运算转化为对应的二元组的运算,同时结合多项式的根的最短距离估计式,从而达到对代数数的代数表达式进行符号判定的目的。     

关于丢番图方程x~2 b~y=c~z

设ｓ,ｔ为满足（ｓ,ｔ）＝１,ｓ＞ｔ的正整数,ａ＝２ｓｔ,ｂ＝ｓ２－ｔ２,ｃ＝ｓ２＋ｔ２．证明了：若ｃ为素数幂且ｂ≡±５（ｍｏｄ８）,则不定方程ｘ２＋ｂｙ＝ｃｚ仅有一组正整数解（ｘ,ｙ,ｚ）＝（ａ,２,２）．     

产品语意与产品形态

产品语意是研究产品的形态在使用环境中的象征意义。产品设计师可以通过对产品的构造、形态，特别是特征部分、操作部分的设计，充分表达产品的物理功能，并满足人的生理需要和心理需要。这里将从产品的语义表达和产品形态的语义表达两个方面对产品语意学的意义和作用加以陈述，以典型的产品设计为例，证明产品语意学在产品设计工作中的重要地位，并对产品设计中“形式追随功能”的观点提出质疑。文章中的观点对从事工业设计的工作者和大专院校的师生有一定参考价值。     

汽油机瞬态排放间接检测的实践(Ⅰ)

瞬态排放间接检测是对汽油机在汽车加速-滑行组合、节气门加速开启-关闭等瞬态工况下进行法规性检测、获得其排放状况的基本手段之一．讨论了汽油机瞬态排放间接检测的有关基础,主要内容有:建立能够方便实现瞬态工况的工程化措施;分析采用五组分排放分析仪检测汽油机瞬态排放信号将导致畸变的原因;设置瞬态排放特征参数——符号时间序列分析的Shannon熵．     

物理教学应重视其情境性

物理学是一门抽象的科学，它以抽象的概念为基元，形成了完整的一套符号体系；物理学也是一门很具体的科学，它所涉及的研究对象就是各种物质间的作用和运动。前者反映出物理学的结构性，后者则要求物理学应有的情境性，从培养学生的实践能力、创新能力、科学素养，甚至学习兴趣的目的出发，从落实三维教学目标出发，物理教学必须关注其情境性，而现代教育技术也为我们实施物理的情境化教学提供了条件。     

复映射族z~(-2)+c广义M集的标度性质

在复映射 f(z,c) =z-2 +c的广义Mandelbrot集中 ,发现了主周期芽苞的标度规律·用符号动力学中的方法对其做了研究 ,给出了主周期芽苞字的规律 ,及字相应的提升方程 ,通过解字提升方程 ,给出了任意精确常数 μ的算法 ,通过大量的计算机计算得到了一个常数 μ =1 ·标度常数为 1的情况在复映射的标度常数研究中为首次发现·提出了常数 μ普遍存在于一般有理迭代的广义Mandelbrot集中的猜想     

Toeplitz算子亚正规性的判别法

讨论了Hardy空间H^2(Ⅱ)上的Toeplitz算子Tφ的亚正规性质。Toeplitz算子Tφ的亚正规性质完全由符号函数φ所确定。文章在Toeplitz算子Tφ的亚正规性的一个等价命题(性质1)的基础上，进一步给出了Toeplitz算子Tφ的亚正规性的一个关于符号函数系数的判别法。即Toeplitz算子Tφ的亚正规性等价于一个关于符号函数φ系数的实对称矩阵的半正定性。     

感觉人类学视野中符号与意义的研究

纳西象形文字与仪式象征符号体系关系至密，给我们澄清仪式象征意义的本源提供了重要线索；反过来，象征符号的意义一旦被澄清，相关的文字符号即可获得触类旁通的理解。从东巴教的各种祭祀仪式的场面布置、过程及东巴文字的书写来看，“魂灵”是东巴文化中的一个核心概念，人、鬼、神是魂灵存在于不同时空的不同形式。