基于TLA+的BRP协议规约及验证

BRP协议是为不可靠信道上传送大数据包文件设计的工业协议。该协议的正确性依赖于各部件实时方面的假设。本文主要阐述了使用时序规约语言TLA+对BRP协议进行规约和验证的过程。首先通过自然语言非形式化地描述BRP协议的基本原理和需求,在此基础上建立了BRP的形式化模型,利用TLA+先对不考虑实时要求的BRP进行规约,然后添加实时约束获得BRP完整的规约,最后使用模型检验器TLC验证BRP协议的各种性质。

BRP44基因对前列腺癌生物学行为的影响

目的研究BRP44高表达的人前列腺癌细胞PC3细胞系(雄激素非依赖性前列腺癌细胞株)细胞的生物学性状的影响,以了解其在人前列腺癌发生发展中可能的机制和作用。方法将已转染BRP44的PC3细胞提取其RNA,进而行Northern Blot检测证明其高表达,用Alamar Blue检测BRP44高表达的阳性细胞生长情况,流式细胞仪检测其细胞周期变换,采用改良的Tr-answell侵袭小室方法检测细胞侵袭能力。结果BRP44高表达的PC3细胞增殖速度较转染空载体的PC3细胞和正常PC3细胞快,差异有统计学意义(P<0.05)。在体外细胞移动实验中,BRP44高表达的PC3细胞也较另两组细胞表现出更强的穿膜能力、侵袭力(P<0.01)。结论BRP44表达增高与人前列腺癌细胞的恶性表型具有密切相关性,BRP44可能在人前列腺癌的发生、发展中发挥重要作用。

BRP-CDIO模式下高职模具专业人才培养模式研究

在对CDIO工程教育模式原有理念、特色继承和创新的基础上,提出了BRP-CDIO工程教育人才培养模式理念.探讨了以项目为引导和主要载体的模具设计与制造专业人才培养模式,在教学主体、教学目的、教学内容、教学方法、知识构建等方面吸取了CDIO"做中学"教育理论的精华,并对其做了改进与创新.

食管酸灌注对哮喘小鼠气道炎症及BRP-39浓度的影响

目的观察食管酸灌注对哮喘小鼠气道炎症的影响及BRP-39浓度与哮喘小鼠气道炎症的关系。方法 60只雄性BALB/c小鼠随机分成6组(正常组、灌盐组、灌酸组、哮喘组、哮喘灌盐组、哮喘灌酸组),用OVA致敏和激发的方法建立哮喘模型,用食管下段盐酸灌注建立胃食管反流(gastroesophageal reflux,GER)模型,末次抗原激发后24小时处死小鼠,ELISA法检测回收的BALF及血清中的BRP-39;BALF细胞沉渣涂片后染色计数细胞总数及分类计数。结果 (1)单纯哮喘组及哮喘灌盐、哮喘灌酸组小鼠BALF中细胞总数及嗜酸性粒细胞、中性粒细胞、淋巴细胞的细胞分类数均较对照组高,以嗜酸性粒细胞增高最为明显,具有统计学意义(P<0.05);灌酸组小鼠BALF中细胞总数及中性粒细胞、淋巴细胞的细胞分类数均较对照组高,以中性粒细胞增高最为明显,具有统计学差异(P<0.05);正常组与灌盐组小鼠,哮喘灌盐组与哮喘灌酸组小鼠无统计学差异。(2)与对照组比较,除灌盐组外,其余各组特别是哮喘灌酸组,BALF及血清中BRP-39的浓度均明显升高,且与BALF中的细胞总数及中性粒细胞、嗜酸性粒细胞呈正相关(P<0.05~P<0.01)结论多次食管酸灌注可引起气道内炎症反应,伴有血清及BALF中的BRP-39浓度明显升高,可能与GER诱发或加重哮喘有关。

稳定高效表达BRP 44的PC-3细胞系的建立

目的建立稳定高效表达BRP 44的PC-3细胞系。方法下载BRP 44的全长mRNA序列,用Oligo 6进行引物设计,在上下游引物的5’引入相应的HindⅢ、EcoR I限制性内切酶识别序列及保护碱基。提取LNCaP细胞的总RNA反转录成cDNA进行PCR扩增,产物连接到真核表达载体pcDNA 3．1／myc-His A中构建成重组体。重组载体经酶切和测序鉴定后,阳离子脂质体转染法转染PC-3细胞、G 418筛选、Northern杂交检测并挑选出表达最强的亚克隆。结果成功构建BRP 44的真核表达载体并获得高效稳定表达的BRP 44基因的PC-3细胞亚克隆。结论高效稳定表达BRP44的PC-3细胞亚克隆可用于下一步研究。

前列腺癌上调表达基因BRP44的蛋白细胞定位及功能预测研究

目的了解GFP-BRP44融合蛋白的细胞定位,初步预测BRP44的功能。方法构建BRP44与GFP的融合表达真核载体,脂质体介导法转染高表达该基因的前列腺癌细胞株LNCaP,激光共聚焦显微镜观察融合蛋白的细胞定位。生物信息学方法对基因BRP44进行序列分析及功能预测。结果成功构建GFP-BRP44融合蛋白的真核表达载体,pEG-FP-BRP44融和蛋白在LNCaP细胞核及细胞质均有表达。与单纯GFP相比,融合蛋白在细胞质的表达相比细胞核更强。功能预测提示基因BRP44可能是一个受oct-1等转录因子调控,主要在细胞线粒体发挥基因调节作用的可溶性蛋白。结论BRP44蛋白可能主要在细胞质发挥作用。

浅议ERP系统中的会计业务流程改造(BRP)

随着网络技术的快速发展和广泛应用,企业为了想达到预期的占有率和经济效益,就必须提高自身的应变能力与竞争能力,ERP成为现代企业的最常见有效的选择之一,而传统的会计业务流程已经不能够适应ERP系统的要求并会影响其功能的发挥。本文在通过分析传统会计业务流程的缺陷和网络环境带来的影响的基础上,总结了企业运用ERP系统对会计业务流程的要求,最后根据要求分析了基于ERP系统的会计业务流程再造策略,对企业的改革与发展有一定的借鉴意义。

Immune stimulatory activity of BRP-4,an acidic polysaccharide from an edible plant,Basella rubra L.

Objective:To evaluated the immunomodulatory effect of BRP-4,an acidic polysaccharide from Basella rubra(B.rubra) L on the macrophage activity.Methods:Phagocytic activity was determined by the ingestion of Latex Beads-Rabbit IgC-FITC using the fluorescent microscopy and flow cytometry analysis and nitric oxide production was measured using Griess reaction assay.Results:An enhanced production of NO was observed at 10 and 100 μg/mL of BRP-4.The phagocytic activity of macrophage was enhanced in BRP-4 treated RAW264.7 cells.BRP-4combined with concanavalin A(Con A) provided obvious promotion and strengthening of the proliferation of the splenocytes.Conclusions:BRP-4,polysaccharide isolated from B.rubra,is suggested to activate macrophage function and stimulate splenocyte proliferation.The strong immunomodulatory activity of BRP-4 confirmed its good potential as an immunotherapeutic adjuvant.

基于BRP创新的仓储实训微信息平台构建

从BRP流程创新的仓储微信息平台构建入手,从长株潭职教城区域物流仓储技能需求出发,介绍了长株潭仓储实训课程现状,然后根据现有项目分块实训操作内容将高职仓储实训课程的基本流程(入库—在库—移库—出库)创新重构,以仓储入库流程操作项目为例进行微信息平台构建过程说明,建立包括"微教学、微操作、微测试、微考核、微就业等"的仓储微信息服务平台,以解决高职院校仓储物流专业之间与仓储企业之间的信息共享及整合。

BRP Consulting高级副总裁兼实践先导Ryan Grogman 专注媒介实效性

Future Stores是美国一个专门探讨零售商实体店创新的会议活动,以邀请各大品牌高级执行官分享商业见解而著称。而BRP Consulting咨询公司是一家专业为零售商提供咨询业务的公司,其通过专业顾问的形式帮助零售商们解决商务和技术方面的问题。

2800轧机主传动的BRP装置运行分析

本文简单介绍柳钢中板2800轧机主传动BRP整流装置的原理和调节单元的功能,并论述了该装置在运行中出现的事故和处理方法及分析结论。

骑者无疆 水上翱翔 BRP Sea-Doo全系产品试驾活动在淀山湖举行

6月11—12日,源自加拿大的动力运动领先品牌BRP在上海青浦淀山湖举办了Sea-Doo全系产品的试驾活动。作为全球摩托艇第一品牌,Sea—Doo产品的高创新及高科技含量,为每位驾驶者带来完美的水上驾驶享受。BRP中国总经理姚忠伟(Tony Yao)在活动现场表示:"随着今年年初BRP正式进入中国,我们非常积极地拓展市场,目前我们的经销商网络已经遍及中国的23个城市。夏季是最适合开展水上运动的季节,我们也非常高兴地看到,有越来越多的人喜爱上各种水上运动。

YKL-40(BRP-39)与支气管哮喘

支气管哮喘(简称哮喘)是一种由多种炎症细胞、炎症因子参与的慢性气道炎症性疾病,Th2分化过度在哮喘气道炎症中起重要作用。YKL-40(BRP-39)是新近发现的壳质酶类似物蛋白,参与多种疾病的炎症反应、组织结构重塑等病理过程。YKL-40可通过促进哮喘患者Th2活化、分化并减少其凋亡,增加Th2数量,在哮喘慢性气道炎症中起着重要作用。

滇桂艾纳香多糖BRP的结构解析

以滇桂艾纳香为原料,经热水抽提、Sevag法除蛋白、醇沉、DEAE-纤维素柱层析、Sephadex G-200、Sepharose 6 F.F.凝胶色谱纯化得到纯品BRP;经HPGPC检测分析表明,BRP为均一多糖,分子量为3.3×104 Da;用UV、IR、HPLC、HPGPC、GC-MS、甲基化、NMR(1H NMR、13C NMR、HMQC、HMBC)等方法对BRP结构进行表征,结果表明,BRP仅由呋喃果糖残基组成,以→2)Fruf(1→(或→1)Fruf(→2)方式链接,推导其结构式为:β-D-Fruf-{2[→1)-β-D-Fruf(2→]n-1}-β-D-Fruf.

海洋生态环境危害评估的相关问题——以菲律宾非法“坐滩”仁爱礁军舰为中心

菲律宾军舰“马德雷山”号已在我国仁爱礁非法“坐滩”长达25年。因该舰船体金属锈蚀的溶解、船身涂漆的散播、船上化石燃料燃烧排污和生活垃圾等集中地排放在了以“坐滩”军舰为中心的礁石上和水域中,各类毒素在“坐滩”点位周围持续蔓延,造成珊瑚礁退化和损伤,对周围的海洋生物造成不可逆的持续性破坏,对南海的海洋生态系统造成恶劣影响。基于对舰船污染的公开资料研究,对类似“坐滩”历史案例进行平行比较分析,对该舰的各类污染程度进行定性与定量相结合的评估,有着重要的现实意义。我国应根据该舰所应承担的法律责任、适用惩罚条款对该舰进行合理索赔和追责。

超高压物理改性处理提高甜菜红的热稳定性及应用

目的:甜菜红易在碱性、高温等条件下发生褪色,分别采用超高压技术(UHP)、脉冲电场(PEF)、动态高压微射流(DHPM)技术对甜菜红进行物理改性,以吸光度值为考察指标,确定合适的提高甜菜红热稳定性的物理改性技术。方法:通过扫描电子显微镜(SEM)、傅里叶变换红外光谱(FTIR)及高效液相色谱(HPLC)分析揭示了超高压处理提高甜菜红热稳定性的机制;以未经超高压处理的甜菜红作对照组、超高压处理的甜菜红为原料制作曲奇饼干,验证超高压处理提高甜菜红热稳定性作用。结果:在400 MPa、保压时间30 min、室温的处理条件下,甜菜红的热稳定性显著高于其他条件下的样品;超高压处理提高了甜菜红的热稳定性,对甜菜红的特征官能团没有显著影响,但使其组分比例发生了改变;以超高压处理的甜菜红色素制作的饼干与未处理的相比,烘烤前后饼干色差变化幅度小。结论:超高压处理是提高甜菜红色素热稳定性的有效方法。

YKL-40（BRP-39）与支气管哮喘

支气管哮喘（简称哮喘）是一种由多种炎症细胞、炎症因子参与的慢性气道炎症性疾病，Th2分化过度在哮喘气道炎症中起重要作用。YIL-40（BRP-39）是新近发现的壳质酶类似物蛋白，参与多种疾病的炎症反应、组织结构重塑等病理过程。YKL-40可通过促进哮喘患者Th2活化、分化并减少其凋亡，增加Th2数量，在哮喘慢性气道炎症中起着重要作用。

推进BRP,谨慎些！

一些BPR案例失败的根由往往在于未能根据企业的具体情况确定最重要的流程目标。业务流程重组最初的理念,是'对工作流程进行根本性的重新思考并彻底改革'。

基于BRP理论的电网企业财务报销研究

目前,电网企业的财务报销流程冗长,审核节点多,审批效率低、重复审批等系列问题,导致员工报销难、怨气大,引发企业内部矛盾,不利于企业长远健康的发展.如何优化报销流程,提高报销效率,有助于企业长足良态的发展,本文对此进行了论述,并提出相关的优化方案以供参考。