检索结果-南通市图书馆

海姆泊芬光动力治疗伴GNAQ突变的Sturge-Weber综合征1例

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

中国皮肤性病学杂志 2024年第6期38卷 640-643页

作者：吴今朝李东升胡燕燕江汉大学医学部湖北武汉430056 武汉市第一医院皮肤科湖北武汉430022

患者男,24岁,出生时出现左面部红色斑片。皮肤科情况:左面部紫红色斑片,皮损增厚,左唇部增厚变形。皮损组织病理示:真皮内可见毛细血管增生,部分血管管内充满红细胞。脑磁共振成像示:左侧上颌骨旁见结节灶,左侧颌面部软组织影肿胀;左侧... 详细信息

患者男,24岁,出生时出现左面部红色斑片。皮肤科情况:左面部紫红色斑片,皮损增厚,左唇部增厚变形。皮损组织病理示:真皮内可见毛细血管增生,部分血管管内充满红细胞。脑磁共振成像示:左侧上颌骨旁见结节灶,左侧颌面部软组织影肿胀;左侧脉络丛较对侧增粗,引流静脉增粗。皮损区组织样本全基因组测序:GNAQ(c.548G>A,p.R183Q)存在错义突变。诊断:斯特奇-韦伯综合征(Sturge-Weber syndrome,SWS)。治疗:经3次全麻下海姆泊芬光动力疗法(HMME-PDT)治疗,面部皮损颜色消退约30%,治疗有效。目前,该病例仍在随访中。

关键词： Sturge-Weber综合征海姆泊芬光动力疗法 GNAQ突变

维普期刊数据库

Revised Singleton Failures Equivalence for Labelled Transition Systems

在线全文

学校读者我要写书评

暂无评论

Chinese Journal of Electronics 2015年第3期24卷 498-501页

作者： WANG Chao wu jinzhao TAN Hongyan School of Computer and Information Technology Beijing Jiaotong University Guangxi Key Laboratory of Hybrid Computation and IC Design Analysis Guangxi University for Nationalities Institute of Acoustics Chinese Academy of Sciences

Based on previous researches, the set of all traces and Singleton failures(SF) pairs is used to characterize SF equivalence. Since the trace information can not be obtained from the SF information, the set of all SF pairs alone can not characterize SF equivalence. We propose a Revised version of singleton failures(RSF) pair, show that the set of all RSF pairs alone can characterize SF equivalence, RSF equivalence and SF equivalence are equivalent,and discuss the difference between RSF and SF. The main conclusion of this paper is that RSF equivalence algorithm is the most efficient one among all SF equivalence algorithms. We present several examples showing RSF equivalence algorithm is computationally quite efficient.

关键词： Singleton failures Equivalence Labelled Transition systems

Approximate trace and singleton failures equivalences for transition systems

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of Systems Engineering and Electronics 2015年第4期26卷 886-896页

作者： Chao Wang jinzhao wu Hongyan Tan School of Computer and Information Technology Beijing Jiaotong University Guangxi Key Laboratory of Hybrid Computation and IC Design Analysis Guangxi University for Nationalities Institute of Acoustics Chinese Academy of Sciences

Established system equivalences for transition systems, such as trace equivalence and failures equivalence, require the ob- servations to be exactly identical. However, an accurate measure- ment is impossible when interacting with the physical world, hence exact equivalence is restrictive and not robust. Using Baire met- ric, a generalized framework of transition system approximation is proposed by developing the notions of approximate language equivalence and approximate singleton failures （SF） equivalence. The framework takes the traditional exact equivalence as a special case. The approximate language equivalence is coarser than the approximate Slc equivalence, just like the hierarchy of the exact ones. The main conclusion is that the two approximate equiva- lences satisfy the transitive property, consequently, they can be successively used in transition system approximation.

关键词： approximate equivalence trace singleton failures(SF) transition systems.

维普期刊数据库

Dynamic Measurement of Task Scheduling Algorithm in Multi-Processor System

在线全文

学校读者我要写书评

暂无评论

Journal of Shanghai Jiaotong university(Science) 2019年第3期24卷 372-380页

作者： XIE Ying wu jinzhao CHEN Jianying CUI Mengtian School of Computer Science and Technology Southwest Minzu UniversityChengdu 610041China Guangxi Key Laboratory of Hybrid Computational and IC Design Analysis Guangxi University for NationalitiesNanning 530006China Chengdu Institute of Computer Application Chinese Academy of SciencesChengdu 610041China University of Chinese Academy of Sciences Beijing 100049China

It is important to evaluate function behaviors and performance features of task scheduling algorithm in the multi-processor system.A novel dynamic measurement method(DMM)was proposed to measure the task scheduling algorithm’s correctness and *** a multi-processor system,task scheduling problem is represented by a combinatorial evaluation model,interactive Markov chain(IMC),and solution space of the algorithm with time and probability metrics is described by action-based continuous stochastic logic(aCSL).DMM derives a path by logging runtime scheduling actions and corresponding *** judging whether the derived path can be received by task scheduling IMC model,DMM analyses the correctness of *** judging whether the actual values satisfy label function of the initial state,DMM analyses the dependability of *** simulation shows that DMM can effectively characterize the function behaviors and performance features of task scheduling algorithm.

关键词： multi-processor task scheduling algorithm IMC aCSL dynamic measurement

维普期刊数据库

In Situ Reconfiguration of Assembling Pattern for Modular Continuum Robots

在线全文

学校读者我要写书评

暂无评论

Journal of Bionic Engineering 2024年第4期21卷 1695-1706页

作者： Jie Zhang Jiannan Cai Ke Ma jinzhao Yang Zhigang wu Haijun Peng Jianing wu School of Mechanical Engineering Dalian University of TechnologyDalian116024People’s Republic of China School of Advanced Manufacturing Sun Yat-Sen UniversityShenzhen518107People’s Republic of China School of Aeronautics and Astronautics Sun Yat-Sen UniversityShenzhen518107People’s Republic of China

Modular continuum robots possess significant versatility across various scenarios;however,conventional assembling methods typically rely on linear connection between *** limitation can impede the robotic interaction capabilities,especially in specific engineering ***,inspired by the assembling pattern between the femur and tibia in a human knee,we proposed a multidirectional assembling *** strategy encompasses linear,oblique,and orthogonal connections,allowing a two-module continuum robot to undergo in-situ reconfiguration into three distinct initial *** anticipate the final configuration resulting from diverse assembling patterns,we employed the positional formulation finite element framework to establish a mechanical model,and the theoretical results reveal that our customizable strategy can offer an effective route for robotic *** showcased diverse assembling patterns for coping with interaction *** experimental results indicate that our modular continuum robot not only reconfigures its initial profile in situ but also enables on-demand regulation of the final *** capabilities provide a foundation for the future development of modular continuum robots,enabling them to be adaptable to diverse environments,particularly in unstructured surroundings.

关键词： Assembling patterns Continuum robot In-situ reconfiguration Tensegrity structure Varying stiffness