有限状态自动机中几种概念的泛化定义及探讨

对有限状态自动机理论中状态和自动机结构性等价的概念推广为相容或功能等价概念，对转移系统中串并连接和分解的概念加以推广，定义了左并行分解、右并行分解、左串行分解概念，并更加泛化了映射的概念，引入了硬模拟和隐模拟的概念，得到了一些有一定意义的结果。     

2014年上半年二手车市场平稳增长

<正>就二手车市场自身的纵向比较,我国2014年上半年二手车市场处于平稳增长态势。就横向比较,目前我国二手车年交易五六百万辆的市场规模,与新车销售已逾2000万辆的全球第一大市场相比,显然不相匹配。2014年5月份,我国二手车交易48.71万辆,环比微跌2.87%,同比增长8.63%;交易额321.0亿元,环比低增3.75%,同比增长28.4%。1~5月累计231.46万辆,同比增长11.53%;交易额1392.34亿元,同比增长21.44%。按前5个月交易走势,全年二手车可望实现600万辆左右的交易量。就二手车市场自身的纵向比较,我国2014年上半年二手车市场处于平稳增长态势。     

Gli-1在缺氧诱导乳腺癌MDA-MB-231细胞上皮-间质转分化中的重要作用

目的探讨Gli-1在缺氧诱导乳腺癌MDA-MB-231细胞上皮-间质转分化(EMT)及侵袭中的重要作用。方法通过缺氧培养乳腺癌MDA-MB-231细胞,以常氧培养作为对照。Transwell小室侵袭试验检测各组MDAMB-231细胞的侵袭能力;Western blot检测HIF-1α、Gli-1、E-Cadherin和vimentin蛋白的表达水平。通过shRNA稳定转染乳腺癌细胞,再次通过Transwell小室侵袭试验检测缺氧对乳腺癌细胞侵袭能力的影响,Western blot检测HIF-1α、Gli-1、E-Cadherin和vimentin蛋白的表达水平。结果缺氧可明显诱导乳腺癌MDA-MB-231细胞侵袭,并上调HIF-1α、Gli-1和vimentin蛋白,下调E-cadherin蛋白。靶向沉默Gli-1基因后,缺氧失去了对乳腺癌细胞侵袭和EMT的诱导作用。结论缺氧通过上调Gli-1表达活化Hedgehog通路,诱导乳腺癌细胞侵袭及EMT过程。     

miR-3127-5p靶向抑制Cdk10表达促进肝癌细胞迁移与侵袭

目的探究miR-3127-5p在肝细胞癌(hepatocellular carcinoma, HCC)中的表达情况、临床意义及作用机制。方法实时定量PCR (qPCR)检测miR-3127-5p在HCC组织与癌旁组织、正常肝细胞(L02)与HCC细胞系中的表达情况;TCGA数据库分析正常肝组织及肝癌组织中miR-3127-5p的表达差异;分析miR-3127-5p的表达与HCC患者临床病理特征及预后的关系;在HCCLM3细胞中敲减miR-3127-5p,Transwell实验来检测细胞侵袭及迁移能力;TargetScan数据库预测miR-3127-5p下游靶基因,并通过双荧光素酶报告基因实验加以验证。结果与癌旁组织和正常肝细胞相比,miR-3127-5p在HCC组织及细胞系中均高表达(P<0.05),与门静脉癌栓(P=0.016)及TNM分期(P=0.016)有关;基于TCGA数据库数据的生存分析显示,miR-3127-5p高表达与不良预后相关(P=0.002);在HCCLM3细胞中敲减miR-3127-5p抑制细胞的侵袭及迁移;通过生物信息学预测并通过双荧光素酶报告基因实验证实细胞周期素依赖性激酶10(cyclin-dependent kinase 10, Cdk10)是miR-3127-5p的直接靶基因,回复实验证实Cdk10介导了miR-3127-5p对肝癌细胞侵袭及迁移能力的促进作用。结论在HCC中miR-3127-5p通过靶向抑制抑癌基因Cdk10从而促进肝癌细胞侵袭及迁移。     

趋化因子受体CXCR7协同CXCR4调控胰腺癌趋向性转移及上皮间质转分化

目的探究CXCL12/CXCR4/CXCR7生物轴在胰腺癌细胞侵袭转移及上皮间质转分化(EMT)中的调控作用及其作用机制,为胰腺癌转移的治疗研究提供新依据。方法利用CXCR4 shRNA及CXCR7 shRNA分别构建低表达CXCR4和CXCR7的胰腺癌细胞株。通过细胞侵袭和细胞迁移实验,观察CXCR4、CXCR7对CXCL12诱导的胰腺癌细胞侵袭转移的影响;Transwell侵袭实验及Western blot法检测间接共培养条件下胰腺癌细胞MiaPaCa-2的侵袭能力及EMT指标E-cadherin、Vimentin的变化。结果 CXCL12/CXCR4/CXCR7生物轴能够调控胰腺癌细胞的侵袭转移。CXCL12能显著增强胰腺癌细胞的侵袭转移能力,与单独沉默CXCR4或CXCR7相比,同时抑制CXCR4和CXCR7可以显著抑制CXCL12的促胰腺癌细胞侵袭转移作用。结论 CXCL12/CXCR4/CXCR7生物轴能够调控胰腺癌细胞侵袭转移及EMT发生。     

互惠偏好下高校科研创新团队内部 隐性知识转移激励机制研究

互惠偏好行为对团队成员之间隐性知识转移的影响是推动团队良性发展的关键.基于委托代理理论,考虑互惠性偏好,构建了双代理人情境的高校科研创新团队内部隐性知识转移激励模型.通过数值模拟,研究不同互惠偏好下隐性知识互补性对隐性知识转移努力水平的影响、激励对隐性知识转移努力水平的影响及激励对高校科研创新团队期望效用的影响.研究发现:与非互惠性偏好情境相比,互惠偏好下高校科研创新团队内部成员隐性知识互补性与隐性知识转移努力水平正相关程度更高;互惠偏好可以明显提升高校科研创新团队内部成员之间的隐性知识转移努力水平;不同互惠偏好程度下,激励行为直接影响高校科研创新团队的内部期望收益,但在相同的互惠偏好程度下,激励行为不一定能提高高校科研创新团队内部的期望收益.结合研究结论,文中提出了互惠性偏好下促进高校科研创新团队隐性知识转移的激励政策,为提升高校科研创新团队内部隐性知识转移效率提供支持.     

胰腺癌转移相关基因的生物信息学分析

目的通过对胰腺癌转移相关基因芯片数据进行生物信息学分析,为探索胰腺癌转移的分子机制提供理论依据。方法从基因芯片公共数据库(GEO)下载胰腺癌转移相关基因芯片数据,经R语言数据预处理及筛选差异表达基因后,分别通过DAVID在线分析软件、STRING在线数据库、Cytoscape软件和GEPIA在线分析工具进行差异表达基因的功能注释、通路分析、蛋白互作网络分析及预后分析。结果共筛选出109个胰腺癌转移差异表达基因,其中上调49个,下调60个;功能注释和通路分析发现,这些基因主要集中在急性炎症反应、蛋白质活化级联、细胞外基质构建、细胞外基质分解等生物学过程,以及补体和凝血级联、PPAR信号通路、PI3K-Akt信号通路、ECM受体相互作用等通路。蛋白互作网络分析获得2个关键模块和10个关键基因,分别为ORM1、IGFBP1、HPX、F2、APOA1、ALB、PLG、SERPINC1、KNG1和INS。预后分析得到4个基因的表达水平与胰腺癌患者总生存时间显著相关,分别是SCG5、CRYBA2、CPE和CHGB。结论通过生物信息学的方法对胰腺癌转移相关基因芯片数据进行数据挖掘,为深入研究胰腺癌转移的相关分子机制提供了理论依据。     

KLF4转录水平负调控miR-106a表达对人胃癌细胞BGC-823侵袭能力的影响

目的探讨转录因子kruppel样因子4(Krüppel-like factor 4, KLF4)对微小RNA-106a(miR-106a)表达的调控及其相互作用对人胃癌细胞侵袭能力的影响。方法通过转录因子结合位点数据库JASPAR检索与miR-106a启动子区结合的转录因子KLF4。构建KLF4过表达载体(KLF4-pcDNA)和miR-106a报告基因(pmiR-106a-WT/MUT-luc),双荧光素酶报告基因检测KLF4对miR-106a启动子活性的影响。收集人胃癌和癌旁石蜡包埋-甲醛固定(formalin-fixed paraffin-embedded, FFPE)标本各40例,实时定量PCR和免疫组织化学法检测KLF4表达。人胃癌细胞株BGC-823培养并按miR-106a mimic组、mimic NC组、KLF4+pcDNA组、pcDNA basic组分别进行处理,Transwell法检测各组胃癌细胞侵袭能力变化。结果双荧光素酶报告基因检测显示KLF4-pcDNA具有拮抗miR-106a启动子活性的作用,表现为pmiR-106a-WT-luc荧光素酶活性被抑制(pmiR-106a-WT+pcDNA-basic与pmiR-106a-WT+pcDNA-KLF4比较,P<0.001),但对pmiR-106a-MUT-luc荧光素酶活性影响不明显(pmiR-106a-MUT+pcDNA-basic与pmiR-106a-MUT+pcDNA-KLF4比较,P>0.05)。FFPE样本显示KLF4在胃癌组织中的相对表达量为0.69±0.59,与癌旁组织相比,差异有统计学意义(P<0.001),且与胃癌的细胞分化程度、淋巴转移和浸润深度相关(P<0.05);KLF4阳性表达主要位于胃黏膜上皮细胞核及胞质。Transwell实验表明各处理组胃癌细胞的穿膜数量不全相同(P<0.001),miR-106a mimic组为89.00±14.85,mimic NC组为50.90±17.94,KLF4+pcDNA组为37.70±12.60,pcDNA basic组为66.20±3.19。结论转录因子KLF4与miR-106a启动子区至少存在体外的直接结合,可能通过在上游转录水平负调控miR-106a表达而参与影响胃癌细胞的侵袭转移进程。     

城市轨道交通线路运营移交关键因素分析

归纳了城市轨道交通线路运营与筹备的主要工作,提出运营三权转移的关键因素、关键线路及工作时序。采用多目标决策模型,计算运营移交过程中各要素目标实现率最大的同时相应成本偏差最小的有效解,并通过城市轨道交通线路算例分析,进一步评估线路间运营移交的实际效果。