试论体育社会科学学科体系构建的逻辑起点

要探讨体育社会科学学科体系构建问题,首先必须明确它的逻辑起点.为探寻这一逻辑起点,在对近期内快速发展并已初步形成的学科体系考察基础上,运用辩证逻辑思维的方法,经过抽象和提炼,提出了体育社会科学学科体系的逻辑起点是"人本体育"的观点.无论从学科发展的历史,还是学科本质属性来看,"人本体育"都应是本学科最本质、最基本、最概括和不可分割的范畴,这个范畴可成为本学科体系构建的起始点和基石.     

基于概念格的企业群体创新偏好挖掘研究

为精准捕捉各类企业创新偏好信息,提出一种专利数据驱动下基于模糊三支概念格对企业创新偏好进行群体画像的模型,以专利IPC信息为切入点层次化抽取企业群体创新偏好共性特征,实现领导型、稳定型、潜力型、危险型四类企业创新偏好的差异化多粒度刻画。在此基础上提出模糊三支概念格相似度定义,构建带有相似度的创新偏好模糊三支概念格,揭示各企业间创新偏好关联关系。以中国集成电路设计行业数据为例实证验证模型有效性,结果表明模型可以清晰展现各类企业差异化创新偏好领域布局以及结构布局,为企业竞争战略制定及政府创新决策提供理论依据及参考。     

基于技术转移本质与特征的中国技术转移发展对策研究

目前缺乏从技术转移本质与特征理论视角研究技术转移发展对策,为此,系统分析技术转移的驱动因素、运动机理、构成要素与过程等4个本质维度,以及利益性、势差性和重复性等3个特征维度,比较研究美国、日本和韩国的技术转移发展实践。研究显示,美日韩政府在技术转移过程中起引导作用,通过制定和实施相关法案、法律和计划等,保护有关参与者利益,制约技术转移的无限制重复;长期稳定的较高水平R&D投入产生大量可供转移转化的技术成果,并在国家宏观层面整合的科研机构的共同作用下形成技术转移势差;通过建立区域技术转移中心、大学专利技术转移组织、技术创新中心和技术商业孵化器等形式的技术转移机构,促进技术转移多主体联合,驱动技术转移运动。最后借鉴发达国家经验,构建技术转移逻辑框架,提出加强政府引导与制度创新等推动中国技术转移的对策建议。     

制约逻辑与情报推理

逻辑科学在情报学学科中几乎主要地被应用于情报检索领域,而情报检索领域中涉及推理的内容主要地散见于人工智能推理机制中。人工智能研究以正统数理逻辑为其逻辑理论工具。由于正统数理逻辑把原本能确保不循环的推理格式处理成同语反复的恒真的真值函数。因而建立在这种逻辑理论基础之上的人工智能专家系统并不能真正实现从已知到新知的必然过渡。情报推理仍需要寻求一种更合适的逻辑理论工具。     

网络环境下教学参考书数据库建设探索--四川大学图书馆教学参考书系统研究与开发

重点论述网络环境下教学参考书数据库建设的必要性、服务逻辑、建设内容、数据收集、拟解决的关键问题等内容。     

PROLOG逻辑程序正确性证明

ＰＲＯＬＯＧ是一种逻辑程序设计语言，本文以这种语言为例，提出了谓词依赖性、等价式、谓词规范等概念，并且在此基础上对ＰＲＯＬＯＧ谓词加以分类。最后基于一阶谓词逻辑，提出了ＰＲＯＬＯＧ程序正确性的一种证明方法     

论中学历史教材的逻辑结构

学科体系逻辑、学生学习心理逻辑和教材编写逻辑是中学教材必须体现的逻辑。本文探讨中学历史教材的编写应该如何理顺这三种逻辑关系,并以此为视角对《全日制义务教育历史课程标准》及相关教材进行评价。     

基于 PLC 的船舶机舱巡回监测报警系统的研制和改进

介绍了基于小型ＰＬＣ的船舶机舱巡回监测报警系统及其改进后全系统的组成、硬件、软件和系统功能。     

船舶电站仿真系统数学模型

阐述了船舶电站计算机仿真器逻辑和控制系统数学模型及系统动态特性的数学模型,并着重介绍了动态特性数学模型的计算机算法。     

论“两独”与“两依”兼评《制约逻辑元思想剖析》一文

真正的充分条件关系刻划清楚后便是制约关系,事实上具有"两个独立性"。离散数学正统数理逻辑不研究真正的充分条件关系。二值函数实质蕴涵事实上具有与"两个独立性"相对立的"两个依赖性",从而并非真正的充分条件关系的"逻辑抽象"。即使在正统数理逻辑中作为逻辑工具使用的"若,则"乃是事实上具有"两个独立性"的制约,而并非为其所研究的实质蕴涵。希望进行立足原文原意的纯学术讨论。