二阶A型Cooper变换的增强型

对二阶Ａ型Ｃｏｏｐｅｒ变换进行增强，放宽可用性条件，并证明了其正确性，最后举例说明其应用。     

峒室爆破CAD设计方法研究

本文对峒室爆破断面布药计算机辅助设计参数驱动方法进行了探讨围绕断面布药主要参数的变化，提出一种基于参数驱动的计算机辅助设计方法，利用ｗｉｎｄｏｗｓ操作系统下的动态数据交换特性，对断面布药进行布药参数优化，实现了交互调整布药，形成一套断面布的计算机软件，为工程爆破设计实现计算机提供了一种可行的方法。     

离散Hopfield神经网络和联想记忆的开关电流技术实现

研究了离散Ｈｏｐｆｉｅｌｄ神经网络（ＤＨＮＮ）和联想记忆神经网络的开关电流技术实现，利用多权输入跨导，开关电流延迟器（ＳＩＤ）和可编程电流比较器（ＰＣＣ）实现了离散Ｈｏｐｉｅｌｄ神经网络，并提出了利用离散Ｈｏｐｆｉｅｌｄ神经网络实现自联想记忆时相应的开关电流电路，所提出了开关电流神经网络适宜于超大规模集成，能在低电压（如３．３Ｖ）下工作。     

相似理论在真空灭弧室研究和设计中的应用

本文应用相似理论得出,真空灭弧室中电弧运动速度与电流强度成线性关系的相似准则,和极限开断电流与触头直径、开距间的经验公式。认为用小电流模型来研究大电流真空灭弧室是可行的。     

军用滑木箱的设计分析

介绍了按日本标准设计的横板式和国内竖板式军用滑木箱的结构设计参数，从木箱抗弯、抗静压及顶盖抗弯三方面对比了两种木箱的力学性能，分析了两种木箱的特点及适用范围。     

MS—Windows3.1下应用程序间数据交换方法及其选用策略

本文分析讨论了在ＭＳ－Ｗｉｎｄｏｗｓ操作系统下的应用程序间的数据交换的概念及方法，并给出了这些方法的选用策略。这些方法包括裁剪板，动态数据交换（ＤＤＥ），对象的连接及嵌入（ＯＬＥ），动态连接库（ＤＬＬ）。     

齿轮减速器造型设计与模态分析

讨论复杂结构的建模方法,建立齿轮减速器三维实体模型并进一步建立了齿轮减速器的三维有限元模型,分析系统的固有特性,从而获得了设计所需的必要数据。     

Computational complexity of queries based on itemsets

We investigate determining the exact bounds of the frequencies of conjunctions based on frequent sets. Our scenario is an important special case of some general probabilistic logic problems that are known to be intractable. We show that despite the limitations our problems are also intractable, namely, we show that checking whether the maximal consistent frequency of a query is larger than a given threshold is NP-complete and that evaluating the Maximum Entropy estimate of a query is PP-hard. We also prove that checking consistency is NP-complete.     

工业建筑中钢结构的设计

钢结构已广泛应用于工业建筑中 ,本文叙述了工业建筑中钢结构的设计     

Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.