oalib

OALib Journal期刊

ISSN: 2333-9721

费用:99美元

投稿

时间不限

2017 ( 4 )

2016 ( 232 )

2015 ( 6926 )

2014 ( 7109 )

自定义范围…

匹配条件: “<br>朱梅霞” ,找到相关结果约319065条。
列表显示的所有文章,均可免费获取
第1页/共319065条
每页显示
Approach to Transforming MARTS Sequence Diagram to TTS4SD Models
MARTE顺序图到TTS4SD的转换

ZHU Mei-xia,WU Ji-gang,<br>,武继刚
计算机科学 , 2013,
Abstract: The sequence diagram was extended in the MARTE specification for modeling purpose, but it can not be used in the correctness verification stage. The OMG proposes to solve this problem by model transformation techniques; the model A is transformed to a formal model B which is equipped with efficient analysis or verification tools. ho describe the semantics of A by model B can guarantee the bi-simulation relation between them. A model named timed transition system for sequence diagram(TTS4SD)was proposed. At first,we offered the formal syntax of the sectuence diagram and the TTS4SD,then we described the semantics of the sequence diagram by I hS4SD. Taking the semantics as basis,the checking work was carried out on the TTS4SD.An example was given to describe the above process.
Isolation and identification of a Staphylococcus aureus small colony variants
一株金黄色葡萄球菌小菌落突变株的分离鉴定

Juanmei He,Jun Zhu,Guoxiang Chao,Xiaofang Zhu,Xiaoping Zhu,Lanmei Dong,Weixia Yang,Guoqiang Zhu,<br>何娟,,巢国祥,晓芳,小平,董兰,杨伟,国强
微生物学报 , 2009,
Abstract: Abstract: Objective] Staphylococcus aureus small colony variants (S. aureus SCVs) could lead to persistent, recurrent infection with the characteristics of aminoglycosides antibiotics resistance, making them a big challenge for clinical diagnosis and therapy. We aimed at isolating and identifying isolates of S. aureus SCVs and providing the biological material of SCVs study in China. Methods] The combination assays of observing colony phenotype, identification of the species-specific gene nuc of S. aureus by PCR amplification and a series of biochemical tests were conducted on 104 clinical isolates originally isolated from human, cow and environment. The suspected isolates were confirmed as S. aureus SCVs by complementation assay with supplementation of menadione, thiamine, thymine and haemin. Results] One of the isolates from environment was identified as SCVs, named CDC54 with the species-specific gene nuc of Staphylococcus aureus (S. aureus) confirmed by PCR amplification, whose major phenotypes included smaller colony, decreased pigmentation, decreased coagulase, reduced fermentation of lactose, decreased haemolytic activity, increased resistance to aminoglycosides.Conclusion] The CDC54 will play an important role in studying prevention, control and pathogenesis for S. aureus SCVs infection.
新生儿皮肤t细胞淋巴瘤1例报告
韩慧,
南方医科大学学报 , 2006,
Abstract: 1临床资料患者男性,新生儿,34d,自出生后即发现右耳后、右颈窝、左上腹部、左大腿外侧及右手食指末端等处有多个小米粒大小的皮肤结节,红色,无明显隆起。随后各处结节均有不同程度的增大,但以颈部结节增大较明显,约米粒至黄豆大小,表面有糜烂。新生儿睡眠欠佳,无发热,饮食无明显影响。查体:右耳后、右颈窝、左上腹部、左大腿外侧及右手食指末端等处有多个散在微隆起于表面、红色、绿豆至花生米大小的皮肤结节,表面有少许渗出并有痂皮形成。颈部结节表面破溃大小1cm×1cm。全身检查未发现其他异常。临床诊断为皮肤小汗腺肿瘤。切取颈部皮肤结节进行病理检查。大体:灰白色梭形皮肤组织1个,大小0.8cm×0.5c更多还原
zro2光纤套管材料的改性
,
天津大学学报(自然科学与工程技术版) , 2005,
Abstract: 为了降低zro2光纤套管材料成本,降低材料的烧结温度,并对其他性能进行改善,对zro2材料进行了改性研究.通过强度、韧性和热膨胀系数测定,研究了改性材料的力学和热学性能;通过sem和xrd分析了材料的显微结构变化和晶相组成.研究结果表明,添加las玻璃粉的材料随las含量的增加,烧结温度明显下降,材料内部具有更细的微晶结构.在烧结过程中,las玻璃粉晶化为具有较高强度和较低热膨胀系数的β锂辉石固溶体,所以,随着材料中las含量的增加,材料的力学性能虽然下降,但仍保持了较高的强度和韧性,能够满足光纤套管的制备需要,并具有较低的热膨胀系数,更有利于套管与光纤间的热匹配.
marte顺序图到tts4sd的转换
,武继刚?
计算机科学 , 2013,
Abstract: marte对um工的顺序图进行了扩充,使其适用于实时系统的建模阶段,但它不能直接用于正确性验证阶段。对象管理组织提出用模型转换的方法将依照marte构造的顺序图(记为a)转换成具有完备的验证方法和工具的形式化模型(记为b)。用b表示a的语义可以保证i3能够完整且准确地模拟a的行为。提出了形式化模型=tts4sd,用来描述marte顺序图的形式语义,并在此基础上展开了验证。首先给出顺序图的形式定义,把时间变迁系统(tts)扩充成tts4sd;然后用tts4sd描述顺序图的形式语义,并给出从顺序图到tts4sd的转换算法;最后对tts4sd展开分析。通过一个实例说明了从顺序图到tts4sd的转化过程以及基于tts4sd的验证方法。
DELIVERABILITY TESTING METHOD OF GAS CONDENSATE WELLSWITH HIGH CONDENSATE CONTENT AND ITS APPLICATION
高凝析油含量凝析气井产能试井方法及应用

HE Shu-mei,YANG Bo,WANG Zhe,LENG Yan,TAN Zhen-hua,MA Qiao,ZHU Yin-xia,<br>何书,杨波,王哲,冷岩,谭振华,马乔,
天然气地球科学 , 2007,
Abstract: Aiming at the problems in the process of the stabilized well test of gas condensate wells with high condensate content, the flexibility of stabilized test in this kind of wells is analyzed based on the withdrawal characteristics of gas condensate reservoirs. A well test method adapted to gas condensate wells with high condensate content is put forward, which takes the well production characteristics into consideration. The field conduct of the method shows that the modified isochronal testing method can eliminate the effects of retrograde condensation on test results and obtain precise testing results, providing the foundation for reasonable production proration.
Activation of Akt/FKHRL1 Signaling Pathway after Chronic Stress in the Rat Hippocampus
慢性应激对大鼠海马Akt/FKHRL1信号通路活性的影响

Zhu Waner,Hu Changchun,Xie Wenting,Wu Lixia,Chen Zhiyun,Hiroyuki Umegaki,<br>婉儿,胡长春,谢文婷,吴丽,陈芝芸,垣宏行
心理学报 , 2007,
Abstract: 探讨慢性应激对大鼠海马Akt/FKHRL1信号通路活性的影响,及其应激源特异性。将24只雄性SD大鼠随机分为心理应激组、束缚应激组和正常对照组(n=8)。用Western-blotting方法测定28天应激后海马Akt、FKHRL1蛋白含量及其磷酸化水平。结果表明,应激后三组大鼠海马磷酸化Akt、FKHRL1含量差异有统计学意义(P〈0.01;p〈0.001),束缚应激组低于正常对照组(p〈0.01)。提示慢性应激能导致海马磷酸化Akt、FKHRL1表达水平降低,但其影响程度与应激源特异性有关。
Cultural particle swarm optimization algorithm for Job-Shop scheduling problem
一种求解作业车间调度的文化粒子群算法*

ZHU Xia,<br>
计算机应用研究 , 2012,
Abstract: This paper proposed an algorithm for the minimization of the makespan in permutation flow shop scheduling problem(FSSP),which combined cultural particle swarm optimization(CPSO).The algorithm set two kinds of spaces,population space and belief space.The population space was evolved with adaptive PSO strategy,and the belief space was evolved with update function.Particles of population space not only tracked individual extreme and global extreme to update themselves,but also exchanged with good individuals of belief space to speed up the convergence speed.The proposed algorithm was tested on different scale benchmarks and compared with the other representative algorithms.The result shows that CPSO has faster convergence speed and is better than those algorithms in not only the solution quality but also the stability.
具有明显淋巴滤泡增生的血管免疫母细胞性t细胞淋巴瘤1例报告
韩慧,,耿舰
南方医科大学学报 , 2004,
Abstract: 患者男,43岁,因双侧颈部淋巴结肿大伴全身皮疹1周就诊。患者自2003年2月中旬起右颌下、耳后淋巴结肿大,随后左颌下、颈侧淋巴结相继肿大,无明显全身症状。2003年6月中旬全身出现广泛皮疹,2003年7月初双侧扁桃体疼痛、肿大,并有低热,体温37.5~38.0℃,抗炎治疗无效。查体发现全身浅表淋巴结肿大,双侧腋下淋巴结肿大较明显,左腋下淋巴结最大直径5cm,双侧腹股沟淋巴结肿大直径1.5~2.0cm,脾肿大,肋下可触及。ct检查发现纵隔、腹主动脉旁淋巴结肿大1.0~2.5cm不等。曾在外院进行左颈部淋巴结活检,均诊断为反应性增生。
Influence Factors on Subjective Well Being of Scientific Editors
对科技期刊编辑主观幸福感的影响因素调查分析

ZHU WenXia,<br>
中国科技期刊研究 , 2011,
Abstract: 主观幸福感是个体衡量其生活质量的重要指标,本文对科技期刊编辑主观幸福感整体水平进行测定,并对人口统计学因素和文化因素不同层面编辑的主观幸福感水平进行比较分析。运用心理学量表法对期刊编辑主观幸福感的现状结合性别、年龄、学历、职称、婚姻状况、收入进行调查和分析。研究发现:编辑的主观幸福感整体水平处于中等偏上,且女性高于男性,年轻和年老编辑高于中年编辑,正高职称编辑高于其他职称编辑,大专及以下学历编辑低于其他学历编辑,一定范围内收入高编辑高于收入低编辑,已婚并家庭生活和谐的编辑高于已婚并家庭生活不和谐或者单身、离异的编辑。针对编辑开展幸福教育,提升编辑主观幸福感水平,对期刊创造经济效益和促进期刊和谐发展具有重要的意义。
第1页/共319065条
每页显示


Home
Copyright © 2008-2017 Open Access Library. All rights reserved.