On the Logical Foundations of Compound Predicate Formulae for Legal Knowledge Representation

In order to represent legal knowledge adequately, it is vital to create a formal device that can freely construct an individual concept directly from a predicate expression. For this purpose, a Compound Predicate Formula (CPF) is formulated for use in legal expert systems. In this paper, we willattempt to explain the nature of CPFs by rigorous logical foundation, i.e., establishing their syntax and semantics precisely through the use of appropriate examples. We note the advantages of our system over other such systems and discuss the significance of CPFs with regard to the formalization of legal reasonings using examples from the United Nations Convention for the International Sale of Goods.     

n阶方阵求逆的两个公式

针对ｎ阶方阵的逆阵问题，分别利用矩阵乘积及正交化方法给出了求Ａ＾－１的两个表达式，从而达到运算量小且实用之目的。     

惯性、刚性振动出矿机合理振动形态设计理论探讨

简要地讨论了惯性、刚性振动出矿机在三个自由度下运动的解答;并根据实际使用情况,提出了振动出矿机合理振动形态的概念及条件。从理论上导出了求得合理振动形态的设计方法及计算公式。     

有教师的线性基本函数前向三层神经网络结构研究

优化选择隐节点数是人们在应用基于误差反传算法的有教师的线性基本函数前向三层神经网络过程中首先遇到的一个十分重要而又困难的问题。本文从国内外大量应用裕列中陪结归纳出了一个初定这种网络隐节点数的经验公式，提出了一种判断所选隐节点数是否多余的具体方法，并从理论上做了详细的推导。     

锅炉受热面辐射吸热量面积系数计算公式的简化

锅炉壁温计算是锅炉设计及事故改造中的一项重要工作，锅炉受热面辐射吸热量面积系数计算公式则是壁温计算中不可缺少的重要环节，但原面积系数计算公式过于繁琐，为此，引入了函数E（t），并对E（t）的物理意义进行了描述，从而简化了锅炉受热面壁温计算中的面积系数计算公式，便于编程计算。经实际算例验证，与原辐射吸热量面积系数计算公式的计算结果基本一致，相对误差小于1％。     

集合式电容器一段元件非全并联的保护公式浅析

根据集合式并联电容器内部一段元件非全并联的接线方法,从电路原理上,推导了这种接线方式的开口三角电压保护的整定公式,供工程设计中参考应用。     

集合式电容器一段元件非全并联的保护公式浅析

根据集合式并联电容器内部一段元件非全并联的接线方法，从电路原理上，推导了这种接线方式的开口三角电压保护的整定公式，供工程设计中参考应用。     

关于三角函数有理式积分的探讨

三角函数有理式积分在积分的计算中占有很重要的地位 ,且计算较为复杂 ,属教学中难点。本文就一类三角函数有理式的积分的特殊性及一般性进行探讨 ,特殊性给出一题多解 ,一般性推出求解公式。     

利用综合除法把多项式函数Taylor展开

本文给出了利用综合法求n次多项式函数f(x)在x0的泰勒展开的一种方法。     

Calculating the elastic moduli of steel-fiber reinforced concrete using a dedicated empirical formula

The equivalent inclusion method (EIM) is adopted to study the characteristics of the equivalent material properties of steel-fiber reinforced concrete as a function of the volume fraction and the length to diameter ratio of the fibers. It is found that the equivalent material moduli of concrete reinforce with randomly orientated and distributed fibers are insensitive to the length to diameter ratio of the steel fibers. A set of empirical formulae is then proposed for the purposes of engineering applications. The proposed empirical model can simplify the calculation of the equivalent material moduli. Verifications of the proposed empirical formulae with the EIM model and with experimental data are performed with two examples. The first is a compression test. The second is 4 point bending test. The empirical formulae, based on the equivalent inclusion method proposed in this study, represent an alternative means of quickly calculating the effective elastic modulus of steel-fiber reinforced concrete materials.