共查询到20条相似文献,搜索用时 15 毫秒
1.
2.
为对付时间自动机规格分析验证中的状态爆炸问题,提出了一种自动抽象算法.它是直接在时间自动机描述规格上而不是在规模大得多的语义模型上进行抽象,从而取得不大于时间自动机拓扑复杂性的四次方的多项式复杂度,实验证明,该算法可应用于任何满足线性复位性质的时间自动机。此外,这种算法还可以用来简化系统描述,提高其可理解性。 相似文献
3.
基于光正交码构造了一类新的不规则OOC LDPC码.新的LDPC码是准循环码,其编码复杂度与码长成线性关系,具有编码复杂度低的特点,它所对应的双向图中没有四线循环.用和积译码算法对新的码字进行了仿真,结果表明,与具有类似参数的随机码和规则OOC LDPC码相比,当信道误码率为10-5时,译码增益分别为0.3和0.15dB. 相似文献
4.
一种基于数字水印的二维条码防伪的方法 总被引:2,自引:0,他引:2
针对现有PDF417条码的数字水印嵌入和检测算法比较复杂、水印的嵌入强度不好控制以及对条码打印机和扫描仪的精度要求比较高等问题,提出了一种在PDF417条码的合适边缘嵌入盲水印信息的方法,将二维条码和数字水印技术相结合以提高PDF417二维条码的安全性和保密性. 相似文献
5.
郭绍斌 《济南交通高等专科学校学报》2000,8(1):28-33
为贯彻实施《汽车运输业车辆技术管理规定》和《汽车运输业车辆综合性能检测站管理办法》,根本际检测中的数据分析,结合国内外有关情况,制定了汽车性能不解体检测的判定标准。 相似文献
6.
[23,12,7]Golay码的改进译码算法 总被引:3,自引:0,他引:3
Mario Blaum,Jehoshua Bruck提出了一种基于[23,12,7]Golay码校验矩阵“设计”特性的译码算法,和其它的Golay码译码算法相比,这种译码算法的复杂度最小,但它不便于用集成器件实现和不便于完全集成化。作者对该算法进行了改进,使其易于集成实现;同时使[23,12,7]Golay码译码算法进一步简化。对其复杂度分析证明,当误码率≤10%时,作者所设计的译码算法优于其它译 相似文献
7.
针对人口密集的较大型建筑,提出了一种基于元胞自动机的建筑火灾预测与疏散系统。该方法首先使用栅格法对建筑平面建模,通过元胞自动机模型实现火灾预测与人群疏散在同一界面显示;然后通过改变出口的不同参数,得出使人群疏散最佳的建筑出口设计方案;最后采用改进后的蚁群算法优化建筑内的疏散灯,使其能够动态地指示逃生方向。仿真实验结果表明,该系统能有效地解决建筑群体内发生火灾时存在的出口设计与人员安全疏散问题。 相似文献
8.
基于二维条码的数字水印系统开发 总被引:3,自引:0,他引:3
石睿 《武汉船舶职业技术学院学报》2005,4(1):15-19
本文提出了一种基于PDF417二维条码的数字水印系统设计方案。由于二维条码采用纠错能力极强、译码可靠性高的RS差错编码技术,从而提高了数字水印的鲁棒性,嵌入算法选择改进的LSB(Least Significant Bit)空间域算法。 相似文献
9.
直扩系统中Gold码与混沌Logistic码序列的性能 … 总被引:1,自引:0,他引:1
比较了传统扩频序列Gold码与混沌扩频序列的传输性能,并进行了计算机仿真。结果表明,混沌序列作为扩频不仅数目大,而且其误码率优于Gold码。讨论了两种混沌序列分别作为扩频序列时,表现出差异较大的传输特性,说明存在一个混沌系统和参数的选取问题。 相似文献
10.
一、任务来源
随着经济全球化和信息技术的迅速发展,企业生产资料的获取与产品营销范围日趋扩大,社会生产、物资流通、商品交易及其管理方式正在并将继续发生深刻的变革。与此相适应,为降低物流成本.提高效率和服务质量,在物流过程中利用信息技术进行跟踪管理已经非常广泛了。 相似文献
11.
义艳刚 《武汉船舶职业技术学院学报》2011,10(3):26-30
随着智能移动设备技术的发展,智能移动设备广泛应用于固定资产的管理工作中。本文以高职院校固定资产条码管理系统为例,讨论了基于Windows Mobile的固定资产条码管理系统的功能设计与实现。 相似文献
13.
将NS模型中存在的车辆倒退现象以及刹车过急等与实际交通状况不相适应的地方进行改进,提出了反馈形式的交通流元胞自动机模型,该改进NS模型引入了前车状态的变化量以及一套全新的速度更新规则来模拟交通流的变化。仿真试验证明该模型更加符合实际交通基本特征,同时该模型使车流总体增大,也成为后续模型的基础模型。 相似文献
14.
基于智能体与元胞自动机的智能交通仿真 总被引:10,自引:1,他引:10
针对智能体和元胞自动机在交通仿真研究中应用的相对独立现状, 分析了智能体和元胞自动机理论方法在交通仿真研究和应用中的特性及各自存在的局限性和优势。指出两者都具有“由底向上”的设计特点, 智能体能准确地描述各种复杂交通元素的特性和自主行为, 但实现复杂, 效率较低, 而元胞自动机方法实现简单, 仿真效率高, 但难以体现交通元素的个体差异。探讨了这两种方法相结合进行智能交通仿真的可行性, 以及它们的结合点和结合方法, 构建了一个基于智能体和元胞自动机相结合的基本智能交通仿真模型。仿真结果表明, 该方法既保持了元胞自动机的实现简单、效率高等基本特征和优点, 又能反映交通系统中交通元素的自主特性和个体差异。 相似文献
15.
为获得氯离子在开裂混凝土中的浓度分布以及分析裂缝形状、分布形式、偏转角度对混凝土中氯离子扩散效应的影响,根据氯离子在开裂混凝土中的扩散机理,利用元胞自动机和均匀化等效分析方法,建立了模拟开裂混凝土中氯离子扩散过程的元胞自动机模型,并利用数值试验对模型中元胞尺寸进行了优化.研究结果表明:在不影响计算精度的情况下,为提高模... 相似文献
16.
联合多址系统中扩频码的分配算法 总被引:1,自引:0,他引:1
在基于码分多址(CDMA)和空分多址(SDMA)技术的联合多址系统中,扩频码的分配应根据移动用户空间向量的正交性来进行。文中给现一扩频码的分配算法。应用该算法,相同的扩频码可分配给同一小区内不同SDMA信道的用户,进而提高CDMA系统的通信容量。 相似文献
17.
在BML模型的基础上,采用开放边界对交通流进行模拟分析,认为周边有充分能力提供和接纳出、入车辆、车辆密度将会随着时间步的增多趋向某稳定值,以反映城市的交通存在某种最适宜的车辆密度,文中对不同初始车辆密度时各时间卡的车辆数,可以驶车辆数等进行了数值模拟。 相似文献
18.
19.
采用与或树分析方法,结合算法的构造,推导出复制窗口不等保护算法中各类数据的译码失败概率迭代公式.从数学的角度验证算法性能.通过Matlab性能仿真,给出在不同复制因数下复制窗口不等保护算法与算法误比特率性能关系曲线.通过与基于权重的不等保护算法及拓展窗口喷泉码的渐进性能仿真结果进行对比,证明了该算法在相同译码开销下,可将保护级别提高3~4个数量级.此外,本文研究了复制因数对算法性能的影响,在不同的译码开销下,通过Matlab仿真给出复制因数与算法性能的关系曲线. 相似文献
20.
公路隧道围岩变形破裂类型与等级的判定 总被引:2,自引:0,他引:2
详细阐述了公路隧道施工过程中,主要围岩变形破裂(诸如塌方,大变形,岩溶型涌水涌泥砂,岩爆等)类型,等级的判定方法和依据,这地信息化施工和及时采取相应针对性工程防治措施等均具有重要的理论和实践指导意义。 相似文献