从信息构建看未来的知识管理

本文从信息构建出发 ,进而引申到知识管理与知识推理 ,最终提出了知识基础工程。在设计并实现自然语言的语法开发平台时 ,产生了构建知识库的设想。利用语法开发平台 ,就可以对自然语言的语法进行开发 ,加上一个好的算法 ,就可以对大规模文本进行自动分析。对分析过的句子进行内容提取 ,并用面向对象方法和逻辑形式进行格式化 ,得到以面向对象为特征的常识知识库和以逻辑命题为特征的专家知识库 ,这应该是知识发现、知识管理的最高层次 ,也是知识工程的核心     

Incremental training intensities increases loads on the lower back of elite female rowers

Lumbar-pelvic kinematics change in response to increasing rowing stroke rates, but little is known about the effect of incremental stroke rates on changes in joint kinetics and their implications for injury. The purpose of this study was to quantify the effects of incremental rowing intensities on lower limb and lumbar-pelvic kinetics. Twelve female rowers performed an incremental test on a rowing ergometer. Kinematic data of rowers’ ankle, knee, hip and lumbar-pelvic joints, as well as external forces at the handle, seat and foot-stretchers of the rowing machine were recorded. Inter-segmental moments and forces were calculated using inverse dynamics and were compared across stroke rates using repeated measures ANOVA. Rowers exhibited increases in peak ankle and L5/S1 extensor moments, reductions in peak knee moments and no change in peak hip moments, with respect to stroke rate. Large shear and compressive forces were seen at L5/S1 and increased with stroke rate (P < 0.05). This coincided with increased levels of lumbar-pelvic flexion. High levels of lumbar-pelvic loading at higher stroke rates have implications with respect to injury and indicated that technique was declining, leading to increased lumbar-pelvic flexion. Such changes are not advantageous to performance and can potentially increase the risk of developing injuries.     

中值命题证明中构造辅助函数的方法

运用微分中值定理证明有关中值命题的关键是构造辅助函数。而构造合适的辅助函数往往是比较困难的。为此，我们将探讨有关构造辅助函数的方法。     

慎对中国古代的"德主刑辅"

"德主刑辅"是中国古代法文化落后的结果.原因在于:"德主刑辅"主要是知识精英理想,非国家政治主流;古代的"刑"及其与"德"的关系与今天具有本质差异,不能受思维惯性影响简单视其为次级需要;"德主"和"刑辅"的主从关系认识基于落后的学理与实践;"德主刑辅"的正面价值十分有限,是中国古代法治思想与政治实践不良的结果.     

广义线性系统极点配置的方法

研究了广义线性系统的极点配置问题，利用矩阵的奇异值分解和矩阵的广义逆得到了广义线性系统的奇异值标准形，使得广义线性系统的极点配置问题转变为正常系统的极点配置问题，从而给出广义线性统极点配置的一种新方法。     

二元二次Jacobi猜想的求逆公式

利用行列式的基本知识和计算技巧,给出了复数域上一次与二元二次Jacobi猜想的一个简明的求逆公式,验证了Abhyankar多元幂级数在上述情形下的形式求逆公式。     

r-首尾和循环矩阵求逆的一种算法

引进了γ-首尾和循环矩阵的新概念，利用多项式矩阵理论，给出了一种γ-首尾和循环矩阵的算法。用来计算它的逆矩阵或群逆。     

教育学的内容体系：问题、构想与尝试

教育学的内容体系是一个长期以来得到人们的关注,但却没有得到很好解决的问题。现有的教育学教材大多存在内容庞杂、贪多求全,缺少深度、逻辑性差,叙述枯燥,语言贫乏等诸多缺点。确立教育学内容体系的主要依据应当是该课程的目的。作为一个未来的教师通过学习教育学这门课程主要应达到三个目的,即获得教育的基础知识和了解教育的基本规律,树立基本的教育理念以及掌握教育的一般艺术。与此相适应,教育学的内容体系应当由教育原理、教育理念和教育艺术等三个部分构成。     

假言+选言推理的逻辑构造,判定和使用

“假言＋选言推理”是以假言命题和选言命题为前提的组合推理。根据假言、选言全中构造出１２种推理模式。采用归谬赋值法,对其有效性进行判定“Ｎ难推理”便是这种推理的语用形式。     

广义正定矩阵的逆与行列式

在本文中(1)证明了参考文献[2]与[3]中所定义的两类广义正定矩阵的逆仍是同种类型的广义正定矩阵;(2)给出了参考文献[2]中广义正定矩阵的行列式满足如下不等式|A|≤a_(n n)P_(n-1)这里P_(n-1)是A的n-1阶顺序主子式.进一步有|A|≤a_(n n)a_(n-1 n-1)…a_(22)a_(11)