一个将关系模式R分解为3NF的算法

本文介绍了一种采用有向超图ＤＤＨＤ技术将关系模式Ｒ分解为第三范式３ＮＦ的和算法。利用这种方法可以方便地根据Ｒ上的函数依赖集合Ｆ直接求出相应的３ＮＦ。这种方法是关系数据库设计和规范化的有用工具。     

逻辑在基础数学课程中的教育价值

在新的课程改革的背景中,高中阶段开设数理逻辑课程.本文分别从数理逻辑的应用价值、思维价值以及文化价值等不同侧面论证了在高中阶段开设数理逻辑课程的必要性.     

相对于锥的合作或竞争系统的一个证明

利用图论知识结合归纳法,给出了一个系统在区域D中相对于某个锥Km是合作的还是竞争的等价于图G中的闭回路的“-”号边的个数为偶数还是奇数的证明。     

湍流应力对AGB星物质损失率作用的初步探讨

通过分析8M⊙和2.8M⊙早期AGB星外部湍流应力与引力的比值在几个演化点上随质量的分布,发现在恒星外部存在一个湍流应力与引力的比值能达到几十的区域,该区域的位置随演化时间的变化而变化,此位置以外的壳层质量随时间的变化规律与Nieuwenhuijzen H.et.Al给出的恒星质量损失率的变化规律完全相同.在此基础上拟合出早期AGB星的质量损失率与出现最大湍流应力位置以外的壳层质量之间的关系式,提出湍流作用对星风的主要影响应体现在湍流作用大的区域在恒星外壳中的位置.     

浅谈对科研院所科研人员的有效评价

提出了科研院所"四位一体"的科研人员评价体系,并列举了评价体系及评价办法,展望了评价体系的应用前景。     

宽频无线技术在集装箱码头的应用

TCT无线数据传输系统是2S3C整体系统中针对三，四港池作业区域的子系统，其主要功能是通过合理设置无线传输基站，使漫游在作业区的无线终端设备及时将采集到的现场数据反馈回后台作业系统，或将作业决策系统的操作指令发送到每个操作终端。系统方案既突出了TCT无线数据传输系统的独立性，又考虑了在与系统软件接口配合及计算机网络连接方面，具有符合国际标准的开放性，使用户在整个网络系统的软件选型和硬件选型方面有较大余地。     

关于Mbius梯的细分图的k-优美性

一个简单图G =(V ,E)是k 优美的 (k≥ 1为整数 ) ,如果存在单射f:　V(G)→ { 0 ,1,2 ,… ,|E| +k - 1}使得对所有的边uv∈E(G) ,由f (uv) =|f(u) -f(v) |导出的映射f :　E(G)→ {k ,k + 1,… ,|E| +k - 1}是双射 .设G是简单图 ,在G的每相邻两顶点之间都加入一个顶点后所得到的图称为G的细分图文章证明了M bius梯的细分图是k 优美图     

海南省大学生50m跑与立定跳远间运动技能和运动素质迁移的研究(Ⅰ)

运用海南师范学院课程考试质量分析系统 (正式版 1.9)及文献资料法、数理统计等方法对海南省大学生 5 0m跑与立定跳远间运动技能和运动素质的迁移规律进行了研究 ,结果表明 ,两个项目之间存在着许多相互迁移的特性 ,且 5 0m跑对立定跳远的一般迁移更为明显 ;同时也分析了两个项目之间在某些技术细节上存在差异而产生一定干扰的原因 ;对影响或干扰项目间运动素质正常线性相关关系之原因进行分析 .指出 :(1)运用迁移理论 ,加强短跑训练是提高立定跳远成绩的有效途径 ;(2 )加强技术动作的教学力度并经常地分析概括是提高成绩和减小误差的有效办法 .     

中国传统民俗与地理环境

我国的民俗是我国人民对生产与生活经验的总结 ,是民族文化的重要组成部分 .就民俗与地理环境的关系而言 ,民俗形成与演变的自然基础是地理环境 ,民俗的传播与扩散受地理环境的制约 ,民俗的区域差异是地理环境区域差异的反映 ,民俗也是人们适应地理环境、实现人地关系协调的具体表现     

一类抛物型方程的能控性

研究了一类由抛物型偏微分方程描述的分布参数系统的能控性问题 ,通过构造凸泛函 ,用与Sakawa不同的方法 ,得到了系统的全局近似能控性 ,并进一步证明了系统具有有限维精确能控性 ,改进了Sakawa已有的结果。