基于成像算子优化的微震逆时定位方法

针对目前微震逆时定位成像存在的问题,提出一种优化后的成像算子,对模型数据进行抗噪性、误差速度以及检波器分布和数量进行测试,并提出采用峰度值作为定位成像结果的评价标准。结果表明,优化后的成像条件在定位能量聚焦程度和成像分辨率上都得到了提升,对含速度误差和含噪微震数据都有较好的成像结果,并且对检波器的分布和数量有较好的适应性,取得了较为理想的定位效果。     

工业企业施工平面控制网问题的研究

就工业企业施工平面控制网的设计、外业观测和数据处理等各主要环节进行较细致的分析、总结和研究,综合阐述各环节应遵循的基本原则和工作重点,强调在设计与实际工作中应注意的主要问题及采取的主要措施,指出测量成果中应重点关注的几项主要技术指标,对于工程施工布网和建网具有一定的指导意义。     

北桥设计中的总线周期精确事务级建模

总线周期精确事务级建模能解决系统设计中的仿真精度和速度之间的矛盾。以北桥中的总线设计为背景,采用SystemC中接口方法调用的原理,实现了对Wishbone总线的周期精确事物级建模,并给出了具体的实现方法和测试方法,具有一定的通用性。     

汽车拖拉机转向机构的优化设计

本文提出用一种新的时间离散化方法对汽车拖拉机的转向机构进行优化设计．该离散化方法是按被实现函数变化率的大小划分时间单元，在被实现函数变化率较大的区域，分点较密；在率化率较小的区域，分点较稀．笔者还分别用等间距的时间离散化及切比雪夫时间离散化方法，对同一机构使用同一种优化方法进行了优化设计，并将三种计算结果进行了比较．结果表明，笔者提出的方法，没有增加计算工作量，而能提高计算精度．     

作业成本法对传统成本法的影响分析

介绍了作业成本法的特点,从5个方面探讨了作业成本法与传统成本法的差别,指出作业成本法具有一定的先进性。     

安全性和正确性折中的软件系统开发方法

主要分析和研究如何在软件当前的现实下寻求功能正确性和安全性的折中策略，来解决商业软件长期以来带有“bug”和安全性问题．对功能正确性和安全性的折中方案，亦有详细的分析，最后还提出将软件开发的折中技术融入软件工程以取得实际的效果．     

一阶逻辑完备性定理的新代数证明

给出了一阶逻辑完备性定理的一个新的代数证明，这个证明不使用依赖于Boole代数表示定理的γ-解释，但使用关于Q-滤子△↓的△↓-解释，也需要用到选择公理，另外指出了已有代数证明的不足之处，并作了修正。     

计算复特征灵敏度的代数法

对于复特征灵敏度分析问题，文中给出了一种代数法求解公式。从理论分析的角度来说，所提出的方法既适全于单频，也适合于重频。为了说明算法的数值稳定性，文中给出了严格的数学证明。     

微分代数控制问题的数值计算方法

描述许多轨道控制问题的方程通常构成非线性半显式的微分代数系统。本文提出一些数值方法来计算这些控制问题的控制规律。对于一个模型问题,本文进行了稳定性分析,并且给出了稳定性区域。文中估计了这些方法的全局误差,它们给出控制误差与计算步长的关系。