网络协议中的时间约束测试

对协议实现的时间约束进行测试,是验证协议实现的实时特性的重要方法.本文考查了当前实时系统测试方面的进展,结合路由协议测试的实践,修正了现有方法几个不符合实际情况的假设,扩展了时间自动机的理论和思路,将时间约束下的状态机转换成非确定性有限状态自动机,运用Wp方法生成抽象测试集,讨论将抽象测试集参数化的方法.以路由协议RIP的时间约束为例说明了生成基于TTCN测试例的过程.     

《绝对女神》第二次技术性内测印象

由金玉天立代理运营的韩国网络游戏《绝对女神》经过一个月的内部测试后，于2月18日开始第二次技术性内测，虽然这一次也称为内测，不过所有玩家都可以在官方站点申请到游戏账号进行游戏。至于广大参与测试的玩家所关心的结束测试后账号是否保留的问题官方尚未有明确答复，不过按照目前的情况来判断，众多玩家都参与的测试，删除账号的可能性应该不大。     

195—B1型挖掘机初步试验情况

正在金堆城钼业公司露天矿试用的195-B_1型挖掘机是与美国B-E公司合作制造的。主要性能参数见表1。     

基于解耦空间异常检测的人脸活体检测算法

现有基于异常检测的方法大多仅利用活体样本进行单类建模,这样的特征用于活体检测的泛化能力强但准确率不高。而且,活体人脸特征单类建模并没有考虑活体人脸样本的多样性。活体人脸样本的不同身份、环境、采集设备等因素都会导致活体人脸的特征表达不紧凑,这样使得假体样本特征容易混入其中。为了解决以上两个问题,本文提出了一种基于解耦空间异常检测的人脸活体检测算法。本文设计了单中心对比损失,使得活体人脸特征在不限制假体人脸特征分布的情况下表达地更加紧凑。本文还对活体人脸进行了特征解耦,将其特征分为两个子空间:活体检测特征空间、活体无关特征空间。活体检测特征空间不受其他无关因素的影响,结合单中心对比损失来提高模型的泛化能力。库内实验和跨库实验共在5个数据集上与最新的方法进行了比较,在OULU-NPU数据集中,协议1相比于性能第2的模型错误率下降超过一半,最具挑战的协议4取得了仅3.3%的错误率;在SiW数据集的三个协议中也取得更低的错误检测率;在跨库实验中本文算法也表现出不错的泛化能力,尤其是在从重放攻击和打印攻击跨到3D面具攻击的跨攻击类型的测试中相比于性能第2的模型错误率下降5.41%。本文提出的人脸活体检测算法在检测性能和泛化性能上均优于其他先进方法,算法应对未知数据和新的攻击类型的能力有所提高。      

三相对称电力系统短路时动稳定度校验条件的计算

从理论上分析了三相对称电力系统发生三相短路时的短路冲击电流和最大电动力，从而给出动稳定度校验条件。     

爱是绝色伤口,痛过才能开花

正生活给你关上了一道门,却总会在适当的时候打开一扇窗。谁在年轻的时候没有爱过一个人渣呢?人渣们没心没肺伤害了我们,可如果我们再自己给自己踩上两脚——那是傻子才会做的事。     

失落在水中的秘密

我上小学以后,父亲变得少言寡语。我陶醉于学习拼写,把它当作新颖的游戏,而父亲对此几乎一窍不通(我家的信都由母亲执笔)。他觉得我不会再有兴趣听他讲述他在离家远走的漫长日子里遇到的奇事。可是,有一天,他忽然对我说:"该给你看一样东西了。"他叫我跟他走。我走在他后面,一语不     

夏日里最后一朵玫瑰

他和乔羽的这段情缘如同夏日里最后一朵玫瑰,虽然短暂,并且一开始就注定了没有结局,可是无论如何,也是曾经美好过的。寂寞的人,寂寞的心春天一到,公园里就变成了一片姹紫嫣红的花海。那天,唐言和宋菲菲难得地没有"工作",和普通市民一样在公园里溜达。宋菲菲打扮得很妖孽,超短的红色小皮裙,两条长腿只裹着薄薄一双黑丝袜,一边嚼着口香糖一边旁若无人地往唐言身上腻。唐言有点儿窘,忙往旁边挣     

小板坯连铸机自动控制模式

介绍信钢小板坯连铸机过程控制中的仪表系统和计算机系统。