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

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

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

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

浅论罪刑法定原则及其在我国刑法中的运用

罪刑法定原则是刑法的一项基本原则。我国在97刑法中予以确定，并在许多相关法律条中加以具体化。但在刑法的实践中，这一原则的贯彻仍然存在着一些限制，需要进一步加以修正和改进。     

符号几何规划及其可行域修正算法

本文脱离了影响较广泛的文献１、２的思路，不依赖反向几何规划，直接讨论符号几何规划，不增变量个数和约束个数。利用集约化思想构造了一个可行城修正算法。本文还对文献２中的一个疏漏作了修改，增补了文献２的内容     

旧城更新中城市形态的延续与创新

保持“文脉”与“人情”是当代城市设计的首要任务，城市形态及其文化内涵应在旧城更新中得以延续并有所发展与创新。     

浅谈灌浆技术在旧水泥砼路面处治中的应用

水泥砼路面在使用过程中会产生诸多病害。通过对旧水泥砼路面板唧泥、脱空等砼路面主要病害的分析。提出采用灌浆技术来解决此类病害，并从经济的角度评价了灌浆技术的可行性。     

白族本主祭祀仪式象征意义的阐释

本主崇拜是白族的民间信仰。本主祭礼仪式是白族本主崇拜中最活跃并最具符号意义的元素，是白族文化的特殊形态，在文化人类学中有重要研究价值。探讨本主祭礼仪式的象征体系。对准确理解本主崇拜的宗教意义，全面了解白族的民族文化有着重要作用。     

MINIMAL INVERSION AND ITS ALGORITHMS OF DISCRETE-TIME NONLINEAR SYSTEMS

The left-inverse system with minimal order and its algorithms of discrete-time nonlinear systems are studied in a linear algebraic framework. The general structure of left-inverse system is described and computed in symbolic algorithm. Two algorithms are given for constructing left-inverse systems with minimal order.     

等角航线正反解算的符号表达式

为解决航海中不同地球参考椭球下的等角航线解算问题,建立了等角航线基本方程,通过引入符号形式的子午线弧长反解公式,推导出等角航线正反解算的非迭代表达式.利用符号形式的等量纬度反解公式,给出一种等角航线正解的迭代计算式.算例分析表明,该式可以解决航海中不同参考椭球下的等角航线正反算问题,反解精度高达10-5.     

一些非线性发展方程的周期解

利用辅助椭圆方程给出了求解非线性发展方程的精确周期解的一种代数方法，借助计算机的符号计算，求得了mKdV方程和非线性Klein-Gordon方程的多种精确周期解，这些解包括了已有的用Jacobi椭圆函数展开法所求得的周期解．在极限情形下，退化为相应的孤立波解或冲击波解．