数字电路测试生成的二元判定图方法

测试是保证电路系统可靠性的重要手段,已成为集成电路设计与生产的一个组成部分,研究了基于二元判定图的数字电路测试生成方法,对布尔函数的表示和操作的二元判定图进行研究,详细讨论了其中的ite算符;给出了基于二元判定图的电路测试生成方法的实现步骤,并用实例进行了说明。     

从汉魏六朝碑刻看形似字的区别特征

汉魏六朝碑中存在不少形似字,其区别性特征比较复杂,分析各类区别性特征的产生、发展演变,对于认识汉字内部系统的矛盾运动以及人们对形似字的改造,对区别性特征的筛选,具有积极的意义.可以从一个方面丰富汉字发展史的内容,为汉字的改造提供参考.     

运动竞赛规则的基本理论考察

运动竞赛规则是运动竞赛的伴生物,是竞赛得以开展的前提和保证.从运动竞赛规则的概念、本质、特点、分类及演变探讨了运动竞赛规则的基本理论.     

环的子集的次极大理想

若I是环R的真理想,Φ≠A R-I,引入关于A的次极大理想,讨论了它的基本性质,改进了有关次极大理想的相关结果.     

关于Ls优化映象的极大元存在定理

给出了Ls类映象和Ls优化映象的概念，在G-凸空间中建立了关于Ls类映象和Ls优化映象的极大元存在定理，作为应用，给出了G-凸空间中的极大极小不等式。     

论美国排除规则的利弊要略及教学要端

在我国法律职业教育中,注重对排除规则的比较性分析与教学,符合社会主义法治进步的要求,可以补充我国刑事证据制度的教学内容,促进我国法律人才素质的提高.教学过程中,要依据我国宪法和刑事诉讼法,基于我国法律发展的实际水平,注重比较性研究与分析,重视其替代性救济措施的介绍,拓宽法律视野,加快健全我国非法证据排除规则.     

Modal extension rule

Modal logics are good candidates for a formal theory of agents. The efficiency of reasoning method in modal logics is very important, because it determines whether or not the reasoning method can be widely used in systems based on agent. In this paper, we modify the extension rule theorem proving method we presented before, and then apply it to P-logic that is translated from modal logic by functional transformation. At last, we give the proof of its soundness and completeness.     

逐步等效t检验最优值的修正及应用

给出了逐步生物等效t检验最大耐受剂量值的一个修正法，使用该法可以最大限度地提高药物耐受剂量水平的精度，并在概率1—α之下保证安全性，使得最优耐受剂量值最大限度地接近真实最大耐受剂量值。     

放牧强度递变规律及对草场的影响

用数学方法对放牧影响草场的因子进行了量化，定量地研究了放牧强度对草场的影响，在已知草场的基本情况下，建立草场退化程度与放牧强度之间的关系，用实例分析说明了牧畜超载对草场的破坏程度，对放牧强度R值的分析表明，只有调整放牧强度或减少牧畜头数，才能减缓放牧对草场的破坏和压力。     

滹沱河湿地植物群落的种间关系研究

在样方调查的基础上，采用x^2检验和Pearson相关系数，研究了滹沱河湿地植物群落的种间关联性，对种间相关的测定结果进行了生态分析，结果表明：滹沱河湿地植物群落的42种给管植物可分为四个生态组群，即中旱生植物生态组群、中生植物生态组群、湿生植物生态组群和水生植物生态组群，讨论了x^2检验法和Pearson相关系数法的生态学意义，此外，还分析了种间关联、种间相关与环境因子的关系。