UML状态图映射为Petri网模型的方法研究

UML广泛应用于软件建模,然而UML是半形式化的,这使得很难对其进行严格的语义分析和正确性验证。状态图作为UML动态描述机制的重要组成部分,同样存在这样的问题。Petri网作为一种图形化建模工具,具有严格的形式化语法语义,而且有很多成熟的分析方法。本文提出了将UML状态图映射为Petri网模型的方法,并结合实例对映射后的模型进行分析,验证了模型的一系列正确性。     

基于参数化建模的渔船军运改装结构分析系统

总结了各型号渔船改装的规律和特点,采用参数化设计理念,开发了专用结构分析系统,利用Delphi对ANSYS进行了封装,用户只需输入简单的船体结构参数和军用荷载,系统即可自动实现对改装渔船结构的整体有限元分析,极大地降低了结构分析的难度,提高效率、降低成本。计算结果显示,系统采用的整体结构分析方法与传统的针对构件的局部强度分析方法相比,能更科学地反映结构承载情况,结构加强部分截面明显减小,有效减少了附加重量,节约了改装费用。     

我国交通事故现状及预防对策研究

对比分析了我国与发达国家交通事故状况，分析我国交通事故的特点，提出了预防和减少我国交通事故的对策，希冀促进我国道路交通安全水平的提高。     

从先行先试到先行示范——深圳特区40年综合交通体系发展历史实践与未来展望

在中国工业化、城镇化、现代化的不同发展阶段,深圳作为改革开放试验田,在交通领域积极探索适配特定历史阶段特征的交通发展模式.系统梳理得出深圳交通模式先行先试的深层次逻辑:1)领先于全国探索交通供给路径问题,打破政府单一来源的交通供给模式,丰富交通供给路径选择;2)准确识别交通体系结构性演变趋势和发展节奏,始终坚持将集约化...     

情景分析法在交通规划中的应用研究

运用情景分析法,综合考虑影响交通发展的5个主要因素,结合专家群体的知识与实际数据资料、各种信息与计算机技术以及数学模型与决策者的经验智慧,依次得到     

急性过度通气对颅内高压家犬S100B和C反应蛋白的影响

目的观察急性过度通气对颅内压增高犬脑功能的影响。方法16条急性硬膜外血肿家犬均分为4组。A组为对照组,机械通气维持PETCO2在35-45 mmHg。B、C和D组则采用过度通气,使PETCO2分别维持在28-35 mmHg、20-27 mmHg及20 mmHg以下各1 h,在术前(T1)、机械通气后2 h(T2)6、h(T3)、12 h(T4)、24 h(T5)和48 h(T6)分别测定S100B和C反应蛋白(CRP)含量。结果实验组S100B和CRP含量术后不同程度升高。D组S100B 6 h后升高,12 h达到峰值,24 h轻微下降,与术前及对照组比较差异显著(P<0.05),而CRP 2 h后增高,6 h达峰值且持续到48 h,与术前及对照组比较差异显著(P<0.05),B组、C组与对照组比较无差异。结论轻、中度过度通气对家犬脑功能影响较小,重度过度通气对硬膜外血肿犬可引起脑缺血。     

均布荷载作用下双面组合梁的滑移效应分析

利用基本力学方法对钢．混凝土双面组合梁在均布荷载作用下的滑移效应进行分析，推导得到了负弯矩区上、下交界面滑移沿梁长方向的表达式，并通过算例比较了双面组合梁与传统单面连续组合梁的滑移特点。计算表明，与传统单面连续组合梁相比，钢-混凝土双面组合连续梁不仅在负弯矩区提高了截面承载力，也使截面刚度得到了提高。     

Research on Spatially Adaptive High-Order Total Variation Model for Weak Fluorescence Image Restoration

Photoacoustic imaging acquires the absorption contrast of biological tissue with ultrasound resolution. It has been broadly investigated in biomedicine for animal and clinical studies. Recently, a micro-electro-mechanical system (MEMS) scanner has been utilized in photoacoustic imaging systems to enhance their performance and extend the realm of applications. The review provides a recap of recent developments in photoacoustic imaging using MEMS scanner, from instrumentation to applications. The topics include the design of MEMS scanner, its use in photoacoustic microscopy, miniature imaging probes, development of dual-modality systems, as well as cutting-edge bio-imaging studies.     

城市交通运行评价指标体系研究

本文在借鉴美国、日本等城市交通运行评价研究的基础上,结合我国城市交通现行评价研究状况,提出了评价指标的构建原则,建立了城市交通运行评价指标体系,并以北京、上海、天津、重庆等直辖市为例进行试点评价.     

宫颈癌放疗患者生活质量评价

目的　探讨中晚期宫颈癌放疗患者生活质量变化及影响因素 ,评估疾病和治疗对患者生活质量的影响。方法　用生活质量问卷 (EORTCQLQ C30 )及其他调查表等对 132例宫颈癌放疗患者进行评定。结果　治疗期间总体健康状况为疗中 >疗前 >疗后。方差分析提示疼痛、呼吸困难和腹泻指标在放疗过程中有显著性变化 (P <0 .0 5 )。多因素分析表明放疗前影响患者生活质量的因素为疼痛和抑郁 ,放疗中为恶心呕吐 ,放疗后为社会功能和经济困难。结论　宫颈癌放疗患者生活质量受多种因素影响 ,放疗过程中辅助有效的对症处理和干预措施对提高生活质量具有重要临床意义。