基于Coq的RVWMO加载值公理形式化描述与推论证明

1

作者 梁少杰 徐学政 +1 位作者 杨德亨 黄安文 《智能安全》 2024年第1期1-9,共9页

RISC-V内存一致性模型(RVWMO)规定了RISC-V多核系统的访存序约束,是RISC-V软硬件设计者共同遵守的重要规范,旨在为硬件设计提供灵活性的同时保证软件的易开发性。RISC-V指令集规范使用全局访存序、保留程序序以及三条公理(加载值公理、... RISC-V内存一致性模型(RVWMO)规定了RISC-V多核系统的访存序约束,是RISC-V软硬件设计者共同遵守的重要规范,旨在为硬件设计提供灵活性的同时保证软件的易开发性。RISC-V指令集规范使用全局访存序、保留程序序以及三条公理(加载值公理、原子公理与进度保证公理)描述RVWMO。通过运用RVWMO的规则,可对多线程程序的访存序合法性进行判定,进而指导芯片设计、验证与软件开发。其中,加载值公理是最为复杂和难以运用的规则之一,是多个典型案例合法性判定的重要基础。然而,规范对于该公理的描述及案例讲解主要基于自然语言,缺乏清晰严格的形式化描述和推理过程,不利于读者理解和运用该公理。本文基于交互式定理辅助证明工具Coq,给出了RVWMO加载值公理的形式化描述以及相关引理、定理和推论的证明,对于理解运用RVWMO加载值公理和判定访存序的合法性具有重要意义。 展开更多

关键词 COQ 定理证明 RISC-V 内存一致性

下载PDF 职称材料

多核处理器非一致Cache体系结构延迟优化技术研究综述 被引量：4

2

作者 黄安文 高军 张民选 《计算机研究与发展》 EI CSCD 北大核心 2012年第S1期118-124,共7页

非一致Cache体系结构(non-uniform cache architecture,NUCA)为解决多核处理器(chip multi-processor)"存储墙"难题提供了新的设计思路.重点关注面向CMP的NUCA延迟优化技术,在介绍若干典型NUCA模型的基础上,分析大容量Cache... 非一致Cache体系结构(non-uniform cache architecture,NUCA)为解决多核处理器(chip multi-processor)"存储墙"难题提供了新的设计思路.重点关注面向CMP的NUCA延迟优化技术,在介绍若干典型NUCA模型的基础上,分析大容量Cache环境下共享/私有机制中的延迟-容量权衡问题,讨论映射、迁移、复制和搜索等数据管理机制在多核环境下的优缺点.最后,针对基于片上网络(network-on-chip,NoC)互连结构的可扩展CMP体系结构,从NUCA模型优化、数据管理和一致性维护机制3个方面讨论和预测未来CMP NUCA延迟优化领域的发展趋势及面临的挑战性问题. 展开更多

关键词 非一致Cache体系结构 多核处理器 片上网络 存储墙 延迟优化

下载PDF 职称材料

多核处理器片上存储系统研究 被引量：5

3

作者 黄安文 高军 张民选 《计算机工程》 CAS CSCD 北大核心 2010年第4期4-6,共3页

针对多核处理器计算能力和访存速度间差异不断增大对多核系统性能提升的制约问题,分析几款典型多核处理器存储系统的设计特点,探讨多核处理器片上存储系统发展的关键技术,包括延迟造成的非一致cache访问、核与cache互连形式对访存性能... 针对多核处理器计算能力和访存速度间差异不断增大对多核系统性能提升的制约问题,分析几款典型多核处理器存储系统的设计特点,探讨多核处理器片上存储系统发展的关键技术,包括延迟造成的非一致cache访问、核与cache互连形式对访存性能的束缚以及片上cache设计的复杂化等。 展开更多

关键词 多核 存储系统 非一致cache访问

下载PDF 职称材料

多核处理器Cache一致性协议关键技术研究 被引量：5

4

作者 黄安文 张民选 《计算机工程与科学》 CSCD 北大核心 2009年第A01期104-108,共5页

多核处理器规模的不断扩大和核间通信机制的日益复杂,使得Cache一致性维护变得更加困难。本文从多核处理器Cache一致性问题的产生背景出发,分析监听协议、目录协议、Token协议和Hammer协议的实现机制以及在多核环境中的优缺点,分别从一... 多核处理器规模的不断扩大和核间通信机制的日益复杂,使得Cache一致性维护变得更加困难。本文从多核处理器Cache一致性问题的产生背景出发,分析监听协议、目录协议、Token协议和Hammer协议的实现机制以及在多核环境中的优缺点,分别从一致性协议与片上互连结构协同设计、面向低功耗应用的协议优化策略、Cache一致性协议验证及容错机制等角度考虑,对未来多核处理器Cache一致性协议设计的发展趋势和技术挑战进行详细分析与讨论。 展开更多

关键词 CACHE一致性 片上互连 低功耗 验证 容错

下载PDF 职称材料

低密度脂蛋白与高密度脂蛋白水平之比与冠状动脉病变程度的相关性研究 被引量：5

5

作者 黄安文 胡青 +1 位作者 李晓平 陈集祥 《中外医学研究》 2011年第17期25-26,共2页

目的探讨LDL-C/HDL-C比值与冠状动脉病变程度的关系。方法回顾性分析158例选择性冠状动脉造影的患者,其中冠状动脉造影正常者40例为对照组;冠状动脉造影证实至少有1支冠状动脉主要分支有明显斑块、狭窄者118例为观察组。分析两组间LDL-C... 目的探讨LDL-C/HDL-C比值与冠状动脉病变程度的关系。方法回顾性分析158例选择性冠状动脉造影的患者,其中冠状动脉造影正常者40例为对照组;冠状动脉造影证实至少有1支冠状动脉主要分支有明显斑块、狭窄者118例为观察组。分析两组间LDL-C/HDL-C比值是否有差异性;LDL-C/HDL-C水平与冠状动脉病变程度的关系。血HDL-C用酶法,用7080型全自动生化分析仪测定,LDL-C用Friedewald公式计算。结果 LDL-C/HDL-C比值观察组比对照组高,随着冠脉病变狭窄程度、病变数量的不同,LDL-C/HDL-C水平呈现不同变化,冠状动脉狭窄程度越重,病变血管越多,LDL-C/HDL-C水平越高。结论 LDL-C/HDL-C比值与冠状动脉狭窄程度呈正相关。检测LDL-C/HDL-C比值对预防冠心病及预测其严重性具有一定的临床价值。 展开更多

关键词 脂蛋白类LDL 脂蛋白类HDL 冠状动脉疾病

下载PDF 职称材料

氨氯地平阿托伐他汀钙片应用于高血压合并冠心病治疗的效果观察 被引量：6

6

作者 黄安文 《中国医药指南》 2014年第33期180-181,共2页

目的观察氨氯地平阿托伐他汀钙片对高血压合并冠心病患者的临床治疗效果,并对其结果进行分析。方法将我院2011年8月至2013年6月收治的100例高血压合并冠心病的临床患者纳入研究,并将其随机分为两组,对照组和观察组,每组患者例数为50例... 目的观察氨氯地平阿托伐他汀钙片对高血压合并冠心病患者的临床治疗效果,并对其结果进行分析。方法将我院2011年8月至2013年6月收治的100例高血压合并冠心病的临床患者纳入研究,并将其随机分为两组,对照组和观察组,每组患者例数为50例。对照组给予阿托伐他汀钙片进行治疗,观察组给予氨氯地平阿托伐他汀钙片进行治疗,给药剂量均为5-10 mg/d。治疗两个月后,比较两组患者的血压及心绞痛的改善情况以及不良反应的发生率等。结果治疗两个月后两组血压水平和心绞痛情况都有所改善。观察组高血压治疗及心绞痛的改善情况跟对照组相比,均具有明显的统计学意义（P〈0.05）。观察组和对照组在不良反应的发生率上无明显差异。（P〉0.05）结论氨氯地平阿托伐他汀钙片能够有效改善高血压合并冠心病患者的临床症状,可在临床上进行推广,使用。 展开更多

关键词 高血压合并冠心病 氨氯地平阿托伐他汀钙片 效果

下载PDF 职称材料

慢性心力衰竭合并甲状腺功能病态综合征临床分析 被引量：2

7

作者 黄安文 《实用医学杂志》 CAS 2007年第7期1012-1013,共2页

目的:探讨慢性心力衰竭(CHF)正常甲状腺功能病态综合征(ESS)的发生率及其特点。方法:检测142例CHF患者(观察组)及87例健康者(对照组)血清T3、T4、FT3、FT4、TSH,对比两组甲状腺功能检查结果,统计ESS的发生率,分析CHF程度与ESS的关系,观... 目的:探讨慢性心力衰竭(CHF)正常甲状腺功能病态综合征(ESS)的发生率及其特点。方法:检测142例CHF患者(观察组)及87例健康者(对照组)血清T3、T4、FT3、FT4、TSH,对比两组甲状腺功能检查结果,统计ESS的发生率,分析CHF程度与ESS的关系,观察ESS对预后的影响。结果:观察组甲状腺功能明显异常,ESS发生率22.5%,随着心力衰竭的加重,ESS的发生率增加,合并ESS组病死率明显高于非ESS组。结论:CHD常合并ESS,是CHD患者预后不良的指标,严重CHD患者补充甲状腺素治疗可改善预后。 展开更多

关键词 心力衰竭充血性 甲状腺功能试验 预后

下载PDF 职称材料

小剂量左旋甲状腺素对慢性心力衰竭合并ESS的干预治疗 被引量：2

8

作者 黄安文 《中国误诊学杂志》 CAS 2006年第23期4570-4571,共2页

关键词 甲状腺素/治疗应用 心力衰竭 充血性/并发症 功能正常甲状腺病综合征/药物疗法

下载PDF 职称材料

面向虚拟共享域划分的自适应迁移与复制机制

9

作者 黄安文 石文强 +1 位作者 高军 张民选 《计算机研究与发展》 EI CSCD 北大核心 2013年第8期1583-1591,共9页

传统数据管理机制无法感知分布式cache布局的非一致访问延迟特性,导致多核处理器大容量cache失效率和命中延迟之间的矛盾日益加剧.此外,单独依靠数据迁移和盲目复制难以解决共享数据块的竞争访问与长延迟命中问题.基于瓦片式多核处理器... 传统数据管理机制无法感知分布式cache布局的非一致访问延迟特性,导致多核处理器大容量cache失效率和命中延迟之间的矛盾日益加剧.此外,单独依靠数据迁移和盲目复制难以解决共享数据块的竞争访问与长延迟命中问题.基于瓦片式多核处理器分布式cache的虚拟共享域划分机制,提出并实现一种域间数据自适应迁移与复制机制,能够协同感知本地目标bank候选牺牲块状态和远程命中块的局部活跃程度,在多个虚拟共享域间对多核竞争访问的共享数据进行动态迁移和复制决策,综合权衡片上长延迟命中和cache容量有效利用率问题,降低平均存储访问延迟.最后,在全系统模拟器中实现虚拟共享域划分和域间共享数据自适应迁移-复制机制,并采用典型测试程序包SPLASH-2评估性能优化情况.实验表明,与传统固定共享域划分机制和同类优化机制相比,自适应迁移与复制机制在不同共享度下均可获得相应性能提升,面积开销可以忽略不计. 展开更多

关键词 非一致cache体系结构 多核处理器 延迟优化 迁移 复制

下载PDF 职称材料

CSP多核处理器芯片的低功耗设计

10

作者 高军 王永文 +1 位作者 郭维 黄安文 《上海交通大学学报》 EI CAS CSCD 北大核心 2013年第1期118-122,128,共6页

提出了3种高主频多核处理器CSP芯片的功耗优化技术,即电源域间隔关断技术、流量感知的动态频率调节技术和层次式门控时钟技术.结果表明,3种优化技术对降低芯片功耗的作用均非常有效,能够不同程度地降低芯片的总功耗.其中,电源域间隔关... 提出了3种高主频多核处理器CSP芯片的功耗优化技术,即电源域间隔关断技术、流量感知的动态频率调节技术和层次式门控时钟技术.结果表明,3种优化技术对降低芯片功耗的作用均非常有效,能够不同程度地降低芯片的总功耗.其中,电源域间隔关断技术能够解决静态漏流功耗,流量感知的动态频率调节技术和层次式门控时钟技术能够控制动态功耗. 展开更多

关键词 芯片 功耗 电源关断 动态频率调节 门控时钟

下载PDF 职称材料

卡维地洛治疗缺血性心脏病心力衰竭的疗效观察

11

作者 胡青 李晓萍 +1 位作者 黄安文 陈集祥 《内蒙古中医药》 2009年第4期17-18,共2页

目的：评价卡维地洛对于缺血性心脏病心力衰竭的治疗效果。方法：81例缺血性心脏病心力衰竭病人随机分为卡维地洛组（n=41）和对照组（n=40）,对照组给予美托洛尔口服。比较两组病人在治疗前后的临床症状及心功能指标。结果：卡维地洛... 目的：评价卡维地洛对于缺血性心脏病心力衰竭的治疗效果。方法：81例缺血性心脏病心力衰竭病人随机分为卡维地洛组（n=41）和对照组（n=40）,对照组给予美托洛尔口服。比较两组病人在治疗前后的临床症状及心功能指标。结果：卡维地洛可有效改善病人的临床症状和心功能（p〈0.05）,与对照组相比卡维地洛在减少左室舒张末期内经（LVEDd）和提高左室射血分数（LVEF）,左室短轴缩短分数（FS）方面较美托洛尔更有效（p〈0.05）。结论：卡维地洛可有效改善缺血性心脏病心力衰竭病人临床症状和心功能,并在减少LVEDd和提高LVEF、FS方面优于美托洛尔。 展开更多

关键词 卡维地洛 美托洛尔 缺血性心脏病 心力衰竭 疗效

下载PDF 职称材料

经桡动脉和股动脉途径行冠状动脉造影的对比分析

12

作者 胡青 黄安文 陈集祥 《实用医技杂志》 2008年第29期4050-4051,共2页

目的:研究比较经桡动脉和股动脉两种途径行冠状动脉造影(coronary angiography,CAG)的优缺点。方法:择期行CAG患者268例,按途径分为桡动脉组138例(包括1例股动脉途径CAG失败改为桡动脉途径);股动脉组130例(包括8例桡动脉途径CAG失败而... 目的:研究比较经桡动脉和股动脉两种途径行冠状动脉造影(coronary angiography,CAG)的优缺点。方法:择期行CAG患者268例,按途径分为桡动脉组138例(包括1例股动脉途径CAG失败改为桡动脉途径);股动脉组130例(包括8例桡动脉途径CAG失败而改为股动脉途径),比较两组CAG的手术操作成功率和并发症。结果:CAG手术成功率桡动脉组92%,股动脉组98.4%,差异有统计学意义;外周血管并发症桡动脉组3.6%,股动脉组9.2%,差异有统计学意义。结论:桡动脉途径与传统的股动脉途径相比,能减少外周血管并发症,但手术操作的难度有所增加。 展开更多

关键词 桡动脉 股动脉 冠状动脉造影 并发症

下载PDF 职称材料

老年急性心肌梗死早期应用美托洛尔治疗的临床分析

13

作者 胡青 黄安文 李晓萍 《医学信息（医学与计算机应用）》 2014年第14期118-118,119,共2页

目的探讨老年急性心肌梗死早期应用美托洛尔治疗的临床疗效。方法选取我院收治的86例老年急性心肌梗死患者,以患者住院时间为依据将其分为观察组和对照组,各43例,给予对照组患者常规治疗,并在此基础上给予观察组患者美托洛尔治疗,并对... 目的探讨老年急性心肌梗死早期应用美托洛尔治疗的临床疗效。方法选取我院收治的86例老年急性心肌梗死患者,以患者住院时间为依据将其分为观察组和对照组,各43例,给予对照组患者常规治疗,并在此基础上给予观察组患者美托洛尔治疗,并对两组患者的治疗总有效率及治疗后心肌梗死各项指标改善情况进行对比。结果观察组患者的治疗总有效率为93.35%,对照组患者的治疗总有效率为69.77%,观察组明显高于对照组(<0.01);观察组患者在控制心率、CK-MB峰值、CK-MB峰值出现时间、胸痛缓解情况、窦性心律失常情况等明显优于对照组(<0.05)。结论在常规治疗的基础上给予急性心肌梗死患者早期应用美托洛尔治疗可有效的提高治疗效果,改善患者心肌梗死情况,临床效果显著,值得推广和应用。 展开更多

关键词 老年急性心肌梗死 美托洛尔 临床疗效

下载PDF 职称材料

非洛地平联合缬沙坦治疗原发性高血压的疗效探究 被引量：7

14

作者 周友华 黄安文 《中国医学创新》 CAS 2011年第12期43-44,共2页

目的探讨非洛地平缓释剂联合缬沙坦胶囊治疗原发性高血压病的安全性及有效性。方法将300例原发性高血压患者随机分为3组,分别给予非洛地平、缬沙坦及联合用药进行治疗。疗程均10周,观察降压疗效及对血、尿常规、血糖、血脂、肝功能、肾... 目的探讨非洛地平缓释剂联合缬沙坦胶囊治疗原发性高血压病的安全性及有效性。方法将300例原发性高血压患者随机分为3组,分别给予非洛地平、缬沙坦及联合用药进行治疗。疗程均10周,观察降压疗效及对血、尿常规、血糖、血脂、肝功能、肾功能、电解质、心电图、心率等的影响。结果非洛地平组、缬沙坦组与联合用药组总有效率分别为70%,76%,96%。3组实验中均未发生严重不良事件,无异常安全性指标。结论非洛地平缓释剂联合缬沙坦胶囊降压效果明显,同时对心率、血脂、血糖、肝肾功能无明显影响,可以用于联合治疗原发性高血压。 展开更多

关键词 高血压 缬沙坦 非洛地平 联合用药

下载PDF 职称材料

冠心病合并2型糖尿病与单纯冠心病的临床特征对比研究 被引量：1

15

作者 周友华 黄安文 《中国医药指南》 2011年第10期100-101,共2页

目的探讨和分析冠心病合并2型糖尿病患者的临床特点。方法观察组为100例冠心病合并2型糖尿病的患者。对照组为100例冠心病但不伴有糖尿病的患者。比较两组临床症状、冠状动脉病变、血糖与血脂。结果与冠心病组患者比较,冠心病合并糖尿病... 目的探讨和分析冠心病合并2型糖尿病患者的临床特点。方法观察组为100例冠心病合并2型糖尿病的患者。对照组为100例冠心病但不伴有糖尿病的患者。比较两组临床症状、冠状动脉病变、血糖与血脂。结果与冠心病组患者比较,冠心病合并糖尿病组:①临床症状不典型,以无痛性心肌缺血和心功能不全居多;②三酰甘油(TG)与低密度脂蛋白胆固醇(LDL-C)显著增高,高密度脂蛋白胆固醇(HDL-C)显著降低;③冠状动脉病变以多支、闭塞性、弥漫性居多。结论冠心病合并2型糖尿病患者更易发生心功能不全,血脂异常更明显,冠状动脉病变更严重。 展开更多

关键词 冠心病 糖尿病 血脂

下载PDF 职称材料

基于综合评价指数法的城市道路植物配置模式评价及优化研究——以自贡市城市建成区为例 被引量：10

16

作者 黄安文 林立 +1 位作者 秦坤蓉 王海洋 《西南大学学报（自然科学版）》 CAS CSCD 北大核心 2021年第3期156-166,共11页

采用系统取样法和典型样地法对自贡市建成区范围内25条典型道路(快速路、主干道、次干道)的绿化植物配置模式进行调查分析,并运用综合评价指数法建立综合评价体系,对自贡市道路绿化现状进行分级和评价.结果表明:①自贡市道路绿化整体效... 采用系统取样法和典型样地法对自贡市建成区范围内25条典型道路(快速路、主干道、次干道)的绿化植物配置模式进行调查分析,并运用综合评价指数法建立综合评价体系,对自贡市道路绿化现状进行分级和评价.结果表明:①自贡市道路绿化整体效果较好,调查的25条道路中,道路绿化水平达到Ⅰ级(优秀)和Ⅱ级(良好)的道路占比68%;②不同道路之间绿化水平差距较大,各等级道路整体绿化水平由高到低依次为主干道、快速路、次干道;③根据城市道路现状及其绿化需求,以及各评价分析结果提出适当增加植物种类、丰富道路绿化植物层次结构、利用不同的景观空间营造方法对植物进行配置、提高观赏性植物应用比例、注重植物种植规划和整形修剪以及提高养护管理水平,强调植物与周围环境协调性等针对性建议.同时提出各级次道路的植物配置优化方案,以期未来为其他城市道路绿化建设提供一定的参考. 展开更多

关键词 城市道路 道路绿化 综合评价指数法 植物配置 优化方案

原文传递

融合服务功能的道路绿化评价指标体系构建--以自贡市城市建成区为例 被引量：7

17

作者 黄安文 林立 +1 位作者 秦坤蓉 王海洋 《西南大学学报（自然科学版）》 CAS CSCD 北大核心 2021年第6期178-186,共9页

在公园城市理念的引导下,“人性化”城市建设得到了社会的广泛关注.道路绿化作为城市建设的重要组成部分,是城市居民日常生活的主要载体.因此,建设功能完善、居民满意的道路绿地具有重要的理论与实践意义.基于此,在园林城市、生态园林... 在公园城市理念的引导下,“人性化”城市建设得到了社会的广泛关注.道路绿化作为城市建设的重要组成部分,是城市居民日常生活的主要载体.因此,建设功能完善、居民满意的道路绿地具有重要的理论与实践意义.基于此,在园林城市、生态园林城市等城市建设评价体系及相关标准规范的基础上,依据“以人为本”的建设理念构建了融合服务功能的道路绿化评价指标体系,该体系包含4项一级指标和20项二级指标.并以四川省自贡市为例,对所构建的指标体系进行了初步实证,同时对其城市建成区道路绿化现状进行了评价.结果表明,该研究构建的道路绿化指标体系基本上能反映自贡市道路绿化现状特点,分析结果与实际情况较为符合;自贡市建成区道路绿化整体情况较好,但在服务功能方面还有较大的提升空间.最后指出了自贡市城市建成区的道路绿化建设方向,以期为以公园城市为目标的城市道路绿化建设提供一定的参考. 展开更多

关键词 道路绿化 指标体系 服务功能 景观生态

原文传递

面向RISC-V内存一致性测试的自动化分析方法

18

作者 杨德亨 徐学政 +2 位作者 王涛 黄安文 李琼 《智能安全》 2023年第3期58-67,共10页

开源架构RISC-V定义了其内存一致性模型RVWMO,作为多核RISC-V系统软硬件设计开发的重要规范.在多核芯片的验证阶段,需要对芯片的内存一致性进行严格全面的测试.测试通常针对某一访存顺序模式,选取典型的并行程序片段进行大规模测试(又称... 开源架构RISC-V定义了其内存一致性模型RVWMO,作为多核RISC-V系统软硬件设计开发的重要规范.在多核芯片的验证阶段,需要对芯片的内存一致性进行严格全面的测试.测试通常针对某一访存顺序模式,选取典型的并行程序片段进行大规模测试(又称Litmus测试),通过程序运行的最终状态推测芯片内存一致性模型.通常,更为宽松的内存一致性会导致更多的程序状态.分析Litmus测试结果对于验证芯片的RVWMO兼容性、探索多核系统的内存一致性优化的可能性具有重要意义.以RVWMO规范下允许的程序状态为基准,芯片实测得到更多的程序状态表明其存在兼容性问题,得到更少的程序状态表明其仍具有优化空间.面对规模庞大、行为复杂的Litmus测试,如何对其测试结果进行自动化分析是亟待解决的问题.本文对Litmus测试的原理和输出结果进行了深入分析,提出一种面向RISC-V内存一致性测试的自动化分析方法,采用形式化方法对Litmus测试进行基于RVWMO规范的模拟运行,并通过与芯片的实测结果进行对比分析给出测试结论.本方法基于Hifive Unmatched开发板开展测试.实验表明,本文提出的方法可快速、有效地对RISC-V内存一致性测试进行自动化分析. 展开更多

关键词 RISC-V 内存一致性 Litmus测试 自动化分析

下载PDF 职称材料

一路向前是最好的“嘉奖令”

19

作者 黄安文 《四川党的建设》 2020年第8期68-69,共2页

从青春年少到两鬓斑白,从一名青年武警战士到年过半百的纪检监察新兵。珍藏了30多年的立功受奖证书内页的字迹已有些模糊,但它却见证了我的一路成长,也催促着我一路向前。1987年,我入伍成为一名武警战士,负责当地一所监狱的外围保卫工... 从青春年少到两鬓斑白,从一名青年武警战士到年过半百的纪检监察新兵。珍藏了30多年的立功受奖证书内页的字迹已有些模糊,但它却见证了我的一路成长,也催促着我一路向前。1987年,我入伍成为一名武警战士,负责当地一所监狱的外围保卫工作。有一次站流动哨,我发现一名犯人长时间蹲在地上,神态可疑,随即上报中队领导,最终成功粉碎了一起越狱阴谋。我也因此被部队授予三等功。服役时间虽不算长,但部队的经历却让我坚定了理想信念——忠诚于党、服从命令、敢于担当。从部队转业后,我长期在北川羌族自治县工商局工作。2018年,国家纪检监察体制改革,根据组织安排,我担任县纪委监委驻县委政法委纪检监察组组长。自此,我成为了一名纪检监察战线上的新兵。 展开更多

关键词 武警战士 保卫工作 纪检监察 北川羌族自治县 两鬓斑白 立功受奖 服役时间 越狱

下载PDF 职称材料

两院院士评选出瀚霖杯2009年中国和世界十大科技进展新闻

20

作者 黄安文 《科技创新与品牌》 2010年第2期8-11,共4页

由中国科学院院士工作局、中国工程院学部工作局和科学时报社共同主办，路甬祥、徐匡迪等563名中国科学院院士和中国工程院院士投票评选的瀚霖杯2009年中国十大科技进展新闻和世界十大科技进展新闻，2010年1月20日在京揭晓。

关键词 中国科学院院士 科技进展新闻 两院院士 世界 评选 中国工程院院士 路甬祥 徐匡迪

下载PDF 职称材料