建筑物多室火灾过程的计算机模拟

应用场模拟和区域模拟相结合的方法来研究建筑物多室火灾过程，是计算机模拟多室火灾过程的一种新方法．这种新方法的主要思想是用场模拟的方法模拟着火房间，对于与着火房间相连的非着火房间，则采用区域模拟的方法．本文正是基于场区模拟这种新方法对双室火灾过程进行数值模拟．     

Slater函数的双中心交换积分

采用复型Ｓｌａｔｅｒ轨道，推导了双中心交换积分公式，讨论了交换积分的一种特殊情形．对实际计算中的一些问题进行了讨论，给出了一部分计算结果．     

常用力学量传感器数值设计方法

采用数值计算方法,分析常用力学量传感器的应力场分布;采用计算机辅助设计,确定最佳方案、编制专用软件,对若干种传感器进行研究,证实了此方法的有效性。     

复合转子异步电机的等值电路及其参数计算

给出了复合转子异步电机等值电路的一般形式及其参数的计算公式;提出了等值电路的实用形式;就该电路参数特别是转子两层间的互感抗的计算方法进行了较详细的讨论.样机计算结果与实验结果的对比,证明了实用等值电路计算的准确性.     

Walsh—Hadamard变换ASIC的并行结构设计

针对具有广泛应用的Ｗａｌｓｈ－Ｈａｄａｍａｒｄ变换，研究了适合其ＡＳＩＣ设计的算法与ＳＦＧ阵列结构、位串计算、可变长功能等方面的内容，并给出了Ｗａｌｓｈ－Ｈａｄａｍａｒｄ变换ＡＳＩＣ的一种合理结构。     

射流侵彻陶瓷靶试验研究与工程计算模型

该文介绍了射流侵彻陶瓷靶的系统试验研究，全面地分析了射流侵彻陶瓷靶的规律和陶瓷靶抗射流侵彻机理，通过分析射流着靶速度和破甲速度的关系曲线，建立了射流着靶速度与破甲速度的力学模型和工程计算模型，提出了射流侵彻陶瓷靶的工程计算模型和陶瓷靶对断裂射流的干扰因子。     

Preconditioned method in parallel computation

1.INTRODUCTIONDecreasing the ti mes of communication andincreasingthe rate of it in the whole domain is very i mportantfor i mproving the rate of parallel computation in de-composed domain.Preconditioned technology hasbeen used widelyin this area[1]because it can changethe mode of communication andi mprove the topologi-cal configuration.Orthogonalization is a perfect pre-conditionedtechnology,but it isi mpossibleto orthog-onalize entirely for the large workload of computationand effect of …     

Model Checking Workflow Net Based on Petri Net

The soundness is a very important criterion for the correctness of the workflow. Specifying the soundness with Computation Tree Logic （CTL） allows us to verify the soundness with symbolic model checkers. Therefore the state explosion problem in verifying soundness can be overcome efficiently. When the property is not satisfied by the system, model checking can give a counter-example, which can guide us to correct the workflow. In addition, relaxed soundness is another important criterion for the workflow. We also prove that Computation Tree Logic ＊ （CTL ＊ ） can be used to character the relaxed soundness of the workflow.     

关于价格测算模型解的存在性定理

对于价格测算模型（Ｉ—ＡＴ）Ｐ＝Ｙ，给出了几个具有不同形式的存在性定理，并在此基础上，对于Ｉ—Ａ有非负可逆矩阵的充分必要条件给出了更为简捷的证明。     

Quantum Mechanics and Computation

In quantum computation non classical features such as superposition states and entanglement are used to solve problems in new ways, impossible on classical digital computers.We illustrate by Deutsch algorithm how a quantum computer can use superposition states to outperform any classical computer. We comment on the view of a quantum computer as a massive parallel computer and recall Amdahls law for a classical parallel computer. We argue that the view on quantum computation as a massive parallel computation disregards the presence of entanglement in a general quantum computation and the non classical way in which parallel results are combined to obtain the final output.