检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

程序数值误差的扰动检测与优化

中国科学：信息科学 2014年第11期44卷 1445-1466页

作者：汤恩义 BARR Earl 苏振东李宣东南京大学计算机软件新技术国家重点实验室南京210093 南京大学软件学院南京210093 Department of Computer Science University College London London WC1E 6BT UK Department of Computer Science University of California Davis 95616 USA

很多用于关键领域的数值计算程序使用浮点数格式作为数据的内部表示,但由于浮点数在表示上存在误差,这类程序的正确性很难得到完全的保障.本文提出了一种自动的检测途径来帮助应用程序的开发人员获得他们所写代码的稳定性信息.它通过两... 详细信息

很多用于关键领域的数值计算程序使用浮点数格式作为数据的内部表示,但由于浮点数在表示上存在误差,这类程序的正确性很难得到完全的保障.本文提出了一种自动的检测途径来帮助应用程序的开发人员获得他们所写代码的稳定性信息.它通过两种具体的扰动技术——数值扰动与算式扰动,来扰动底层的数值量和计算步骤,统计扰动下的运算差异,并最终评估数值计算代码的稳定性.数值扰动随机动态地改变程序数值的有效数字尾数,通过模拟误差的引入来观测程序的计算结果是否稳定;而算式扰动针对程序中算术表达式的计算过程,通过程序变换方法,将其转换成在实数域等价,但语法上不同的形式,然后以这些算式在浮点数下执行结果的差异来判断数值计算过程的稳定性.更进一步,本文使用了并行扰动算法和蒙特卡罗(Monte Carlo)方法来提高扰动技术的处理规模.当用户的硬件资源较丰富时,扰动技术将利用并行算法来提高运行效率;而当硬件资源不足时,蒙特卡罗方法也能在较短时间内得到一个可以接受的结果.我们对本文所提出的技术做了实现,并对文献中采用的一系列数值程序和GNU科学计算库(GSL)做了评估,评估结果显示,本文为数值计算稳定性的自动测试提供了一种实用技术.

关键词：数值计算浮点数值数值稳定性扰动方法软件测试

在线全文

学校读者我要写书评

暂无评论

混合过程控制系统基于广义对象的形式化开发

系统工程与电子技术 1999年第1期21卷 61-67页

作者：杨振宇高建平陈宗基李宣东北京航空航天大学自动控制系南京大学计算机科学系

许多过程控制系统可以看作混合控制系统。为使设计的控制器满足整个系统一定的过程需求，对象的信息是不可缺少的。本文为这类系统的开发提出了广义对象的形式化模型。基于这样的模型，可以从目标要求中直接提取系统需求，控制器也可以... 详细信息

许多过程控制系统可以看作混合控制系统。为使设计的控制器满足整个系统一定的过程需求，对象的信息是不可缺少的。本文为这类系统的开发提出了广义对象的形式化模型。基于这样的模型，可以从目标要求中直接提取系统需求，控制器也可以根据基于对象的形式化方法进行设计。我们以一个工业过程控制的实例来说明我们的方法和模型，采用时段演算来描述系统的特性并进行控制器的开发。

关键词：控制系统系统分析控制器

陈家沟煤矿基于劳动定额的薪酬改革管理探索与实践

在线全文

学校读者我要写书评

暂无评论

中国煤炭 2023年第5期49卷 35-42页

作者：李宣东赵旭东王甲伟中国华能华亭煤业集团公司甘肃省平凉市744100 中国华能华亭煤业集团公司陈家沟煤矿甘肃省平凉市744100

薪酬管理一直是企业单位人力资源工作的重点,以陈家沟煤矿薪酬改革为例,通过对可量化的计件劳动进行定额管理,对不可量化的非计件劳动按照工作量和岗位进行包干管理,在此基础上,对照劳动技能、劳动责任、劳动强度、劳动条件和择业倾向5... 详细信息

薪酬管理一直是企业单位人力资源工作的重点,以陈家沟煤矿薪酬改革为例,通过对可量化的计件劳动进行定额管理,对不可量化的非计件劳动按照工作量和岗位进行包干管理,在此基础上,对照劳动技能、劳动责任、劳动强度、劳动条件和择业倾向5项基本劳动评价要素进行赋值考核和发放津补贴;从而打破了“大锅饭”现象,实现了按劳分配,提高了薪酬制度的激励效应,为推广全面应用定额绩效薪酬改革模式提供了实例参考。

关键词：薪酬改革定额管理工作量包干岗位包干陈家沟煤矿

迎接人机物融合泛在计算时代,提升关键软件技术创新与供给能力

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

前瞻科技 2023年第1期2卷 5-6页

作者：李宣东王戟詹乃军南京大学国防科技大学中国科学院软件研究所

1人机物融合泛在计算打开了应用需求的新空间近10年来,云计算、物联网、大数据、人工智能等信息领域技术浪潮风起云涌,推动信息世界、物理世界和人类社会日趋交叉融合,正在逐渐形成万物互联、人机交互、天地一体的泛在计算环境,从而催... 详细信息

1人机物融合泛在计算打开了应用需求的新空间近10年来,云计算、物联网、大数据、人工智能等信息领域技术浪潮风起云涌,推动信息世界、物理世界和人类社会日趋交叉融合,正在逐渐形成万物互联、人机交互、天地一体的泛在计算环境,从而催生人机物融合应用场景不断涌现。一方面,包括汽车、建筑、车间、企业、社区、园区、城市等在内的人机物融合应用场景孕育出一批人机物融合应用需求;另一方面,这些人机物融合应用场景还各自汇聚了一批泛在软硬件异构资源系统,包括计算、网络、感知、数据、服务系统等,正如中国科学院院士吕建所说“应用场景就是计算机”。

关键词：泛在计算人机物融合人工智能中国科学院院士云计算大数据人机交互物联网

面向事件驱动智能家居物联网系统的自动化配置、仿真与验证平台

在线全文

学校读者我要写书评

暂无评论

物联网学报 2019年第3期3卷 90-101页

作者：张秋萍王熙灶沈思远张时雨卜磊李宣东南京大学软件新技术国家重点实验室

以IFTTT为代表的事件驱动型物联网系统编程框架为用户构建满足其需求的智能家居物联网系统提供了极大的便利,但也带来了严峻的安全隐患。针对此问题,设计并实现了'门神',这是一个基于模型检验的事件驱动型物联网系统配置、仿真与验证平... 详细信息

以IFTTT为代表的事件驱动型物联网系统编程框架为用户构建满足其需求的智能家居物联网系统提供了极大的便利,但也带来了严峻的安全隐患。针对此问题,设计并实现了'门神',这是一个基于模型检验的事件驱动型物联网系统配置、仿真与验证平台。用户可以在门神中自定义其系统,并进行一键式模型驱动的仿真及验证、自动检测并重现错误场景,从而理解系统行为并提升其安全性。通过大量实验可知,门神能在86.7%的案例中发现安全隐患,且平均耗时仅为0.7 s。

关键词：物联网 IFTTT框架系统安全模型检验

煤矿瓦斯爆炸事故不安全动作多维属性统计及特征分析

在线全文

学校读者我要写书评

暂无评论

煤矿安全 2024年第1期55卷 233-240页

作者：李宣东胡兵石福泰曹富荣王冰山李永元吴斌华亭煤业集团有限责任公司甘肃华亭744100 华能煤炭技术研究有限公司北京100070 中国矿业大学(北京)应急管理与安全工程学院北京100083

瓦斯爆炸事故是煤矿各类事故中造成损失最严重的事故类型。为探究此类事故相关不安全动作发生的规律以及规范煤矿井下相关工种操作过程中的行为,对2005—2022年的116起煤矿重特大瓦斯爆炸事故进行了统计及分析;探讨了煤矿瓦斯爆炸事故... 详细信息

瓦斯爆炸事故是煤矿各类事故中造成损失最严重的事故类型。为探究此类事故相关不安全动作发生的规律以及规范煤矿井下相关工种操作过程中的行为,对2005—2022年的116起煤矿重特大瓦斯爆炸事故进行了统计及分析;探讨了煤矿瓦斯爆炸事故中不同维度下的不安全动作分布特征,讨论了其出现的原因,并提出了针对性措施。结果表明:从工种作业类型和事故地点耦合的方面分析,爆破作业人员和瓦检作业人员分别在掘进工作面和采煤工作面不安全动作次数最多;从工种与法律法规的耦合方面分析,爆破作业人员是违反法规频数最多的作业人员,违反最多的法规为《煤矿安全规程》。

关键词：煤矿瓦斯爆炸事故不安全动作事故统计多维度特征分析

在线全文

学校读者我要写书评

暂无评论

基于大数据的开源项目缺陷报告智能预检技术

大数据 2021年第1期7卷 48-63页

作者：席圣渠徐锋陈鑫李宣东南京大学计算机科学与技术系江苏南京210023 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

缺陷报告预检目标在于确定优先级和修复措施,是保障软件可信的关键环节。然而,在日益普及的开源项目中,由于缺陷数量众多、缺乏组织管理等特性,人工预检难以及时完成,迫切需要基于大数据的自动化、智能化预检技术。结合工业界、学术界... 详细信息

缺陷报告预检目标在于确定优先级和修复措施,是保障软件可信的关键环节。然而,在日益普及的开源项目中,由于缺陷数量众多、缺乏组织管理等特性,人工预检难以及时完成,迫切需要基于大数据的自动化、智能化预检技术。结合工业界、学术界对缺陷报告预检的认知,提出了一种智能化缺陷报告预检技术框架,全面系统地归纳了缺陷报告预检中存在的3个关键任务:缺陷优先级分类、缺陷分派、缺陷再分派,并结合开源项目的特点提出了相关技术。实验结果初步验证了上述技术的合理性和有效性。

关键词：缺陷报告预检缺陷优先级缺陷分派缺陷再分派

在线全文

学校读者我要写书评

暂无评论

车-桥碰撞动力及防护装置设计分析

北方交通 2023年第6期 10-13,17页

作者：孔令云贾留锁王睿李选栋郑州市市政工程勘测设计研究院郑州市450000 黄河水利委员会河南黄河河务局郑州市450003

为研究超高车辆撞击下桥梁结构的动态响应,以一座预应力混凝土空心板桥为研究对象,采用非线性有限元仿真技术,模拟了车-桥碰撞过程,对超高车辆撞击下被撞梁的动态响应及损伤进行了分析。考虑到目前既有桥梁上部结构防护装置的种类匮乏,... 详细信息

为研究超高车辆撞击下桥梁结构的动态响应,以一座预应力混凝土空心板桥为研究对象,采用非线性有限元仿真技术,模拟了车-桥碰撞过程,对超高车辆撞击下被撞梁的动态响应及损伤进行了分析。考虑到目前既有桥梁上部结构防护装置的种类匮乏,提出了一种基于ECC(超高韧性水泥基复合材料)板的组合防护装置,对防护装置的防护性能进行了分析,探讨了不同设计参数下,防护装置性能的变化特征,为工程设计人员提供参考。

关键词：空心板桥超高车辆防护装置抗撞性能参数分析

在线全文

学校读者我要写书评

暂无评论

仪器分析实验助力拔尖人才培养的教学实践

大学化学 2023年第5期38卷 82-91页

作者：李宣东张红霞李欣张潇周丽王进福哈尔滨工业大学化工与化学学院哈尔滨150001

基于成果导向教育OBE教学策略和问题式学习PBL教学法,设计了小规模限制性在线课程SPOC+虚拟仿真实验+QQ群+微信群+教学六步法的仪器分析实验混合式教学,形成了思政引领、科教融合、竞赛驱动的创新型教学模式,拓宽了学生学术视野,强化科... 详细信息

基于成果导向教育OBE教学策略和问题式学习PBL教学法,设计了小规模限制性在线课程SPOC+虚拟仿真实验+QQ群+微信群+教学六步法的仪器分析实验混合式教学,形成了思政引领、科教融合、竞赛驱动的创新型教学模式,拓宽了学生学术视野,强化科学素养、创新思维、科研能力和热爱化学学科的情操,提高了课程的挑战度,使化学能够更好地服务于其他学科和专业,助力拔尖人才培养体系的构建与实践。

关键词：课程思政科教融合混合式教学虚拟仿真实验拔尖人才