期刊文献+
共找到69篇文章
< 1 2 4 >
每页显示 20 50 100
自然科学实证研究的形式逻辑模型在研究论文审读和编辑中的应用
1
作者 丹阳 姜丹 +1 位作者 王文倩 陈常青 《天津科技》 2024年第1期4-9,共6页
创办世界一流科技期刊必须提升论文质量。依据2019年提出的实证研究形式逻辑模型,给出了自然科学实证研究的形式逻辑诊断图,从Chinese Herbal Medicines来稿中选择一个编案,详细介绍如何运用该模型诊断论文。实践证明,该模型可以有效完... 创办世界一流科技期刊必须提升论文质量。依据2019年提出的实证研究形式逻辑模型,给出了自然科学实证研究的形式逻辑诊断图,从Chinese Herbal Medicines来稿中选择一个编案,详细介绍如何运用该模型诊断论文。实践证明,该模型可以有效完善来稿的逻辑性和提升论文创新性。 展开更多
关键词 实证研究 形式逻辑 中国科技期刊卓越行动计划 中英文文稿
下载PDF
Identification and Prediction of Interdisciplinary Research Topics: A Study Based on the Concept Lattice Theory 被引量:3
2
作者 Haiyun Xu Chao Wang +1 位作者 Kun Dong Zenghui Yue 《Journal of Data and Information Science》 CSCD 2019年第1期60-88,共29页
Purpose: Formal concept analysis(FCA) and concept lattice theory(CLT) are introduced for constructing a network of IDR topics and for evaluating their effectiveness for knowledge structure exploration.Design/methodolo... Purpose: Formal concept analysis(FCA) and concept lattice theory(CLT) are introduced for constructing a network of IDR topics and for evaluating their effectiveness for knowledge structure exploration.Design/methodology/approach: We introduced the theory and applications of FCA and CLT, and then proposed a method for interdisciplinary knowledge discovery based on CLT. As an example of empirical analysis, interdisciplinary research(IDR) topics in Information & Library Science(LIS) and Medical Informatics, and in LIS and Geography-Physical, were utilized as empirical fields. Subsequently, we carried out a comparative analysis with two other IDR topic recognition methods.Findings: The CLT approach is suitable for IDR topic identification and predictions.Research limitations: IDR topic recognition based on the CLT is not sensitive to the interdisciplinarity of topic terms, since the data can only reflect whether there is a relationship between the discipline and the topic terms. Moreover, the CLT cannot clearly represent a large amounts of concepts.Practical implications: A deeper understanding of the IDR topics was obtained as the structural and hierarchical relationships between them were identified, which can help to get more precise identification and prediction to IDR topics.Originality/value: IDR topics identification based on CLT have performed well and this theory has several advantages for identifying and predicting IDR topics. First, in a concept lattice, there is a partial order relation between interconnected nodes, and consequently, a complete concept lattice can present hierarchical properties. Second, clustering analysis of IDR topics based on concept lattices can yield clusters that highlight the essential knowledge features and help display the semantic relationship between different IDR topics. Furthermore, the Hasse diagram automatically displays all the IDR topics associated with the different disciplines, thus forming clusters of specific concepts and visually retaining and presenting the associations of IDR topics through multiple inheritance relationships between the concepts. 展开更多
关键词 INTERDISCIPLINARY research IDR TOPICS CONCEPT lattice formal ANALYSIS Cluster ANALYSIS
下载PDF
Formal Analysis in Linguistics
3
作者 郭晓彦 《海外英语》 2012年第13期217-218,共2页
Formalism,represented by the Chomskyan theory,has been dominating the development of linguistics and made great contributions to it since 1960s.In the past few decades,issues on formalism have been heatedly discussed.... Formalism,represented by the Chomskyan theory,has been dominating the development of linguistics and made great contributions to it since 1960s.In the past few decades,issues on formalism have been heatedly discussed.When it comes to the respect of meaning,quite a few embrace the idea that formalism makes no account of the correlation between the form and meaning.Hence,this paper,besides drawing a general picture for formalism from the angles of its theoretical principles and research subject,will address the correlations between the form and meaning as well from formalist' s perspective. 展开更多
关键词 formalISM THEORETICAL PRINCIPLES research SUBJECT
下载PDF
科研沟通形式对研究生科研积极性的影响及提升路径
4
作者 陈曙 倪含荞 +1 位作者 张晓娟 蔡梦茜 《创新与创业教育》 2023年第2期117-124,共8页
通过对401名在读研究生的调查问卷研究发现,相较于线下沟通,线上沟通对科研积极性的促进效应更弱。就线上沟通效能的提升路径开展进一步分析,发现采用正式沟通情境和提高沟通频率可以有效提高线上沟通对科研积极性的促进作用。基于此,... 通过对401名在读研究生的调查问卷研究发现,相较于线下沟通,线上沟通对科研积极性的促进效应更弱。就线上沟通效能的提升路径开展进一步分析,发现采用正式沟通情境和提高沟通频率可以有效提高线上沟通对科研积极性的促进作用。基于此,提出四点建议:一是深耕主渠道教育,拓展协作模式;二是实现场景化运用,弥补沟通不足;三是提升双主体意识,提高沟通频率;四是明确共同化目标,运行育人机制。 展开更多
关键词 科研沟通形式 线上沟通 科研积极性 正式沟通 沟通频率
下载PDF
并行程序开发平台体系结构的形式化研究 被引量:1
5
作者 李代平 罗寿文 +1 位作者 张信一 方海翔 《计算机应用研究》 CSCD 北大核心 2004年第12期73-75,共3页
用软件体系结构描述语言WRIGHT对并行程序开发平台结构进行形式化描述,指出这种描述的优点以及软件体系结构形式化研究的重要性。
关键词 软件体系结构 软件体系结构描述语言 并行计算 形式化描述
下载PDF
辩证逻辑和形式逻辑推理研究比较 被引量:7
6
作者 贺善侃 《重庆理工大学学报(社会科学)》 CAS 2013年第9期47-52,共6页
辩证逻辑和形式逻辑的不同学科性质决定了它们对推理的不同研究方式。在研究角度上,形式逻辑重在推理结构有效性,辩证逻辑重在形式与内容的统一。在研究视野上,形式逻辑重在推理的外在结构形态,辩证逻辑重在揭示推理的矛盾本性以及对事... 辩证逻辑和形式逻辑的不同学科性质决定了它们对推理的不同研究方式。在研究角度上,形式逻辑重在推理结构有效性,辩证逻辑重在形式与内容的统一。在研究视野上,形式逻辑重在推理的外在结构形态,辩证逻辑重在揭示推理的矛盾本性以及对事物矛盾运动的再现。在研究宗旨上,形式逻辑重在推理的逻辑性,辩证逻辑重在强调逻辑性与实践性的统一。 展开更多
关键词 辩证逻辑 形式逻辑 推理研究
下载PDF
软件体系结构模型的形式化研究 被引量:1
7
作者 徐正权 海沫 《计算机与现代化》 2003年第4期49-51,共3页
用软件体系结构描述语言WRIGHT对三层C/S模型进行形式化描述,指出这种描述的优点以及软件体系结构模型形式化研究的重要性。
关键词 软件体系结构 三层C/S模型 软件系统 软件工程 软件开发
下载PDF
汉语中动句的研究现状和发展空间 被引量:9
8
作者 蔡淑美 《汉语学习》 CSSCI 北大核心 2013年第5期78-87,共10页
汉语中动句近年来成为学界讨论的热点问题之一。本文根据研究范式的不同,按结构主义、形式主义、功能主义和语法化四个理论背景来系统梳理汉语中动句的研究历程和现状,尤其注重归纳不同研究范式所提出的重要理论解释,在此基础上探讨汉... 汉语中动句近年来成为学界讨论的热点问题之一。本文根据研究范式的不同,按结构主义、形式主义、功能主义和语法化四个理论背景来系统梳理汉语中动句的研究历程和现状,尤其注重归纳不同研究范式所提出的重要理论解释,在此基础上探讨汉语中动句研究的发展空间,并提出了相应的研究课题和研究策略。 展开更多
关键词 汉语中动句 结构主义 形式主义 功能主义 语法化理论 研究策略
下载PDF
当代语言学中两大思潮的碰撞 被引量:2
9
作者 王义娜 《河北学刊》 2002年第5期94-97,共4页
形式主义和功能主义是当代语言学理论迥异的两大学术思潮。本文通过阐述双方的语言理论和学术思想,重点探讨了他们之间的根本分歧以及各自的学术局限所在,认为双方道不合但志同,分歧引发思潮碰撞,促进彼此借鉴,有利于语言学的健康发展;... 形式主义和功能主义是当代语言学理论迥异的两大学术思潮。本文通过阐述双方的语言理论和学术思想,重点探讨了他们之间的根本分歧以及各自的学术局限所在,认为双方道不合但志同,分歧引发思潮碰撞,促进彼此借鉴,有利于语言学的健康发展;同时还认为,语言内外部研究相结合的学术思路将成为当代语言学一种新的研究趋势。 展开更多
关键词 语言学 形式主义 功能主义 学术思潮 语言研究 发展趋势
下载PDF
语言学研究对文学研究方法的启示 被引量:5
10
作者 田野 《西华大学学报(哲学社会科学版)》 2012年第3期96-101,共6页
本文首先分别考察了语言学研究和文学研究各自发展的轨迹,然后就形式主义、英美新批评和结构主义三种文学批评方法考察了语言学研究对文学研究方法的启示,最后指出,形式主义批评、英美新批评和结构主义批评,不但理论起源于现代语言学,... 本文首先分别考察了语言学研究和文学研究各自发展的轨迹,然后就形式主义、英美新批评和结构主义三种文学批评方法考察了语言学研究对文学研究方法的启示,最后指出,形式主义批评、英美新批评和结构主义批评,不但理论起源于现代语言学,而且在具体分析过程中还直接地大量运用了语言学的方法,沿用语言学术语、概念和范畴对文学进行语言学分析,使文学批评具有浓厚的语言学色彩。 展开更多
关键词 语言学研究 文学研究方法 形式主义批评 英美新批评 结构主义批评
下载PDF
形式美学之文本调查——以《美食家》为例 被引量:15
11
作者 赵宪章 《广西师范大学学报(哲学社会科学版)》 2004年第3期54-59,共6页
“美食家”一词源自陆文夫的同名小说 ,是从外国语中移植过来的 ,现已成为正规汉语的常用词。这一事实不仅肯定了《美食家》的首发之功 ,而且意味着《美食家》的成功在很大程度上得益于这一陌生语词的使用。由此观之 ,《美食家》的真实... “美食家”一词源自陆文夫的同名小说 ,是从外国语中移植过来的 ,现已成为正规汉语的常用词。这一事实不仅肯定了《美食家》的首发之功 ,而且意味着《美食家》的成功在很大程度上得益于这一陌生语词的使用。由此观之 ,《美食家》的真实意蕴很可能就浸润在它所使用的这类语词中。于是 ,通过对小说词频形式的分析 ,可以发现隐含在小说文本背后的意义以及作家通过叙说者“我”所泄露出来的潜意识。这表明 :对于同一部作品 ,传统主题学和思想史式的文学评论只能描述作品的一般特性和表层意义 ,采用形式美学的方法才能发现它的深层意蕴。 展开更多
关键词 形式美学 文本调查 陆文夫 美食家 词频分析
下载PDF
关于经济学研究方法的几点思考 被引量:1
12
作者 郭世辉 《西安文理学院学报(社会科学版)》 2008年第1期84-86,共3页
开展经济学研究,既要重视实证研究,也绝不能忽视甚至歧视、压制规范研究,只要能达到为社会服务的目的,有无完美的研究体系并不重要;经济学研究中,经验性的方法论和唯理性的方法论都有用且有效,并无优劣之分,应允许研究者根据各自的研究... 开展经济学研究,既要重视实证研究,也绝不能忽视甚至歧视、压制规范研究,只要能达到为社会服务的目的,有无完美的研究体系并不重要;经济学研究中,经验性的方法论和唯理性的方法论都有用且有效,并无优劣之分,应允许研究者根据各自的研究习惯和特长选择使用;经济学研究中,定性研究不仅需要而且应作为首选的研究方法,应在定性研究基础上进行定量研究。 展开更多
关键词 经济学 规范研究 实证研究 经验型方法论 唯理性方法论 定性研究 定量研究
下载PDF
贝叶斯决策理论视域下的经济逻辑及其研究范式转向——兼析习近平经济思想 被引量:2
13
作者 李章吕 《重庆理工大学学报(社会科学)》 CAS 2016年第2期20-24,共5页
经济逻辑学是经济学和逻辑学的交叉学科,它的产生有其必然性,我们可以从经济学的基本假设、经济学的研究方法、经济学研究的确定性以及逻辑学的发展等几个角度给予论证。从贝叶斯决策理论的视角看,它是研究经济活动中理性决策和策略推... 经济逻辑学是经济学和逻辑学的交叉学科,它的产生有其必然性,我们可以从经济学的基本假设、经济学的研究方法、经济学研究的确定性以及逻辑学的发展等几个角度给予论证。从贝叶斯决策理论的视角看,它是研究经济活动中理性决策和策略推理的科学。在理论驱动力和现实驱动力的双重作用下,经济逻辑的研究已开始了由形式逻辑范式向科学逻辑范式的转向。 展开更多
关键词 习近平 经济逻辑 形式逻辑范式 科学逻辑范式 贝叶斯决策理论
下载PDF
关于面向信息处理的蒙古语语义研究 被引量:5
14
作者 那顺乌日图 《内蒙古大学学报(哲学社会科学版)》 CSSCI 北大核心 2002年第5期43-48,共6页
蒙古文信息处理 ,无论是基础研究 ,还是应用开发 ,都离不开对词汇进行语法属性和语义属性的描述 ,描述体系将全面地反映现代蒙古语常用词语的语义特征 ,为蒙古文的各种应用系统提供较全面、翔实的语义知识。并且这些语义知识应该以易于... 蒙古文信息处理 ,无论是基础研究 ,还是应用开发 ,都离不开对词汇进行语法属性和语义属性的描述 ,描述体系将全面地反映现代蒙古语常用词语的语义特征 ,为蒙古文的各种应用系统提供较全面、翔实的语义知识。并且这些语义知识应该以易于算法化、形式化和机器处理的方式来提供。 展开更多
关键词 蒙古文信息处理 语义研究 语义属性 形式化
下载PDF
模型检测技术研究综述 被引量:4
15
作者 化希耀 苏博妮 +1 位作者 陈立平 高贤强 《塔里木大学学报》 2013年第4期119-124,共6页
从模型检测技术的研究背景入手,首先阐述了模型检测技术的基本原理和过程。然后介绍了制约模型检测技术发展的状态爆炸问题和一些状态约简技术,包括符号模型检测、on-the-fly技术、偏序归约和抽象技术,并对SPIN、NuSMV、UPPAAL和PAT等... 从模型检测技术的研究背景入手,首先阐述了模型检测技术的基本原理和过程。然后介绍了制约模型检测技术发展的状态爆炸问题和一些状态约简技术,包括符号模型检测、on-the-fly技术、偏序归约和抽象技术,并对SPIN、NuSMV、UPPAAL和PAT等模型检测工具进行了介绍和比较。最后总结了模型检测技术在新的应用领域、工具研制、算法研究和与其它技术相结合等几个方面的研究进展。可为今后进一步对并发和实时系统进行建模、仿真和验证提供借鉴和参考。 展开更多
关键词 模型检测 形式化验证 状态爆炸 状态约简 研究进展
下载PDF
论高校科研组织的正式群体与非正式群体的互动关系 被引量:1
16
作者 陈丹妮 《云南师范大学学报(哲学社会科学版)》 2001年第5期85-89,共5页
高校科研组织活动依赖于其正式群体与非正式群体互动关系的基本特性实现 ,与其基本关系的确定性、一致性、差异性等深层机理活动有关 ;高校科研组织系统管理必须坚持关系互动原则 。
关键词 高校 科研组织 正式群体 非正式群体 互动关系 确定性 一致性 差异性
下载PDF
我国研究型图书馆建设中的若干问题思考 被引量:16
17
作者 夏知平 温国强 《图书馆工作与研究》 CSSCI 北大核心 2008年第4期14-16,共3页
文章分析了我国研究型图书馆的特征和范围;提议新进专业馆员的学位一般应达到硕士以上,并在专业馆员中开展非学历继续教育;提出在图书馆内引入学术休假制,让部分馆员集中一段时间从事学术研究;提倡学科馆员为专业课题组提供研究型信息... 文章分析了我国研究型图书馆的特征和范围;提议新进专业馆员的学位一般应达到硕士以上,并在专业馆员中开展非学历继续教育;提出在图书馆内引入学术休假制,让部分馆员集中一段时间从事学术研究;提倡学科馆员为专业课题组提供研究型信息服务。 展开更多
关键词 研究型图书馆 专业馆员 非学历继续教育 学术休假 信息服务
下载PDF
洞见之中必有修辞——作为方法的论辩 被引量:1
18
作者 姜红丙 孙永洪 朱南丽 《西安交通大学学报(社会科学版)》 CSSCI 北大核心 2019年第2期72-79,共8页
针对目前管理学研究中过分强调科学形式而忽略研究洞见的现象,韩巍指出《管理学中的伟大思想》中很多思想观点的提出并没有遵循严格的科学形式,甚至认为过分强调科学形式反而会阻碍研究洞见的产生,因此"洞见以下皆为修辞"。... 针对目前管理学研究中过分强调科学形式而忽略研究洞见的现象,韩巍指出《管理学中的伟大思想》中很多思想观点的提出并没有遵循严格的科学形式,甚至认为过分强调科学形式反而会阻碍研究洞见的产生,因此"洞见以下皆为修辞"。本文对科学形式主义同样持批判态度,但批判思路有所不同,主要回答了两个问题:一是遵循科学形式的研究,其研究结论是否一定科学、合理;二是论辩作为一种研究方法,如何系统地开展以最大可能地获得科学合理的研究结论。对第一个问题的回答,一方面指出研究洞见的缺乏不能完全归咎于科学形式;另一方面指出,根据不充分决定性论题,科学形式并不是研究结论科学合理的充分条件。对第二个问题的回答则给出了解决之道,即通过系统性的论辩最大可能地获得科学合理的研究结论。 展开更多
关键词 管理学研究 洞见 修辞 科学形式主义 不充分决定性论题 论辩
下载PDF
基于模糊覆盖集的企业诊断模型及其求解策略 被引量:1
19
作者 于伟 沈晖 +1 位作者 刘阶萍 陈禹六 《控制与决策》 EI CSCD 北大核心 2004年第5期557-560,共4页
针对企业诊断领域缺乏合理模型和科学方法论指导的现状 ,提出一个形式化的基于模糊覆盖集的企业诊断模型 ,并将此模型与企业 AS- IS(当前系统 )建模过程进行关联 ,给出了从企业 AS- IS模型到诊断模型的映射方法 ,得到一种易于操作的实... 针对企业诊断领域缺乏合理模型和科学方法论指导的现状 ,提出一个形式化的基于模糊覆盖集的企业诊断模型 ,并将此模型与企业 AS- IS(当前系统 )建模过程进行关联 ,给出了从企业 AS- IS模型到诊断模型的映射方法 ,得到一种易于操作的实例化的企业诊断模型 ,进而针对该诊断模型给出了相应的求解策略 . 展开更多
关键词 企业诊断 模型 模糊覆盖集 诊断推理
下载PDF
最小化随机算法形式化定义与优化
20
作者 文天才 刘保延 +6 位作者 何丽云 白文静 闫世艳 李洪皎 吕晓颖 王鑫 张艳宁 《中国数字医学》 2017年第11期100-103,共4页
最小化法是一种动态随机化算法,它可以在较小的样本量下保证各处理组间和控制因素水平下的样本均衡。介绍了最小化算法的原理,并利用形式化方法对其进行了详细的描述,对算法中较为核心的均衡度量和不均衡计算方法做了说明。提出最小化... 最小化法是一种动态随机化算法,它可以在较小的样本量下保证各处理组间和控制因素水平下的样本均衡。介绍了最小化算法的原理,并利用形式化方法对其进行了详细的描述,对算法中较为核心的均衡度量和不均衡计算方法做了说明。提出最小化法存在的三个缺陷:不可重复、不支持非平衡设计和计算复杂度高。针对上述缺陷,通过加入基于种子的随机序列来控制分组概率,从而解决不可重复的问题,通过用处理组间样本比例来修正优先分配概率解决非平衡设计,通过设计一套计算机函数来解决复杂度,最终使这些问题都得到很好地解决。 展开更多
关键词 最小化法 随机分组 临床研究 形式化方法
下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部