云南高校图书馆联盟文献共享服务平台- HASKELL

HASKELL: 作品数：31被引量：30H指数：3; 导出分析报告; 相关领域：自动化与计算机技术天文地球更多>>; 相关作者：张迎周赵荣彩庞建民陈光辉董陇军更多>>; 相关机构：南京邮电大学吉林大学解放军信息工程大学中山大学更多>>; 相关期刊：《计算机教育》《计算机与数字工程》《计算机与现代化》《石油工业计算机应用》更多>>; 相关基金：国家自然科学基金江苏省高校自然科学研究项目中央高校基本科研业务费专项资金江苏省“青蓝工程”优秀青年骨干教师培养对象更多>>

Coverage-Based Fault Localization in Haskell: 《Journal of Computer Science & Technology》2025年第1期158-177,共20页Feng Li Guo-Qing Wang Meng Wang Dan Hao; Fault localization is to identify faulty program elements.Among a large number of fault localization approaches in the literature,coverage-based fault localization,especially spectrum-based fault localization(SBFL),ha...; 关键词：DEBUGGING fault localization HASKELL programming paradigms

基于Monte carlo法的Rayleigh波浅层横波速度结构反演方法研究: 《物探化探计算技术》2022年第3期286-301,共16页胡昌荣黄金强刘宏窦勇硕何云川; 贵州省科技计划项目(黔科合基础[2020]1Y174);贵州大学人才引进项目(贵大人基合字[2018]27);贵州省人才基地项目(RCJD2018-21)。; 针对非线性全局优化反演算法在Rayleigh波反演中存在固有的计算效率低、收敛迭代慢、内存占用高等问题,这里首先引入改进的Haskell-Thomson矩阵传递正演算法,用以提高频散曲线正演的计算效率;其次采用Monte carlo反演策略代替非线性全...; 关键词：非线性全局优化反演算法 Monte carlo法局部线性化反演算法 RAYLEIGH波 Haskell-Thomson矩阵传递正演算法

提高Haskell函数程序设计基础课程完成率的翻转课堂探讨: 《软件导刊》2022年第5期229-232,共4页乔海燕周晓聪杨永红; 中山大学2020年度校级本科教学质量工程类建设项目(67000-18842502)。; Haskell函数程序设计基础是使用函数式语言讲解程序设计的本科生入门公选课。针对选修人数少、课程难、学生退课率高等问题,通过进行线下线上相结合、电子教室等技术手段的翻转课堂教学实践,更多学生坚持学完了课程;通过设计典型案例展...; 关键词：Haskell函数程序设计基础课程完成率翻转课堂慕课在线测评

奥巴马、小李子和库克都力推的Allbirds到底是什么来头？专访Allbirds全球业务总裁Erick Haskell: 《成功营销》2019年第11期54-57,共4页韩九章; 2016年,新西兰退役的足球运动员Tim Brown秉持前景可期的可持续发展初衷,与工程师兼可再生能源专家Joey Zwillinger在旧金山共同创立了一家环保休闲鞋公司,并开始在官网售卖一款以新西兰美利奴羊毛为材质的休闲鞋。这个当时看似平常的...; 关键词：创业故事美利奴羊毛可再生能源可持续发展足球运动员奥巴马

A Grammatical Approach of Multi-Localization of GUIs: Application to the Multi-Localization of the Checkers Game GUI: 《Journal of Software Engineering and Applications》2018年第11期552-567,共16页Maurice Tchoupé Tchendji Freddy-Viany Tatou Ahoukeng; By proposing tools that help for the accomplishment of tasks in almost all sectors of activities, computer science has revolutionized the world in a general way. Nowadays, it addresses the peculiarities of peoples thr...; 关键词：GUIs Context-Free GRAMMARS Multi-Localization Abstract Syntax Tree and Its Interpretations XML GUI Description Language HASKELL

纯函数式静态语言的特性与未来: 《山西科技》2018年第4期84-86,共3页徐向超; Haskell是一款正在数学家当中渐渐流行起来的语言,正如有的数学家曾说:"在我的很多项目当中,有一种迹象渐渐地表明,在我平时日复一日的数学论述中所使用的表达式与在Haskell的代码中撰写的表达式之间仅仅存在相当短的距离"。简要描述了...; 关键词：函数式静态语言 HASKELL 惰性求值类型推论

基于震源机制的断层滑移型岩爆岩体震动响应研究被引量：3: 《中国安全科学学报》2016年第11期121-126,共6页陈光辉李夕兵 ZHANG Ping 鲁金涛董陇军; 国家自然科学基金面上项目资助(41272304;41372278;51504288);瑞典政府机构创新基金资助(Vinnova);国家建设高水平大学公派博士生项目(201406370094); 为研究不同震源机制下巷道岩体在断层滑移型岩爆作用下的力学行为,基于Haskell断层模型开展数值计算。结果显示,处于S波辐射象限的岩体质点峰值振动速度(PPV)明显大于处于P波辐射象限的岩体的相应值。分析巷道在正断层、逆断层和走滑断...; 关键词：震源机制断层滑移改进的Haskell模型质点峰值振动速度(PPV) 巷道支护设计尺度率

基于改进Haskell模型的断层滑移型岩爆震源模拟研究被引量：4: 《中国安全科学学报》2016年第8期122-127,共6页陈光辉李夕兵张平鲁金涛董陇军; 国家自然科学基金面上项目资助(41272304;41372278);中南大学中央高校基本科研业务费专项资金项目(2013zzts058);瑞典政府机构创新基金资助(Vinnova); 断层滑移型岩爆事件已经成为影响地下矿山安全开采的重大问题。为深入了解断层滑移型岩爆事件对岩体及支护系统的影响,采用三维离散元程序3DEC,开展断层滑移的数值模拟研究。通过比较常用的震源模型,根据断层滑移形状及滑移特征,构建基...; 关键词：断层滑移岩爆改进的Haskell模型离散元震源模拟

新一代编程语言Python、MATLAB和Haskell被引量：4: 《石油工业计算机应用》2015年第4期7-13,3,共7页王宏琳; 新一代编程语言为科学与工程计算提供新型的编程工具。Python语言是通用解释型、具有动态数据类型的高级编程语言。MATLAB是用于数值计算、科学仿真和数据可视化的高级技术计算语言和交互式环境。Haskell语言是一种功能性纯函数式编程...; 关键词：PYTHON MATLAB HASKELL 编程语言

基于闭半环的若干图算法: 《小型微型计算机系统》2015年第12期2671-2674,共4页罗奇鸣; MOE-MS多媒体计算与通信实验室基金项目(07122807)资助; 闭半环是在半环上添加了传递闭包运算符而得到的代数结构.闭半环为计算机科学理论中多个看起来不相关的问题提供了统一的求解理论框架.有不少图算法问题可以通过对图的邻接矩阵在特定的闭半环上计算闭包而求解.本文分析了三个典型的问题...; 关键词：闭半环图算法闭包 HASKELL

HASKELL