期刊文献+
共找到41篇文章
< 1 2 3 >
每页显示 20 50 100
软件形式化方法与应用专题前言 预览 被引量:4
1
作者 詹乃军 王戟 李宣东 《软件学报》 EI CSCD 北大核心 2016年第3期495-496,共2页
形式化方法起步于程序理论和语义的研究,历经50余年的发展,成为了计算机科学的重要领域.它使用严格的数学方法,研究并发展软件和硬件系统的建模、设计、开发、验证与演化等技术,为保障系统的正确性、可靠性和安全性提供了重要途径.本专... 形式化方法起步于程序理论和语义的研究,历经50余年的发展,成为了计算机科学的重要领域.它使用严格的数学方法,研究并发展软件和硬件系统的建模、设计、开发、验证与演化等技术,为保障系统的正确性、可靠性和安全性提供了重要途径.本专题收录的13篇论文反映了近年来我国学者在软件形式化方法与应用领域的部分研究成果. 展开更多
关键词 形式化方法 高阶逻辑 应用专题 定理证明器 程序理论 数学方法 研究成果 代数的 计算机科学 保障系统
在线阅读 下载PDF
掌控信息安全技术 驱动网络健康发展——2015年全国商用密码展览会在京举行 预览
2
作者 焦卢玲 《中国金融电脑》 2016年第1期55-56,共2页
2015年12月10~12日,全国商用密码展览会在北京展览馆隆重举行,展会以"商用密码与信息安全"为主题,分别设立了商密发展总体情况、产业、行业应用、安全风险与未来展望四大展区,并同期举办了商用密码高峰论坛、金融领域应用专题论坛、... 2015年12月10~12日,全国商用密码展览会在北京展览馆隆重举行,展会以"商用密码与信息安全"为主题,分别设立了商密发展总体情况、产业、行业应用、安全风险与未来展望四大展区,并同期举办了商用密码高峰论坛、金融领域应用专题论坛、互联网+商用密码专题论坛和商用密码创新与展望专题论坛,旨在充分展示近年来我国商用密码创新发展成就。 展开更多
关键词 商用密码 信息安全技术 北京展览馆 应用专题 网络健康 工商银行 产品推广 中国银联 联合实验室 银行卡支付
在线阅读 下载PDF
两化融合下的创新与商业价值——石油石化企业信息技术与应用专题报道 预览
3
《中国石化》 2015年第5期12-13,共2页
<正>随着我国石油石化行业信息化和工业化深度融合与创新,特别是互联网+、工业4.0、工控安全等一系列新的信息技术与管理思想的普及与应用推广,石油石化企业的信息化建设水平必将大幅提升。为强化信息化在石油石化企业科技转型、... <正>随着我国石油石化行业信息化和工业化深度融合与创新,特别是互联网+、工业4.0、工控安全等一系列新的信息技术与管理思想的普及与应用推广,石油石化企业的信息化建设水平必将大幅提升。为强化信息化在石油石化企业科技转型、技术创新的支撑作用,促进新一 展开更多
关键词 石油石化企业 信息技术 石油石化行业 应用专题 技术创新 油田设备 信息化成果 信息安全企业 物联网
在线阅读 下载PDF
两化融合下的创新与商业价值——石油石化企业信息技术与应用专题报道 预览
4
《中国石化》 2015年第6期36-37,共2页
<正>随着我国石油石化行业信息化和工业化深度融合与创新,特别是互联网+、工业4.0、工控安全等一系列新的信息技术与管理思想的普及与应用推广,石油石化企业的信息化建设水平必将大幅提升。为强化信息化在石油石化企业科技转型、... <正>随着我国石油石化行业信息化和工业化深度融合与创新,特别是互联网+、工业4.0、工控安全等一系列新的信息技术与管理思想的普及与应用推广,石油石化企业的信息化建设水平必将大幅提升。为强化信息化在石油石化企业科技转型、技术创新的支撑作用,促进新一代信息技术在企业信息化建设的应用,促进企业信息化成果的评估、转化、转让;提高企业运行效率、服务和抵御风险能力,提升石油石化行业信息化整体应用水平。《中国石化》杂志特开辟企业信息化栏目,重点报道企业两化融合成果及信息化新技术、新产品、新应用。 展开更多
关键词 石油石化企业 信息技术 石油石化行业 应用专题 技术创新 企业运行效率 抵御风险能力 信息化成果
在线阅读 下载PDF
国际视野 专业品质 引领医院建设新风向——第16届全国医院建设大会成功举行 预览
5
作者 海燕 辜琳 《中国医院建筑与装备》 2015年第6期100-102,共3页
2015年5月23~25日,亚洲最大、最具影响力的医院建设高端论坛——第16届全国医院建设大会暨中国国际医院建设、装备及管理展览会在滨城大连世界博览广场成功召开。该活动由国家卫计委医院管理研究所支持指导,《中国医院建筑与装备》杂志... 2015年5月23~25日,亚洲最大、最具影响力的医院建设高端论坛——第16届全国医院建设大会暨中国国际医院建设、装备及管理展览会在滨城大连世界博览广场成功召开。该活动由国家卫计委医院管理研究所支持指导,《中国医院建筑与装备》杂志社、北京和源世纪国际公关顾问有限公司、英富曼会展(北京)有限公司共同主办,来自全国各地卫生行政管理部门的领导,医院院长及基建、后勤管理部门代表,全球知名医疗建筑设计师共计3000多人参加会议。 展开更多
关键词 专业品质 国际公关 高端论坛 博览广场 物流传输系统 后勤管理部门 应用专题 国际建筑师协会 医疗设备 知名供应商
在线阅读 下载PDF
会议点击 预览
6
《上海信息化》 2014年第7期89-90,共2页
【正】第六届中国云计算大会在京开幕第六届中国云计算大会于2014年5月20日至23日在北京国家会议中心举行,大会主题为"云计算大数据,推动智慧中国"。本次大会新增5类行业应用专题论坛,涵盖智慧城市、电子政务、金融、医疗、... 【正】第六届中国云计算大会在京开幕第六届中国云计算大会于2014年5月20日至23日在北京国家会议中心举行,大会主题为"云计算大数据,推动智慧中国"。本次大会新增5类行业应用专题论坛,涵盖智慧城市、电子政务、金融、医疗、教育、能源、交通等领域。会议延续前五届形式和内容,来自中国云计算技术产 展开更多
关键词 云计算技术 应用专题 电子政务 国家会议中心 日至 绿色通信 创新大会 信息消费 北京展览馆 移动通
在线阅读 下载PDF
经信委之窗 预览
7
《上海信息化》 2014年第9期87-89,共3页
【正】2014全球城市信息化论坛与全球CEO发展大会新闻通气会在沪举行2014年8月8日,2014全球城市信息化论坛(第10届)与2014全球CEO发展大会(第4届)(以下简称"论坛大会")在上海举行新闻通气会。共同主办方联合国工业发展组织的... 【正】2014全球城市信息化论坛与全球CEO发展大会新闻通气会在沪举行2014年8月8日,2014全球城市信息化论坛(第10届)与2014全球CEO发展大会(第4届)(以下简称"论坛大会")在上海举行新闻通气会。共同主办方联合国工业发展组织的驻华代表柯文斯,联合国工业发展组织友好大使、前外经贸部副部长、全球CEO发展大会联合主席龙永图,2014全球城市信息化论坛秘书长、上海市经济和信息化委员会主任李耀新等出席新闻通气会,并通报相关论坛大会主题、主要活动等情况。据介绍,本届论坛的主题为 展开更多
关键词 全球城市 信息化论坛 联合主席 百强 副部长 移动通信基站 文斯 信息化委员会 应用专题 工业博览会
在线阅读 下载PDF
集群技术及应用专题(二)——集群的分类技术特性和应用特点
8
作者 尹宏伟 《科技浪潮》 2006年第2期19-20,共2页
随着集群技术的不断成熟,集群产品化和产业化的趋势也不断成熟起来。在商业应用领域的推动者中,浪潮是走在最前面的一个。浪潮天梭高性能服务器系列 TS10000和 TS20000产品是以集群技术为基础,并分别针对科学计算应用和商业计算应用特... 随着集群技术的不断成熟,集群产品化和产业化的趋势也不断成熟起来。在商业应用领域的推动者中,浪潮是走在最前面的一个。浪潮天梭高性能服务器系列 TS10000和 TS20000产品是以集群技术为基础,并分别针对科学计算应用和商业计算应用特点优化设计开发而成。天梭 TS10000是一款专门面向高性能科学计算领域研发的集群服务器产品,从 2002年起,浪潮天梭 TS10000高性能服务器产品就广泛应用于科研、气象、石油、生物计算和图像处理等各种高性能计算领域。 2002年,浪潮启动了"天梭工程",面向应用服务器集群市场和数据库集群市场,推出了天梭 TS20000P 和天梭 TS20000D 产品,并已相继应用于地税、社保、公安等领域。该产品采用了自主创新技术,相继获得国家科技进步二等奖和 "2005年信息产业重大技术发明奖"。为了便于读者对集群技术有更全面深入的了解,本刊将从集群的基本原理、分类类型、应用领域、发展趋势几个方面对集群技术进行全面阐述。 展开更多
关键词 集群技术 天梭 应用专题 应用领域 服务器集群 技术发明奖 图像处理 生物计算 集群服务器 应用程序
集群技术及应用专题(一) 集群的基本原理
9
作者 尹宏伟 《科技浪潮》 2006年第1期21-22,共2页
随着集群技术的不断成熟,集群产品化和产业化的趋势也不断成熟起来。在商业应用领域的推动者中,浪潮是走在最前面的一个。浪潮天梭高性能服务器系列 TS10000和TS20000产品是以集群技术为基础,并分别针对科学计算应用和商业计算应用特点... 随着集群技术的不断成熟,集群产品化和产业化的趋势也不断成熟起来。在商业应用领域的推动者中,浪潮是走在最前面的一个。浪潮天梭高性能服务器系列 TS10000和TS20000产品是以集群技术为基础,并分别针对科学计算应用和商业计算应用特点优化设计开发而成。天梭TS10000是一款专门面向高性能科学计算领域研发的集群服务器产品, 从2002年起,浪潮天梭TS10000高性能服务器产品就广泛应用于科研、气象、石油、生物计算和图像处理等各种高性能计算领域。 2002年,浪潮启动了"天梭工程",面向应用服务器集群市场和数据库集群市场,推出了天梭TS20000P和天梭 TS20000D产品,并已相继应用于地税、社保、公安等领域。该产品采用了自主创新技术,相继获得国家科技进步二等奖和 "2005年信息产业重大技术发明奖"。为了便于读者对集群技术有更全面深入的了解,本刊将从集群的基本原理,分类类型、应用领域、发展趋势几个方面对集群技术进行全面阐述。 展开更多
关键词 集群技术 天梭 应用专题 服务器集群 应用领域 技术发明奖 图像处理 并行计算 集群服务器 分布式系
民以食为天 自动识别技术与食品安全 预览
10
《中国自动识别技术》 2006年第2B期44-44,24共2页
关键词 自动识别 食品加工 雀巢奶粉 国内食品 苏丹红事件 出差错 应用专题 供应链条 国际市场 应用参考
在线阅读 下载PDF
集群技术及应用专题(四) 集群的发展趋势
11
作者 尹宏伟 《科技浪潮》 2006年第4期9-10,共2页
随着集群技术的不断成熟,集群产品化和产业化的趋势也不断成熟起来。在商业应用领域的推动者中,浪潮是走在最前面的一个。浪潮天梭高性能服务器系列TS10000和TS20000产品是以集群技术为基础,并分别针对科学计算应用和商业计算应用特点... 随着集群技术的不断成熟,集群产品化和产业化的趋势也不断成熟起来。在商业应用领域的推动者中,浪潮是走在最前面的一个。浪潮天梭高性能服务器系列TS10000和TS20000产品是以集群技术为基础,并分别针对科学计算应用和商业计算应用特点优化设计开发而成。天梭TS10000是一款专门面向高性能科学计算领域研发的集群服务器产品,从2002年起,浪潮天梭TS10000高性能服务器产品就广泛应用于科研、气象、石油、生物计算和图像处理等各种高性能计算领域。2002年,浪潮启动了"天梭工程",面向应用服务器集群市场和数据库集群市场,推出了天梭TS20000P和天梭TS20000D产品,并已相继应用于地税、社保、公安等领域。该产品采用了自主创新技术,相继获得国家科技进步二等奖和"2005年信息产业重大技术发明奖"。为了便于读者对集群技术有更全面深入的了解,本刊将从集群的基本原理、分类类型、应用领域、发展趋势几个方面对集群技术进行全面阐述。 展开更多
关键词 集群技术 天梭 应用专题 应用领域 商业计算 服务器集群 技术发明奖 自主创新技术 图像处理 集群服
集群技术及应用专题(三) 集群的的应用领域
12
作者 尹宏伟 《科技浪潮》 2006年第3期15-16,共2页
随着集群技术的不断成熟,集群产品化和产业化的趋势也不断成熟起来。在商业应用领域的推动者中,浪潮是走在最前面的一个。浪潮天梭高性能服务器系列TS10000和TS20000产品是以集群技术为基础,并分别针对科学计算应用和商业计算应用特点... 随着集群技术的不断成熟,集群产品化和产业化的趋势也不断成熟起来。在商业应用领域的推动者中,浪潮是走在最前面的一个。浪潮天梭高性能服务器系列TS10000和TS20000产品是以集群技术为基础,并分别针对科学计算应用和商业计算应用特点优化设计开发而成。天梭TS10000是一款专门面向高性能科学计算领域研发的集群服务器产品,从2002年起,浪潮天梭TS10000高性能服务器产品就广泛应用于科研、气象、石油、生物计算和图像处理等各种高性能计算领域。2002年,浪潮启动了"天梭工程",面向应用服务器集群市场和数据库集群市场,推出了天梭TS20000P和天梭TS20000D产品,并已相继应用于地税、社保、公安等领域。该产品采用了自主创新技术,相继获得国家科技进步二等奖和"2005年信息产业重大技术发明奖"。为了便于读者对集群技术有更全面深入的了解,本刊将从集群的基本原理、分类类型、应用领域、发展趋势几个方面对集群技术进行全面阐述。 展开更多
关键词 集群技术 应用领域 天梭 商业计算 应用专题 服务器集群 技术发明奖 图像处理 自主创新技术 集群服
时间频率专业委员会举办《全球卫星导航系统(GPS)技术及应用专题报告会》
13
《江苏现代计量》 2005年第6期17-18,共2页
【正】2005年11月18日,"全球卫星导航系统(GPS)技术及其应用"专题报告会在熊猫电子集团公司科协会议室举行。报告会由电子计量公司总经理张书琢先生主持,江苏省计量测试学会常务副秘书长章兆和到会并作了重要
关键词 GPS 应用专题 时间频率 计量测试 专题报告 电子计量 卫星导航 及时追踪 计量所 航空航天
计算机及其系列、计算机系统与计算机网络
14
《电子科技文摘》 2003年第5期111-112,共2页
【正】 Y2002-63375 03107402001年 IEEE 因特网应用专题会议录=2001 IEEEworkshop on Internet applications[会,英]/IEEE Com-puter Society.—156P.(E)本会议录收集了于2001年7月23~24日在加州San Jose 召开的因特网应用会议上发表... 【正】 Y2002-63375 03107402001年 IEEE 因特网应用专题会议录=2001 IEEEworkshop on Internet applications[会,英]/IEEE Com-puter Society.—156P.(E)本会议录收集了于2001年7月23~24日在加州San Jose 召开的因特网应用会议上发表的19篇论文,内容涉及移动计算中的双路交互会议传输(TWIST),因特网上立体视频传输,高速缓冲存储器与相容性,普遍计算与因特网,用户界面,服务器交换的今天与明 展开更多
关键词 计算机系统 立体视频 高速缓冲存储器 移动计算 会议录 因特网应用 应用专题 用户界面 向量处理 手势识别
建立实践教学新体系按整体目标步步深化学生能力培养 预览
15
作者 聂永奎 《高等农业教育》 1990年第1期29-30,共2页
当前教学改革的重要任务之一是加强实践教学,重视培养和提高学生的能力。从果树专业测量课的教学中,我体会到建立实践教学新体系,使孤立、分散的各实践教学环节形成具有整体目标的完整体系,以实现在能力培养上的整体优化,是十分重要... 当前教学改革的重要任务之一是加强实践教学,重视培养和提高学生的能力。从果树专业测量课的教学中,我体会到建立实践教学新体系,使孤立、分散的各实践教学环节形成具有整体目标的完整体系,以实现在能力培养上的整体优化,是十分重要的。为此,我对测量课的实践教学从体系结构上进行了调整,以求不断深化学生能力培养。 展开更多
关键词 学生能力培养 教学改革 实践教学新体系 专业测量 体系结构 实验报告 专业内容 基础知识教学 应用专题 控制测量
在线阅读 下载PDF
科学管理方法在煤矿中应用的新起点——记系统工程在煤矿开采中应用专题学术讨论会 预览
16
作者 本刊特约记者 《煤炭科学技术》 CAS 1983年第12期5-7,
<正> 今年初煤炭部成立了以叶青副部长为组长、陈炳强、沈季良、吴峰为副组长,有关司局、规划院等成员参加的“科学管理方法应用领导小组”,为在煤炭生产和建设中迅速开展科学管理方法的应用起先导作用。组织系统工程在煤矿生产... <正> 今年初煤炭部成立了以叶青副部长为组长、陈炳强、沈季良、吴峰为副组长,有关司局、规划院等成员参加的“科学管理方法应用领导小组”,为在煤炭生产和建设中迅速开展科学管理方法的应用起先导作用。组织系统工程在煤矿生产和建设中的应用研究,是一项涉及全局性的战略任务,也是促进煤炭工业走新路子,开创新局面的迫切需要。系统工程是用系统的观点、信息的理论、控制的基础、现代数学的方法和电子计算机 展开更多
关键词 学术讨论会 煤矿开采 应用专题 科学管理方法 创新局面 煤矿生产建设 组织系统 现代数学 规划院 战略任务
在线阅读 下载PDF
工业大数据应用为制造“智能”提供新引擎 预览
17
《信息技术与标准化》 2017年第4期1-1,共1页
作为国民经济的基础性产业,我国制造业近年来发展迅速,自主创新能力显著增强,发展质量和效益明显提升,产业布局逐步优化,为我国经济和社会发展提供新动能,且为世界经济发展贡献了重要力量。日前,工信部苗圩部长在"中国发展高层论坛201... 作为国民经济的基础性产业,我国制造业近年来发展迅速,自主创新能力显著增强,发展质量和效益明显提升,产业布局逐步优化,为我国经济和社会发展提供新动能,且为世界经济发展贡献了重要力量。日前,工信部苗圩部长在"中国发展高层论坛2017年会"上表示,我国制造业发展已进入转型关键时期,他对加快制造业提质增效提出的六点建议中包括完善国家制造业创新发展,加强关键核心技术攻关, 展开更多
关键词 制造业创新 智能制造 经济发展贡献 基础性产业 产业转型升级 关键核心技术 中国制造 发展路线 中国智造 应用专题
在线阅读 下载PDF
东北大学第十四期《真空技术》论坛招生通知
18
《真空》 CAS 2017年第3期77-77,共1页
应广大学员强烈要求,东北大学将于2017年8月5-12日举办第十四期《真空技术》论坛,现面向全国招生。第十四期《真空技术》论坛将由中国真空学会真空冶金专委会、真空工程专委会和真空咨询工作委员会等诸多学术团体联合主办,更具权威性和... 应广大学员强烈要求,东北大学将于2017年8月5-12日举办第十四期《真空技术》论坛,现面向全国招生。第十四期《真空技术》论坛将由中国真空学会真空冶金专委会、真空工程专委会和真空咨询工作委员会等诸多学术团体联合主办,更具权威性和影响力;同时,将对培训内容做进一步改革,使培训更贴近用人单位需要和工程实际。 展开更多
关键词 真空技术 中国真空学会 真空冶金 用人单位 真空设备 真空行业 培训质量 应用专题 学术团体 HTTP
煤气化/煤焦化高污染废水预处理技术发展与应用专题研讨会在广州召开 预览
19
作者 本刊编辑部 《煤炭加工与综合利用》 CAS 2016年第12期26-26,共1页
2016年12月8—9日,中国煤炭加工利用协会联合华南理工大学在广州组织召开了“煤气化/煤焦化高污染废水处理技术发展与应用专题研讨会”,张绍强理事长出席会议并致辞。张绍强指出:“十二五”以来,我国正在着力构筑稳定、清洁、经济的能... 2016年12月8—9日,中国煤炭加工利用协会联合华南理工大学在广州组织召开了“煤气化/煤焦化高污染废水处理技术发展与应用专题研讨会”,张绍强理事长出席会议并致辞。张绍强指出:“十二五”以来,我国正在着力构筑稳定、清洁、经济的能源供应体系,自《国务院关于促进煤炭行业健康发展的若干意见》发布以来,我国煤炭行业逐渐步入清洁高效发展之路,而以煤为基础的现代煤化工工业体系的逐渐建立,则是我国实现煤炭清洁高效利用的现实选择。 展开更多
关键词 我国煤炭行业 应用专题 能源供应体系 张绍 技术发展 废水预处理 废水处理技术 清洁高效 现代煤化工 煤化工企业
在线阅读 免费下载
《高电压技术》2016年“放电等离子体及其应用”专题征稿
20
《高电压技术》 EI CAS CSCD 北大核心 2015年第10期3212-3212,共1页
"放电等离子体及其应用"是《高电压技术》的特色栏目,是展示等离子体领域研究进展的重要窗口。近年来《高电压技术》对"放电等离子体技术及应用"研究进行了连续的专题报道(请见2011年第6期,2012年第7期,2013年第7、9期(英文版,专... "放电等离子体及其应用"是《高电压技术》的特色栏目,是展示等离子体领域研究进展的重要窗口。近年来《高电压技术》对"放电等离子体技术及应用"研究进行了连续的专题报道(请见2011年第6期,2012年第7期,2013年第7、9期(英文版,专刊),2014年第7、10期,2015年第2、9期),并计划于2016年第3期报道放电等离子体及其应用专题且开展征稿。 展开更多
关键词 放电等离子体 高电压技术 专题征稿 应用专题 论文投稿 实验研究论文 投稿需知 科研计划 航空航天 作者信息
上一页 1 2 3 下一页 到第
使用帮助 返回顶部 意见反馈