期刊文献+
共找到1,092篇文章
< 1 2 55 >
每页显示 20 50 100
发挥平台和领头羊作用,江苏省专家建议:依托化工区打造精化新材料高地
1
《江苏氯碱》 2019年第1期44-45,共2页
2018年11月23日,为推动化工园区“绿色化、智能化、高端化”转型升级,实现高质量发展,2018江苏精细化工与新材料产业高质量发展论坛在泰兴经济开发区举行。
关键词 新材料产业 江苏省 化工区 高地 精化 专家 经济开发区 化工园区
基于Event-B的自动化模块组合方法研究 预览
2
作者 陈金鑫 苏雯 《计算机工程》 CAS CSCD 北大核心 2019年第5期298-307,314共11页
Event-B共享变量和共享事件方法可将大型系统分解成多个子系统,并独立建模开发,但其需要手工干预以实现模型间事件的组合。为提高组合效率,提出一种针对模型的自动化组合理论,并开发自动化组合工具原型。为在精化模型中逐步引入模块调用... Event-B共享变量和共享事件方法可将大型系统分解成多个子系统,并独立建模开发,但其需要手工干预以实现模型间事件的组合。为提高组合效率,提出一种针对模型的自动化组合理论,并开发自动化组合工具原型。为在精化模型中逐步引入模块调用,改进PROG方法,开发自动精化工具原型。通过2个应用案例,验证了自动化组合工具能自动组合事件,自动精化工具能减少调用变量的数量,从而增强系统模型的可读性和可维护性。 展开更多
关键词 形式化方法 Event-B方法 模块化建模 自动化模块组合方法 模块调用 精化
在线阅读 下载PDF
一级精度基准级标准齿轮加工设备精化与工艺技术
3
《中国科技成果》 2018年第4期63-63,71共2页
齿轮是量大面广的关键机械基础件。基准级标准齿轮作为齿轮量仪精度传递的实体标准器,其制造精度是一个国家超精密齿轮的工艺与精测技术实力的重要标志。国内商品标准齿轮的高制造精度等级仅为三级,国外为二级。一级精度是齿轮国际标... 齿轮是量大面广的关键机械基础件。基准级标准齿轮作为齿轮量仪精度传递的实体标准器,其制造精度是一个国家超精密齿轮的工艺与精测技术实力的重要标志。国内商品标准齿轮的高制造精度等级仅为三级,国外为二级。一级精度是齿轮国际标准ISO1328—1:2013(E)中的高等级,目前国内外未见一级精度标准齿轮的产品及其制造技术方面的报道。本项目基于解决我国高端装备制造和机械基础件发展的需求, 展开更多
关键词 标准齿轮 精度基准 制造技术 加工设备 工艺 机械基础件 精化 制造精度
精化专利 预览
4
《气体净化》 2018年第9期51-52,共2页
发明名称:多种废气处理工艺 编号:QTJH20180901 申请人:上海泾恬环保科技有限公司 摘要:本次所公开的多种废气处理工艺,包括使用氨基试剂作为碳捕捉剂并使用金属氧化物对终止物进行置换反应,分离出的含氨液体再循环使用,脱除... 发明名称:多种废气处理工艺 编号:QTJH20180901 申请人:上海泾恬环保科技有限公司 摘要:本次所公开的多种废气处理工艺,包括使用氨基试剂作为碳捕捉剂并使用金属氧化物对终止物进行置换反应,分离出的含氨液体再循环使用,脱除的化合物固体作为工业原材料再利用;再利用强氧化剂对废气进行氧化后,用碱性物质吸收成亚硝酸盐,从而一次性达到废气脱碳、脱硫、脱硝、脱氯、脱氟、脱汞、脱二嗯英、脱恶臭的目的。 展开更多
关键词 废气处理工艺 金属氧化物 专利 精化 再循环使用 发明名称 环保科技 置换反应
在线阅读 下载PDF
基于Event-B方法的安全协议设计、建模与验证 预览 被引量:1
5
作者 李梦君 潘国腾 欧国东 《软件学报》 CSCD 北大核心 2018年第11期3400-3411,共12页
随着软件精化验证方法以及Isabella/HOL、VCC等验证工具不断取得进展,研究者们开始采用精化方法和验证工具设计、建模安全协议和验证安全协议源程序的正确性.在介绍Event-B方法和验证工具Isabella/HOL、VCC的基础上,综述了基于Event-B... 随着软件精化验证方法以及Isabella/HOL、VCC等验证工具不断取得进展,研究者们开始采用精化方法和验证工具设计、建模安全协议和验证安全协议源程序的正确性.在介绍Event-B方法和验证工具Isabella/HOL、VCC的基础上,综述了基于Event-B方法的安全协议形式化设计、建模与源程序验证的典型研究工作,主要包括从需求规范到消息传递形式协议的安全协议精化设计、基于TPM(trusted platform module)的安全协议应用的精化建模以及从消息传递形式协议到代码的源程序精化验证. 展开更多
关键词 安全协议设计 安全协议建模与验证 精化 Event-B方法
在线阅读 下载PDF
知识图谱精化研究综述 预览
6
作者 谢刚 《电子技术应用》 2018年第9期29-33,38共6页
知识图谱是一种在移动互联网大时代下产生的新型知识表示方法,而精化是知识图谱应用研究的主要内容之一,其主要任务是知识图谱补全和错误检测等,在信息检索、机器人、智能问答等领域有着重要的应用前景。因此,对知识图谱精化进行研究具... 知识图谱是一种在移动互联网大时代下产生的新型知识表示方法,而精化是知识图谱应用研究的主要内容之一,其主要任务是知识图谱补全和错误检测等,在信息检索、机器人、智能问答等领域有着重要的应用前景。因此,对知识图谱精化进行研究具有十分重要的意义。对当前知识图谱精化方法进行了较为全面、深入的总结,并对知识图谱未来的主要研究方向进行了展望。 展开更多
关键词 知识图谱 精化 补全 错误检测
在线阅读 下载PDF
似大地水准面精化成果在地质工程测量中的应用探讨 预览
7
作者 杜炳辉 《矿产与地质》 2018年第3期589-592,共4页
地质工程测量是地质勘查中极为重要的基础性工作。因此,选用合理而科学的测量方法则显得尤为重要。结合特殊的地质条件,将似大地水准面精化成果用于高程系统的起算面,整个计算过程具有高精度、三维性、动态性、多功能等特点。显然将其... 地质工程测量是地质勘查中极为重要的基础性工作。因此,选用合理而科学的测量方法则显得尤为重要。结合特殊的地质条件,将似大地水准面精化成果用于高程系统的起算面,整个计算过程具有高精度、三维性、动态性、多功能等特点。显然将其运用在地质工程测量中获得其高程成果有可靠的可行性。该方法不仅能保证测量结果的精度要求,而且可以减少一定程度的工作量,从而降低测量成本提高经济效益,同时测量的效率也得到了提升。 展开更多
关键词 似大地水准面 精化 地质工程测量 高程异常
在线阅读 免费下载
面向方面程序的精化演算框架 预览
8
作者 谢刚 张明义 杨波 《西南师范大学学报:自然科学版》 北大核心 2018年第7期67-74,共8页
面向方面程序越来越受到软件工程领域研究者的重视.精化演算已经广泛应用到各种程序设计中,以消除开发过程中的错误.利用精化演算和统一程序理论定义一种面向方面程序的精化演算框架.在该框架中,首先定义了面向方面程序的精化,在此基础... 面向方面程序越来越受到软件工程领域研究者的重视.精化演算已经广泛应用到各种程序设计中,以消除开发过程中的错误.利用精化演算和统一程序理论定义一种面向方面程序的精化演算框架.在该框架中,首先定义了面向方面程序的精化,在此基础上,提出了12条可靠的精化规则,最后用一个例子说明了该框架的可行性. 展开更多
关键词 面向方面 精化 演算
在线阅读 免费下载
基于Event-B的中断管理需求和设计形式化建模与验证方法 预览
9
作者 周育逵 杨桦 乔磊 《空间控制技术与应用》 CSCD 北大核心 2017年第3期71-78,共8页
随着软件复杂度的迅速增长,传统的基于测试的方法逐渐难以满足航天器操作系统的可靠性和安全性需求,形式化方法逐渐成为航天器操作系统安全可靠性的有效保障.基于Rodin平台,采用Event-B形式化语言,通过需求和设计重写、制定精化策略并... 随着软件复杂度的迅速增长,传统的基于测试的方法逐渐难以满足航天器操作系统的可靠性和安全性需求,形式化方法逐渐成为航天器操作系统安全可靠性的有效保障.基于Rodin平台,采用Event-B形式化语言,通过需求和设计重写、制定精化策略并逐步精化的方法,对航天嵌入式操作系统SpaceOS2的中断管理模块建立了需求层和设计层形式化模型,将模型检验和定理证明相结合,验证模型的正确性并且满足安全性质. 展开更多
关键词 中断管理 形式化验证 EVENT-B 精化
在线阅读 下载PDF
甘肃省似大地水准面精化数据处理及精度分析 预览 被引量:6
10
作者 达朝宗 赵亮 +1 位作者 吉长东 徐爱功 《矿山测量》 2017年第3期88-92,共5页
文中介绍了甘肃省似大地水准面精化项目所采用的技术路线和方法。论述GPS和水准路线布测和观测精度以及GPS、水准数据处理和区域似大地水准面确定所采用的方案。
关键词 GPS 水准测量 似大地水准面 精化
在线阅读 免费下载
通过抽象程序证明复杂具体程序 预览
11
作者 李彬 汤震浩 +1 位作者 翟娟 赵建华 《软件学报》 EI CSCD 北大核心 2017年第4期786-803,共18页
描述了证明抽象程序和具体程序满足一致性关系的方法.抽象程序使用抽象数据结构(ADTs),如set,list,map及其上的操作.具体程序使用类C语言中的类型.抽象程序和具体程序一致性证明需要用户给出抽象变量和具体变量的关系、抽象程序程序... 描述了证明抽象程序和具体程序满足一致性关系的方法.抽象程序使用抽象数据结构(ADTs),如set,list,map及其上的操作.具体程序使用类C语言中的类型.抽象程序和具体程序一致性证明需要用户给出抽象变量和具体变量的关系、抽象程序程序点和具体程序程序点的对应关系.基于对应关系,抽象程序和具体程序一致性证明可以分解,从而容易并可能自动证明. 展开更多
关键词 程序证明 一致性 抽象程序 精化 分解
在线阅读 下载PDF
精化挤锻 全新面世——“高速精密近净热挤锻新型工艺与装备技术”科技成果评价与鉴定会暨成果转化洽谈会在湖南株洲成功举行 预览
12
作者 王建宏 《金属加工:热加工》 2016年第5期I0003-I0003,1,2共3页
当今世界已经进入第四次工业革命。对于锻造生产而言,近净成形、节材降本、节能减排和绿色制造等,已成为主要的发展趋势。同时,对锻件质量和精度的要求愈加严格,对精密锻件的需求日益增加。精化模锻件的生产方式、材料利用率和在锻件产... 当今世界已经进入第四次工业革命。对于锻造生产而言,近净成形、节材降本、节能减排和绿色制造等,已成为主要的发展趋势。同时,对锻件质量和精度的要求愈加严格,对精密锻件的需求日益增加。精化模锻件的生产方式、材料利用率和在锻件产量中所占的比例,也已成为衡量锻造生产水平的重要标志。 展开更多
关键词 科技成果评价 湖南株洲 成果转化 装备技术 高速精密 精化 鉴定会 工艺
在线阅读 下载PDF
以经营管理思想启发期刊编辑素质培养
13
作者 冯君 《经营与管理》 2016年第5期36-37,共2页
高效、创新、精化、诚信、服务的经营管理思想,为期刊编辑素质和能力培养提供了有益的启发。
关键词 高效 创新 精化 诚信 服务 编辑素质
加权组合模型在区域似大地水准面精化中的应用研究 预览 被引量:1
14
作者 罗文生 邱云峰 杨忠祥 《测绘与空间地理信息》 2016年第4期197-200,共4页
为了探讨GPS/水准点对区域似大地水准面模型的影响程度,本文提出了一种加权组合模型来建立区域似大地水准面精化模型,文中就其计算流程和建模方法进行了系统介绍,并利用C#高级编程语言编写程序对算法加以实现。以某区域似大地水准面精... 为了探讨GPS/水准点对区域似大地水准面模型的影响程度,本文提出了一种加权组合模型来建立区域似大地水准面精化模型,文中就其计算流程和建模方法进行了系统介绍,并利用C#高级编程语言编写程序对算法加以实现。以某区域似大地水准面精化实例进行试验计算和精度分析,结果表明,利用加权组合模型建立区域似大地水准面精化模型是可行的,能为工程建设提供更好的保障。 展开更多
关键词 似大地水准面 高程异常 加权组合模型 精化
在线阅读 下载PDF
基于EIGEN6C2模型的Kaula规则精化 预览
15
作者 梁建青 沈云中 张兴福 《测绘工程》 CSCD 2016年第12期21-24,共4页
高精度重力场模型精化Kaula规则其要点是将Kaula规则乘上一个与位系数阶数项相关的二阶有理函数,并基于EIGEN6C2重力场模型解算有理函数模型的系数。精化后的Kaula规则与EIGEN6C2模型和EGM2008模型的逼近误差都只是原来Kaula规则的0.26... 高精度重力场模型精化Kaula规则其要点是将Kaula规则乘上一个与位系数阶数项相关的二阶有理函数,并基于EIGEN6C2重力场模型解算有理函数模型的系数。精化后的Kaula规则与EIGEN6C2模型和EGM2008模型的逼近误差都只是原来Kaula规则的0.26%。因此,精化后的Kaula规则更能正确表示各阶引力位的实际能量,对于重力场模型的解算提供更加合理的约束。 展开更多
关键词 重力场模型 Kaula规则 EIGEN6C2模型 EGM2008模型 精化
在线阅读 下载PDF
致力模具产业高精化 成就龙记模架大品牌——访龙记集团执行董事麦贯之先生 预览
16
《模具制造》 2016年第9期I0002-I0005,共4页
麦贯之先生简介麦贯之,从一九九二年十二月至今一直担任龙记(百慕达)集团有限公司之执行董事,龙记(百慕达)集团有限公司若干附属公司董事,毕业于香港理工大学及澳洲梅铎大学,并获颁工商管理硕士学位,在模架制造业拥有多年经验,曾任... 麦贯之先生简介麦贯之,从一九九二年十二月至今一直担任龙记(百慕达)集团有限公司之执行董事,龙记(百慕达)集团有限公司若干附属公司董事,毕业于香港理工大学及澳洲梅铎大学,并获颁工商管理硕士学位,在模架制造业拥有多年经验,曾任制造工程师学会(香港分部)前任会长,香港董事学会资深会员及北京大学中国研修班同学会前会长,现主要负责龙记集团政策制订、市场推广、产品开发及科技发展事宜。 展开更多
关键词 模架 香港理工大学 精化 产业 模具 品牌 制造工程师
在线阅读 下载PDF
美国天基空间态势感知系统发展 预览 被引量:4
17
作者 宋博 《国际太空》 2015年第12期13-20,共8页
随着全球空间优势争夺加剧、空间碎片增长以及空间对抗技术发展,空间安全日益成为全球关注的焦点。空间态势感知包括对空间目标的探测、跟踪、识别、编目、表征,对空间事件的评估、核实,以及对空间环境的监测预报等,是了解与应对空间威... 随着全球空间优势争夺加剧、空间碎片增长以及空间对抗技术发展,空间安全日益成为全球关注的焦点。空间态势感知包括对空间目标的探测、跟踪、识别、编目、表征,对空间事件的评估、核实,以及对空间环境的监测预报等,是了解与应对空间威胁、确保空间安全的基础,近年来受到航天国家高度重视。美国作为拥有最多空间资产、对空间依赖最强的国家,大力发展空间态势感知能力,重点发展具有全天时、全天候探测优势的天基系统,实施了一系列天基空间态势感知装备部署和技术研发计划,构建全维空间态势感知能力。天基空间态势感知系统包括专用空间目标监视卫星、具有空间监视能力的导弹预警卫星、具有空间目标监视能力的技术试验卫星,以及空间环境监测卫星。本文重点关注专用空间目标监视卫星和有关技术试验卫星。 展开更多
关键词 态势感知 天基 技术试验卫星 卫星应用 星历表 地球同步轨道 低轨 精化 计划预算 研发计划
在线阅读 下载PDF
推行台区客服经理制 开创客户服务新局面 预览
18
作者 梁波 闫隆斌 《农电管理》 2015年第2期54-55,共2页
为切实做好新形势下的供电服务,拉近与客户"最后一公里"的距离,给客户提供更加优质、高效、便捷、主动的服务,不断提升供电服务质量,平邑县供电公司以落实党的群众路线教育实践活动为契机,大力深化推广台区客服经理制,力求"人员最精... 为切实做好新形势下的供电服务,拉近与客户"最后一公里"的距离,给客户提供更加优质、高效、便捷、主动的服务,不断提升供电服务质量,平邑县供电公司以落实党的群众路线教育实践活动为契机,大力深化推广台区客服经理制,力求"人员最精化、效率最大化、服务最优化"。为所有电力客户配备了客服经理,全天候为客户提供贴心的服务,随时为客户释疑解难,为客户提供了更快捷、更方便的服务,搭建了一座供电企业与电力客户之间密切沟通的服务桥梁。 展开更多
关键词 经理制 县供电公司 供电企业 最后一公里 释疑解难 供电服务质量 最优化 供电所所长 电价政策 精化
在线阅读 下载PDF
天马精化扩张造纸化学品产品线 预览
19
《中华纸业》 CAS 2015年第1期83-84,共2页
本刊讯(天马精化消息)2014年12月3日,天马精化发布公告,与香港港润化工签署《股权收购意向书》,拟以不超过5000万元收购其持有的镇江润港化工85%股权。润港化工注册资本1503万美元,主要产品是以分散剂为主导的系列造纸化学品。依托镇... 本刊讯(天马精化消息)2014年12月3日,天马精化发布公告,与香港港润化工签署《股权收购意向书》,拟以不超过5000万元收购其持有的镇江润港化工85%股权。润港化工注册资本1503万美元,主要产品是以分散剂为主导的系列造纸化学品。依托镇江市天亿化工研究院,润港化工产品研发能力和客户资源优势较强。2014年10月31日,润港化工资产总额9554万元,负债总额3447万元,净资产6108万元;2014年1-10月, 展开更多
关键词 造纸化学品 产品线 精化 化工研究院 资源优势 研发能力 化工产品 资产总额
在线阅读 下载PDF
基于接口精化的广义无干扰性研究 预览 被引量:1
20
作者 孙聪 习宁 +3 位作者 高胜 张涛 李金库 马建峰 《计算机研究与发展》 EI CSCD 北大核心 2015年第7期1631-1641,共11页
在复杂构件化软件的设计和实现过程中,由于安全属性的可组合性难以实现,使得系统整体的安全需求难以得到有效保证,因而安全属性的规约和验证问题是构件化软件开发过程中关注的关键问题.针对当前构件化软件设计过程中,信息流安全属性仅... 在复杂构件化软件的设计和实现过程中,由于安全属性的可组合性难以实现,使得系统整体的安全需求难以得到有效保证,因而安全属性的规约和验证问题是构件化软件开发过程中关注的关键问题.针对当前构件化软件设计过程中,信息流安全属性仅局限于二元安全级格模型的问题,在现有安全接口结构基础上提出广义安全接口结构,在广义安全接口结构上定义精化关系,并利用这一精化关系定义了能够支持任意有限格模型的基于安全多执行的无干扰属性,首次将安全多执行的思想应用于构件化系统的信息流安全属性验证.使用Coq定理证明工具实现了接口自动机程序库以及对精化关系的判定过程,并用实例验证说明了无干扰属性定义的特点及判定方法的有效性. 展开更多
关键词 信息流安全 无干扰性 接口自动机 精化 构件化设计
在线阅读 下载PDF
上一页 1 2 55 下一页 到第
使用帮助 返回顶部 意见反馈