一种ARM存储模型的快速检测方法 被引量：2

1

作者 吕正 陈昊 陈峰 《西安交通大学学报》 EI CAS CSCD 北大核心 2013年第6期68-72,共5页

针对ARM多核处理器存储模型正确性的快速检测问题,提出了一种利用时间序和悬空窗口的有界特性的快速检测方法,并实现了检测工具。该方法给出了ARM存储模型基于barrier的弱一致性模型的公理语义,通过定期扫描处理器的性能计数器获得访存... 针对ARM多核处理器存储模型正确性的快速检测问题,提出了一种利用时间序和悬空窗口的有界特性的快速检测方法,并实现了检测工具。该方法给出了ARM存储模型基于barrier的弱一致性模型的公理语义,通过定期扫描处理器的性能计数器获得访存指令操作间的时间约束关系。检测工具由随机指令发生模块、多核处理器性能计数器记录模块和结果分析模块3部分组成,它的低算法时间复杂度特性使其能够有效处理上百万行ARM访存指令程序。检测工具使用C++语言实现,可以在运行时动态调整指令流的长度参数,具有很好的扩展性。利用支持ARMMPCore的模拟器进行了实验,并用手工的方法在指令流执行序列中注入了几个错误,以验证程序结果是否违反ARM存储模型。实验结果表明,检测工具能够正确发现上述注入错误,检测方法和检测工具可以有效检测ARM多核处理器存储模型的正确性。 展开更多

关键词 ARM处理器 存储模型 正确性检测

在线阅读 下载PDF 职称材料

虚拟仿真实验在实验中的应用 被引量：11

2

作者 吕正 《大学物理实验》 2010年第4期59-62,共4页

介绍了在实验中,恰当地应用EWB软件作虚拟仿真实验,对实验可起到有益的辅助、拓展和加深作用。

关键词 虚拟仿真实验 实验拓展 实验探究 实验预习

在线阅读 下载PDF 职称材料

ESG表现、研发投入与双元创新——兼论企业数字化转型的调节作用 被引量：3

3

作者 黄永春 林地 +1 位作者 吴商硕 吕正 《资源与产业》 2024年第4期75-90,共16页

创新一直是经济发展的第一动力,我国自创新驱动发展战略实施以来,取得了诸多举世瞩目的成就。然而,当前的创新成果呈现出“重数量,轻质量”的特征,高质量创新成果不足。为加速高质量创新成果的产出,破解在关键技术上的“卡脖子”难题,... 创新一直是经济发展的第一动力,我国自创新驱动发展战略实施以来,取得了诸多举世瞩目的成就。然而,当前的创新成果呈现出“重数量,轻质量”的特征,高质量创新成果不足。为加速高质量创新成果的产出,破解在关键技术上的“卡脖子”难题,加快中国经济转向高质量发展,本研究以2011—2020年中国A股上市企业为样本,实证检验企业ESG表现对双元创新的影响效应和机制。研究结果表明:ESG表现能够显著提高企业创新产出,并且对突破式创新的促进作用更为显著,说明ESG表现能够促进资源向高质量创新成果转化。机制分析表明,研发投入在企业ESG表现与双元创新之间发挥中介作用,并且企业数字化转型强化了研发投入对双元创新的正向影响。异质性分析表明,首先,从企业生命周期的视角看,与处于成熟期的企业相比,处于成长期、衰退期的企业ESG表现对突破式创新的作用更强,进一步检验发现,处于成长期的企业ESG表现对突破式创新的促进作用主要由环境责任绩效和社会责任绩效推动,处于衰退期的企业其促进作用主要由社会责任绩效和公司治理绩效推动。因此,处于成长期的企业应增强企业与外部利益相关者的链接,获取更多外部支持,而处于衰退期企业则应该多关注公司内部治理状况,优化企业内部运营。其次,从企业竞争战略的视角看,在突破式创新中,实行成本领先战略的企业其ESG表现对突破式创新的相关程度要强于实施差异化战略的企业;在渐进式创新中,不同竞争战略的企业并无显著差异,因此,使用成本领先战略的企业应该更加关注其ESG建设,促进高质量创新成果的产出。研究结论对揭示企业ESG行为的经济后果提供了新的经验证据,对企业优化创新决策、政府完善ESG信息披露制度具有一定借鉴意义。 展开更多

关键词 ESG表现 研发投入 双元创新 数字化转型

在线阅读 下载PDF 职称材料

红外发光二极管辐射强度的测量 被引量：1

4

作者 吕正 姚和军 吕亮 《红外》 CAS 2007年第11期28-32,共5页

本文描述了红外发光二极管(LED)的概况,介绍了适用的热电型和光电型两种光探测器,指出了各自的优缺点及基本测量公式,重点阐述了红外LED辐射强度测量的方法及公式。最后针对现行的测量标准提出了三点建议。特别需要指出的是,用热电型光... 本文描述了红外发光二极管(LED)的概况,介绍了适用的热电型和光电型两种光探测器,指出了各自的优缺点及基本测量公式,重点阐述了红外LED辐射强度测量的方法及公式。最后针对现行的测量标准提出了三点建议。特别需要指出的是,用热电型光探测器测量LED的辐射强度是LED业界首次提出的方法。 展开更多

关键词 红外LED 光谱响应 光探测器

在线阅读 下载PDF 职称材料

2．5μm～25μm涂层红外光谱漫反射比测量附件的研制 被引量：1

5

作者 吕正 马冲 吕亮 《红外》 CAS 2007年第7期23-27,共5页

本项工作有两个目的:一是拓展红外分光光度计的功能,通过花少量的经费来实现红外漫反射比的测量;二是补充这个波段的红外漫反射比测量手段.据我们所知,国内似乎还没有该参数的专门测量仪器.本文介绍的测量附件所用的椭球反射镜本身就具... 本项工作有两个目的:一是拓展红外分光光度计的功能,通过花少量的经费来实现红外漫反射比的测量;二是补充这个波段的红外漫反射比测量手段.据我们所知,国内似乎还没有该参数的专门测量仪器.本文介绍的测量附件所用的椭球反射镜本身就具有双焦点的特点,再结合透镜的功能,就可进行测量.采用的替代法测量大大减小了测量误差.本文附上了三种涂层的测量结果,经对比,在2.5μm～14μm波段内,硫粉的漫反射比与文献报道的结果相似,从而验证了本项测量的正确性. 展开更多

关键词 中红外 漫反射比 附件

在线阅读 下载PDF 职称材料

网格社区的进程代数模型(GCPAM)

6

作者 吕正 陈昊 《微电子学与计算机》 CSCD 北大核心 2007年第8期95-98,共4页

虚组织VO(VirtualOrganization)和网格社区概念是网格理论模型的一个重要组成部分,建立合适的网格社区理论模型有助于精确定义网格社区概念、研究网格社区的重要特性。借鉴进程代数的方法提出了网格社区进程代数模型(Grid Community Pro... 虚组织VO(VirtualOrganization)和网格社区概念是网格理论模型的一个重要组成部分,建立合适的网格社区理论模型有助于精确定义网格社区概念、研究网格社区的重要特性。借鉴进程代数的方法提出了网格社区进程代数模型(Grid Community Process Algebra Model,GCPAM),在形式化定义社区概念方面做出了初步尝试,并为研究网格社区提供了一个合适的工具。 展开更多

关键词 网格社区 进程代数 网格理论模型

在线阅读 下载PDF 职称材料

光阱式光探测器骨架的设计

7

作者 吕正 姚和军 《红外》 CAS 2007年第8期16-19,共4页

光阱式光探测器的优点是增大响应信号,减小测量信号的反射比,因而问世20年来应用大增。本文先说明了骨架设计中消偏振的理论考虑,然后详细介绍了铟镓砷光电探测器骨架的设计步骤,这对硅光电二极管的骨架设计同样有用。文中还附上了实物... 光阱式光探测器的优点是增大响应信号,减小测量信号的反射比,因而问世20年来应用大增。本文先说明了骨架设计中消偏振的理论考虑,然后详细介绍了铟镓砷光电探测器骨架的设计步骤,这对硅光电二极管的骨架设计同样有用。文中还附上了实物照片,以便于感兴趣的读者参考。 展开更多

关键词 光阱式 光探测器 骨架

在线阅读 下载PDF 职称材料

高精度激光束功率稳定器的研究 被引量：8

8

作者 姚和军 吕正 李在清 《计量学报》 CSCD 北大核心 2000年第3期161-166,共6页

本文分析了影响激光功率稳定性的因素 ,研究了利用电光调制器和光反馈方法稳定激光束功率的原理 ,提出了一种新型的非线性反馈控制方法。该方法具有稳定速度快、稳定性高、激光功率损失小等优点 ,实验测得 1小时激光功率的稳定性达到 6&... 本文分析了影响激光功率稳定性的因素 ,研究了利用电光调制器和光反馈方法稳定激光束功率的原理 ,提出了一种新型的非线性反馈控制方法。该方法具有稳定速度快、稳定性高、激光功率损失小等优点 ,实验测得 1小时激光功率的稳定性达到 6× 10 - 5。经这种方法稳定后的激光束可作为与低温绝对辐射计联用的高精度光源。 展开更多

关键词 激光 功率 稳定性 激光束功率稳定器 辐射计

在线阅读 下载PDF 职称材料

陷光探测器偏振响应特性的研究 被引量：5

9

作者 林延东 姚和军 吕正 《计量学报》 CSCD 北大核心 2004年第1期23-26,共4页

偏振响应特性是反映光探测器质量的重要参数。陷光探测器(陷光二极管)是低温辐射计的传递探测器。文中对陷光探测器的偏振响应特性进行了测量研究,并提出了对它的数值表述方法。探测器偏振响应特性的测量结果的不确定度达到0.005%。测... 偏振响应特性是反映光探测器质量的重要参数。陷光探测器(陷光二极管)是低温辐射计的传递探测器。文中对陷光探测器的偏振响应特性进行了测量研究,并提出了对它的数值表述方法。探测器偏振响应特性的测量结果的不确定度达到0.005%。测量结果表明,不同的反射型陷光探测器的偏振响应特性相差很大,在光辐射测量中不容忽视。 展开更多

关键词 计量学 辐射度 光探测器 陷光探测器 响应度 偏振

在线阅读 下载PDF 职称材料

基于物理模型的光谱辐射照度标准灯数据处理方法 被引量：2

10

作者 代彩红 吕正 +3 位作者 于家琳 于靖 林延东 殷纯永 《计量学报》 CSCD 北大核心 2009年第1期6-10,共5页

根据光谱辐射照度标准灯（卤钨灯）的数据曲线具有精确数学物理模型的特点，提出广义数学函数变换和标准灯数学物理模型相结合的数据分析和处理方法，能够准确发现并修正光谱辐射照度测量中的不可靠数据点。在2004年国际计量局组织的250... 根据光谱辐射照度标准灯（卤钨灯）的数据曲线具有精确数学物理模型的特点，提出广义数学函数变换和标准灯数学物理模型相结合的数据分析和处理方法，能够准确发现并修正光谱辐射照度测量中的不可靠数据点。在2004年国际计量局组织的250~2500 nm光谱辐射照度国际关键比对CCPR-K1 a，对测量结果中的不可靠数据点进行修正处理后，我国的光谱辐射照度量值与国际参考值之间的一致性优于1.5%. 展开更多

关键词 计量学 光谱辐射照度 光谱辐射照度标准灯 数据处理 国际比对

在线阅读 下载PDF 职称材料

采用模型检测器的软件安全模型验证方法 被引量：2

11

作者 陈峰 李伟华 +1 位作者 陈昊 吕正 《西安交通大学学报》 EI CAS CSCD 北大核心 2011年第2期15-20,共6页

针对软件开发过程中安全性分析与设计不足的问题,在研究现有软件安全性建模及形式化验证技术的基础上,提出了一种适用于面向对象的软件安全性建模与验证方法.建立软件安全属性的非形式化UML模型,采用安全扩展有限自动机创建其形式化模型... 针对软件开发过程中安全性分析与设计不足的问题,在研究现有软件安全性建模及形式化验证技术的基础上,提出了一种适用于面向对象的软件安全性建模与验证方法.建立软件安全属性的非形式化UML模型,采用安全扩展有限自动机创建其形式化模型,并使用线性时序逻辑描述安全属性,将形式化模型与安全属性共同作为模型检测器的输入,得到模型是否满足性质的验证结果,从而实现了软件安全设计与验证技术的有机结合.实验结果表明,该方法能够在软件设计初期对所涉及的安全性进行有效分析与验证. 展开更多

关键词 软件安全分析 确定有限自动机 形式化建模 模型检测

在线阅读 下载PDF 职称材料

日本能效领跑者制度的经验与启示(上) 被引量：9

12

作者 白泉 吕正 《中国标准化》 2016年第1期145-151,共7页

能效领跑者制度是日本节能政策体系中的重要支柱之一,对推动日本制造企业强化节能科技研发、推动全社会能源效率提高、以节能特性为突破口进军国际市场,发挥了重要的支撑作用。本文比较系统地介绍了日本能效领跑者制度的主要内容、主要... 能效领跑者制度是日本节能政策体系中的重要支柱之一,对推动日本制造企业强化节能科技研发、推动全社会能源效率提高、以节能特性为突破口进军国际市场,发挥了重要的支撑作用。本文比较系统地介绍了日本能效领跑者制度的主要内容、主要经验和潜在的问题,初步分析了日本能效领跑者制度对我国的借鉴意义,为我国制定节能相关政策提供参考。 展开更多

关键词 能源 节能 提高能效 领跑者制度 日本

在线阅读 下载PDF 职称材料

日本能效领跑者制度的经验与启示(下) 被引量：2

13

作者 白泉 吕正 《中国标准化》 2016年第2期86-89,共4页

能效领跑者制度是日本节能政策体系中的重要支柱之一,对推动日本制造企业强化节能科技研发、推动全社会能源效率提高、以节能特性为突破口进军国际市场,发挥了重要的支撑作用。本文比较系统地介绍了日本能效领跑者制度的主要内容、主要... 能效领跑者制度是日本节能政策体系中的重要支柱之一,对推动日本制造企业强化节能科技研发、推动全社会能源效率提高、以节能特性为突破口进军国际市场,发挥了重要的支撑作用。本文比较系统地介绍了日本能效领跑者制度的主要内容、主要经验和潜在的问题,初步分析了日本能效领跑者制度对我国的借鉴意义,为我国制定节能相关政策提供参考。 展开更多

关键词 能源 节能 提高能效 领跑者制度 日本

在线阅读 下载PDF 职称材料

某LCCC器件焊点失效原因分析及解决措施 被引量：2

14

作者 吕正 宋阳 《电子产品可靠性与环境试验》 2018年第6期9-14,共6页

某型设备在长期使用过程中出现了LCCC封装器件焊点重复性失效的故障,对产品的功能、性能造成了一定的影响。对故障原因进行了分析,开展了复现试验,提出了相应的改进措施并对改进措施的有效性进行了试验验证。结果显示,改进措施落实后,... 某型设备在长期使用过程中出现了LCCC封装器件焊点重复性失效的故障,对产品的功能、性能造成了一定的影响。对故障原因进行了分析,开展了复现试验,提出了相应的改进措施并对改进措施的有效性进行了试验验证。结果显示,改进措施落实后,降低了产品的故障率,得到了顾客的认可。 展开更多

关键词 无引线陶瓷芯片载体 带引脚的陶瓷芯片载体 焊点可靠性 环境试验 热膨胀系数 改进措施

在线阅读 下载PDF 职称材料

对死者人格商业化利用的法律保护

15

作者 刘雪松 吕正 《哈尔滨商业大学学报（社会科学版）》 2015年第1期105-112,共8页

"钱钟书书信手稿拍卖"一案再次引发了对死者人格商业化利用的保护思考。对死者人格的商业化利用既涉及死者的人格尊严,又涉及其继承人的财产利益。从法理上论证了对死者人格商业化利用保护的正当性与必要性,通过借鉴国外对死... "钱钟书书信手稿拍卖"一案再次引发了对死者人格商业化利用的保护思考。对死者人格的商业化利用既涉及死者的人格尊严,又涉及其继承人的财产利益。从法理上论证了对死者人格商业化利用保护的正当性与必要性,通过借鉴国外对死者人格商业化利用的保护的模式,提出对于死者人格商业化利用的保护制度。由于死者人格商业化利用的特殊性,继承人在行使其继承的死者人格商业化利用权时,应当受到利用范围和方式的限制,最后提出了对死者人格商业化利用的具体保护措施。 展开更多

关键词 死者 人格利益 继承人 商业化利用

在线阅读 下载PDF 职称材料

联网审计系统中审计分析模型的研究与应用

16

作者 林碧英 陈昊 +1 位作者 吕正 孙雅娟 《中国高新技术企业》 2007年第13期92-94,共3页

计算机联网审计在实际审计中有着重要的应用。本文阐述了传统手工审计存在的问题及联网审计的优势,给出了联网审计的实现方法。在参考手工审计方法的基础上,给出了创建审计分析模型的方法。通过应用审计分析模型能够快速发现疑点数据,... 计算机联网审计在实际审计中有着重要的应用。本文阐述了传统手工审计存在的问题及联网审计的优势,给出了联网审计的实现方法。在参考手工审计方法的基础上,给出了创建审计分析模型的方法。通过应用审计分析模型能够快速发现疑点数据,确定审计重点,从而有效降低审计风险。 展开更多

关键词 联网审计 疑点数据 审计分析模型

在线阅读 下载PDF 职称材料

地铁列车DC110V电路接地设计 被引量：3

17

作者 郭振通 吕正 《城市轨道交通研究》 北大核心 2012年第9期94-96,共3页

对地铁列车DC 110V信号线接收电路的抗干扰设计进行了分析,并对几种DC 110V负线接地方法进行了研究,指出了各种接地方法的优缺点,推荐了一种较好的负线接地方法,并提出了DC 110V屏蔽电缆屏蔽层的接地设计方法。

关键词 地铁列车 直流110 V电路 接地设计

在线阅读 下载PDF 职称材料

莫让官兵当“水军”

18

作者 程玉池 吕正 《政工学刊》 2013年第6期56-56,共1页

“网络水军”是一种形象的说法，是指为达到宣传、推销或攻击某些人或产品的目的，在互联网上进行集体炒作的大批受雇人员。他们通常在网络推手的带领下，以发帖、跟帖等手法和各种名目在各大论坛上造势，由于人数众多而被称为“网络水... “网络水军”是一种形象的说法，是指为达到宣传、推销或攻击某些人或产品的目的，在互联网上进行集体炒作的大批受雇人员。他们通常在网络推手的带领下，以发帖、跟帖等手法和各种名目在各大论坛上造势，由于人数众多而被称为“网络水军”。“水军是在网上灌水的队伍，他们用一个个不同的‘马甲’代表了看似众多的民众，实际只是为了利益而来的少数发帖者。” 展开更多

关键词 水军 官兵 网络 受雇人 互联网

在线阅读 下载PDF 职称材料

聚驱后二元复合泡沫驱不同气液比实验研究 被引量：1

19

作者 王海峰 李金珠 +2 位作者 苏伟明 栗钢 吕正 《海洋石油》 CAS 2011年第3期64-67,共4页

通过对比聚驱后聚表二元复合泡沫驱四种不同气液比(1:2、1:1、2:1、3:1)的实验结果,优选出最优的气液比,并对泡沫驱油机理进行进一步的阐述,为现场矿场试验提供理论依据和参考。实验结果表明,在水驱和聚驱效果相似的条件下,聚驱后二元... 通过对比聚驱后聚表二元复合泡沫驱四种不同气液比(1:2、1:1、2:1、3:1)的实验结果,优选出最优的气液比,并对泡沫驱油机理进行进一步的阐述,为现场矿场试验提供理论依据和参考。实验结果表明,在水驱和聚驱效果相似的条件下,聚驱后二元复合泡沫驱四种不同气液比方案采出程度的大小关系是3:1<1:2<2:1<1:1,最优气液比为1:1。 展开更多

关键词 提高采收率 聚合物驱后 复合泡沫驱 气液比 室内实验

在线阅读 下载PDF 职称材料

颈内动脉狭窄及合并缺血性脑卒中患者视网膜微血管神经改变特征 被引量：2

20

作者 陈祉帆 马桂贤 +6 位作者 李昌茂 刘春玲 吴光宇 谢洁 吕正 吴希宇 孟倩丽 《眼科新进展》 CAS 北大核心 2023年第6期454-458,共5页

目的对比单侧颈内动脉狭窄(ICAS)患者双眼视网膜厚度及血流密度(VD)、视网膜神经纤维层(RNFL)厚度及神经节细胞复合体(GCC)厚度,探讨颈内动脉狭窄及合并缺血性脑卒中患者视网膜微血管神经的变化特点。方法横断面研究。收集2019年12月至2... 目的对比单侧颈内动脉狭窄(ICAS)患者双眼视网膜厚度及血流密度(VD)、视网膜神经纤维层(RNFL)厚度及神经节细胞复合体(GCC)厚度,探讨颈内动脉狭窄及合并缺血性脑卒中患者视网膜微血管神经的变化特点。方法横断面研究。收集2019年12月至2021年12月在我院就诊的单侧ICAS≥70%(狭窄侧眼组)、对侧颈内动脉无狭窄或狭窄<50%(对侧眼组)的27例患者的临床资料。所有患者均行眼科常规及光学相干断层扫描血管成像(OCTA)检查。对比观察双眼视网膜厚度、VD、RNFL厚度及GCC厚度,并根据是否合并缺血性脑卒中进行亚组分析。结果ICAS≥70%的患者狭窄侧眼组黄斑区浅层、深层视网膜及黄斑中心凹无灌注区面积周围300μm环内的VD均较对侧眼组明显降低(均为P<0.05),狭窄侧眼组的视盘下颞区及颞下区VD均较对侧眼组明显降低(均为P<0.05)。合并缺血性脑卒中的ICAS患者狭窄侧眼组黄斑区视网膜浅层和深层VD、视盘下颞及颞下区VD、下半部GCC厚度均较对侧眼组显著降低(P<0.05)。不合并脑卒中的ICAS患者狭窄侧眼组与对侧眼组黄斑区及视盘的VD、RNFL厚度、GCC厚度差异均无统计学意义(均为P>0.05)。结论重度及以上ICAS的患者已经出现视网膜微循环障碍,且在合并有缺血性脑卒中的患者中表现更明显,并出现神经节细胞的损伤,提示ICAS合并视网膜微血管和神经节细胞的损伤有可能是缺血性脑卒中发生的危险因素。 展开更多

关键词 颈内动脉狭窄 视网膜血流密度 视网膜神经纤维层 神经节细胞复合体 缺血性脑卒中

在线阅读 下载PDF 职称材料