安全苛求系统的形式化开发方法

从系统工程的角度出发,基于形式化理论,对安全苛求系统的开发方法进行了研究.首先介绍了安全苛求系统的形式化方法,分析了形式化方法对安全苛求系统的作用;提出了一种安全苛求系统的形式化开发模型(FDM),给出了具体的应用实例.     

福建省农村饮用水水质调查分析

为改善、提高福建省农村饮用水水质卫生质量及水源卫生防护提供科学依据.[方法] 对福建省 14个代表性县饮用水水源及其水质按国家GB5750-85<生活饮用水标准检验法>进行了检测,根据国家<农村实施(生活饮用水卫生标准)准则>进行评价.[结果]12年共检测551份水样,其中丰、枯水期分别检测293和258份,丰水期总大肠菌群和细菌总数超标率分别为63%和63%;枯水期总大肠菌群和细菌总数超标率分别为61%和50%.[结论]总大肠菌群、细菌总数、浑浊度、色度、铁、锰、氟化物均不同程度严重超标.     

疫情防控背景下高校数学类公共课程线上教学的现状与启示

为了缓解诸如新型冠状病毒肺炎(COVID-19)疫情给高校数学类公共课程的教学带来的压力,凸显数学类公共课程在高等学校课程体系中的基础性地位,完善高等学校人才培养方案,文章依据学生调查问卷和教师访谈资料所获信息,利用MAXQDA质性数据分析软件,对疫情防控期间高校数学类公共课程线上教学进行全景式分析,从学生、教师、学校...     

脂质体悬浮液结晶对其冻干品质影响的研究

利用低温显微镜系统对含有不同浓度海藻糖的脂质体悬浮液,在不同的降温速率下的结晶现象进行显微研究,得出不同条件下的冰晶生长图像,并研究脂质体在不同的降温速率下的冻干过程,比较了不同降温速率下的冻干脂质体的外观和冻干脂质体复水后的囊泡粒径变化,结果表明,对于液体药品快速冻结后得到的冻干品质量优于慢速冻结。     

姜黄素促进紫杉醇抑制肿瘤细胞的增殖

培养的人喉癌细胞 Hep‐2及肝癌细胞HepG‐2,分别用不同浓度姜黄素（CUR ,0～50μmol／L）和紫杉醇（PTX ,0～5 nmol／L ）单独处理或联合处理（5μmol／L CUR＋0．5 nmol／L PTX、10μmol／L CUR＋0．5 nmol／L PTX）．处理48 h后,用WST‐1细胞增殖试剂盒检测细胞增殖情况,再用结晶紫染色检测活细胞的密度,最后用Hoechst 33258凋亡染色试剂盒检测细胞凋亡情况．结果显示：姜黄素或紫杉醇单独处理对 Hep‐2细胞和 H epG‐2细胞的增殖均有抑制作用,并呈现出一定剂量效应关系;姜黄素与紫杉醇联合处理后细胞的增殖速率要比紫杉醇单独处理的明显降低;同时,姜黄素与紫杉醇联合处理后细胞的凋亡要比紫杉醇单独处理的更为明显．上述研究结果说明,姜黄素对紫杉醇抑制肿瘤细胞H ep‐2和H epG‐2的增殖有促进作用,并能促进紫杉醇诱导细胞的凋亡．     

管理信息大系统的结构模型表示与分解

讨论了管理信息大系统结构模型的表示与分解算法。利用该算法可使复杂系统划分为独立的子系统集或划分为不同的系统层次,这样便于系统结构分析,进而为研究系统关系的性质及其数学描述打下基础     

配合饲料中豆粕、菜粕替代鱼粉对青鱼鱼种生长、体组成的影响

以初始体质量为(1.32±0.09)g的青鱼鱼种作为试验对象,以含有等量鱼粉蛋白和植物蛋白的青鱼专用配合饲料作为对照组,用豆粕、菜粕按蛋白含量1:1的比例分别替代25%、50%、75%、100%的鱼粉蛋白配制成5种等氮等能的试验饲料,室内饲喂青鱼56 d,以观察配合饲料中豆粕、菜粕替代鱼粉对青鱼鱼种生长和体组成的影响.试验结果表明:豆粕、菜粕替代25%鱼粉组和替代50%鱼粉组鱼体的增重率、特定生长率和饲料系数均与对照组差异不显著(P＞0.05);替代25%鱼粉组和对照组的蛋白质效率显著高于替代100%鱼粉组(P＜0.05),而两组之间无显著差异(P＞0.05);鱼体的水分含量随替代鱼粉比例的增加而显著增加(P＜0.05),相反,鱼体脂肪含量随替代鱼粉比例的增加而显著降低(P＜0.05);豆粕和菜粕蛋白替代鱼粉蛋白对肝体比、脏体比和肥满度均无显著影响(P＞0.05),对青鱼肌肉中的必需氨基酸含量影响也不显著(P＞0.05).根据青鱼鱼种的生长性能.青鱼专用配合饲料中用豆粕和菜粕蛋白替代鱼粉的适宜量为25%～50%.     

神经网络在优化计算中的应用

本文讨论了神经网络算法在约束优化问题中的应用,并对用神经网络求解约束优化问题时的求解步骤、能量函数的选择等提出了实用的见解,最后用实例进行了说明,证明该方法是切实可行的。     

中药、中成药如何融入国际市场

近年来，世界各国“回归自然”、“绿色消费”成为时尚，天然药物成为医疗保健的首要选择，中药在世界医药市场的影响和地位也日益受到重视。如果说我国的哪个产业能够在世界经济站得住脚的话，那首先就是中药产业。长期以来，由于诸多的原因，中药在围际市场上没有占到应有的市场份额．这种现象与我围传统中医药大国的地位极不相称。那么，我国的中药、中成药怎样才能融入国际市场？