排序方式: 共有63条查询结果,搜索用时 15 毫秒
1.
2.
引言 平面足迹的分析检验在刑侦和司法实践中有着不可替代的作用.几十年来许多痕迹专家为此进行了大量卓有成效的研究和实践,总结了许多办案经验,也提出了多种有价值的检验方法.但这些方法大多是手工操作,标定和测量标准不一,非明确特征的识别受主观和经验影响.因而在实践中,出现检验不规范,标定不精确,形象描述模糊和检验标准不易把握等情况.为此,寻找一种能客观反映足迹特征,并能使用同一标准对其进行分析测量的方法,是实现检验规范化和自动化的关键所在. 相似文献
3.
对网络安全协议进行形式化描述和正确性验证有助于消除协议的设计缺陷,发现协议的不精确性.本文将使用具有强数学基础和强分析能力的着色Petri网(Colored Petri Net,简称CP-Nets)对NS公钥认证协议(NeedhamSchoeder Public-Key Authentication Protocol)进行建模,在此基础上分析验证该协议,阐明协议存在的缺陷并给出改进的方法. 相似文献
4.
IPV6流标签提供的服务质量支持 总被引:3,自引:0,他引:3
作为下一代互联网协议,IPv6除了在地址空间上明显优于IPv4之外,还在数据报头中保留了20位流标签字段为实时流提供有别于尽力而为流的服务。流标签的研完尚处于试验阶段,目前还没有制定出正式的规范。本文在介绍了流和流标签的定义及属性之后,从流标签支持包分类、加速包转发、支持资源预留以及支持QoS的格式定义等多个方面探讨了流标签支持服务质量的能力,分析各种方式的利弊,给出可能的发展方向。 相似文献
5.
从Web应用性能状况得到性能瓶颈及解决方案是Web性能测试报告的主要功能.然而,当前流行的Web性能测试工具仅仅能够提供被测Web应用的性能状况,性能瓶颈的确定和解决方案的选择均需要测试人员手动完成.根据Web性能数据自动确定其瓶颈所在和解决方案将显著提高测试人员的工作效率.本文提出基于模糊Petri网的Web性能优化建议推理方法,使测试报告能够提供更有价值的信息. 相似文献
6.
7.
目前的工作流过程验证方法多数侧重控制流特性验证,与数据或资源信息相结合的验证尚未得到很好发展.然而,业务过程的目标实现依赖于控制流、数据流和资源三维基本观点的协作.保证过程的目标实现需要验证这三维观点协作的正确性,称为语义验证.该文侧重讨论大型、灵活的过程语义验证问题.首先,形式化定义过程模型,综合体现三维基本观点,表达完整的过程语义,并使用基于组件的思想,具有一定可扩展性和灵活性.然后,通过探讨组件间的协作逻辑,提出基于组件的化简方法(Component Based Reduction,CBR)和化简规则,为过程语义验证提供有力支持. 相似文献
8.
9.
协议一致性测试平台的设计和实现 总被引:1,自引:0,他引:1
简要介绍了协议一致性测试平台的基本要求和设计思想,给出了整体的设计框架,并且详细讨论了在平台实现过程中涉及到的5部分工作,包括测试例的生成、选择和执行,同时给出了一些简单的实例。 相似文献
10.
目的: 探讨沉默NOTCH1基因对多发性骨髓瘤细胞株RPMI 8226增殖和凋亡的影响。方法: 针对人NOTCH1基因序列构建NOTCH1 shRNA真核表达载体,用LipofectamineTM2000脂质体转染RPMI 8226细胞,筛选出最佳干扰表达载体。观察NOTCH1 shRNA表达载体对RPMI 8226细胞增殖的影响;使用流式细胞仪分析细胞的周期分布;Western blot 法检测NOTCH1 shRNA转染RPMI 8226细胞后NOTCH1蛋白及细胞周期蛋白依赖性激酶抑制蛋白P27、P21的表达含量变化,ELISA法检测NOTCH1 shRNA转染RPMI 8226细胞后对IL-6分泌量的影响。结果: 沉默NOTCH1基因抑制细胞增殖,阻滞RPMI 8226细胞于G0/G1期,转染组、阴性对照组及空白组增殖率分别为(49.09±2.31)%、(91.73±2.67)%、(98.10±0.41)%,差异具有统计学意义(P<0.05);三组的G0/G1期细胞分别为(66.23±3.71)%、(42.27±3.65)%、(40.70±0.92)%(P<0.05);三组S期细胞分别为(31.03±1.49)%、(56.53±1.76)%、(51.83±1.45)%(P<0.05)。NOTCH1 shRNA诱导细胞凋亡,三组凋亡率分别为(46.67±1.31)%、(1.37±0.63)%、(0.85±0.43)%(P<0.05);转染组NOTCH1蛋白表达下调,P21、P27表达上调。NOTCH1 shRNA可下调与疾病相关的IL-6分泌能力。三组IL-6分泌的吸光度值分别为28.18±3.50、167.08±7.97及185.86±5.61(P<0.05)。结论: NOTCH1 shRNA能抑制RPMI 8226细胞增殖并诱导凋亡,下调与多发性骨髓瘤发病有关的IL-6,有望成为多发性骨髓瘤治疗的一个新靶点。 相似文献