-
基于ALCO~@的ABox知识更新的研究
以描述逻辑ALCO@为基础研究知识更新.首先介绍ALCO@的语法和语义,然后引入确定集和冲突集的概念,并根据描述逻辑的Tableau判定算法给出从原知识库得到确定集和冲突集的推演算法.在更新算法执行过程中,首先在原知识库中删除冲突集中的断言,然后把需要添加的断言加入到知识库中,最后修改受更新操作影响的其它断言的约束条件,以使知识库满足开世界假设.刘一松,王昌海,赵吉庆 - 计算机科学文章来源: 万方数据 -
身体活动建议演变:范式转换与量的积累
由政府或非政府组织制定的身体活动建议是公共政策的重要组成部分,在指导人们积极科学的参与身体活动、降低慢性疾病发病率和全因死亡率中发挥着重要作用.通过分析1972-2010年间由AHA、CDC、ACSM、WHO等组织制定或发布的身体活动建议,梳理身体活动建议发展脉络.研究认为,身体活动建议演变建立在新的“量剂效应”证据上,身体活动领域研究经历了“从经验到科学、从个体到公共健康”两次重要的范式转换;提高心肺机能和肌肉力量是身体活动建议的主要目标;推荐负荷从关注大强度、中等强度到“量的累积效应”的发现,使身体活动负荷的有效性和可接受性的平衡成为可能.研究建议,应尽快开展相关领域的系列研究为我国科学的进行身体活动提供实证支持;研究应遵循流行病学研究和随机对照试验的研究原则;身体活动负荷推荐应根据不同目的和对象.李文川 - 体育科学文章来源: 万方数据 -
信息产业的接力创新:一个多案例研究
采取多案例研究方法,运用10个典型案例实证检验信息产业的接力创新特性.研究表明,在以数据和软件为主的新一代信息产业中广泛存在接力创新现象,而信息产业的接力创新主要是由科学研究的第四范式引发的,是为了满足大数据创新对异质性企业能力的要求.但与生物制药等产业相比,信息产业的接力创新存在着不依赖大学的参与,涉及创新主体类型较少,接力链条较短,对金融接力支撑的需求较低等特性.李天柱,马佳,冯薇 - 科学学研究文章来源: 万方数据 -
体育背景下性别的理论化-论女性主义范式对女性体育研究的建构
在文献调研基础上比较了传统体育社会学研究范式——实证主义范式、激进主义批判论、新马克思主义范式、解释主义范式以及文化研究范式对女性体育以及体育中性别权力关系的诠释,阐述了其各自特点.在批判的基础上,引入了女性主义研究范式,在结合研究实践的基础上,提出了要建立真正符合女性自身特点与利益的女性体育研究范式需要从认识论、方法论、理论进行重新构建:1)从认识论来看,女性主义体育研究要求回答的不是“什么是体育知识”,而是“为谁的体育知识”,这应该成为女性体育研究的出发点与目的;2)从方法论来看,女性主义体育研究要求从女性立场出发,以女性自我经验为基础,结合具体情境,采取多元的研究方法从女性在体育运动中细微的、具体的、日常琐事的、真实的经历与感受来揭示体育中的性别权力关系;3)从理论来看,要避免以“男性主义”为核心的体育理论知识体系和视角来观察和解释关于女性体育的现象与意义,更需要从研究实践中发掘并产生关于女性体育新的理论,这应该成为女性体育研究的一个重要发展方向,也是推动我国女性体育研究发展的动力.熊欢 - 体育科学文章来源: 万方数据 -
数值范围间应该用浪纹号还是一字线?
应该用浪纹号"~".这是国标(GB3102.11-93)明确规定的.但是在GB/T15834-1995巾也写着一字线"-"也是数值范围号.到底应执行哪个标准呢?应该执行前者.理由是:(1)前者是必须执行的法定标准,而后者为可选择性的推荐执行标准.只要仔细阅读两个标准代号,就会发现前者是"GB"(国标),后者是"GB/T".其中的"T"为"推荐"两字的缩略符号.(2)若用一字线"-"作为数值范围号则容易与数学中的负号"-"、化学中的键号"-"等相混淆,甚至会产生严重的歧义.审读稿件时,还常见到将半字线""或二字线"-"作为数值范围号使用的情况.应该明确地说,这是没有国标文件规定的,因此是完全错误的.- 中国超声医学杂志文章来源: 万方数据 -
面向人工社会的多范式建模理论与方法
在利用ACP(Artificial Society,Computational Experiments,Parallel Execution)方法解决突发事件应急管理问题的研究工作中,人工社会的建立成为一个新问题.针对人工社会的多Agent和多领域性特征,提出一种面向人工社会的多范式建模方法,从构造基本人工社会元模型、特定领域人工社会建模和领域模型到仿真模型变换3个方面解决人工社会建模问题.利用通用建模环境(Generic Modeling Environment,GME)实现了公共卫生事件的人工社会建模流程,验证了方法的可行性.同时,方法也是"非常规突发事件模拟仿真与计算实验集成升华平台"的重要支撑.陈彬,邱晓刚,张烙兵 - 系统仿真学报文章来源: 万方数据 -
如何保征公租房的入住率到位
一、公租房租不出去的问题须引起高度重视据有关信息显示,2012年2月1日,上海首批市级统筹公租房房源企业申请截止,符合条件申请数量仅为首批房源两成,其中曾被视为申请大户的诸多高校缺席.重庆为了把公租房租出去,一再把人住的准入标准放宽,由于重庆公租房租金标准较低,仅为市场租金的60%,因此,不断放松的入住标准遭到社会上对这样做是否公平的质疑.王小广 - 经济研究参考文章来源: 万方数据 -
浅谈药品标准管理的思路与实践
药品标准是药品监管的法定技术依据,是药品生产、经营、使用、监督共同遵循的质量标准[1],代表国家药品质量控制的整体水平.我国历来重视药品标准体系建设工作,目前已逐步形成了以《中国药典》为核心的药品标准体系.然而在实际工作中,由于标准发展的历史沿革具有阶段性等原因,使得相关的管理工作存在一定的困难.笔者通过对我院高志峰,张启明 - 中国药师文章来源: 万方数据 -
完善国际运动心理学界对Norman Triplett 的认知
深入考察19世纪末期国际运动心理学研究情况,重审 Triplett (1898)与运动心理学的关系,发现 Triplett (1898)被看作运动心理学研究,不仅因为它关注“competition effect”,更在于其理论基础、研究对象、研究结论都密切联系体育比赛,它包含理论推导、实验检验、结果分析等环节,特别是采用实验和数理统计法,明显区别于同时代以哲学观为基础的现象学分析或模仿自然科学的实验报告,可谓科学运动心理学诞生的代表作。根据现代运动心理学理论,Triplett (1898)具有较高的研究水平,但它没有明显支持运动心理学的学科创建。游茂林 - 体育科学文章来源: 万方数据 -
基于非恒定影响的技术标准更迭与扩散研究
一代技术标准的产业化既面临同代标准的竞争,更受到前一代标准的紧逼,其影响因素复杂而且不断变化.基于非恒定影响的技术标准更迭与扩散模型,并以日本的PDC标准和WCDMA标准更迭为样本的实证分析,揭示技术标准产业化过程中的非恒定影响机理,以及促进技术标准更迭和新标准扩散的因素与途径.研究结论显示,在WCDMA标准扩散过程中,非恒定系数越小,WCDMA标准替代PDC标准的速度及其自身的扩散速度就越快,对于促进中国3G技术标准的全面产业化具有重要启示和政策含义.孙耀吾,赵小慧 - 湖南大学学报(社会科学版)文章来源: 万方数据

