运用形式化方法分析密码协议的安全性已成为网络信息安全领域的研究热点之一。提出一种新的扩展Petri网——LPetri网。并且利用LPetri网对TMN密码协议进行建模,采用模型检测
在遥感影像的处理过程中,针对遥感影像各瓦片数据生成的快视图之间存在色差的问题,通过对整景影像数据和各瓦片数据进行分析,在采用2%线性拉伸算法进行影像处理的基础上进行改进,提出使用共享直方图信息的策略来进行快视图的生产,即用整景影像的直方图信息代替各瓦片直方图信息来决定各瓦片应去除的像素点,然后再对瓦片剩余像素点的灰度值进行线性拉伸,以此来达到减小各快视图之间色差的目的。
将视频监控技术应用于规模化养猪场能大大减少人力,提高效率。猪只行为分类是通过图像处理计数从视频中获得猪只信息后的图像信息分析阶段,如何从大量数据中挖掘出猪只的行为
一日和爱人上街,碰到一个卖小包包的摊子,生意特好.爱人也挤进去,吵着要花8元买一个巴掌大的小包.我说服不了她,只好"破费".待我细看,这小包质量不错,而且容得下一面小镜子、
近期，国内“稻强米弱”的格局并未得到改善。临储稻谷拍卖成交率偏低，对市场影响不大，粳籼稻谷价格维持平稳，与此同时，大米消费需求总体偏弱，加工企业生产积极性不高。
微博文本内容短小、用词不规范等缺点，使得微博文本的研究区别于通常的文本研究。目前微博研究很多，但缺少合适的带有标签的微博语料库。分析微博数据获取方案给出合适的带有分
去年四月经国务院批准对外国籍船舶开放的江阴港，出现大发展的好势头。今年第一季度就装卸远洋货轮21艘次，完成外贸进出口量6万3千吨。这个港年内还将开辟2个新港区，改建2个万吨
1943年,突尼斯会战,以盟军的胜利告捷。5月13日,10万德军、15万意军被俘,只有600余人从海上逃走。经过32个月的拉锯战,北非战事终于结束。北非的胜利,畅通了地中海航道,为盟
油葵是我县主要的油料作物，具有耐寒、耐旱、耐盐碱、耐瘠薄、适应性强等特点，是一种高产稳产的油料作物。布尔津县适宜种植向日葵。开花期无高温干旱天气，夜间气温低，籽粒形成期
庆都雪莲藕品质好，口感好，耐储存，抗病能力强、产量高，一般亩产量在2500—3500千克，最高4500千克，效益可观（第一年亩投资19000元左右，以后每年亩投资1500元左右，每亩收益12500—17500