一位80后心声:做创新征程的勇者——记湘潭市优秀高技能人才彭湘

<正>到目前为止,彭湘担任了军、民品近400多种零件的试制生产任务,开展了30多项技术攻关和技术革新,在民品开发中,负责南车电机30多种零部件试制和加工,为公司创造经济效益达几百万元。在江南集团的技能队伍里,有这样一位精英,白净儒雅而言语不多;没有"80后"的张扬却自信满怀,好学、有主张、有想法、善于创新的个性注定了他的惊鸿跳跃。他就是江南集团目前最年轻的公司级关键技能带头人,28岁的彭湘。在如白驹过隙的日子里,他接连实现了四级跳,从中级工跳过了高级工、技师晋升为高级技师,之     

坚持依法治企 推进军民融合

<正>军民融合在我国已上升为国策,但过去一些法规制度对军民融合过程中政府、军方、企业等各相关主体的职责规定较为笼统,缺乏可操作性,导致实际工作缺少基本遵循,造成相关主体不作为、乱作为现象的发生。因此,推进军民融合也需要有法可依,执法必严。加快《军民融合促进法》等国家层面军民融合法律法规的出台,以法律形式明确军民融合组织领导,规范军民融合工作程序方法已成为当前的迫切问题。首先要进一步制定完善政策法规体系,     

货运蓄冷箱内温度场测试试验与数值仿真

为测试货运蓄冷箱在冷链易腐品运输中的冷藏效果,对配置蓄冷材料的集装箱在空箱、满载筐装货物和满载箱装货物3种模式下的内部温度场进行测试试验,并利用Fluent软件进行数值仿真.结果显示空箱内温度随室外综合空气温度变化,室外综合空气温度达到最高时,货物区温度分布为-4-2 ℃,箱顶温度较高,应限制货物码放高度;满载模式下,筐装货物区温度分布为-5-1 ℃,箱装货物区温度分布为-4-1 ℃,且均呈温度分层,中下部温度低,上部温度高,建议配置风机,强化冷空气对货物的冷却.试验和仿真结果为蓄冷箱性能优化和货运冷藏效果预测提供了参考.     

政策热线

正这种情况算工伤吗?读者:我去年9月22日在工作时不慎划伤腿,去医院缝了针就在家休息,现已正常上班。想咨询,这种情况能否算工伤?如果算该怎么办理?编辑部:《工伤保险条例》符合工伤认定的第十四条第(一)项规定,"在工作时间和工作场所内,因工作原因受到事故伤害",按照你描述的     

兵团法院举办“法院公众开放日”活动

正12月4日,在我国第一个国家宪法日到来之际,兵团法院举办"法院公众开放日"活动。参会代表们在法院工作人员的讲解陪同下,详细参观了兵团法院立案大厅、信访接待室、科技法庭、荣誉室,观看学习《屯垦铸天平》专题片,了解兵团法院发展历程、司法便民利民措施、立案信访接待流程、推进司法公开和法院诉讼庭审程序等。     

基于类成员后向切片的面向对象程序回归测试

程序切片是一种重要的程序分析方法,类成员级粒度的切片技术目前仅仅有Tip提出的类层次切片技术.Tip提出的类层次切片技术其分析基础是Rossie-Friedman的类层次框架,但主要用于面向对象程序的优化,并不适用于回归测试.本文基于Rossie-Friedman的类层次框架提出类成员后向切片方法,并提出一个覆盖类的方法一级的回归测试策略.     

基于最少谓词思想的可达路径选择

对于结构测试中的不可达路径问题,仅仅使用传统的不可达路径排除方法存在很大的限制性,应用效果一般.积极选择可达路径的思想可有效减少不可达路径的产生.目前,基于最少谓词思想的路径生成方法得到广泛的认可.了解可达路径选择思想后,主要介绍一种基于数据流信息的,具体应用基本程序切片技术来生成可达路径的方法,该方法可生成几乎有最少谓词的路径,有较好效果.     

基于工程设计法的射程优化

射程是弹道导弹的重要性能指标,飞行程序选择对充分发挥导弹运载能力,提高射程具有重要影响。针对此问题,利用工程设计法的实现容易、计算量少的优点,将以飞行程序为设计对象的最优控制泛函问题转化为参数优化问题。在此基础上,建立弹道运动模型和优化模型,并应用粒子群算法进行参数优化,求解最大射程弹道。结果表明,基于工程设计法的射程优化简单可行,利用粒子群算法得到的优化参数对改善射程有显著效果,充分发挥了导弹的运载能力。而运载能力的提高对提高导弹武器的目标覆盖范围起到重要作用。     

“大国长剑”背后的军代表

一个普通人的葬礼,葬礼却不普通。灵堂外,吊唁的人排成几条长龙。工厂规定只有中层领导参加,可班组员工也自发从工厂四面八方赶来,许多人还到他家里吊唁,或在网上设立灵堂……大家沉浸在悲痛之中,无不惋惜地说,"一个这么好的人,怎么说走就走了呢?"2011年7月17日,这位优秀的铸剑者——奚建明,带着对装备事业深深的眷恋,溘然长逝,永远离开了他钟爱的岗位、亲爱的战友、挚爱的亲人。     

基于分离逻辑的程序分析技术

分离逻辑是John C Reynolds和Peter O’Hearn于2000年提出的基于Hoare逻辑分析程序中动态分配内存和指针别名的逻辑理论。首先回顾了分离逻辑系统的理论框架,然后讨论了分离逻辑在程序分析领域中符号执行、形态分析和并发程序分析验证这些领域中的应用成果,最后介绍了分离逻辑在程序分析技术中当前主要的研究方向。