对“等面积法则“的分析与讨论

对等面积法则的证明方法进行了分析与讨论。     

0行列式的定义

补充定义 0阶行列式的值 ,从而完善行列式的有关理论并简化行列式的计算与证明     

关于无限方阵的注记

文章对文献[1]作了若干补充,并修正了其中一个定理的证明。     

秦汉时期避讳的发展与特点

避讳是一种古老的礼法制度.避讳制度在秦汉时期有了新的发展,避讳成为皇权专制的工具.在汉代,实行"同训代换",避讳的范围拓宽,如嫌名避讳、避皇族和外戚之讳等,而生者称讳是一个新的发展.     

q∝△T~(-1)时三热源制冷机等效联合系统

证明了热传递规律q∝△(1/T)时,内可逆三热源制冷循环仍可视为一个内可逆卡诺热机驱动一个内可逆卡诺制冷机的等效联合循环,从而进一步揭示了三热源循环与二热源循环之间的内在联系,并讨论了联合循环的优化性能。     

路径前缀软件测试策略

本文提出一种新的软件测试策略，这种策略是一种自适应性的方法，它利用前面的测试路径引导新的输入选择，并能保证对具有n个判定节点的程序只需经过O（n)级测试，就能达到总的分支复盖。     

Pushing Multiple Convertible Constrains into Frequent Itemsets Mining

Constraint pushing techniques have been developed for mining frequent patterns and association rules. How ever, multiple constraints cannot be handled with existing techniques in frequent pattern mining. In this paper, a new algorithm MCFMC （mining complete set of frequent itemsets with multiple constraints） is introduced. The algorithm takes advantage of the fact that a convertible constraint can be pushed into mining algorithm to reduce mining research spaces. By using a sample database, the algorithm develops techniques which select an optimal method based on a sample database to convert multiple constraints into multiple convert ible constraints, disjoined by conjunction and/or, and then partition these constraints into two parts. One part is pushed deep inside the mining process to reduce the research spaces for frequent itemsets, the other part that cannot be pushed in algorithm is used to filter the complete set of frequent itemsets and get the final result. Results from our detailed experi ment show the feasibility and effectiveness of the algorithm.     

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

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

自伴矩阵与Hermite二次型

通过对自伴矩阵的深入分析和讨论,给出了自伴矩阵的特征值及特征向量的性质;证明了自伴矩阵一定可以酉相似于对角阵;得到了Hermite二次型可通过可逆线性变换化为标准形的一般方法以及Hermite二次型正定的几个充要条件.