静态SAT问题并行处理器的设计研究

针对SAT问题的复杂性及求解速度缓慢的问题，采用可重构器件FPGA设计，实现了静态回溯搜索算法SAT问题并行处理器，提出了研制动态SAT并行处理器的设想。     

解线性及二次型规划问题增广的神经网络

本文提出了一个解线性及二次型规划问题的神经网络模型，证明了该网络是全局稳定于平衡点，而平衡点就是线性及二次型规划问题的解，该网络的优点是能够实时获得问题的精确解，且可以同时获得带等式不式约束的对偶问题解，该网络易于电路实现。     

解Job－Shop调度问题的一个遗传算法

本文首先介绍了遗传算法的基本概念和流程，然后叙述了如何把Ｊｏｂ－Ｓｈｏｐ调度问题编码成为遗传算法的形式，并解释了对于实现这一算法中一些问题的考虑．最后给出了算法运行结果并对结果与算法做了总结。     

网络分解法的误差分析

网络分解法是求解电大尺寸复杂结构电磁问题的重要方法之一,关于网络分解法误差分析的研究有着重要的理论意义和实用价值.本文给出了网络分解法的误差估计,并对于脉冲基函数转换成三角基函数的情况给出了三角基函数个数的最优公式,数值结果表明了分析的正确性.     

安钢宽板坯连铸机达产实践

分析了安钢宽板坯连铸机在热试车期间出现的生产问题,总结出制约生产主要因素,制定针对性措施,使该连铸机在较短时间内实现达产创效.     

蒸发式空冷器的运行实践

通过了解蒸发式空冷器的工作原理和结构,在运行实践过程中,对组成设备出现的问题提出相应的解决方案,并对部分组成设备提出改进的建议,以方便检修和维护,并提出了在冬季长时间高炉休风情况下保证水温不下降过低的解决方案。     

20世纪后半叶法国大学内部管理结构问题研究

20世纪后半叶是法国大学内部管理结构由雏形到成形的时期。在此过程中形成了一套完整的大学内部管理结构体系，不过，这一结构体系也存在一些问题。作为法国最大的综合性大学，巴黎大学内部管理结构上的问题透视出法国大学内部管理结构中的不足。本论文尝试着以巴黎大学为个案，分析20世纪后半叶法国大学在内部管理结构中的问题，尤其是高校内部两大团体之间的权力消长关系，以期对我国大学内部管理结构建设有所启示。     

一个安全有效的身份鉴别协议与对应的数字签名方案

本文利用二元一次不定方程和Schnorr身份鉴别协议，构造出一个新的身份鉴别协议，该协议在RSA问题和离散对数问题是难解的假设下是安全的，同时给出了所对应的数字签名方案。     

A stochastic maximum principle for systems with jumps, with applications to finance

We consider a stochastic control problem with linear dynamics with jumps, convex cost criterion, and convex state constraint, in which the control enters the drift, the diffusion, and the jump coefficients. We allow these coefficients to be random, and do not impose any L^p-bounds on the control.

We obtain a stochastic maximum principle for this model that provides both necessary and sufficient conditions of optimality. This is the first version of the stochastic maximum principle that covers the consumption–investment problem in which there are jumps in the price system.