期刊文献+
共找到77篇文章
< 1 2 4 >
每页显示 20 50 100
2010年汛期多模式对山东降水预报的检验 被引量:28
1
作者 肖明静 盛春岩 +2 位作者 石春玲 隋明 荣艳敏 《气象与环境学报》 2013年第2期27-33,共7页
为提高数值预报模式在山东汛期降水的预报能力,为降水预报及模式物理参数方案选择和调整提供客观依据,对2010年汛期(6—9月)山东区域MM5、WRF-RUC(WRF快速循环同化系统)和T639模式24 h、48 h累积降水预报产品,进行晴雨、一般性降水和分... 为提高数值预报模式在山东汛期降水的预报能力,为降水预报及模式物理参数方案选择和调整提供客观依据,对2010年汛期(6—9月)山东区域MM5、WRF-RUC(WRF快速循环同化系统)和T639模式24 h、48 h累积降水预报产品,进行晴雨、一般性降水和分量级降水TS评分及平均绝对误差、平均误差分析。结果表明:从晴雨预报准确率来看,3种模式相差不大;一般性降水和小雨预报,MM5模式评分结果最差,T639模式预报效果最好;中雨以上量级,24 h降水T639模式预报效果最好,特别是24 h大暴雨评分T639模式为10.37%;而48 h降水T639模式预报效果下降明显。无论24 h降水还是48 h降水,除9月WRF-RUC模式平均绝对误差最小外,6—8月T639模式平均绝对误差均为最低,WRF-RUC模式24 h和48 h降水各月平均误差均为负偏差;不同的降水预报检验方案和天气过程类型对检验结果有一定的影响。 展开更多
关键词 多模式 降水预报 检验
下载PDF
国家气象中心客观要素预报——MOS系统 被引量:14
2
作者 刘还珠 赵声蓉 +3 位作者 陆志善 赵翠光 杨元琴 李玉华 《新疆气象》 2004年第3期4-7,13,共5页
面向全国2000多个台站,应用数值预报产品释用MOS技术制作温度、降水、相对湿度、风、云量及能见度等要素预报,并实现了预报业务运行。通过建立MOS预报系统,表明预报因子和预报对象的处理、建方程前的参数选择以及预报因子的选取都会影... 面向全国2000多个台站,应用数值预报产品释用MOS技术制作温度、降水、相对湿度、风、云量及能见度等要素预报,并实现了预报业务运行。通过建立MOS预报系统,表明预报因子和预报对象的处理、建方程前的参数选择以及预报因子的选取都会影响要素预报的质量,需要做大量的细致工作。预报检验结果显示,降水预报尚未达到可用程度,温度和相对湿度的短期预报在大多数情况下是可用的或是可参考的,但还有待进一步改进。降水预报尚需在预报因子和充分运用多种探测信息方面加以改进。 展开更多
关键词 要素预报 释用技术MOS方法 多元回归 检验 因子分析
下载PDF
分布式多无人机的时变编队非线性控制设计 被引量:14
3
作者 鲜斌 李宏图 《控制与决策》 EI CSCD 北大核心 2021年第10期2490-2496,共7页
研究了基于分布式通信网络的多无人机时变编队控制问题,考虑到外界扰动对多无人机协同编队系统的影响,提出一种新的连续非线性鲁棒编队控制方法.首先基于一致性方法构造了分布式无人机编队误差系统,降低了编队控制器对全局编队信息的要... 研究了基于分布式通信网络的多无人机时变编队控制问题,考虑到外界扰动对多无人机协同编队系统的影响,提出一种新的连续非线性鲁棒编队控制方法.首先基于一致性方法构造了分布式无人机编队误差系统,降低了编队控制器对全局编队信息的要求;然后采用一种基于误差符号函数积分的鲁棒控制算法补偿未知外界扰动的影响,提高了无人机编队系统的鲁棒性,并基于Lyapunov分析的方法,证明了多无人机编队误差的半全局渐进收敛性;最后在四旋翼无人机编队实验平台上进行了多无人机时变编队的实时实验验证,实验结果表明,所提出的分布式编队控制算法可以实现多无人机时变编队控制,且具有较好的协同性能和抗干扰能力. 展开更多
关键词 多无人机 时变队形 分布式控制 鲁棒控制 协同控制 实验验证
原文传递
基于时延神经网络的多深度土壤含水率预测 被引量:13
4
作者 冀荣华 李鑫 +1 位作者 张舒蕾 郑立华 《农业工程学报》 EI CAS CSCD 北大核心 2017年第S1期132-136,共5页
为精准预测大田土壤含水率,并掌握不同深度土壤含水率分布规律,针对大田土壤含水率时序数据的非线性特点及相邻深度土壤含水率间具有较强关联关系,该文建立3层时延神经网络大田多深度土壤含水率预测模型,用以实现对6个不同深度(10、20... 为精准预测大田土壤含水率,并掌握不同深度土壤含水率分布规律,针对大田土壤含水率时序数据的非线性特点及相邻深度土壤含水率间具有较强关联关系,该文建立3层时延神经网络大田多深度土壤含水率预测模型,用以实现对6个不同深度(10、20、30、40、50和70 cm)土壤含水率预测。利用试验法确定预测模型的隐含层节点个数、训练学习算法和训练集样本量。试验结果表明:隐含层使用10个节点,采用L-M(Levenberg-Marquardt)训练算法,采用45%样本集数据作为训练样本,55%作为测试样本集,对所建预测模型进行预测,10和20 cm的预测相对误差小于7%,而30、40、50和70 cm的预测相对误差小于4.5%。因此利用基于时延神经网络的多深度土壤含水率预测模型,可为掌握土壤含水率分布动态变化规律提出一种解决方案。 展开更多
关键词 土壤含水率 预测 测量 多深度 时延神经网络 训练 验证
下载PDF
互联网接入与劳动者多重就业--基于CFPS数据的实证研究 被引量:12
5
作者 陈瑛 梁雅爽 向晶 《劳动经济研究》 CSSCI 2021年第6期72-97,共26页
数字经济在提高劳动者就业灵活性的同时,也通过扩大劳动力市场的就业信息和就业机会,提高了劳动者多重就业的可能性。本文利用2016年和2018年中国家庭追踪调查数据(CFPS),实证检验了互联网接入对劳动者多重就业的影响。结果表明,互联网... 数字经济在提高劳动者就业灵活性的同时,也通过扩大劳动力市场的就业信息和就业机会,提高了劳动者多重就业的可能性。本文利用2016年和2018年中国家庭追踪调查数据(CFPS),实证检验了互联网接入对劳动者多重就业的影响。结果表明,互联网接入及灵活的接入方式对劳动者多重就业的选择概率均具有显著的正向影响,对低技能和农村户籍劳动者的多重就业选择影响更大。不同于“工作着的穷人”观点,互联网接入的作用下,中高收入群体和外出流动劳动力的多重就业倾向也明显提高。进一步的影响机制分析发现,互联网接入能有效地降低劳动就业选择过程中的搜寻成本、交易成本及验证成本,显著提升劳动者的多重就业概率。因此,改善数字资源获取渠道、放宽数字技术学习门槛、细化劳动保护政策等能减小劳动者数字鸿沟,能有效增加劳动者的就业机会和劳动收入。 展开更多
关键词 互联网接入 多重就业 搜寻成本 交易成本 验证成本
原文传递
基于FPGA组的ASIC验证原型系统和逻辑分割算法的研究与实现 被引量:4
6
作者 夏飞 刘光明 《计算机工程与科学》 CSCD 2006年第9期83-87,共5页
随着ASIC设计规模的增长和问题复杂度的增加,传统的逻辑验证方法已难以满足应用的要求。基于FPGA组的验证方法能有效缩短系统的开发周期,可提供更快、更彻底的验证,更能满足逻辑验证的需要。本文对验证系统的可配置互连结构和ASIC逻辑... 随着ASIC设计规模的增长和问题复杂度的增加,传统的逻辑验证方法已难以满足应用的要求。基于FPGA组的验证方法能有效缩短系统的开发周期,可提供更快、更彻底的验证,更能满足逻辑验证的需要。本文对验证系统的可配置互连结构和ASIC逻辑分割算法进行了研究,提出了相应的实现方法。 展开更多
关键词 FPGA组 ASIC验证 可配置原型 分割算法
下载PDF
Nonlinear dynamic analysis of multi-base seismically isolated structures with uplift potentialⅡ:verification examples 被引量:5
7
作者 Panayiotis C.Roussis Panos C.Tsopelas Michael C.Constantinou 《Earthquake Engineering and Engineering Vibration》 SCIE EI CSCD 2010年第1期83-91,共9页
The work presented in this paper serves as numerical verification of the analytical model developed in the companion paper for nonlinear dynamic analysis of multi-base seismically isolated structures. To this end, two... The work presented in this paper serves as numerical verification of the analytical model developed in the companion paper for nonlinear dynamic analysis of multi-base seismically isolated structures. To this end, two numerical examples have been analyzed using the computational algorithm incorporated into program 3D-BASIS-ME-MB, developed on the basis of the newly-formulated analytical model. The first example concerns a seven-story model structure that was tested on the earthquake simulator at the University at Buflhlo and was also used as a verification example for program SAP2000. The second example concerns a two-tower, multi-story structure with a split-level seismic-isolation system. For purposes of verification, key results produced by 3D-BASIS-ME-MB are compared to experimental results, or results obtained from other structural/finite element programs. In both examples, the analyzed structure is excited under conditions of bearing uplift, thus yielding a case of much interest in verifying the capabilities of the developed analysis tool. 展开更多
关键词 seismic isolation nonlinear dynamic analysis UPLIFT verification multiple superstructures/bases
下载PDF
基于超时重传和多重校验的UDP可靠通信设计 被引量:5
8
作者 李浩 赵晨希 关冰 《测控技术》 2022年第2期105-110,共6页
UDP是一种开销小、效率高的以太网传输层协议,由于其非面向连接的固有特性,在工程应用中会发生丢帧、错帧和乱帧等问题。针对UDP通信不可靠问题开展研究,在保证其开销小、效率高等优势的前提下,设计了基于四度冗余拓扑的以太网总线结构... UDP是一种开销小、效率高的以太网传输层协议,由于其非面向连接的固有特性,在工程应用中会发生丢帧、错帧和乱帧等问题。针对UDP通信不可靠问题开展研究,在保证其开销小、效率高等优势的前提下,设计了基于四度冗余拓扑的以太网总线结构,实现了基于多重校验的以太网通信协议,提出了两种基于超时重传的UDP可靠通信方法。经建模分析,该方案相较传统单通道UDP通信,可靠度由0.9提升到0.9999。经试验测试,基于该方案的嵌入式软件可以在通信链路出现一度、二度和三度故障时,实时、可靠地完成UDP数据通信,为UDP通信提供了新的高可靠性工程应用方法。 展开更多
关键词 超时重传 多重校验 UDP 可靠通信 实时操作系统
下载PDF
多无人机仿射编队的抗扰控制设计
9
作者 鲜斌 刘佳妮 姜鹏志 《控制与决策》 EI CSCD 北大核心 2024年第12期4055-4063,共9页
多无人机仿射编队控制能够根据编队需求实现灵活的编队机动.针对存在外界未知扰动情况下的多无人机编队形成及变换问题,研究多无人机仿射编队抗扰控制及编队形成与变换过程中的避碰问题.首先,针对在外界干扰情况下仿射编队形成及变换问... 多无人机仿射编队控制能够根据编队需求实现灵活的编队机动.针对存在外界未知扰动情况下的多无人机编队形成及变换问题,研究多无人机仿射编队抗扰控制及编队形成与变换过程中的避碰问题.首先,针对在外界干扰情况下仿射编队形成及变换问题,设计一种基于误差符号函数积分(RISE)的鲁棒控制算法.该控制算法能够对未知外界扰动造成的影响进行有效的补偿,提高多无人机仿射编队控制的鲁棒性.然后,基于Lyapunov分析法证明了编队控制系统的稳定性.针对多无人机机间避碰问题,利用缓冲维诺单元对无人机飞行区域进行分离,在仿射编队形成及变换过程中保证无人机间的碰撞避免.针对避碰过程中可能出现的死锁问题,提出一种启发式算法使无人机能够顺利从死锁中恢复.最后,使用室内实验平台验证所提出算法的有效性. 展开更多
关键词 多无人机 仿射编队控制 分布式控制 抗扰控制 机间避碰 实验验证
原文传递
支持向量机模型在电站闸坝沉降变形预测中的应用 被引量:3
10
作者 荣维志 孙健 《吉林水利》 2017年第4期36-39,共4页
本文结合支持向量机模型,建立多元自回归方程对辽宁东部某电站闸坝沉降变形进行预测,并结合闸坝沉降变形监测点监测的沉降数据对模型进行验证。结果表明:支持向量机模型可用于电站闸坝沉降变形预测,模型预测的沉降值和监测点沉降监测值... 本文结合支持向量机模型,建立多元自回归方程对辽宁东部某电站闸坝沉降变形进行预测,并结合闸坝沉降变形监测点监测的沉降数据对模型进行验证。结果表明:支持向量机模型可用于电站闸坝沉降变形预测,模型预测的沉降值和监测点沉降监测值年尺度和月尺度的相对误差均在20%以内,预测沉降值和监测沉降值之间的绝对误差小于1.5mm,且支持向量机模型可准确预测闸坝沉降的变化趋势。研究成果对于闸坝除险加固中沉降预测提供较好的方法参考。 展开更多
关键词 支持向量机模型 多元自回归方程 闸坝沉降变形预测 模型验证 适用性分析
下载PDF
容积调强弧形治疗技术全身照射的初次临床应用及剂量学验证 被引量:3
11
作者 蒋晓芹 苏宝锋 +2 位作者 陈春想 许兆基 张健文 《中华放射肿瘤学杂志》 CSCD 北大核心 2021年第8期828-834,共7页
目的介绍香港大学深圳医院初次使用容积调强弧形治疗技术(VMAT)行全身照射(TBI)患者的计划设计及剂量学验证方法。方法在头、脚位两套定位图像上共同确定全身计划靶体积,处方剂量12 Gy分6次,设计含5个中心15个全弧的TBI计划。优化时先... 目的介绍香港大学深圳医院初次使用容积调强弧形治疗技术(VMAT)行全身照射(TBI)患者的计划设计及剂量学验证方法。方法在头、脚位两套定位图像上共同确定全身计划靶体积,处方剂量12 Gy分6次,设计含5个中心15个全弧的TBI计划。优化时先在脚位图像中进行,并以此为剂量基础进行头位计划优化,最后两段综合剂量累加并评估。多种剂量学验证方式:Delta 4模体验证单等中心VMAT计划剂量;EBT 3胶片验证两相邻中心射野衔接处剂量分布;PinPoint电离室测量两段图像衔接区点剂量;MOSFET剂量仪实时监测患者体表剂量。另对计划结果参数、治疗时间等进行分析。结果患者两段靶区的平均剂量分别为12.45 Gy和12.37 Gy,肺平均剂量为10.8 Gy。每次治疗总机器跳数2883 MU,出束时间平均约24.3 min,床旁平均总时间约121 min。与计划计算相比:单中心VMAT计划绝对剂量3%/3 mmγ通过率平均为(99.74±0.42)%;射野衔接区域绝对剂量5%/5 mmγ通过率平均为(90.11±2.72)%;头、脚位图像衔接区域点剂量平均偏差(3.6±0.4)%;实时监测患者体表8个点,各部位每次剂量在1.57~2.04 Gy范围内。结论基于多中心VMAT技术的TBI计划及剂量学验证结果显示能可靠实施于临床,但还需不断改进、改善剂量分布和测量结果,提高治疗效率。 展开更多
关键词 容积调强弧形治疗 全身照射 多中心点 剂量学验证
原文传递
一种新的气象数据分析和误差诊断方法 被引量:3
12
作者 贺南 文斌 +1 位作者 陈乐 李嘉乐 《成都信息工程大学学报》 2019年第4期342-345,共4页
各地气象部门在长期的观测业务中已积累了海量数据,需要高效手段开展再开发应用。另一方面,高密度的自动观测站点建设已改变了气象要素采集的时空格局,站点间以气候代表性建立的关联,已转变为很强的可同比的网格化关联,这就为高精度的... 各地气象部门在长期的观测业务中已积累了海量数据,需要高效手段开展再开发应用。另一方面,高密度的自动观测站点建设已改变了气象要素采集的时空格局,站点间以气候代表性建立的关联,已转变为很强的可同比的网格化关联,这就为高精度的气候演化计算打下了坚实的数据基础。为了适应这样的应用,高效保障数据的可靠性和可比性,介绍在近期相关研发工作中,设计的一种关于两个有效相关观测站点间,日最低气温差值与出现频次,关联光温水等多种气象要素,检查数据可比性,发掘其内在规律的分析方法。介绍了数据基础的建立、要素自然逻辑关系的拟合演算和检验方法,并为进一步评估分析提供了客观检验结果。 展开更多
关键词 日最低气温 差值 多要素 关联 规律 验证
下载PDF
都市区城市轨道交通制式综合决策模型 被引量:3
13
作者 王兴仁 邓友生 +2 位作者 李红敏 姚志刚 冯爱林 《西安科技大学学报》 CAS 北大核心 2022年第5期968-974,共7页
为合理选择城市轨道交通制式,采用层次分析、熵计算及灰色关联度综合决策方法,从概念、特征、适应性等方面分析地铁、轻轨、单轨、有轨电车、磁悬浮、自动导向轨道、市域快轨7种制式的优缺点,将城市都市区分为不同圈层,进行客流走廊识别... 为合理选择城市轨道交通制式,采用层次分析、熵计算及灰色关联度综合决策方法,从概念、特征、适应性等方面分析地铁、轻轨、单轨、有轨电车、磁悬浮、自动导向轨道、市域快轨7种制式的优缺点,将城市都市区分为不同圈层,进行客流走廊识别,依据各圈层的日常客流量和日后诱增客流量,考虑建设成本、运营质量、环境友好、客流量、运行速度、发车频率等技术指标,建立综合决策计算模型,分析各项指标对各轨道交通制式选择的权重影响,利用最小二乘法缩小主观和客观指标的参差权重差,计算各制式综合决策值,从而确定各线路的最佳交通制式。通过对天津都市区轨道交通线路进行比选,轨道交通制式决策值大小依次为地铁、轻轨、市域快轨、有轨电车,选取最适宜的轨道交通制式地铁,研究成果可为城市轨道交通制式选择提供理论依据和应用参考。 展开更多
关键词 城市轨道交通 多制式 灰色关联决策模型 模型验证
下载PDF
基于双线性映射的三因子远程身份认证协议研究 被引量:3
14
作者 魏春英 郭中华 《计算机应用研究》 CSCD 北大核心 2020年第1期221-224,共4页
为了提高多服务器环境身份认证的安全性,降低计算复杂度,提出一种基于双线性映射的三因子认证协议,这些因子包括生物信息、智能卡和双线性映射密码。该协议包括系统设置、服务器注册、用户注册、登录、认证和密钥协商,以及密码更新六个... 为了提高多服务器环境身份认证的安全性,降低计算复杂度,提出一种基于双线性映射的三因子认证协议,这些因子包括生物信息、智能卡和双线性映射密码。该协议包括系统设置、服务器注册、用户注册、登录、认证和密钥协商,以及密码更新六个阶段,其中,生物因子和智能卡作为核心因子涉及注册、登录、认证和更改阶段。Oracle形式化证明验证了该协议的安全性,攻击者无法得到标志、密码、生物特征信息等,可以实现密钥协商和双向身份认证。与其他相关协议相比,该协议在安全特征、智能卡存储成本、通信成本等方面具有一定优势。 展开更多
关键词 多服务器 身份认证 双线性映射 生物信息 智能卡 形式化证明
下载PDF
可多次验证的关系数据可逆水印方案 被引量:2
15
作者 侯瑞涛 咸鹤群 +2 位作者 刘红燕 高原 张艺 《密码学报》 CSCD 2019年第1期37-49,共13页
数字水印技术作为信息隐藏技术的一个重要分支,具有安全性、鲁棒性、隐蔽性等特点,是实现关系数据版权保护的有效方法.当数据所有者怀疑他人在未经自己授权的情况下,非法使用或分发数据时,可从数据中检测出水印,实现版权声明.绝大多数... 数字水印技术作为信息隐藏技术的一个重要分支,具有安全性、鲁棒性、隐蔽性等特点,是实现关系数据版权保护的有效方法.当数据所有者怀疑他人在未经自己授权的情况下,非法使用或分发数据时,可从数据中检测出水印,实现版权声明.绝大多数的关系数据数字水印方案都存在水印使用次数受限的问题,即水印检测时,由于密钥和其他秘密参数的公开,导致水印只能实现一次版权声明.针对该问题,提出一种可多次验证的关系数据可逆水印方案.设计了水印嵌入算法、水印检测算法和数据恢复算法.通过控制相关参数选择水印检测量,实现了水印的多次验证.使用差值扩展技术,实现了水印的可逆操作.最后,通过算法的计算性能实验验证了方案具有良好的可行性;通过水印隐藏率实验分析了水印隐藏率和水印的抗攻击能力之间的关系;通过水印抗攻击能力对比实验证明了方案具有良好的鲁棒性. 展开更多
关键词 关系数据 可逆水印 版权 多次验证
下载PDF
基于Shamir秘密共享的云端多副本审计 被引量:2
16
作者 田晖 陈羽翔 +1 位作者 黄永峰 卢璥 《华中科技大学学报(自然科学版)》 EI CAS CSCD 北大核心 2016年第3期77-82,共6页
针对云端多副本审计问题,提出了一种基于Shamir秘密共享的审计方案.该方案利用Shamir秘密共享算法为同一数据文件的所有副本生成不同的数据标签,以防范云服务提供商的多种攻击,且根据该算法特性生成的聚合标签能有助于实现云服务提供商... 针对云端多副本审计问题,提出了一种基于Shamir秘密共享的审计方案.该方案利用Shamir秘密共享算法为同一数据文件的所有副本生成不同的数据标签,以防范云服务提供商的多种攻击,且根据该算法特性生成的聚合标签能有助于实现云服务提供商未完全持有全部副本数据时的出错定位;利用BLS(BonehLynn-Shacham)签名和双线性映射技术实现了多副本的批量审计,避免了云服务提供商与审计者之间的多次交互,从而降低了审计过程中的通信开销;通过在用户数据预处理阶段引入随机掩码实现了对合谋攻击的防范,并在审计过程中应用随机掩码避免了用户隐私的泄漏.对提出方案的安全性进行了理论证明,并与已有方法在性能方面进行了比较和实验分析.结果表明:提出的方案能够有效地实现多副本数据的安全审计,并较之已有方法具有更小的时空开销. 展开更多
关键词 云存储 多副本 公开审计 完整性验证 秘密共享
原文传递
A novel launch dynamics measurement system for multiple launch rocket system and comparative analysis with numerical simulations 被引量:2
17
作者 Li-lin Gu Xiao-ting Rui +3 位作者 Guo-ping Wang Yi An Fu-feng Yang Min Wei 《Defence Technology(防务技术)》 SCIE EI CAS CSCD 2021年第2期671-681,共11页
In this paper,a novel launch dynamics measurement system based on the photoelectric sensor pair is built.The actual muzzle time(i.e.a time duration that originates from the initial movement to the rocket’s departure ... In this paper,a novel launch dynamics measurement system based on the photoelectric sensor pair is built.The actual muzzle time(i.e.a time duration that originates from the initial movement to the rocket’s departure from the muzzle)and the muzzle velocity are measured.Compared with the classical methods,the actual muzzle time is obtained by eliminating the ignition delay.The comparative analysis method is proposed with numerical simulations established by the transfer matrix method for multibody systems.The experiment results indicate that the proposed measurement system can effectively measure the actual muzzle time and reduce the error of classical methods,which match well with the simulation results showing the launch dynamics model is reliable and helpful for further analysis and design of the MLRS. 展开更多
关键词 multiple launch rocket system Photoelectric sensor Launch dynamics measurement system Model verification Transfer matrix method for multibody SYSTEMS
下载PDF
道口管理系统多参数的形式化建模与验证 被引量:2
18
作者 王霞 刘宁 王恪铭 《综合运输》 2019年第2期65-72,共8页
铁路平交道口作为铁路安全的瓶颈,其作业流程的缺陷是导致安全事故发生的重要原因之一。而现有道口管理规范大部分只针对单线接车,对于双线双向接车没有给出详细的规范。为了丰富实际流程,基于道口管理规范,探讨双线双向道口连续接车的... 铁路平交道口作为铁路安全的瓶颈,其作业流程的缺陷是导致安全事故发生的重要原因之一。而现有道口管理规范大部分只针对单线接车,对于双线双向接车没有给出详细的规范。为了丰富实际流程,基于道口管理规范,探讨双线双向道口连续接车的问题,同时考虑道口接车作业流程中存在的异常,提出流程方案。分析系统环境属性、功能属性和安全属性,并利用UPPAAL时间自动机进行建模仿真,对模型的属性进行验证,根据验证结果确认方案流程的可行性。结果表明,本文所提出的多参数道口作业流程更符合实际情况,改进了多列车接车流程,并提出了接车过程中异常情况下的应对方案。 展开更多
关键词 平交道口 双线双向 多参数 安全 模型验证
原文传递
基于网络药理学探讨毒结清复方对多发性骨髓瘤的作用机制及实验验证
19
作者 雷宇 郭一慧 +4 位作者 许家威 程纬民 何艾 曾清 陆海颂 《中医药导报》 2023年第4期17-23,共7页
目的:基于网络药理学探讨毒结清复方对多发性骨髓瘤(MM)的作用机制,并通过体外实验验证其重要通路的参与。方法:利用TCMSP、本草组鉴数据库筛选得到毒结清复方有效成分及其对应的靶标蛋白,在GeneCards数据库中获得MM疾病靶点,将药物的... 目的:基于网络药理学探讨毒结清复方对多发性骨髓瘤(MM)的作用机制,并通过体外实验验证其重要通路的参与。方法:利用TCMSP、本草组鉴数据库筛选得到毒结清复方有效成分及其对应的靶标蛋白,在GeneCards数据库中获得MM疾病靶点,将药物的标靶蛋白与MM疾病靶点取交集后得到交集靶点,并构建交集靶点交互网络(PPI),使用Cytoscape的Cytohubba插件对PPI网络分析得到核心靶点,然后对核心靶点进行在线富集分析。使用毒结清含药血清干预RPMI8226细胞,利用CCK8检测毒结清复方对RPMI8226细胞增殖的影响,ELISA和Western blotting检测各组RPMI8226细胞Wnt/β-catenin信号通路中Wnt1、β-catenin、cyclinD1蛋白表达水平。结果:共得到毒结清复方有效成分90个及其对应的靶标蛋白415个,多发性骨髓瘤疾病靶点3340个,药物-疾病交集靶点148个,核心靶点13个,KEGG富集得到155条,GO富集得到生物过程1682条、分子功能98条、细胞成分36条。CCK8结果显示:与对照组比较,低、中、高剂量组RPMI8226细胞的OD值均明显降低(P<0.05),且存在剂量依赖性。ELISA结果显示:与对照组比较,低、中、高剂量组RPMI-8226细胞Wnt1、β-catenin、cyclin D1蛋白含量均明显降低(P<0.05),且呈剂量依赖性。Western blotting结果显示:与对照组比较,低、中、高剂量组RPMI-8226细胞β-catenin蛋白相对表达量均明显降低(P<0.05),且高剂量组RPMI-8226细胞β-catenin蛋白相对表达量明显低于低剂量组(P<0.05)。与对照组比较,中、高剂量组RPMI-8226细胞Wnt1、cyclin D1蛋白相对表达量均明显降低(P<0.05),且高剂量组RPMI-8226细胞Wnt1、cyclin D1蛋白相对表达量明显低于低剂量组(P<0.05),高剂量组RPMI-8226细胞Wnt1蛋白相对表达量明显低于中剂量组(P<0.05)。结论:毒结清复方可以抑制MM细胞增殖,其作用机制之一为通过抑制MM细胞中的经典Wnt信号通路来实现。 展开更多
关键词 多发性骨髓瘤 毒结清复方 Wnt/β-bcatenin通路 网络药理学 实验验证
下载PDF
中小学校园欺凌刑事证据适用的困境与对策--以“多元求真印证”为主线
20
作者 杨宇泰 《张家口职业技术学院学报》 2022年第4期13-15,共3页
中小学校园欺凌具有隐蔽性、持续性、复杂性等特点,可能涉及财产侵犯与人身伤害类犯罪和精神损害与信息网络型犯罪。在刑事诉讼的严格印证模式下,相应的刑事证据适用仍存在诸如客观证据的取证和认定困难、言词证据在司法实践中的阻却事... 中小学校园欺凌具有隐蔽性、持续性、复杂性等特点,可能涉及财产侵犯与人身伤害类犯罪和精神损害与信息网络型犯罪。在刑事诉讼的严格印证模式下,相应的刑事证据适用仍存在诸如客观证据的取证和认定困难、言词证据在司法实践中的阻却事由、社会调查报告的证据效力局限等困境。为了达成校园欺凌刑事证据适用过程中实体规范和程序规范的衔接契合,可采取以“多元求真印证”调适刑事证据适用原理、增益客观证据的采纳采信保障机制、补强并规范言词证据的适用标准、完善社会调查报告的程序内容等对策。 展开更多
关键词 校园欺凌 刑事证据 刑事印证 多元求真
下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部