【摘要】针对UML的半形式化的表达方式缺乏精确的语义,无法验证软件设计过程中正确性的问题,展开UML设计模型到Simulink仿真模型转换方法研究。提出了一种UML状态机到Simulink/Stateflow的模型转换方法,建立UML状态机元模型、Simulink/Stateflow元模型以及状态机元模型到Stateflow元模型的映射规则。选取自动飞控软件作为案例,验证该方法的正确性。方法实现U […]

【摘要】癌痛即恶性肿瘤引起的疼痛。因其程度剧烈,难以忍受,严重影响了患者正常工作和生活。其中由原发性骨肉瘤、乳腺癌、前列腺癌或肺癌等肿瘤转移至骨所致的疼痛最为常见。目前临床用于镇痛的药物因成瘾性或其他毒副作用严重限制了其使用,因此研究并阐明骨癌痛的病理机制以寻求安全有效缓解疼痛的临床治疗药物,提高患者生存质量势在必行。骨癌痛具有独特复杂的病理机制,至今未能完全阐明。近年来,结合国内外及我们实验室前 […]