期刊文献+
共找到330篇文章
< 1 2 17 >
每页显示 20 50 100
Metro train rescheduling by adding backup trains under disrupted scenarios
1
作者 Jiateng YIN Yihui WANG +2 位作者 Tao TANG Jing XUN Shuai SU 《工程管理前沿:英文版》 2017年第4期418-427,共10页
In large cities with heavily congested metro lines, unexpected disturbances often occur, which may cause severe delay of multiple trains, blockage of partial lines, and reduction of passenger service. Metro dispatcher... In large cities with heavily congested metro lines, unexpected disturbances often occur, which may cause severe delay of multiple trains, blockage of partial lines, and reduction of passenger service. Metro dispatchers have taken a practical strategy of rescheduling the timetable and adding several backup trains in storage tracks to alleviate waiting passengers from crowding the platforms and recover from such disruptions. In this study,we first develop a mixed integer programming model to determine the optimal train rescheduling plan with considerations of in-service and backup trains. The aim of train rescheduling is to frequently dispatch trains to evacuate delayed passengers after the disruption. Given the nonlinearity of the model, several linearization techniques are adapted to reformulate the model into an equivalent linear model that can be easily handled by the optimization software. Numerical experiments are implemented to verify the effectiveness of the proposed train rescheduling approach. 展开更多
Central projections and connections of lumbar primary afferent fibers in adult rats:effectively revealed using Texas red-dextran amine tracing 预览
2
作者 Shi-de Lin Tao Tang +1 位作者 Ting-bao Zhao Shao-jun Liu 《中国神经再生研究:英文版》 SCIE CAS CSCD 2017年第10期1695-1702,共8页
Signals from lumbar primary afferent fibers are important for modulating locomotion of the hind-limbs.However,silver impregnation techniques,autoradiography,wheat germ agglutinin-horseradish peroxidase and cholera tox... Signals from lumbar primary afferent fibers are important for modulating locomotion of the hind-limbs.However,silver impregnation techniques,autoradiography,wheat germ agglutinin-horseradish peroxidase and cholera toxin B subunit-horseradish peroxidase cannot image the central projections and connections of the dorsal root in detail.Thus,we injected 3-k Da Texas red-dextran amine into the proximal trunks of L4 dorsal roots in adult rats.Confocal microscopy results revealed that numerous labeled arborizations and varicosities extended to the dorsal horn from T12–S4,to Clarke's column from T10–L2,and to the ventral horn from L1–5.The labeled varicosities at the L4 cord level were very dense,particularly in laminae I–Ⅲ,and the density decreased gradually in more rostral and caudal segments.In addition,they were predominately distributed in laminae I–IV,moderately in laminae V–VⅡ and sparsely in laminae VⅢ–X.Furthermore,direct contacts of lumbar afferent fibers with propriospinal neurons were widespread in gray matter.In conclusion,the projection and connection patterns of L4 afferents were illustrated in detail by Texas red-dextran amine-dorsal root tracing. 展开更多
关键词 初级传入纤维 德克萨斯 成年大鼠 连接模式 葡聚糖 显示 辣根过氧化物酶 示踪法
在线阅读 下载PDF
A Moissbauer investigation of nano-NiFe alloy/expanded graphite for electromagnetic shielding 预览
3
作者 Wei Liu Yu-An Huang +4 位作者 Lai Wei Ya Zhai Rui-Li Zhang Tao Tang Run-Sheng Huang 《核技术:英文版》 SCIE CAS CSCD 2016年第6期155-160,共6页
A new material is prepared by impregnating the expanded graphite(EG) into ethanol solutions of metal acetate and then drying and reducing it in H2.It contains the EG and the nanoparticles of the magnetic Ni–Fe alloy ... A new material is prepared by impregnating the expanded graphite(EG) into ethanol solutions of metal acetate and then drying and reducing it in H2.It contains the EG and the nanoparticles of the magnetic Ni–Fe alloy for the electromagnetic shielding.Its morphology,phase structure,magnetic properties,and electromagnetic shielding effectiveness(SE) are investigated in our experiment.It shows that the morphology,the phase structure,and the magnetic property of the composite can be modified by altering the Ni content in the alloy nanoparticles.Interestingly,the SE can be enhanced to 54–70 d B at low frequencies(300 kHz–10 MHz) by dispersing the magnetic nanoparticles onto EG. 展开更多
关键词 电磁屏蔽效能 膨胀石墨 纳米颗粒 铁合金 NIFE 磁性纳米粒子 金纳米粒子 磁性能
在线阅读 下载PDF
Primary advanced esophago-gastric melanoma: A rare case 预览
4
作者 Lin Wang Liang Zong +5 位作者 Hidetsugu Nakazato Wen-Yue Wang Chao-Feng Li Yan-Fen Shi Guo-Chao Zhang Tao Tang 《世界胃肠病学杂志:英文版》 SCIE CAS 2016年第11期3296-3301,共6页
Primary esophageal or gastric melanoma is a very rare disease with early metastasis. Due to its atypical symptom and less efficiency of chemotherapy and radiotherapy, the prognosis of esophageal or gastric melanoma is... Primary esophageal or gastric melanoma is a very rare disease with early metastasis. Due to its atypical symptom and less efficiency of chemotherapy and radiotherapy, the prognosis of esophageal or gastric melanoma is still very poor. Surgical resection remains the preferential treatment for esophageal or gastric melanoma. Here we present an extremely rare case of primary advanced esophago-gastric melanoma. Debulking surgery was performed without chemotherapy or radiotherapy. However, abdominal recurrence and hepatic metastases were found within one month by a postoperative follow-up computed tomography. Three and a half months after surgical resection, the patient died of extensive abdominal metastasis. 展开更多
关键词 MALIGNANT MELANOMA Esophago-gastric JUNCTION Surgery CHEMOTHERAPY PROGNOSIS
在线阅读 免费下载
Acceleration feedback control (AFC) enhanced by disturbance observation and compensation (DOC) for high precision tracking in telescope systems
5
作者 Qiang Wang Hua-Xiang Cai +8 位作者 Yong-Mei Huang Liang Ge Tao Tang Yan-Rui Su Xiang Liu Jin-Ying Li Dong He Sheng-Ping Du Yu Ling 《天文和天体物理学研究:英文版》 SCIE CAS CSCD 2016年第8期51-60,共10页
In this paper, a cascade acceleration feedback control(AFC) enhanced by a disturbance observation and compensation(DOC) method is proposed to improve the tracking precision of telescope systems.Telescope systems usual... In this paper, a cascade acceleration feedback control(AFC) enhanced by a disturbance observation and compensation(DOC) method is proposed to improve the tracking precision of telescope systems.Telescope systems usually suffer some uncertain disturbances, such as wind load, nonlinear friction and other unknown disturbances. To ensure tracking precision, an acceleration feedback loop which can increase the stiffness of such a system is introduced. Moreover, to further improve the tracking precision, we introduce the DOC method which can accurately estimate the disturbance and compensate it. Furthermore,the analysis of tracking accuracy used by this method is proposed. Finally, a few comparative experimental results show that the proposed control method has excellent performance for reducing the tracking error of a telescope system. 展开更多
关键词 telescopes—instrumentation control method–instrumentation miscellaneous high angular resolution–instrumentation detector—control software
长链支化聚丙烯结晶行为及发泡性能研究 被引量:2
6
作者 张振江 唐涛 +2 位作者 祝丽荔 魏凯 乔磊 《高分子学报》 SCIE CAS CSCD 北大核心 2016年第4期457-463,共7页
通过广角X射线衍射(WAXD)、示差扫描量热(DSC)和偏光显微镜(POM)研究了长链支化聚丙烯(LCBPP)和线性等规聚丙烯(PP)的结晶行为.WAXD和DSC的结果显示LCBPP样品有利于β结晶,出现了少量β晶.DSC和POM的结果显示在等温结晶过程... 通过广角X射线衍射(WAXD)、示差扫描量热(DSC)和偏光显微镜(POM)研究了长链支化聚丙烯(LCBPP)和线性等规聚丙烯(PP)的结晶行为.WAXD和DSC的结果显示LCBPP样品有利于β结晶,出现了少量β晶.DSC和POM的结果显示在等温结晶过程中长链支化结构起到促进异相成核和细化晶粒的作用,LCBPP样品的结晶温度提高,结晶速度增大,球晶尺寸显著减小.采用间歇釜式超临界二氧化碳发泡法对LCBPP和线性PP样品进行发泡,由于LCBPP结晶温度高,结晶速率更快,有利于泡孔的固化定型,可以提高发泡温度,研究结果表明在相同的发泡压力下LCBPP样品发泡温度窗口较宽,为5 K左右,而线性PP样品的发泡温度窗口较窄,仅为2 K左右,同时在相同的发泡条件下LCBPP样品的发泡倍率较大. 展开更多
关键词 长链支化聚丙烯 结晶 发泡
AZ80镁合金热挤压织构的多晶体建模(英文) 预览
7
作者 邵一川 汤韬 +3 位作者 李大永 周国伟 张少睿 彭颖红 《中国有色金属学报:英文版》 SCIE EI CAS CSCD 2016年第4期1063-1072,共10页
为合理模拟AZ80镁合金的热挤压织构,在粘塑性自洽(VPSC)多晶体塑性框架中实现了动态再结晶织构的模拟。基于此模型,考察了挤压温度和挤压边界条件对AZ80镁合金挤压织构的影响,模拟所得结果与实验结果有较好的吻合。模拟结果表明:新的大... 为合理模拟AZ80镁合金的热挤压织构,在粘塑性自洽(VPSC)多晶体塑性框架中实现了动态再结晶织构的模拟。基于此模型,考察了挤压温度和挤压边界条件对AZ80镁合金挤压织构的影响,模拟所得结果与实验结果有较好的吻合。模拟结果表明:新的大角度界面(HABs)的形成使再结晶晶粒与母晶之间形成取向差,再结晶晶粒因此偏离母晶形成了{2110}纤维织构组分。此外,因为基面<a>滑移具有更低的滑移抗力并易于开动,当垂直于挤压轴方向上加载的应变不再轴对称时,晶粒的基面总倾向于转向加载应变更多的方向以便于基面<a>滑移承载更多的塑性变形。挤压温度的升高有利于锥面<c+a>滑移的开动并使再结晶体积分数增多,在一定程度上弱化了挤压形成的基面织构。 展开更多
关键词 AZ80镁合金 多晶体塑性 织构 热挤压 动态再结晶
在线阅读 下载PDF
Preparation of high-purity monodisperse silica microspheres by the sol-gel method coupled with polymerization-induced colloid aggregation
8
作者 Beibei Zhao Yan Zhang +3 位作者 Tao Tang Fengyun Wang Tong Li Qiyu Lu 《中国颗粒学报:英文版》 SCIE EI CAS CSCD 2015年第5期177-184,共8页
Ultra-pure mesoporous silica microspheres with good monodispersity were synthesized in two steps:nanometer-sized silica sol was produced by the sol-gel process,then micrometer-sized silica microspheres were synthesize... Ultra-pure mesoporous silica microspheres with good monodispersity were synthesized in two steps:nanometer-sized silica sol was produced by the sol-gel process,then micrometer-sized silica microspheres were synthesized by polymerization-induced colloid aggregation of the silica sol.The total metal content of the microspheres was extremely low,which eliminated the tailing of chromatographic peaks by chelating reagents.The pore structure of the silica microspheres could be controlled by altering the sol-gel conditions.The silica microsphere particle size could be adjusted by using different polymerizationinduced colloid aggregation conditions. 展开更多
关键词 二氧化硅微球 溶胶-凝胶法 单分散性 制备 二氧化硅溶胶 溶胶-凝胶过程 纯度 胶体聚集
Synthesis and Rheological Investigation of Model Symmetric 3-Arm Star Polyethylene
9
作者 Feng Liu Dong Wan Tao Tang 《高分子科学:英文版》 SCIE CAS CSCD 2014年第1期51-63,共13页
许多线性并且盖住大量分子的重量的 3 手臂星聚乙烯(PE ) 模型聚合物被丁二烯和随后的加氢的生活聚合综合。线性的模型和 3 手臂星 PE 取样的这些的几个 rheological 参数为检测分叉的长链(LCB ) 被分析结构。分析基于零砍,这被发现粘... 许多线性并且盖住大量分子的重量的 3 手臂星聚乙烯(PE ) 模型聚合物被丁二烯和随后的加氢的生活聚合综合。线性的模型和 3 手臂星 PE 取样的这些的几个 rheological 参数为检测分叉的长链(LCB ) 被分析结构。分析基于零砍,这被发现粘性, vGP 阴谋和流动激活精力对 3 手臂星足很敏感。LCB 的存在的信息能甚至为低分子的重量样品与这些方法被获得,它不能由 GPC 广场是坚定的。然而, LCB 结构的信息不能被 rheological 方法独自获得。 展开更多
关键词 加氢合成 星形 对称型 变调 流变参数 线性模型 低分子量 丁二烯聚合
Experimental study on filtration and continuous regeneration of a particulate filter system for heavy-duty diesel engines 被引量:3
10
作者 Tao Tang Jun Zhang +2 位作者 Dongxiao Cao Shijin Shuai Yanguang Zhao 《环境科学学报:英文版》 SCIE EI CAS CSCD 2014年第12期2434-2439,共6页
这研究在一张引擎测试凳子上调查了过滤和一个微粒过滤器系统的连续新生,由柴油机氧化催化剂(文档) 和一个催化柴油机微粒过滤器(CDPF ) 组成。DOC 和 CDPF 导致了高变换不到为连续新生的没有 <sub>2</sub> 。稳固的粒子数... 这研究在一张引擎测试凳子上调查了过滤和一个微粒过滤器系统的连续新生,由柴油机氧化催化剂(文档) 和一个催化柴油机微粒过滤器(CDPF ) 组成。DOC 和 CDPF 导致了高变换不到为连续新生的没有 <sub>2</sub> 。稳固的粒子数字(SPN ) 上的过滤效率接近了 100% 。post-CDPF 粒子主要在累积模式。下游的 SPN 被装载的煤烟的变化易感知地影响。这现象为由测量 SPN 集中的趋势决定平衡点温度提供一个方法。 展开更多
关键词 过滤器系统 颗粒过滤器 连续再生 柴油发动机 实验 重型 发动机试验台 氧化催化剂
Microstructure Characterization of Short-chain Branching Polyethylene with Differential Scanning Calorimetry and Successive Self- nucleation/Annealing Thermal Fractionation
11
作者 Yan-hu Xue Yan-hui Wang +4 位作者 Yan-di Fan He-ran Yang Tao Tang Shu-qin Bo Xiang-ling Ji 《高分子科学:英文版》 SCIE CAS CSCD 2014年第6期751-757,共7页
A series of the copolymers of ethylene with 1-hexene(M1–M9) synthesized by metallocene catalyst Et[Ind]2ZrCl2/MAO was studied by differential scanning calorimetry and successive self-nucleation and annealing(SSA) the... A series of the copolymers of ethylene with 1-hexene(M1–M9) synthesized by metallocene catalyst Et[Ind]2ZrCl2/MAO was studied by differential scanning calorimetry and successive self-nucleation and annealing(SSA) thermal fractionation. The distribution of methylene sequence length(MSL) in the different copolymers was determined using the SSA method. The comonomer contents of samples M4 and M5 are 2.04 mol% and 2.78 mol%, respectively. Both M4 and M5 have low comonomer content and their MSL distribution profiles exhibit a monotonous increase trend with their MSL. The longest MSL of M5 is 167, and its corresponding molar percent is 43.95%, which is higher than that of M4. Moreover, the melting temperature(Tm) of M5 is also higher than that of M4. The comonomer contents of samples M7, M8, and M9 are 8.73 mol%, 14.18 mol% and 15.05 mol%, respectively. M7, M8, and M9 have high comonomer contents, and their MSL distribution profiles display unimodality. M7 has a lower peak value of 33 and a narrow MSL distribution, resulting in a Tm lower than that of M8 and M9. The MSL and its distribution are also key points that influence the melting behavior of copolymers. Sometimes, MSL and its distribution of copolymers have a greater impact on it than the total comonomer contents, which is different from traditional views. 展开更多
关键词 差示扫描量热法 支化聚乙烯 退火温度 微观结构表征 自成核 分馏 共聚单体 短链
硅杂环戊二烯并苯有机小分子化合物研究进展
12
作者 曲红梅 蒋丽丽 +1 位作者 陈涛 唐建可 《有机化学》 SCIE CAS CSCD 北大核心 2014年第6期1061-1073,共13页
硅杂环戊二烯并苯有机小分子结构的特殊性,赋予其独特的光电特性,在有机光电功能材料等领域具有广阔的应用前景.其中,并苯的刚性共平面结构可避免构象无序性、扩大π-共轭;硅杂环戊二烯能够形成σ*-π*共轭,可有效降低体系LUMO能级、... 硅杂环戊二烯并苯有机小分子结构的特殊性,赋予其独特的光电特性,在有机光电功能材料等领域具有广阔的应用前景.其中,并苯的刚性共平面结构可避免构象无序性、扩大π-共轭;硅杂环戊二烯能够形成σ*-π*共轭,可有效降低体系LUMO能级、提高电子亲合势.硅杂环戊二烯并苯有机小分子主要包括苯并噻咯、硅桥联对二苯乙烯衍生物、二苯并噻咯和双硅桥联对-三联苯等.综述了硅杂环戊二烯并苯小分子的合成方法、结构修饰、性能及应用的研究进展,并对今后的研究方向进行了展望. 展开更多
关键词 硅杂环戊二烯并苯 硅桥联 π-共轭 光电材料
OpenMC: Towards Simplifying Programming for TianHe Supercomputers
13
作者 廖湘科 杨灿群 +4 位作者 唐滔 易会战 王锋 吴强 薛京灵 《计算机科学技术学报:英文版》 SCIE EI CSCD 2014年第3期532-546,共15页
Modern petascale and future exascale systems are massively heterogeneous architectures. Developing productive intra-node programming models is crucial toward addressing their programming challenge. We introduce a dire... Modern petascale and future exascale systems are massively heterogeneous architectures. Developing productive intra-node programming models is crucial toward addressing their programming challenge. We introduce a directivebased intra-node programming model, OpenMC, and show that this new model can achieve ease of programming, high performance, and the degree of portability desired for heterogeneous nodes, especially those in TianHe supercomputers.While existing models are geared towards offloading computations to accelerators(typically one), OpenMC aims to more uniformly and adequately exploit the potential offered by multiple CPUs and accelerators in a compute node. OpenMC achieves this by providing a unified abstraction of hardware resources as workers and facilitating the exploitation of asynchronous task parallelism on the workers. We present an overview of OpenMC, a prototyping implementation, and results from some initial comparisons with OpenMP and hand-written code in developing six applications on two types of nodes from TianHe supercomputers. 展开更多
关键词 超级计算机 编程模型 计算节点 OPENMP 计算机节点 超大规模 硬件资源 任务并行
CT引导下肝脓肿引流的围手术期护理及随访 预览 被引量:2
14
作者 虞岑琳 曹传武 +1 位作者 潘慧 李茂全 《中华介入放射学电子杂志》 2014年第3期70-72,共3页
目的探讨在CT引导下肝脓肿穿刺引流术患者的有效护理方法。方法:对118例确诊为肝脓肿的患者做好CT引导下穿刺引流术前护理,每日用抗生素反复冲洗,观察引流液的情况,直至脓腔消失,拔除引流管。结果 118例肝脓肿患者,其中114例均影像学检... 目的探讨在CT引导下肝脓肿穿刺引流术患者的有效护理方法。方法:对118例确诊为肝脓肿的患者做好CT引导下穿刺引流术前护理,每日用抗生素反复冲洗,观察引流液的情况,直至脓腔消失,拔除引流管。结果 118例肝脓肿患者,其中114例均影像学检查,脓腔消失,脓肿明显消失,体温正常,痊愈出院。结论周密细致的护理工作对CT引导穿刺引流治疗肝脓肿患者的治疗起到关键性的作用。 展开更多
关键词 肝脓肿 经皮肝 穿刺 护理
在线阅读 下载PDF
SYNTHESIS AND CHARACTERIZATION OF RANDOM OR GRADIENT BUTADIENE-p-METHYLSTYRENE COPOLYMERS VIA ANIONIC POLYMERIZATION 被引量:1
15
作者 Feng Liu Hai-ying Tan 唐涛 《高分子科学:英文版》 SCIE CAS CSCD 2013年第12期1647-1659,共13页
1,3 丁二烯和 p-methylstyrene (下午) 的共聚物经由 anionic 聚合被综合。benzophenone 钾建筑群被增加调节二单体的反应比率,导致沿着共聚物链的随机和坡度作文。全面作文和微观结构能被 GPC 和 1H-NMR 控制并且很好描绘了。下午与增... 1,3 丁二烯和 p-methylstyrene (下午) 的共聚物经由 anionic 聚合被综合。benzophenone 钾建筑群被增加调节二单体的反应比率,导致沿着共聚物链的随机和坡度作文。全面作文和微观结构能被 GPC 和 1H-NMR 控制并且很好描绘了。下午与增加 benzophenone 钾建筑群的内容从坡度被散布到随机,并且在 polybutadiene 顺序的 1,2 微观结构同时增加了。1,3 丁二烯和下午的共聚物的加氢与良好结构和狭窄的分子的重量分发导致了相应浸透的共聚物。 展开更多
关键词 苯乙烯共聚物 阴离子聚合 聚丁二烯 反应合成 随机 对甲基 表征 威盛
MPtostream: an OpenMP compiler for CPU-GPU heterogeneous parallel systems
16
作者 YANG XueJun TANG Tao WANG GuiBin JIA Jia XU XinHai 《中国科学:信息科学(英文版)》 SCIE EI 2012年第9期1961-1971,共11页
考虑到 GPU 强大的浮点操作能力,合并通用中央处理器和 GPU 的异构的平行系统在高效计算(HPC ) 的研究领域里成为了一个热点。由于 GPU 上的编程的复杂性,然而移植很多存在科学计算应用到异构的平行系统遗体大挑战。OpenMP 编程接口... 考虑到 GPU 强大的浮点操作能力,合并通用中央处理器和 GPU 的异构的平行系统在高效计算(HPC ) 的研究领域里成为了一个热点。由于 GPU 上的编程的复杂性,然而移植很多存在科学计算应用到异构的平行系统遗体大挑战。OpenMP 编程接口广泛地在科学计算的领域里在多核心中央处理器上被采用。为了有效地继承存在 OpenMP 应用并且减少 transplant 费用,我们与一组编译器指令扩大 OpenMP,它明确地在 CPU 和 GPU 之中划分任务,并且印射费时间的计算,碎裂在 GPU 上跑,戏剧性地因此简化移植。我们设计了并且实现 MPtoStream,为 AMD 溪流处理的扩大 OpenMP 的一个编译器 GPU。我们的试验性的结果独自证明有扩大指令的编程由不到 11% 修正与 OpenMP 从编程背离并且完成在一个异构的系统上从 3.1 ~ 17.3 的重要加速,合并一个 Intel Xeon E5405 中央处理器和 AMD FireStream 9250 GPU,在 Xeon 中央处理器上的执行上。 展开更多
关键词 OPENMP 异构系统 并行系统 编译器 性能计算 编程接口 浮点运算能力 应用程序
A FAST HIGH ORDER METHOD FOR ELECTROMAGNETIC SCATTERING BY LARGE OPEN CAVITIES 被引量:1
17
作者 Meiling Zhao Zhonghua Qiao Tao Tang 《计算数学:英文版》 SCIE CSCD 2011年第3期287-304,共18页
在这份报纸,从在一架无限的地面飞机嵌入的一个矩形的大开的洞的电磁的散布被学习。由介绍一个非局部的人工的边界条件,来自开的洞的散布问题被归结为一个围住的领域问题。有限差别计划然后被求婚到的 A 协议第四顺序分离在矩形的领... 在这份报纸,从在一架无限的地面飞机嵌入的一个矩形的大开的洞的电磁的散布被学习。由介绍一个非局部的人工的边界条件,来自开的洞的散布问题被归结为一个围住的领域问题。有限差别计划然后被求婚到的 A 协议第四顺序分离在矩形的领域散布模型的洞,和一个特殊处理被强制接近边界调节,它让截断错误到达 O (h [4 ]) 在全部计算领域。一个快算法,利用分离 Fourier 转变在水平并且在垂直方向的 Gaussian 消除,被采用,它把分离系统归结为一个小得多的接口系统。有效 pre-conditioner 被介绍让 BICGstab 反复的解答者解决这个接口系统。数字结果表明建议方法的显著精确性和效率。特别地,为大波浪数字解决洞模型直到 600 能被用来。[从作者抽象] 展开更多
关键词 电磁散射 开放腔 离散傅立叶变换 订购 人工边界条件 近似边界条件 散射模型 高斯消去法
Formal verification of safety protocol in train control system 被引量:1
18
作者 ZHANG Yan TANG Tao +4 位作者 LI KePing MERA Jose Manuel ZHU Li ZHAO Lin XU TianHua 《中国科学:技术科学英文版》 SCIE EI CAS 2011年第11期 3078-3090,共13页
以便满足安全批评的要求,火车控制系统(TCS ) 经常采用一个分层的安全通讯协议提供可靠服务。然而,对安全协议的描述和确认可能由于系统复杂性是可怕的。在这份报纸,接口自动机(IA ) 被用来描述安全通讯协议的安全服务接口行为。一... 以便满足安全批评的要求,火车控制系统(TCS ) 经常采用一个分层的安全通讯协议提供可靠服务。然而,对安全协议的描述和确认可能由于系统复杂性是可怕的。在这份报纸,接口自动机(IA ) 被用来描述安全通讯协议的安全服务接口行为。一个正式确认方法被建议用 IA 描述安全通讯协议并且把 IA 模型翻译成 PROMELA 模型以便协议能被模型检查器旋转验证。使用这个方法描述并且证实一个安全通讯协议被包括的案例研究。确认结果说明建议方法是有效的描述安全协议并且验证僵局, livelocks 和几个强制一致性性质。安全协议的一个原型也基于介绍正式验证的方法被开发。 展开更多
关键词 列车控制系统 形式化验证 安全协议 安全通信协议 接口自动机 安全服务 核查方法 模型检查
Scientific literature addressing brain glioma in the Web of Science A 10-year bibliometric analysis 预览
19
作者 Zaihua Xu Tao Tang Dongsheng Pan Di Fan Zhenquan Song Hongli Xue 《中国神经再生研究:英文版》 SCIE CAS CSCD 2011年第32期 2537-2544,共8页
Brain glioma is a hot topic in recent years; however, brain glioma remains poorly understood. A bibliometric analysis based on the Science Citation Index (SCI) published by the Institute of Scientific Information (ISI... Brain glioma is a hot topic in recent years; however, brain glioma remains poorly understood. A bibliometric analysis based on the Science Citation Index (SCI) published by the Institute of Scientific Information (ISI) was performed to identify the global research and to improve the understanding of research trends in the brain glioma field from 2001 to 2010. During 2001 to 2010, there were 8 413 papers addressing brain glioma added to the SCI, and this trend is increasing annually. Of these reports, 6 945 papers are written in English. Journals published in the United States had the most papers, including ten core source titles. The Journal of Neuro-Oncology published the most articles followed by Cancer Research. Furthermore, the University of California, San Francisco, is the most productive institution for publishing articles in the brain glioma field. Finally, this study highlights the topics in brain glioma research that are being published around the world. 展开更多
关键词 脑胶质瘤 计量分析 科学文献 Web 科学引文索引 期刊论文 科学信息 加州大学
在线阅读 下载PDF
FINITE ELEMENT ANALYSIS OF CARDIAC MYOCYTE DEBONDING AND REORIENTATION DURING CYCLIC SUBSTRATE STRETCH EXPERIMENTS 预览
20
作者 Tao Tang Jun Qiu Meng Zhang Zhuo Zhuang 《固体力学学报:英文版》 SCIE EI 2009年第4期 307-319,共13页
底层段实验,在几种支持者房间上被执行,通常被用来抓住到周期的底层变丑的生理的变化和词法反应。在这篇论文,段装载用一台定做的底层段设备在在硅石底层上有教养的心脏的 myocytes 上被施加。心脏的 myocytes 的排列取向上的段的效... 底层段实验,在几种支持者房间上被执行,通常被用来抓住到周期的底层变丑的生理的变化和词法反应。在这篇论文,段装载用一台定做的底层段设备在在硅石底层上有教养的心脏的 myocytes 上被施加。心脏的 myocytes 的排列取向上的段的效果通过 morphocytological 统计被学习。在周期的段刺激下面,心脏的 myocytes 的长斧子面向垂直地行动到为连续的段的段方向。然而,位于这些行为下面的机制很好没在 vitro 测试从这被理解。有限元素(FE ) 模型在分析被开发调查这些行为。Xu 裁缝明确的表达被用来为在房间和底层之间的接触表面定义相互作用行为。房间粘弹性自然的角色与底层在支持者房间 debonding 被学习并且排列对段方向垂直在长时间期间周期的段刺激。有四不同紧张大小,在模拟考虑发现周期的紧张影响的房间 debonding。在调整房间 debonding 和排列的周期的紧张频率的潜在的角色也用 FE 分析被学习。 展开更多
关键词 有限元分析 心肌细胞 拉伸过程 时间调整 循环实验 基底变形 粘结 贴壁细胞
在线阅读 下载PDF
上一页 1 2 17 下一页 到第
使用帮助 返回顶部 意见反馈