信息物理融合系统可信软件形式化建模与分析

从多Agent系统的角度,以Petri网和π演算为语义基础,建立了一种信息物理融合系统（cyber-physical systems,CPS）可信软件形式化模型（high-confidence software formal model,HCSFM）. HCSFM以Petri网形象地描述CPS可信软件静态结构模型及动态行为,用Petri网分析方法和支持工具对模型进行分析和验证; 利用π演算刻画CPS可信软件中Agent的加入、退出、更新和体系结构重配置等动态演化机制,并研究Agent的演化策略及演化后CPS的一致性,确保动态演化后CPS软件能正常交互,从而为CPS软件设计提供可信保障. 通过HCSFM在无人驾驶车辆编队CPS中的应用,表明HCSFM可以有效地对CPS可信软件进行建模和分析.     

荧光假单胞菌G2-EPSP合酶的拆分和intein介导的活性恢复

利用GPS-LS接点扫描系统, 在荧光假单胞菌G2的5-磷酸烯醇式丙酮酸莽草酸-3-磷酸合酶编码基因aroA中随机插入15 bp (即编码5个氨基酸短肽)的外源片段, 建立含一系列不同插入位点的aroA突变体库. 利用内源aroA基因缺失的大肠杆菌突变株ER2799对突变体库进行功能互补筛选, 测序后确定了12个可以忍受5个氨基酸插入的位点, 其中位点F295/T296经Ssp DnaE内含肽(intein)介导的蛋白互补技术鉴定为可拆分和蛋白重建的位点. 从位点F295/T296将G2-EPSPS基因一分而二, N-端和C-端片段分别连接在携带Ssp DnaE 内含子元件的原核表达双质粒上, 获得共转化质粒pMEPSN295IN和pKEPSC296IC. 将质粒pMEPSN295IN和pKEPSC296IC分别或共转化内源aroA基因缺失的大肠杆菌突变株ER2799中, 携带共转化质粒的重组子能够在M9限制性培养基生长, 而携带单一质粒的不能生长, 表明从位点F295/T296拆分的aroA基因在内含肽介导下实现了蛋白重建, 在突变株ER2799中恢复了5-磷酸烯醇式丙酮酸莽草酸-3-磷酸合酶活性, 酶活水平达到野生型的62.92%,为4.48 U/mg.     

真有通往天堂之路吗

关于濒死体验,多数人都没有概念,因为从死亡的边缘走过来的人毕竟是少数。但这涉及到究竟有没有灵魂的问题,因而备受人们的关注。从生到死,生理、心理都会有一些变化,也可能出现一些特别现象,产生一些奇异的传说。对于这些现象和传说都有怎样的解释呢？     

淮河流域安徽段水系沉积物中重金属的分布与赋存形态

基于对淮河流域安徽段水系中7条河流的21个沉积物样品的实验研究,获得了Cd、Pb、Mn和Ba等4种重金属的含量数据,分析了沉积物中重金属的分布特征和赋存形态.在此基础上,应用地积累指数法综合评价了沉积物中重金属的污染状况;结果表明:研究区内水系沉积物中的Mn和Cd主要以弱酸提取态与结晶态的形式赋存,Ba主要以结晶态的形式出现,Pb主要以可还原态和结晶态的形式赋存;重金属的分布受多种因素的影响,在研究区水系沉积物中的分布存在一定规律;研究区水系沉积物中重金属污染总体较轻微,部分河段沉积物中出现了Cd和Mn的污染迹象.     

资兴市稻田性皮炎的流行病学初步调查报告

目的初步调查郴州资兴市稻田性皮炎的流行情况,为进一步探讨其病因提供依据。方法采用问卷调查与体检方式对资兴市当地稻田性皮炎的发生情况及当地家庭饲养禽畜情况进行现场典型调查。结果本次皮炎暴发在下田作业人群中罹患率为86．1％,皮炎都是因在田间作业所致,与性别、年龄等无关。稻田中椎实螺与膀胱螺数量明显增多。田间作业人员在接触稻田水后到皮肤瘙痒间隔时间从数分钟至1天,疾病发生有自限性。结论资兴市本次皮炎暴发为稻田性皮炎,罹患率高,应积极采取相应的防治措施。     

随机变量阵列的强收敛性

获得了独立随机变量阵列的对数律成立的一个充分条件,推广了已有的结果。     

项目管理在建设工程实践中的应用

提高项目的管理水平与能力,增强企业的竞争能力是目前建筑施工企业赖以生存与发展的必由途径,然而作为一门新兴的应用科学,应该如何掌握与应用呢,本文作者在长期的施工管理实践中寻找出了适用于施业的项目管理方法,现与大家共同探索。     

信息安全管理研究浅析

信息是一种战略资源,在国民经济和社会生活中具有重要地位和作用。信息安全事关个人隐私,商业秘密、国防安全和国家安全,是信息资源管理的重要内容之一。我们对信息资源管理中的信息安全问题进行讨论,分析了信息安全面临的威胁,提出了解决信息安全的一些策略。     

一类Cox风险模型下的罚金函数

考虑了索赔来到的时间间隔和索赔量受外部环境干扰的Cox风险模型．通过求拉氏变换的方法分析了折扣罚金函数,并求出了零初始金时罚金函数的具体表示．     

企业员工的同化管理——浅谈传化集团的员工培训

在竞争日趋激烈的知识经济时代,企业职工时本企业文化的理解与认同越发显得重要。文章从企业文化的内涵入手,通过分析传化集团的员工培训方法,对企业文化的管理提出具体要求。