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

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

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

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

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)本文根据相关信息推理出在华跨国公司双向转移的逻辑与已往文献不同,传统知识转移不是一个简单的教授过程而是体现母公司意图、子公司认同的教授过程,逆向转移也不是学者所说的子公司说服过程而是母公司主动发现、主宰的选择过程。