生药学课程思政育人切入点分析

根据课程知识体系特点,生药学思政主题设定为“在实践中成长,在探索中前进,在创新中发展”。课程教学团队从课堂到实践、从总论到各论,设计构建集“知识传授、能力提高和价值引领”为一体的课程育人体系,分析、凝练出若干思政切入点。核心知识点和核心实践目标为本课程思政的最佳切入点,易引起学生情感共鸣的沉浸式体验,是最佳育人教学方法。

AOP程序设计方法及其C++语言支持的研究

AOSD(Aspect OrientedSoftwareDevelopment)作为一种通过对软件系统中相互独立的特性进行分离和建模,达到提高模型清晰度、可跟踪性和可维护性的新技术,近年来逐渐成为学术界和工业界的研究热点。在AOSD方法的编程语言支持方面,现有的AOP(Aspect OrientedProgramming)语言的研究和实现多数是基于Java语言,而对C++这个最重要、最广泛使用的编程语言研究甚少。对AOP的核心概念进行了详细介绍,并且深入探讨了C++语言实现AOP支持的方法。

基于AOP的运行时验证中的冲突检测

现有的形式化验证方法除了在模型层面对系统进行验证以外,越来越倾向于直接针对系统的实际代码和具体运行.运行时验证技术验证的对象是具体程序,它试图把形式化验证技术部署到程序的实际运行过程中.然而在把形式化技术部署到实际运行过程中会出现一系列在模型层面验证通常不会出现的问题,对这些问题中的冲突现象进行了研究,定义了运行时验证技术中存在的两种冲突,并给出了相应的检测算法.最后,对这些算法进行了实现和实例研究,结果表明了该方法的有用性.

面向方面程序设计语言研究综述

作为控制软件复杂性、提高软件模块化程度、增强软件开发灵活性的重要技术手段之一,面向方面程序设计语言经过十多年的发展,日益受到软件研究者和实践者的关注,并发展成为软件工程的一个重要的研究领域。基于该领域近十年来的研究进展,分析总结了面向方面程序设计语言中的主要语言特性和关键实现技术;按照不同的语言特性对面向方面程序设计语言进行分类,并探讨了其发展与研究方向。

软件体系结构层切点指示器的形式化描述方法

软件体系结构层切点指示器是在软件体系结构层次上实现量化机制和描述方面编织的基础。一些面向方面软件体系结构的描述语言虽然引入了切点指示器(Pointcut Designator)的语法成分,但仍未给出其语义的形式化描述,因而难以精确刻画软件体系结构层方面的注入位置。针对这一问题,基于面向方面软件体系结构描述语言AC2-ADL的抽象语法树形式,设计了一种一阶逻辑语言LL4PCD(Logic Language for PCD)。在此基础上,提出AC2-ADL语言PCD的形式化描述方法。该方法能精确定义软件体系结构层PCD的语义,可为形式化分析软件体系结构层方面编织提供支持。

面向方面的XML

针对面向方面这种新型的编程方法进行分析,并对面向对象理论在解决XML文档定义时不足之处加以阐述,提出利用面向方面的编程方法对XML文档定义进行扩展,解决XML文档定义仅采用简单包含关系、代码重复、横切关注点的分散及扩充XML元素时必须对原有元素修改的问题.在XML文档定义中引入关注点这一概念和织入重要机制,使XML文档定义具有面向方面编程技术的功能.在XML Schema原有定义方式中增加aspect,pointcut和advice几个定义元素的标识元素.给出相应的表示符号,并用数学模型描述.结果表明这种定义方式减少系统中的代码重复,降低模块间的耦合,使之具有较好的模块性和可移植性.

音乐核心素养视域下的高中音乐鉴赏教学

音乐核心素养的提出,为高中音乐鉴赏教学提出了新的要求。高中音乐鉴赏教学的定位、切入,对教学实施起着关键作用。如何围绕新形式下音乐学科的培养目标和核心素养培养的要求,将音乐鉴赏教学准确定位,是关系教师怎样教的问题,其决定音乐课堂教学的走势,决定教师教学行为与策略的运用。高中音乐鉴赏教学的关键在于提高学生对音乐作品的认知水平,关注音乐本体,在音乐本体中培养学生的感性智慧。

企业AOP的应用研究

面向方面编程(AOP)是一种新的编程技术,它能够将那些本不应该纠缠在一起的任务分离开,从而为程序提供更好的封装性和互操作性。将AOP应用到小规模的软件开发项目中能够提高开发效率,使系统更加容易理解、维护。但是将AOP应用到企业级的软件开发项目中,往往会出现很多问题,比如切入点如何定义,多个横切关注点之间应该如何交互等等。

一种基于概念模型的切点定义方法

针对面向方面编程中存在的切点软化问题,提出一种可视化的切点定义方法,切点定义依据一种概念模型而不再依赖于基础程序的具体结构,实现了切点定义与基础程序的解耦,提高了切点鲁棒性。概念模型是对AspectJ切点表达式的可视化的抽象概括,通过扩展UML元模型实现,文中称之为切点模型。同时,扩展了Rational Rose,使其支持切点模型的建模,并实现了由切点模型自动生成方面框架代码。

融入创新实践活动培养学生创新力——论高校图书馆培养大学生创新能力的切入点与着力点

分析了创新实践活动对提高大学生创新能力的重要性,提出高校图书馆应以项目的选题立项和成果总结两个环节为切入点和着力点,主动开展信息服务和信息能力培训工作,并应进一步加强大学生创新实践的信息资源建设、信息素质教育和个性化的信息服务,为高校图书馆进一步主动融入创新实践活动、培养学生创新能力提供借鉴。

职业教育校企合作“双主体”办学的切入点思考

文章提出了职业教育校企合作的"双主体"涵义,分析了职业教育"双主体"办学的瓶颈,创新性的提出以企业成本型员工的成本适应期、员工培训等为切入点的职业教育校企合作"双主体"办学新途径。

礼服创意设计过程中设计切入点的研究与应用

礼服创意设计过程中由于设计目的不同,设计构思的切入点也会不同,设计构思有时是单一切入点,有时也会过多个切入点。因此应该选择最能体现设计目标的切入点进行服装设计构思。文章阐述了从风格、情调、主题、色彩、造型、材料、装饰纹样等为设计切入点进行礼服创意设计。

AspectualACME语言切点指示器的形式化描述方法

面向方面软件体系结构描述语言AspectualACME虽引入了切点指示器PCD(Pointcut Designator)的语法成分,但仍未给出其语义的形式化描述。针对这一问题,基于AspectualACME语言抽象语法树,设计了一阶逻辑语言LIAPCD(Logic Language forPCD)。在此基础上提出了AspectualACME语言PCD的形式化描述方法。该方法能精确定义软件体系结构层PCD的语义,可为形式化分析软件体系结构层方面编织提供支持。

形式化语言B的面向方面编程扩充

借助传统编程语言的面向方面编程扩充――AspectJ/AspectC++的技术经验,提出形式化语言B的AOP扩充机制AspectB。分析了B语言针对AOP扩充在连接点范围及正确性验证方面的制约,提出连接点的范围必须限制在IMPLEMENTATION组件中,方面代码的正确性验证必须考虑连接点上下文所涉及的不变性条件。以一个简单图形编辑器为例,在B语言环境中描述面向方面编程的核心概念——连接点、连接点集合、建议代码、方面。

AOP在虚拟行为建模中的应用研究

该文介绍了对面向方面的思想和编程方法以及目前虚拟现实中各种行为造型的方法，并研究了AOP（Aspect Oriented Pro—gramming）思想应用到行为造型中的方法，将行为视为虚拟现实实体对象的方面，动态添加到实体对象中。最后阐述了在X3D中实现基于AOP的行为造型的方法和关键技术。还阐述了基于AOP的行为造型方法的在实际项目中的应用情况，充分验证了该方法的实用性和有效性。

面向方面的软件开发

面向方面的软件开发方法是继结构化程序设计、面向对象的软件开发方法之后的一个新兴的技术领域。简要介绍了面向方面软件开发思想的产生背景及其基本概念。重点描述了面向方面的软件开发过程,以及应用最为广泛的面向方面编程语言—AspectJ。论述了面向方面软件开发的研究与应用现状,分析了其优缺点,并对其发展前景进行了展望。

利用AspectJ和Jini通过面向方面方法实现中间件的透明化

介绍了面向方面程序设计(AOP)技术.利用AspectJ和Jini通过面向方面(AO)方法成功地将中间件原码封装在方面中.这样不但可以实现中间件的透明化,还能极大地简化应用软件的开发过程.

一种基于切面技术的数据验证设计与实现方案

该文分析了传统数据验证的弊端,提出使用AOP技术来实现数据验证的方式:采用面向方面的编程(AOP)技术来实现应用程序的松散耦合,解决OOP和过程化方法不能够很好解决的横切(crosscut)问题;对横切关注点进行模块化,从而消除了OOP引起的代码混乱和分散问题,增强了系统的可维护性和代码的重用性。

多因素改进势场蚁群算法的路径规划

针对路径规划算法中蚁群算法对目标点盲目性较大且无法应对多路况等问题,提出了一种多因素改进势场蚁群算法.首先,算法引入人工势场法重新构造路径长度启发函数并加入势场力递减系数,从而解决蚁群算法迭代时间长且易陷入局部最优解的问题;然后,综合考虑了势场路径长度因子,路径平缓性因子以及平滑性因子,构建新的多因子启发式函数,以适应复杂多变的路面环境;最后,运用动态切点法对路径进行平滑处理,提高路径整体质量.仿真实验表明,该算法在复杂颠簸路面情况下具有较好的适应力,能够有效解决机器人路径规划问题.

基于XML的切入点描述机制

目前,绝大多数的面向方面编程AOP(Aspect-Oriented Programming)工具都使用连接点模型来描述aspect和class的关系,但是对于切入点,所有的工具都使用纯文本类型的字符串来描述,而这会给今后的开发和维护带来一系列问题。为了解决这些问题,提出一种新的切入点描述机制——基于XML的方面切入点描述语言XAPDL(XML Aspect Pointcut Description Language,)。XAPDL完全独立于基本关注点和横切关注点,并专注于描述这两者之间的关系。XAPDL能非常有效地改善横切模块的演进、重用和维护,并且通过软件工具而非传统的手工操作,程序员能非常容易地维护切入点。