并发系统的安全性与活性的验证方法

网络环境下的分布式系统是典型的并发系统。安全性和活性是并发系统最为关注和需要保证的两个主要性质。然而在并发系统建模和形式化验证时,面临着描述繁琐、复杂和难以理解的问题,特别是当并发系统的规模（并发进程数目）较大时其性质验证时的效率问题更是严重阻碍了并发系统模型检测与验证技术的应用。将组合可达性分析和标号迁移系统的模块化思想与模型验证技术相结合,提出了一套有效的性质验证方法。论证、分析了三个并发系统安全性和活性验证定理,据此导出了并发系统的安全性与活性验证的有效算法。并通过一个简单实例,对算法有效性进行了初步验证。     

基于多常量编码的动态图软件水印保护技术

动态图软件水印在抗攻击性方面较通常的静态水印有明显的优势,然而由于这类水印信息本身与宿主程序的功能性之间并无关联,所以攻击者可以找到水印结构并对其进行恶意破坏,从而使水印提取过程失败.为此,提出了一种通过建立多常量与水印的依赖关系来对动态图水印进行保护的方法,并设计了针对Radix、PPCT、IPPCT结构动态图水印的保护算法.该算法通过创建动态图水印与宿主程序中多常量的依赖关系,对水印起到了防篡改的保护作用,从而可对该类水印进行有效的保护.最后通过数据率、鲁棒性两个方面对此算法进行了评测.结论是:基于IPPCT结构的算法不但过载较小,而且具有较高的数据率,还可以防止共谋攻击,是一种相对较好的水印保护算法.     

基于Asmuth-Bloom门限方案的动态图软件水印保护技术

动态图软件水印在抗攻击性方面较通常的静态水印有明显的优势,然而通过透彻的分析和修改嵌入水印后的程序,攻击者仍然可以找到水印结构并对其进行恶意破坏,从而使水印提取过程失败.为此,本文提出一种基于Asmuth-Bloom门限方案的软件水印分存算法,该算法将密码学中的密钥共享思想引入到软件水印中,实现了基于部分内容提取水印;最后通过鲁棒性对此算法进行了评测.该算法具有较强的鲁棒性,但该算法的不足之处是将水印数据扩张,减小了数据率和隐蔽性.     

工程招标过程中如何更好地应用价值工程

采用价值工程的分析方法来改进现有招标评标方法，在实例中通过不同方法的对比计算，分析了不同结果产生的原因，为择优评标提供了更有力的科学依据。     

对《自动喷水灭火系统设计规范》第6.5.2条的看法——与张弘同志商榷

《给水排水》2 0 0 2年第 6期刊登了张弘同志“对《自动喷水灭火系统设计规范》第 6 5 2条的探讨”一文 ,文章认为 :在实际工程中 ,压力表装在截止阀前更为合理。其主要理由有三 :其一 ,压力表装在截止阀前 ,平时管网末端的压力一目了然 ,既可检查是否满足规范第 5 0 1条 (系统最不利点处喷头的工作压力 ,不应低于 0 0 5ＭＰａ)的规定 ,又便于系统的日常维护和定期检测 ;其二 ,若压力表装在其后 ,由于平时截止阀常关 ,压力表根本不起作用 ;其三 ,当截止阀开启 ,试水接头打开 (应是出水 ) ,压力表也无法正确测出系统最不利点处喷头的工…     

AutoCAD中定量设置中西文字高比例的简单方法

ＡｕｔｏＣＡＤ中定量设置中西文字高比例的简单方法宁波大学建筑设计研究院程建华一、问题的提出每一位运用ＡＵｔ。ＣＡＤ进行绘图的工程设计人员都曾碰到过这样的问题：中西文字高比例失调，从而严重影响图面质量。具体地说，在ＡＵｔ。＊＊Ｄ环境内，被定义为同一字高...     

加强煤质管理打造质量品牌

简要介绍了当前煤炭生产企业在煤质管理中存在的问题，强调煤质管理需从井下源头抓起，采掘工作面制定作业规程时要有详细的煤质管理措施，并落到实处，要充分利用现有的筛分、选煤、配煤设施确保煤质指标的实现。要严格执行采制化国家标准，不断提高煤质检验准确度。抓好地销煤炭全过程的数质量管理，保证外销煤炭质量符合用户要求。要重视港口煤质的监督检查与数质量管理，确保进港煤数量和原有质量。高度重视售后服务，及时解决质量纠纷。     

基于频谱分析的惯性元件标度因数测定研究与实现

在惯性导航系统中,惯性元件的标度因数误差对系统的误差产生了极大的影响.本文介绍了一种利用舒勒回路的特性测定惯性元件标度因数的方法.它可以用于船用惯导系统在系泊或航行过程中更换惯性元件时对其标度因数的测定.不同于以往的测量方法,这里充分利用了舒勒回路的周期特性,采用了频谱分析估算振荡周期的方法.文中讲述了它的基本原理和具体算法,并进行了计算机仿真和工程试验.仿真和试验结果表明:该方法能准确的测量惯性元件的标度因数.     

既有交通线上立交桥钢箱梁顶推施工技术

武汉市二环线武昌段接线工程梅家山立交桥钢箱梁项目属于既有交通线下高风险路段施工项目. 主线桥钢箱梁跨路施工过程中,采用现场情况分析、模型数据计算分析与试验测试等步骤,探索了既有交通线上钢箱梁顶推法施工工艺、临时工程设计布置等方法,形成了一套较为完整的钢箱梁连续顶推施工技术和安全操作技术要点. 运用该方法进行施工,桥下交通影响较小,施工干扰小,安全系数高. 确保了工程进度和施工质量,有效节约了施工成本.     

桥梁变形三维自动监测技术的研究

为了解决桥梁的整体性形变监测问题,笔者及研究小组引进了GPS-RTK技术和测量机器人技术,在近5年的桥梁整体安全性自动监测工作中取得了显著的工作成效,有效地实现了对桥梁整体安全性的实时监测,其桥梁整体空间位移的三维监测精度可达到亚毫米级。文章叙述了GPS-RTK技术和测量机器人技术应用于大型公路桥梁整体性安全三维原位监测的实施过程、监测要领和数据处理方法。