Banach空间中序压缩映射方程组的不动点定理

在Banach空间中引入了几种按序压缩的压缩型映射,用半序的方法讨论了一类非线性映射方程组的不动点的存在性,并推广了相应定理.     

认知参照点视角下的双关

认知参照点理论被广泛地运用于解释各种语言现象,它对双关也同样具有很强的解释力。认知参照点理论解释双关的认知机制是,先以显性语境(R1)为认知参照点,通达显性语用义即目标1(T1),再以T1为认知参照点(R2)通达隐性语用义,即目标2(T2)。     

Banach空间中一类混合单调算子公共不动点定理

在序Banach空间中,运用锥理论,在非紧非连续的条件下,讨论了一类混合单调算子的不动点的存在性及其迭代解法,获得了几个新的不动点定理,推广相应文献结果,改进了证明方法.     

北塔山事件与中苏关系的演变

北塔山事件是一次影响中蒙苏关系的重大边界纠纷事件,它的发生彻底改变了中苏两国之间的关系,苏联由对蒋介石政府的支持转向了对中共武装夺取政权的支持,这一事件的发生不仅改变了中国国内的局面,而且在很大程度上对国际局势产生了很重大的影响,而此阶段由于各种矛盾相互交织,使得原本复杂的中苏关系显得更加扑朔迷离.试图通过对北塔山事件...     

思政融入“电工电子学”课程的研究和探索

针对电工电子学课程的教学特点和教学内容,设计和改进教学方法和手段,将思政元素有机地融入每堂课的教学,探索了该课程与思政教育的结合方式,挖掘本课程能够结合“思政”的切入点和教育资源,建立了全过程、全方位、有案例的“课程思政”体系。教学实践证明这些改革和探索达到了较好的教学效果。     

基于DISLab的两个热学实验设计

本文利用数字化信息实验系统,对大气压影响水的沸点实验和做功改变气体内能两个实验进行了创新设计,实现实验现象与数据显示、图像处理等多模显示同步。学生在实验操作过程中,通过对比实验现象和多模显示内容,能够更加容易地得出相应的实验结论,改变了传统实验中实验现象与数据分析分离的问题。     

培养学生创作多媒体作品

信息技术课中的很多学习内容都可以化解为一个个具体而有趣的任务,多媒体课件制作就是其中一例.但是,如何培养学生在饶有兴致的听完老师讲解以后,能认真地去完成课后的任务,这就需要教师从找准学习的切入点,交流彼此创作思路,让学生体验成就感三个方面去寻求答案.     

基于机载LiDAR数据的建筑屋顶点云提取方法

机载激光雷达技术已经成为快速获取城市建筑三维数字模型的有效手段,而建筑物屋顶点云提取则是建筑物三维数字模型重建的关键。为有效剔除植被和墙面点云,以及消除地形起伏对建筑点云提取精度的影响,提出一种层进式屋顶点云提取方法。首先对LiDAR点云进行滤波,在此基础上利用点云回波特性和点云法向量检测并删除非地面点中特征明显的植被点和建筑物墙面点,然后利用连通成分分析法对非地面点聚类得到初始建筑点,最后结合DTM并利用建筑物面积和高度信息分离得到建筑物屋顶点云。试验结果表明,本方法能有效地从机载点云数据中快速提取建筑屋顶点云,有效率可达85%以上。     

动态接力点模式下双自动化轨道吊协调调度

为提高自动化集装箱码头堆场中自动化轨道吊(automated stacking crane,ASC)的作业效率,研究箱区动态接力点对双ASC作业效率的影响。考虑双ASC作业过程中的安全距离、相互冲突等因素,建立以最小化双ASC最长完工时间为目标的混合整数规划模型,利用遗传算法对该模型进行求解。与固定贝位接力模式进行对比,结果表明,相较于固定贝位接力模式,动态接力点模式下双ASC的作业效率更高。在不同规模算例背景下,将遗传算法与CPLEX的计算结果进行对比,验证了遗传算法的有效性。     

通过钢琴打击乐化的处理拓展钢琴音色——以巴托克《第一钢琴协奏曲》第一乐章钢琴声部为例

贝拉·巴托克是将钢琴打击乐化处理发展到顶峰的代表性作曲家,他的《第一钢琴协奏曲》的曲式结构、主题(动机)、调式调性、和声、节奏等要素,是其音乐构成的技术特点,也是他对钢琴打击乐化处理的方法,以及这种处理方法在乐曲中扮演的角色。总结演奏者如何运用更为合理的演奏方法从而更加准确地诠释作品要点,具有启发意义。