混凝土构件承载力计算的Excel实现

运用Excel软件,高效解决了混凝土结构计算中较复杂的圆形截面偏压构件的承载力计算问题。该编程计算方法同样适用于土力学、水力学、钢结构等领域。对于解决工程中的各种学科计算问题有着广阔的应用前景。     

Recursive calculation of ladder circuit frequency functions

It is shown how the transfer function as well as the input impedance and admittance of any linear time-invariant ladder circuit can be determined in closed form as frequency functions dependent upon the network element parameters. All elements of the ladder circuit must be explicitly specified by their frequency characteristics. The results are achieved with the aid of recursive algorithms. The outcome is demonstrated by means of an example.     

房屋建筑结构无损检测方法的分析与展望

通过对现有的结构无损检测方法的总结和分析,讨论了各种方法的优缺点.并结合现场测试的要求,展望结构检测技术的发展方向与趋势.     

基于数字运算的PSD调理电路设计

介绍了基于数字运算的PSD调理电路思想及具体线路构造,该电路避免了模拟运算的缺陷,提高了精度和可靠性.     

工业建筑中钢结构的设计

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

ZnO压敏陶瓷最佳掺杂含量的理论计算

从对电子薄膜材料研究中得到的最佳掺杂含量定量理论推广到ZnO陶瓷材料。该理论建立了电子薄膜材料的某一物理性能与晶体结构、制备方法和掺杂剂含量之间的联系，给出了一个能够拟合实验曲线的具有确定物理意义的抛物线方程。该方程的极值点确定了最佳掺杂含量与晶体结构和制备方法之间的定量关系，进而得到了一个掺杂最佳含量的表达式。系统地分析了ZnO压敏陶瓷的掺杂改性的实验结果，应用此表达式定量计算了ZnO压敏陶瓷的最佳掺杂含量，定量计算的结果与实验数据相符合。该理论也适用于其他薄膜材料最佳掺杂含量的理论计算。     

农业重组微生物生物安全研究进展

综述了近年来农业重组微生物的研究现状和进展 ,详细介绍农业重组微生物环境释放的监控方法以及对环境的冲击作用 ,对一些有关生物安全研究的热点问题进行了探讨     

Accelerating filtering techniques for numeric CSPs

Search algorithms for solving Numeric CSPs (Constraint Satisfaction Problems) make an extensive use of filtering techniques. In this paper¹ we show how those filtering techniques can be accelerated by discovering and exploiting some regularities during the filtering process. Two kinds of regularities are discussed, cyclic phenomena in the propagation queue and numeric regularities of the domains of the variables. We also present in this paper an attempt to unify numeric CSPs solving methods from two distinct communities, that of CSP in artificial intelligence, and that of interval analysis.     

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.     

三峡水电站坝后钢衬钢筋混凝土压力背管的非线性有限元分析

采用钢筋混凝土非线性有限元方法，对三峡水电站钢衬钢筋混凝压力管道结构进行了计算，求得了各种钢材配置下的荷载效应并进行了相应的分析。