求解多背包约束下下模集函数最大值的近似算法及其性能保证

将部分穷举法与贪婪算法相结合,给出求解多背包约束下非减下模集函数最大值的近似算法．证明了该算法的性能保证是1-e^-1,算法的时间复杂性为O（3n^4）．     

可编程定时/计数器8253—5及其应用

本文描述了定时/计数器8253-5芯片的功能及应用,并介绍了用8253-5构成A/D和D/A转换器的方法.     

有向图及其在逻辑上的应用

本文通过有向图说明了逻辑三段论的if-then实现法.     

几种特殊类型二阶变系数线性齐次方程的多种解法

就几种特殊类型的二阶变系数线性齐次方程讨论它的通解求法。     

充液圆柱壳内旋转重力波的振动分析

为揭示充液弹性圆柱壳受高频激励，壳内自由液面出现低频大幅旋转重力波的产生机理，应用非线性动力学理论，在考虑弹性壳与流体的非线性耦合条件下，建立了壳液耦合系统的非线性振动方程组．运用Runge-Kutta法进行数值求解，得到了该系统振动的时间历程及频谱特性曲线，进一步分析了系统的非线性动力学特性．结果发现，当激励力幅值足够大，且激励力频率在壳体固有频率与液体固有频率之和的附近窄频带内时，壳内自由液面会出现大幅低频旋转重力波．由此可知，低频大幅旋转重力波的产生机理是由壳体两个同频率模态同时在壳液耦合系统非线性因素的作用下而引起的组合共振．     

土地利用GIS中地籍的变化时空拓扑关系描述法

首先从2种基本时间语义:时间尺度和事件序列的时间语义出发,对地理事件进行了划分,对时空拓扑进行了描述.然后给出了一个土地利用GIS中地籍变化的时空拓扑描述方法及应用例子.     

软土地基深基坑土钉支护技术应用研究

以盐城市中医院病房楼深基坑支护设计和施工为例，就深基坑设计和施工中应该注意的问题，以及土钉墙支护技术在软土地基域的应用作一些研究，为软土地基深基坑工程的设计和施工提供借鉴。     

广义Liénard系统零解的全局渐近稳定性

研究广义Liénard系统{dx/dt=y,dy/dt=-f(x,y)y-g(x),(E)零解的全局渐近稳定性,获得了该方程的零解全局渐近稳定的充分条件.     

基于提升小波的多路径效应减少方法

数据后处理技术是解决高精度定位多路径效应的一个有效办法，而基于小波分析的多路径提取和消除技术是其中的一种正在发展中的有效手段之一。提出了一种基于提升小波技术的多路径高频噪声的消除方法。实验证实了该种方法是有效的，同时也证明了该方法实现的简单性和计算的高效率。     

可编程逻辑器件的设计过程

描述了可编程逻辑器件ＰＬＤ的设计方法和过程。