合成邏辑TAC中合子的生成

近年来,软件的形式开发越来越受重视。本文设计了一个形式系统,它能实现合成逻辑TAC中合子的自动生成。     

整合河北省四大港区资源,推进港群体系建设

整合河北省四大港区资源、有效推进港群体系建设,是一个具有重大实践意义的课题。本文在论证整合河北省四大港区资源、推进港群体系建设的必然性和可能性的基础上,分析了其中存在的主要问题及其原因,并试图探索出整合河北省四大港区资源、推进港群体系建设的可行途径。     

南阳师范学院学人风采(29)

徐少贤,男,汉族,1964年12月出生,河南省南阳市人,理学硕士,教授,中共党员.先后任数学系教学秘书、系副主任、系主任,现任南阳师范学院数学与统计学院院长.兼任应用数学研究所所长,河南省数学学会第六届理事会常务理事和教学工作委员会委员.     

建立高校系级管理信息系统的思考

提出建立系级管理信息系统的设想．在现有人工管理的基础上建造数据库．增添若干功能模块，提高管理效率和应用层次，并且就几个主要管理系统给出说明。     

两大法系陪审制度之比较及对我国的启示

陪审制度是一项重要的司法民主制度。它在两大法系中各具特色。本文在对两大法系陪审制度历史变迁的宏观比较以及运作实践的微观比较基础上,探究了形成差异的深层原因,并分析了其对我国陪审制度改革的借鉴意义。     

轨道结构参数对轮轨作用力的影响

以双层弹簧阻尼支承Timoshenko梁作为钢轨的力学模型,在列车荷载作用下钢轨动力响应解的基础上,采用二系质量模型,计算了不同轨下基础参数时的轮轨作用力时程曲线和频谱曲线,分析了轨下基础参数对轮轨作用力的影响.     

元素周期系中的双峰效应

在总结和归纳周期系中的元素和化合物的一系列物理化学性质的基础上,我们发现元素周期系中存在一种可称为“双峰效应”的性质递变规律。本文论述了双峰效应的普遍性,并对双峰效应的实质和意义也作了简要讨论。     

论穷尽法律救济原则之存在逻辑

穷尽法律救济原则并非无中生有,而有其存在的逻辑基点.宪法规范位阶的最高性是穷尽法律救济原则的规范基点;立法行为的公定力,即立法行为在通过法定程序被宣布违宪之前被推定有效,是穷尽法律救济原则的秩序基点;宪法纠纷与法律纠纷的区分是穷尽法律救济原则的理论基点;"禁止向一般条款逃逸"原则所蕴涵的方法论是穷尽法律救济原则的方法论基点.对于穷尽法律救济原则存在逻辑的理解不能机械化.在英美法系国家,解决纠纷虽然在形式上未遵循穷尽法律救济原则,但在本质上仍然遵循了穷尽法律救济原则的逻辑思路.     

禹神话与上古南岛语系民族的鱼类和爬行类动物图腾崇拜

在20世纪的30-40年代顾颉刚教授开始研究禹神话的时候,认为这个神话出自中国古代南方的民族,后来他改变看法,认为这个神话出自中国古代西方的民族.本文在此基础上利用南岛语系文化和印欧语系文化进行比较研究,认为禹神话是远古时代南岛语系文化中的鱼类和爬行类动物图腾崇拜的产物.     

《左传》与清华简《系年》关于夏姬的不同叙述

《左传》记载夏姬情事,有诸多疑点,最主要处在于她的身份及由此产生的年龄问题。清华简《系年》的出土为我们思考此问题提供了新线索,勾稽《系年》文字,可得出结论：夏姬为夏征舒之妻,而非其母。陈国内乱时,她二十岁左右。《左传》的叙述,反映作者红颜祸水、甚美必有甚恶的观念。《系年》叙事则无此倾向。