上海市青年科技启明星计划(09QA1405900)
- 作品数：2 被引量：12H指数：1
- 相关作者：潘理郭观七丁志军薛艳凤沈利更多>>
- 相关机构：同济大学湖南理工学院武汉大学更多>>
- 发文基金：上海市青年科技启明星计划国家自然科学基金软件工程国家重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术医药卫生更多>>
- 基于Petri-box的服务模型与组合模式研究
- 网络服务所面临的是一个日益庞大、复杂的互联网络。服务在网络环境下动态发布、组装和调用,服务间可以通过聚合、协同等方式,实现服务的增值。基于Petri-box模型,给出了服务的建模方法,用Petri-box中的变迁代表服务...
- 孙海春丁志军
- 文献传递
- 日本血吸虫糖基化磷脂酰肌醇锚定蛋白的鉴定被引量：1
- 2012年
- 目的鉴定日本血吸虫的糖基化磷脂酰肌醇锚定蛋白(GPI-AP)。方法根据曼氏血吸虫的糖基化磷脂酰肌醇(GPI)锚定蛋白Sm200的编码基因(GenBank登录号为XM_002569560.1),运用生物信息学方法寻找日本血吸虫的同源基因,分析后选取基因蛋白质编码区(CDS)的部分基因序列(SjGPIs,长约933 bp)进行PCR扩增,并克隆入原核表达载体pET-28a(+),重组质粒转化大肠埃希菌(E.coli)BL21(DE3)感受态细胞,异丙基-β-D-硫代半乳糖苷(IPTG)诱导表达,用镍柱Ni-NTA亲和层析纯化重组肽段SjGPIs。用纯化的重组肽段SjGPIs免疫新西兰大耳兔,以制备的重组肽段抗血清检测日本血吸虫GPI锚定蛋白。用磷脂酰肌醇特异性磷脂酶C(PI-PLC)鉴定检测到的蛋白在日本血吸虫虫体上的锚定方式。检测日本血吸虫感染小鼠的白细胞,确定其是否吞噬GPI锚定蛋白。结果日本血吸虫的基因组中存在与曼氏血吸虫GPI锚定蛋白Sm200基因的同源基因序列,经比对拼接后获得3 495 bp含完整编码蛋白C末端的基因编码序列。以所选基因序列进行肽段原核表达,获得重组质粒pET-28a(+)-SjGPIs。通过对蛋白C末端序列分析、经蛋白质印迹(Wes-tern blotting)分析和PI-PLC酶切验证,发现日本血吸虫被膜存在以GPI形式锚定的蛋白,相对分子质量约为Mr200 000,命名为SjGPI200。感染日本血吸虫小鼠的白细胞中可检测到完整的SjGPI200蛋白。结论日本血吸虫存在锚定蛋白SjGPI200,并以GPI形式锚定于虫体被膜上。
- 曹勤燕薛艳凤沈利
- 关键词：日本血吸虫
- 混合语义时间Petri网模型被引量：11
- 2011年
- 提出了时间Petri网的混合语义模型,通过在变迁及其非冲突变迁集的最小上界处设置强制实施点,排除冲突变迁对变迁可实施性的影响,达到既能扩大模型调度范围又可保证任务调度时限性的目的,以解决现有语义模型在调度分析上的缺陷.进一步证明了混合语义模型的图灵等价性及标识可达性问题的不可判定性,然后界定了3种语义模型的时间语言接受能力.最后提出了状态类分析方法,用于模型的可调度性分析和时间计算,并以一个柔性制造系统为例,比较和验证了3种语义模型的调度分析能力.
- 潘理丁志军郭观七
- 关键词：时间PETRI网图灵等价性不可判定性调度分析
