期刊文献+
共找到193篇文章
< 1 2 10 >
每页显示 20 50 100
基于UPPAAL-TRON的高速铁路列控系统非确定性时延一致性测试研究 被引量:5
1
作者 吕继东 朱晓琳 +2 位作者 王海峰 李开成 唐涛 《铁道学报》 EI CAS CSCD 北大核心 2016年第1期54-64,共11页
高速铁路列车运行控制系统是一个典型的实时系统,如何保证列控系统在时延约束条件下功能实现的正确性至关重要。传统的离线测试方法已广泛用于列控系统功能一致性测试中,然而,随着系统复杂度的提高,物理环境中时延的非确定性制约传统离... 高速铁路列车运行控制系统是一个典型的实时系统,如何保证列控系统在时延约束条件下功能实现的正确性至关重要。传统的离线测试方法已广泛用于列控系统功能一致性测试中,然而,随着系统复杂度的提高,物理环境中时延的非确定性制约传统离线测试方法的应用。本文引入"在线测试"的概念,利用时间自动机理论对典型场景车载设备的RBC切换过程建模,并定义可观测消息通道将该模型划分为环境和设备两部分,从而借助工具UPPAAL-TRON"边生成边执行"测试用例,找出了在非确定性时延下,仿真RBC测试模型与测试需求中不一致的地方。并通过改进测试模型中RBC处理占用参数的设置,实现对RBC切换过程中跨界传递联锁消息时延非确定性的一致性测试。 展开更多
关键词 列控系统 非确定性时延 一致性测试 UPPAAL-tron RBC切换
下载PDF
不同粒径零价铁对微氧脱氮系统的影响
2
作者 于雅楠 张潇 +4 位作者 岳秀萍 赵博玮 周爱娟 崔颖 邢剑波 《工业水处理》 CAS CSCD 北大核心 2024年第4期84-97,共14页
构建了部分硝化反硝化厌氧氨氧化(SNAD)微氧体系,并定期向体系内投加120 mg不同粒径的零价铁(ZVI),从反应器运行情况、微生物性能以及群落结构来探究不同粒径ZVI对微氧系统的影响。研究结果表明,在50 nm粒径ZVI(50 nZVI)的介导下,系统的... 构建了部分硝化反硝化厌氧氨氧化(SNAD)微氧体系,并定期向体系内投加120 mg不同粒径的零价铁(ZVI),从反应器运行情况、微生物性能以及群落结构来探究不同粒径ZVI对微氧系统的影响。研究结果表明,在50 nm粒径ZVI(50 nZVI)的介导下,系统的TIN去除率最终稳定在83.591%,电子传递活性(ETSA)是接种污泥的1.48倍,均高于其他粒径ZVI的影响。越小粒径ZVI越能促进胞外聚合物的产生,有利于活性污泥结构稳定。这都源于粒径越小的ZVI更容易被微生物吸附、利用。微生物群落结构与功能分析结果表明,在粒径越小的ZVI介导下的微生物群落多样性越高,群落结构也越复杂。ZVI介导会促进对氧需求不敏感的微生物的富集,样品中主要检测出Candidatus_Brocadia和Candidatus_Kuenenia两种厌氧氨氧化菌(AnAOB),且在50 nZVI影响下丰度最高,分别为4.650%和0.692%。nZVI介导下,AnAOB与Gemmobacter和norank_f_Comamonadaceae两种兼性厌氧型反硝化菌共同作用构成SNAD的脱氮途径。而在mZVI介导下,兼性厌氧型反硝化为主要脱氮途径。 展开更多
关键词 微氧 部分硝化反硝化厌氧氨氧化系统 零价铁 电子传递活性 生物脱氮
下载PDF
抗N-甲基-D-天冬氨酸受体脑炎的神经影像学研究进展 被引量:1
3
作者 王晓旋 田军章 《影像技术》 CAS 2024年第1期74-80,共7页
抗N-甲基-D-天冬氨酸受体(NMDAR)脑炎是一种严重的神经精神综合征,抗NMDAR脑炎具有发病率高、病程长、病情重、特异性较差、早期诊断困难等特点。目前,抗NMDAR脑炎的诊断主要依赖于抗体检测和神经影像技术。常规CT成像对该疾病的诊断具... 抗N-甲基-D-天冬氨酸受体(NMDAR)脑炎是一种严重的神经精神综合征,抗NMDAR脑炎具有发病率高、病程长、病情重、特异性较差、早期诊断困难等特点。目前,抗NMDAR脑炎的诊断主要依赖于抗体检测和神经影像技术。常规CT成像对该疾病的诊断具有局限性,而磁共振成像和PET成像技术为疾病的诊断与疗效评估提供了科学的研究方法。本研究主要对近几年抗NMDAR脑炎的磁共振成像和PET成像研究进展进行综述,以期提高临床医生对该疾病的认识及早期诊断。 展开更多
关键词 抗N-甲基-D-天冬氨酸受体脑炎 磁共振成像 正电子发射型计算机断层显像
下载PDF
Analysis of Wettability and X-ray Photoelectron Spectroscopy of Wheat Straw/SPI
4
作者 刘志明 沈江华 《Agricultural Science & Technology》 CAS 2012年第4期815-817,共3页
[Objective] The aim was to improve the adhesive bonding property of wheat straw surface to prepare wheat straw particleboard of soy protein isolate (SPI) adhesive through chemical and enzyme treatments. [Method] Eva... [Objective] The aim was to improve the adhesive bonding property of wheat straw surface to prepare wheat straw particleboard of soy protein isolate (SPI) adhesive through chemical and enzyme treatments. [Method] Evaluation and analysis were made on wettability of wheat straws in the control group and treated groups (chemical and enzyme treatments) by means of measurement of contact angle and calculation of spreading-penetration parameters (K). In addition, we made analysis on surface elements through X-ray photoelectron spectroscopy (XPS). [Result] The re- sults showed that K value of straw treated with sodium hydroxide, hydrogen peroxide and lipase increased by 58.0%, 48.7% and 83.2% compared to that of control group, respectively. The XPS analysis indicated that rapid decrease of silicon content and destruction of wax layer greatly contributed to wettability improvement of wheat straw surface. [Conclusion] The chemical and lipase treatments of wheat straw provided technical support for manufacture of wheat straw particle boand. 展开更多
关键词 Wheat straw WETTABILITY Soy protein isolate adhesive X-ray photoelec- tron spectroscopy
下载PDF
TRON伴随生活的另一个操作系统世界 被引量:1
5
作者 赵鹏 《家电科技》 2009年第22期43-44,共2页
在国内,相比Windows、Linux这样耳熟能详的操作系统而言,TRON恐怕极少为人所知,可它却悄然伴随着我们的生活,并起到了非常巨大的作用。正如星光璀璨的明星在台前拥有极高的知名度。
关键词 操作系统 机器 项目计划 计算机系统 tron 软件规模 嵌入式系统 微软公司 源代码 ENGINE
下载PDF
实时操作系统工业标准ITRON的分析 被引量:3
6
作者 刘巍 黄秋元 陈伟 《中国电子科学研究院学报》 2006年第2期210-213,共4页
操作系统(OS)技术规范差别之大及实用微控制器品种之繁多,使RTOS(实时操作系统)的标准化成了一个大问题。Industrial TRON(the RTOS Nucleus,实时操作系统中心)组织制订嵌入式系统RTOS的标准。本文对ITRON做了总体介绍并详细研究分析了I... 操作系统(OS)技术规范差别之大及实用微控制器品种之繁多,使RTOS(实时操作系统)的标准化成了一个大问题。Industrial TRON(the RTOS Nucleus,实时操作系统中心)组织制订嵌入式系统RTOS的标准。本文对ITRON做了总体介绍并详细研究分析了ITRON的任务状态及任务调度机制。 展开更多
关键词 实时操作系统 实时操作系统中心 工业实时操作系统中心
下载PDF
嵌入式实时操作系统TRON及其应用综述 被引量:2
7
作者 夏丹 左文霞 《可编程控制器与工厂自动化(PLC FA)》 2006年第11期6-8,共3页
本文从硬件和软件两个方面介绍了占据了全球微处理器操作系统市场大约60%份额的嵌入式实时操作系统TRON,还简单阐述了其应用案例,指出TRON这种免费的实时操作系统具有很高的研究和应用价值。
关键词 嵌入式操作系统 tron T-ENGINE
下载PDF
基于模型的软件测试新工具——UPPAAL TRON
8
作者 郑薇玮 《福建广播电视大学学报》 2010年第6期91-93,共3页
首先由介绍基于模型测试方法产生的必要性及其优点,引出对于TRON工具的推荐。结合一个关于TRON应用的小实例,以更好地说明TRON的工作原理,并公布了实例的运行结果,务求让读者对TRON的验错能力有一个直观的印象。
关键词 软件测试 基于模型的自动测试 UPPAAL tron 验错能力
下载PDF
全新奥迪e-tron充电系统浅析
9
作者 张海松 《汽车电器》 2020年第8期18-20,23,共4页
详细介绍全新奥迪e-tron充电系统结构部件、充电模式、充电过程以及注意事项。
关键词 奥迪e-tron 充电系统 高压
下载PDF
基于MotoTron平台发动机电控系统设计 被引量:1
10
作者 吴磊 张振东 +1 位作者 罗棕贵 薛继国 《农业装备与车辆工程》 2016年第11期41-45,共5页
以某型汽油发动机为改造对象,对汽油发动机电控系统进行了研究。设计了电控系统的总体结构方案,在Matlab/Simulink平台建立基于扭矩的发动机控制算法。在Simulink环境中,控制算法通过Moto Tron平台生成代码,编译到配套控制器中,验证控... 以某型汽油发动机为改造对象,对汽油发动机电控系统进行了研究。设计了电控系统的总体结构方案,在Matlab/Simulink平台建立基于扭矩的发动机控制算法。在Simulink环境中,控制算法通过Moto Tron平台生成代码,编译到配套控制器中,验证控制算法是否达到预期要求,对基于扭矩控制算法的关键MAP进行了标定。最后采用自行设计的发动机电控系统在发动机台架上进行了整机的负荷特性试验,大大改善了发动机的动力性和燃油经济性。 展开更多
关键词 汽油发动机 MOTO tron平台 扭矩模型 平均值模型 标定
下载PDF
建立在TRON规范基础上的32位微处理器 被引量:1
11
作者 梁亢 《微处理机》 1991年第3期23-34,共12页
本文介绍以 TRON 规范为基础的32位通用微处理器的芯片结构。文章对二种类型的结构的指令方式,高级指令,寻址方式,存贮器管理和 EIT(异常,中断和陷阱)处理以及它们的基本设计思想作了简要的论述。文章讨论了以不同的TRON 子方案设计的... 本文介绍以 TRON 规范为基础的32位通用微处理器的芯片结构。文章对二种类型的结构的指令方式,高级指令,寻址方式,存贮器管理和 EIT(异常,中断和陷阱)处理以及它们的基本设计思想作了简要的论述。文章讨论了以不同的TRON 子方案设计的操作系统,还讨论了实现以 TRON 规范为基础的32位微处理器所涉及的一些技术问题。 展开更多
关键词 微处理器 tron规范 微机
下载PDF
Effect of Frequency and Power of Bias Applied to Substrate on Plasma Property of Very-High-Frequency Magnetron Sputtering 被引量:1
12
作者 刘毅 叶超 +1 位作者 何海杰 王响英 《Plasma Science and Technology》 SCIE EI CAS CSCD 2015年第7期583-588,共6页
The effect of the frequency and power of the bias applied to the substrate on plasma properties in 60 MHz(VHF) magnetron sputtering was investigated.The plasma properties include the ion velocity distribution funct... The effect of the frequency and power of the bias applied to the substrate on plasma properties in 60 MHz(VHF) magnetron sputtering was investigated.The plasma properties include the ion velocity distribution function(IVDF),electron energy probability function(EEPF),electron density ne,ion flux Γi,and effective electron temperature Teff.These parameters were measured by a retarding field energy analyzer and a Langmuir probe in the 60 MHz magnetron sputtering,assisted with 13.56 MHz or 27.12 MHz substrate bias.The 13.56 MHz substrate bias led to broadening and multi-peaks IVDFs,Maxwellian EEPFs,as well as high electron density,ion flux,and low electron temperature.The 27.12 MHz substrate bias led to a further increase of electron density and ion flux,but made the IVDFs narrow.Therefore,the frequency of the substrate bias was a possible way to control the plasma properties in VHF magnetron sputtering. 展开更多
关键词 VHF magnetron sputtering RF substrate bias ion energy distribution elec-tron energy distribution
下载PDF
电动超跑是怎样炼成的? AUDI R8 E-TRON 被引量:1
13
作者 包崇美 《世界汽车》 2013年第8期18-23,共6页
奥迪R8 e—tron在电影《钢铁侠3》中充当了男主角托尼·斯塔克的座驾,表现十分抢眼,其量产计划受到人们的广泛关注。不过,奥迪表示,因为受制造成本以及技术限制,R8 e—tron的量产上市计划被暂时搁置,目前已经生产出的10辆R8 e... 奥迪R8 e—tron在电影《钢铁侠3》中充当了男主角托尼·斯塔克的座驾,表现十分抢眼,其量产计划受到人们的广泛关注。不过,奥迪表示,因为受制造成本以及技术限制,R8 e—tron的量产上市计划被暂时搁置,目前已经生产出的10辆R8 e—tron不会对外销售,只用于奥迪内部的研发和测试。 展开更多
关键词 AUDI 电动 奥迪R8 tron 制造成本 座驾
下载PDF
嵌入式实时操作系统TRON及其应用
14
作者 付文波 《家电科技》 2009年第22期45-45,共1页
坂村健教授1984年发起"TRON项目计划"后,到2003年,TRON系统(更具体地说是由TRON发展出的ITORN)成为世界上应用最多的操作系统之一,出现在数以百万计的电子设备上。
关键词 嵌入式实时操作系统 源代码 泛在 标签 2003 tron Itron
下载PDF
Contrast-enhanced micro-computed tomography using Exi Tron nano6000 for assessment of liver injury
15
作者 Xiang-Wei Hua Tian-Fei Lu +6 位作者 Da-Wei Li Wei-Gang Wang Jun Li Zhen-Ze Liu Wei-Wei Lin Jian-Jun Zhang Qiang Xia 《World Journal of Gastroenterology》 SCIE CAS 2015年第26期8043-8051,共9页
AIM: To explore the potential of contrast-enhanced computed tomography(CECT) using Exi Tron nano6000 for assessment of liver lesions in mouse models.METHODS: Three mouse models of liver lesions were used: bile duct li... AIM: To explore the potential of contrast-enhanced computed tomography(CECT) using Exi Tron nano6000 for assessment of liver lesions in mouse models.METHODS: Three mouse models of liver lesions were used: bile duct ligation(BDL),lipopolysaccharide(LPS)/D-galactosamine(D-Gal N),and alcohol.After injection with the contrast agent Exi Tron nano6000,the mice were scanned with micro-CT.Liver lesions were evaluated using CECT images,hematoxylin and eosin staining,and serum aminotransferase levels.Macrophage distribution in the injury models was shown by immunohistochemical staining of CD68.The in vitro studies measured the densities of RAW264.7 under different conditions by CECT.RESULTS: In the in vitro studies,CECT provided specific and strong contrast enhancement of liver in mice.CECT could present heterogeneous images anddensities of injured livers induced by BDL,LPS/D-Gal N,and alcohol.The liver histology and immunochemistry of CD68 demonstrated that both dilated biliary tracts and necrosis in the injured livers could lead to the heterogeneous distribution of macrophages.The in vitro study showed that the RAW264.7 cell masses had higher densities after LPS activation.CONCLUSION: Micro-CT with the contrast agent Exi Tron nano6000 is feasible for detecting various liver lesions by emphasizing the heterogeneous textures and densities of CECT images. 展开更多
关键词 Micro-computed TOMOGRAPHY ExitronNano6000 LIVER INJURY
下载PDF
Implementing Semantic Deduction of Propositional Knowledge in an Extension Multi-layer Perceptron
16
作者 HUANG Tian-min,PEI Zheng (Department of Applied Mathematics, Southwest Jiaotong Universi ty,Chengdu 610031,China) 《Chinese Quarterly Journal of Mathematics》 CSCD 2003年第3期247-257,共11页
The paper presents an extension multi-laye r p erceptron model that is capable of representing and reasoning propositional know ledge base. An extended version of propositional calculus is developed, and its some prop... The paper presents an extension multi-laye r p erceptron model that is capable of representing and reasoning propositional know ledge base. An extended version of propositional calculus is developed, and its some properties is discussed. Formulas of the extended calculus can be expressed in the extension multi-layer perceptron. Naturally, semantic deduction of prop ositional knowledge base can be implement by the extension multi-layer perceptr on, and by learning, an unknown formula set can be found. 展开更多
关键词 multi-layer perceptron extension multi-layer perce p tron propositional calculus propositional knowledge buse semantic deduction
下载PDF
Analytical expression for betatron tune shift due to field errors in lump quadrupole
17
作者 Yuan Chen Cheng-Hui Yu +2 位作者 Qing Qin Jiu-QingWang Shou-Xian Fang 《Nuclear Science and Techniques》 SCIE CAS CSCD 2016年第1期5-7,共3页
The integrated gradient of a quadrupole will be deviated by a close neighboring sextupole, and this is called the effect of fringe field interference. Using the Lie algebra techniques, an analytical expression for the... The integrated gradient of a quadrupole will be deviated by a close neighboring sextupole, and this is called the effect of fringe field interference. Using the Lie algebra techniques, an analytical expression for the betatron tune shift due to this effect has been derived. The process does not depend on the supposition of the thin-lens quadrupoles. It can be used to estimate the tune shift differences between the designed lattice and the one including the fringe field interference. More generally, the method can be applied to other kinds of fringe field interference. 展开更多
关键词 解析表达式 四极杆 场误差 电场干扰 李代数方法 tron 薄透镜 密相
下载PDF
红狮控制公司推出N—Tron NT24k网管型千兆以太网交换机系列
18
作者 Richard Chen 《工矿自动化》 北大核心 2013年第4期35-35,共1页
美国红狮控制公司近期推出模块化N-Tron NT24k网管型全千兆工业以太网交换机系列。凭借多达24个千兆以太网端口和可以实现不同配置选择的灵活模块化构成,N-Tron NT24k交换机有能力对抗最严峻的工业环境,为用户提供高度可靠性和迅捷的... 美国红狮控制公司近期推出模块化N-Tron NT24k网管型全千兆工业以太网交换机系列。凭借多达24个千兆以太网端口和可以实现不同配置选择的灵活模块化构成,N-Tron NT24k交换机有能力对抗最严峻的工业环境,为用户提供高度可靠性和迅捷的线速性能。 展开更多
关键词 千兆以太网交换机 tron 控制 管型 K网 工业以太网交换机 以太网端口
下载PDF
Scanning Electron Microscopy Studies of YBa_2Cu_3O_(7-δ) Superconductors
19
作者 沙维 《Rare Metals》 SCIE EI CAS CSCD 1995年第4期245-248,共4页
Micrcostructures of bulk and thin film YBa_2Cu_3O_(7-δ) superconductors were studied by using scanning elec-tron microscopy (SEM). It was confirmed that viscous technique processed bulk YBa_2Cu_3O_(7-δ) has a homoge... Micrcostructures of bulk and thin film YBa_2Cu_3O_(7-δ) superconductors were studied by using scanning elec-tron microscopy (SEM). It was confirmed that viscous technique processed bulk YBa_2Cu_3O_(7-δ) has a homoge-neous microstructure across the pellet diameter. Concerning the thin film, it was found that 2  ̄H ̄+ ion implanta-tion with a dose of 1× 10 ̄(12)cm ̄(-2) at 50 keV does not cause microstructural change of the film at a micrometrelevel. Combined with previous studies by using high resolution transmission electron microscopy, it appearsthat the structural modification is at an atomic scale. 展开更多
关键词 SUPERCONDUCTORS Thin film Ion implantation Scanning elec-tron microscopy(SEM)
下载PDF
Statistical properties of the photoelectron energy spectrum generated by an intense laser pulse and a continuous X-ray
20
作者 葛愉成 葛湘洁 何海萍 《Chinese Physics B》 SCIE EI CAS CSCD 2014年第11期325-331,共7页
This study shows that the photoelectron energy spectrum generated by an intense laser pulse in the presence of a continuous X-ray has interesting and useful statistical properties. The total photoionization production... This study shows that the photoelectron energy spectrum generated by an intense laser pulse in the presence of a continuous X-ray has interesting and useful statistical properties. The total photoionization production is linearly propor- tional to the time duration of the laser pulse and the square of the beam size. The spectral double energy-integration is an intrinsic value of the laser-assisted X-ray photoionization, which linearly depends on the laser intensity and which quantita- tively reflects the strengths of the laser-field modulation and the quantum interference between photoelectrons. The spectral energy width also linearly depends on the laser intensity. These linear relationships suggest new methods for the in-situ measurement of laser intensity and pulse duration with high precision. 展开更多
关键词 laser intensity pulse duration X-ray-boosted photoionization statistical properties of photoelec-tron energy spectrum
下载PDF
上一页 1 2 10 下一页 到第
使用帮助 返回顶部