搜索筛选:
搜索耗时1.6175秒,为你在为你在102,285,761篇论文里面共找到 19 篇相符的论文内容
发布年度:
[学位论文] 作者：程瑞军,,
来源： 年份：2014
摘要：随着列控技术的发展,列车运行控制系统获得了巨大的进步和发展。在系统的设计和开发阶段,为了确保列控系统的安全性,列控系统需求规范的正确性起着越来越重要的作用。然...
[期刊论文] 作者：程瑞军,,
来源：人口与计划生育 年份：2004
河南省泌阳县卫生计生系统以"从严治党、正风肃纪"为主题,以"七个一"活动为载体,在全县卫生计生系统开展一系列主题鲜明、内容丰富、形式多样的廉政警示教育月活动。讲授...
[期刊论文] 作者：程瑞军,
来源：人生与伴侣 年份：2012
２０年前，我刚高中毕业，在妈妈上班的书店里发现了新创刊的《人生与伴侣》，也许是即将步入谈婚论嫁的年龄段的缘故吧，我对《人生与伴侣》特别关注，随意一看，就被那丰富多彩的栏目和耐人寻味的精彩内容吸引住了，谁也没想到，她还成了我与爱人爱情的“消息树”和生命的“救命包......
[期刊论文] 作者：程瑞军,,
来源：内江科技 年份：2013
文明寨油田经过多年的注水开采，进入高含水开发阶段，剩余油分布较零散，精细挖潜难度越来越大，对构造、储层的要求越来越精细。本文利用Petrel地质建模软件，通过井组数值模拟技术构......
[学位论文] 作者：程瑞军,
来源： 年份：2005
随着电子系统向高集成度、高复杂度方向发展,势必要求在更小的基片上集成更多的元器件。这除了要求高密度集成技术的发展外,从器件本身出发,研制小型化、薄膜化的器件,以减小系统的整体体积、重量,无疑为一可行的途径。本文通过对磁集成技术与薄膜技术的分析,详......
[期刊论文] 作者：程瑞军,
来源：商品与质量 年份：2020
原油公司是中国能源经济行为的主体,其发展趋势的利弊将立即危害我们人民的日常生活,电力和能源的安全乃至整个社会经济.重要功效.原油公司要有良好的发展趋势,就必须有良好...
[学位论文] 作者：程瑞军,
来源： 年份：2014
随着欧债危机的蔓延以及北美经济长期萧条，中国的出口贸易面临越来越多的挑战。同时世界经济的放缓，国际房地产行业出现不同程度的萎缩。作为一家地板出口为主的企业，要想未来的国际竞争环境下发展壮大，威尔地板必须有明确的企业战略出路。为此本人对威尔地板公司面......
[期刊论文] 作者：程瑞军,
来源：中国化工贸易 年份：2018
我国的土地资源利用问题随着我国经济的发展也越来越被重视起来.石油企业在使用国家土地资源是无偿性还有无期限性的,但是这样很大程度上不能让国家的土地资源得到充分的利用...
[期刊论文] 作者：程瑞军,
来源：商品与质量 年份：2020
油田企业属于特殊的行业,对于油田企业而言有效的开展思想政治工作是促进企业发展的重要生命线.思想政治工作是教育、指导以及塑造人的工作,其开展需要注意方式方法.本文对油...
[学位论文] 作者：程瑞军,
来源：北京交通大学 年份：2019
随着列控技术的发展,列车运行控制系统获得了巨大的进步和发展。在安全苛求系统的设计开发中,引入形式化技术不仅可以最大限度地保证各阶段开发过程的质量,同时可以改善开发效率、有效控制开发进度。然而,在保证列车运行的安全性方面,完全地应用形式化技术仍存......
[期刊论文] 作者：程瑞军,叶宁,
来源：上海电器技术 年份：2005
为满足电子元器件单片化、集成化的发展以及SMT技术发展的需要,对磁性元件的小型化提出了越来越高的要求.平面磁件和薄膜磁件便应运而生了,并且显得越发重要.本文基于国内外...
[会议论文] 作者：程瑞军,杨玉岗,
来源：中国电源学会全国电源技术第十六届年会 年份：2005
本文针对300～400V输入,48V输出的要求,提出一种薄膜型结构的集成磁件,并应用于LLC谐振变换器中。文章导出了集成磁件的等效电路,讨论了其工作模式,给出了集成磁件的设计结果,...
[期刊论文] 作者：程瑞军,张志敏,,
来源：黄河.黄土.黄种人 年份：2012
7月1日是泌阳县赊湾镇王庄村白爱勤老人83岁的生日。这天,她的3个子女早早地把家里收拾得干干净净,闺女特意给她梳洗打扮了一番,小院里分外喜庆热闹。老人家很激动,乐滋滋地...
[期刊论文] 作者：程瑞军,张志敏,常平,,
来源：黄河.黄土.黄种人 年份：2009
清明时节,正是桃花、李花挂满枝的季节。在弥漫着诱人花香的泌阳县双山脚下,计生户们正喜悦地给花儿进行人工传粉、喷药施肥。63岁的贾楼乡玉皇庙村奖扶对象刘克周欣喜地说:...
[期刊论文] 作者：程瑞军, 叶宁, 杨玉岗,,
来源：变压器 年份：2006
介绍了薄膜变压器、薄膜电感器及集成化薄膜磁性件的结构、材料、性能及应用。...
[期刊论文] 作者：何丽芸,赵林,程瑞军,,
来源：铁路计算机应用 年份：2014
形式化语言越来越多地用来描述列车控制系统需求规范,其精确的语法和语义一方面有助于创建精确的需求模型、消除理解差异,另一方面也为进一步分析验证提供了基础.通过提出一...
[期刊论文] 作者：程瑞军,赵林,何丽芸,
来源：铁道通信信号 年份：2013
采用基于属性的分析方法，对CTCS-3级列控系统需求规范进行形式化验证。首先建立UML模型并转换为PSL模型。然后通过仿真运行，不断修正该模型，得到可实现的PSL模型。最后运用验证...
[会议论文] 作者：程瑞军, 陈德旺, 田丽君,
来源：中国自动化大会 年份：2020
...
[期刊论文] 作者：赵晓宇,程瑞军,程雨,马小平,,
来源：铁道学报 年份：2016
针对高速列车控制系统的混成特性,提出了基于混成统一化建模语言的列控系统形式化建模和分析方法。运用UML2.0及其扩展机制对列控系统的混成行为进行建模。定义由HUML模型到H...
相关搜索：
