论文部分内容阅读
2011年9月起实施的标准
【出 处】
：
大众标准化
【发表日期】
：
2011年9期
其他文献
针对二进制程序分析中难以生成测试用例的问题,提出了一种基于抽象解释和制导符号执行的测试用例自动生成方法。首先结合动态和静态程序分析方法,生成目标二进制程序的过程间
提出基于配置的流表更新一致性方案, 在保证更新一致性的同时, 通过建立的规则和流 表配置以及对算法的推算, 发现并获得新规则之间的相关性, 以此对流表进行更新; 采用线性
河套灌区是我国最大的自流灌区，光、热、水资源丰富，但无霜期仅125～145d，往往是一年一熟有余、两熟不足。春小麦（Triticum aestivum）是河套灌区的主要农作物，不仅单位面积产量高，而且
针对用户自产生业务内容小,数量多的特点,设计了基于渐进式概率缓存和导向性副本通告的捷径路由联合策略JCRP。沿途节点以概率的方式执行缓存决策,随着数据包的下行传输,缓存概率不断减小,越靠近数据源侧的节点,存储应答内容的概率越大;并将网络节点按照兴趣请求相似度聚类为若干社区,在社区内部实现缓存副本内容的导向性通告,并建立到达缓存副本的捷径路由。仿真实验表明,JCRP算法缩短了内容请求的平均响应时延,
随着对地观测卫星的发展,遥感卫星对姿态确定精度提出了更高的要求。基于状态误差估计的EKF(扩展卡尔曼滤波)在卫星姿态确定中应用广泛,但是作为一种实时估计算法,EKF精度还有待进一步提升。为了提高卫星姿态确定精度,将RTS平滑技术与EKF结合应用到卫星姿态后处理中,构建了基于星敏感器和陀螺的组合定姿模型,采用直接法求解。仿真结果表明,RTS平滑算法能够应用到姿态后处理中,提高卫星姿态确定精度。
直到Biclique分析方法的出现,才有了在单密钥模式下对AES-128算法的全轮攻击,但初始的数据复杂度较高。文章采取分割末尾轮密钥空间的方式,构造一个新的Biclique结构,使得数
目的了解河北省农村居民慢性代谢性疾病和代谢综合征现患状况.方法通过随机抽样对藁城市梅花镇5 892名25岁以上居民进行了横断面调查,比较不同年龄、性别居民各种慢性代谢性
青春期是我们的生命周期中很重要的一环,我们应该由青春期健康地踏进成年人的阶段.然而,相对于幼儿(5岁以下)和成年人[1,2],青少年(小学高年级的学生和初中性)的健康问题在很