面向方面的模块化推理框架研究

3.贵阳学院物理与电子信息科学系, 贵州 贵阳 550005)〖GK2*2]摘要：模块化推理在程序分析和程序验证领域得到了广泛的关注与应用,其应用范围涵盖了程序静态分析、程序进化、程序验证等方面。由于面向方面程序设计(aspect-oriented programming, AOP)存在量化和易忘性等特点,违反了传统程序方法学中的模块化原则,从而容易引起方面干扰问题,使对面向方面程序进行模块化推理更加困难,严重影响了AOP的应用前景。本文阐述了面向方面程序的模块化推理目标和类型,描述了常用的面向方面程序的模块化推理方法,总结了面向方面程序的模块化推理尚存在的一些问题,指出了可能的研究方向。     

“有助于揭示人体运行复杂细节的发现”——2012年诺贝尔化学奖简介

在药物设计方面我们希望,通过了解细胞受体的三维结构,可以开发更有针对性和更有效的药物。——布莱恩.K.科比尔卡因"G蛋白偶联受体研究"获得2012年诺贝尔化学奖的两位美国科学家,分别是北卡罗来纳州杜克大学医学中心教授、69岁的罗伯特.J.莱夫科维茨(Robert J.Lefkowitz)和加州斯坦福大学医学院教     

一种基于AOcontPN的信息物理系统建模方法

信息物理系统(CPS)是计算、控制和通信相融合的系统。现有的建模方法不能很好地实现其离散和连续混合的复杂行为。对此提出了一种基于面向方面连续Petri网的AOcontPN建模方法。依据CPS需求分析,将一些普遍存在的物理连续过程抽取出来,作为一个功能性的方面连续Petri网,织入到基本Petri网中。这样不仅解决了CPS系统中连续过程的行为分析、复用等问题,也使得整个系统可以使用离散系统的形式化方法来验证。     

大学生逃课规律及心理成因探讨

高校扩招使大学生群体日趋庞大,然而大学教育是否培养了有用之才却有待商榷。大学生课堂表现‘是教学的标志。论文就大学生逃课规律进行调查,并综合已有研究,探讨大学生逃课的心理原因。     

大学生学业自我效台旨感、应对方式和考试焦虑的相关研究

以福建省六所高校的831名大学生为研究对象,通过问卷调查的方式来研究大学生学业自我效能感、应对方式和考试焦虑之间的关系。结果显示,大学生学业自我效能感和考试焦虑之间存在显著性负相关,大学生应对方式与考试焦虑之间存在显著性相关。     

英语教学中的交际法及需要注意的几个方面

语言是交际的工具。语言教学的最终目的是培养学生的交际能力,但这并不是说可以完全摒弃传统教学法,而是对语法教学提出了更新、更高的要求,即不是机械地操练句型,而是在体现情景的话语中综合运用语法知识。本文在强调交际法教学的重要性的同时,提出了几个需要注意的方面。     

基于AOSD的应用系统开发研究

面向对象的软件开发方法在优化软件开发的同时仍然存在大量的横切问题,研究表明,运用面向方面的软件分析和设计方法(AOSD)开发可以很好的解决横切问题,模块的内聚性得到加强,同时使系统的并行开发得以实现,在面向方面编程(AOP)的基础上,结合ATM系统对AOSD进行了研究.     

不同大学生学业求助与散打技能形成的文本分析

运用文本分析法,以选修《武术散打》课程的两个年级大学生为对象,对网络学堂上大学生的求助问题进行分类评分,用来研究不同大学生学业求助与散打技能的关系.结果表明,是否有求助行为、求助问题的类型与大学生的散打技能形成有比较显著的关系,不同类别的大学生求助表现不同.     

贵州省大学生学业倦怠调查研究

采用大学生学业倦怠调查问卷,对贵州省部分高校大学生进行调查,研究表明贵州省大学生存在一定程度的学业倦怠。男大学生在倦怠的三个维度上与女大学生达到显著水平,男大学生在身心耗竭和学业疏离方面高于女生,女生在低成就感方面高于男生;理科大学生学业倦怠程度明显高于文科和体艺科大学生;不同民族、生源地和年级学生在学习倦怠及各维度上没有显著差异。     

体育教育专业大学生学业自我效能感对学习自我控制力的影响

通过对内蒙古民族大学体育学院体育教育专业本科4个年级298名学生进行学业自我效能感对学习自我控制力的影响作用分析表明:学业自我效能与学习自我控制力总体之间呈中等程度极显著正相关,回归分析显示学业自我效能对学习自我控制力有直接影响作用,说明学业自我效能感越高,学习自我控制力越高.