性别逻辑对女性体育文化发展的影响

性别逻辑存在于整个文化体系内,并普遍影响着整个文化形态的各个领域,体育文化也毫无疑问地受到性别逻辑的影响。通过对体育文化中的一些性别不平等现象的分析,探讨了性别逻辑对女性体育文化发展的影响。     

教学论是关于教学的事理之学

教学作为一种动态性的价值存在,是一种人为的且是为人的存在,是一种人在做、所做的事的存在,即“人事”存在。作为“人事”存在的教学存在其基本性质决定了教学论是关于教学的事理之学。教学事理学相应地是由相互联系的教学价值规范、教学科学理论和教学方法技术构成的有机统一体。教学价值规范研究表明教学的应然性;教学理论研究规定着教学的可能性;教学方法技术研究制约着教学的现实性。     

CO-SATISFIABLE AND CO-VALID OF TWO FIRST-ORDER LANGUAGES

In this paper,the authors point out and demonstrate the difference of theconcepts concerning co-satisfiable and co-valid between one first-order language andtwo first-order languages,and put forward the concepts about uniform co-identical truthand uniform co-satisfiability.Thus some theorems in the book“A Course inMathematical Logic”,written by J.L.Bell and M.Machover,are corrected.     

非精确性推理的模糊化处理方法研究

在构建专家系统时,非精确性推理的研究处于相当重要的地位。本文在对非精确性推理的理论和应用实例进行评析的基础上,运用模糊数学方法,提出了处理非精确性推理的FUZZY模式;并将它运用于港口装卸工艺设计专家系统的构建中。     

用 S7-200 PLC I/O 口传输打印数据的 STEP 7 语言实现

在对ＳＩＥＭＥＮＳＳ７－２００系列ＰＬＣ的专用编程软件ＳＴＥＰ７的功能和特点进行归纳的基础上，介绍了应用ＳＴＥＰ７语言实现ＳＩＭＡＴＩＣＳ７－２００ＰＬＣＩ／Ｏ口传输并行打印数据的编程技术关键。     

基于时空自动机的CPS建模与验证

为了描述信息物理融合系统(cyber-physical systems,CPS)的时空一致性,一种实时规范语言STe C已经提出[1],CPS的设计和实现能否满足时空一致性显得十分重要。文中对混成自动机进行了扩展,提出了具有位置驱动特点的时空自动机。文中提出了基于时空自动机的CPS建模与验证框架。在框架中,首先使用STe C语言对CPS进行了描述并使用时空自动机对CPS进行建模。文中采用的形式化验证方法为微分动态逻辑(differential dynamic logic,DL),其操作模型为HP(hybrid program)。利用DL可以将所建模型转换为对应的HP。结合得到的HP对验证的CPS属性进行规约,最后使用定理证明器Ke Ymaera对属性进行自动化验证。     

在华跨国公司母子双向知识流动及其转移逻辑

本文对跨国公司在华投资母子间的知识流动及其决定因素进行实证调查,得到三个结论:(1)母子间存在双向知识转移,且传统知识转移与逆向知识转移程度不同;(2)双向知识转移的决定因素有较大差异,母子关系和受方吸收能力只影响传统转移,而知识相关性、子公司技术依赖和子公司知识活动能力只影响逆向转移;(3)本文根据相关信息推理出在华跨国公司双向转移的逻辑与已往文献不同,传统知识转移不是一个简单的教授过程而是体现母公司意图、子公司认同的教授过程,逆向转移也不是学者所说的子公司说服过程而是母公司主动发现、主宰的选择过程。     

基础教育改革的政治逻辑

基础教育改革的政治逻辑是指支配基础教育改革运行的政治因素及其运行机理。基础教育改革形成的政治逻辑是：改革无不由政治官员提议形成,并具有主观性与功利性;改革方案无不由政治官员延请专家学者论证形成,并具有选择性与合谋性。基础教育改革实施的政治逻辑是：改革无不以试验形式渐进推行,并具有人缘性与地缘性;改革无不在总结反思中实施推广,并具有自我辩护性与潜在排他性。政治因素在基础教育改革中力度与限度的博弈逻辑是：总体而言,政治因素对于基础教育改革的基本趋向是力度大于限度、具有外在强制性与自我挺进性特征,限度制约力度、具有外在回避性与自我消解性特征;力度的主要依据在于政治因素本身的客观必然性、行政推进力量的明显强势和非行政干预力量相对分散;限度的大致条件可以分为三类具体情形。     

专利引文的形成路径研究——以行为逻辑为视角

[目的/意义] 研究专利引文形成的路径是合理评估数据样本的重要基础,也是建立研究假设和研究模型的重要前提。[方法/过程] 以行为逻辑为视角,从专利引用行为的主体、动机、行为能力和外部的引用行为规则4个因素对专利引文的形成路径进行研究。[结果/结论] 行为主体经历心理阶段和实施阶段,在外部规则因素的作用下形成专利引文。专利申请主体的因素是导致引用动机和引用行为差异的主要原因,进而导致专利引用结果的差异,构建样本和模型时应对不同属性的主体的引文作出区分。     

The Philosophy of Sport

Philosophy as a discipline is typically characterized through the use of rigorous argument and analysis, and the clarification of the meaning of concepts. Philosophical problems are thus resolved, not through the appeal to empirical evidence, but by identifying inconsistent and confusing patterns of thought and reflection. This paper will clarify the nature of a philosophical methodology by explicating the relationship between the philosophy of sport and the core traditional areas of philosophy, metaphysics, epistemology, axiology and logic.