-
题名高校大学英语教学中学生自学能力的现状研究
- 1
-
-
作者
韩慧
周满江
-
机构
湖北文理学院
襄阳市一中
-
出处
《创新创业理论研究与实践》
2021年第18期24-26,共3页
-
基金
2018年襄阳市“汉江智库”课题《宋元明三朝佚失襄阳府志考述》,编号:XYQNXZ2018007
2020年襄阳市“汉江智库”课题《存世明清襄阳府志考述》,编号:HJZKYBKT2020024。
-
文摘
英语是一门国际化通用语言,目前越来越多的大学生很重视也认识到学习好英语语言的重要性,但在实际英语学习中无法得到更好的学习方法.该文就如何满足高校大学英语教学和学生自学能力需求,英语教师如何指导和培养学生的自学能力,并提供优越的自学空间场所、建立正确的自学学习态度和目标,达到课上、课下相结合进行英语网络自管自控的实践训练自主学习氛围进行了分析.
-
关键词
学习方法
自学任务
目标要求
英语自学能力
-
Keywords
Way of learning
Self-study task
goal requirements
English self-study abilities
-
分类号
G63
[文化科学—教育学]
-
-
题名一种目标可满足性定性、定量表示与推理方法
被引量：14
- 2
-
-
作者
王守信
张莉
王帅
申菊芳
刘禹
-
机构
北京航空航天大学软件工程研究所
北京航空航天大学软件开发环境国家重点实验室
-
出处
《软件学报》
EI
CSCD
北大核心
2011年第4期593-608,共16页
-
基金
国家重点基础研究发展计划(973)(2007CB310803)
国家重大研究计划"可信软件基础研究"(90818017)
-
文摘
可满足性表示和推理方法是面向目标需求工程领域的重要研究内容.根据从连续定量论域抽取定性概念过程中的主观认知的不确定性特点,提出了一种基于云模型的目标可满足性表示模型.作为定性概念与其定量论域间的不确定性转换模型,云模型能够把主观认知的模糊性和随机性集成在一起,兼顾可满足性定性表示的语义明确性和定量表示的精确性,较好地实现可满足性定性、定量统一表示.在此基础上,设计了一种基于OWA(ordered weighted aggregation)算子核心思想的目标可满足性推理方法,该方法避免了纯逻辑推理过于"偏执"的推理结果.同时,父目标满足程度介于子目标可满足性的最小和最大值之间,较好地反映出了人类一般思维的特点.采用定理证明和对比实验的方式,对推理方法的特点进行分析.最后进行总结,并指出进一步的研究方向.
-
关键词
面向目标需求工程
可满足性表示
目标可满足性推理
云模型
有序加权聚合算子
-
Keywords
goal-oriented requirements engineering
satisfiability respresentation
goal satisfiability reasoning
cloud modle
ordered weighted aggregation operators
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
