目标码流图和结构覆盖率获取方法

为了有效进行目标码分析与验证,提出了通过扩展CPU模块获取目标码控制流图及结构覆盖率的方法.采用CPU分支指令功能扩展,并新增动态地址跳转记录单元,实现目标码控制流信息的有效采集,结合目标码流图构造算法,完成结构覆盖率计算.分析结果表明,该方法不依赖于开发工具链信息和无需代码插桩,对CPU运行性能影响小且目标码流图构造算法为线性复杂度.     

增量式频繁闭合序列挖掘算法

在许多场合挖掘频繁闭合序列时,输入串数据库呈现实时动态增长的特点.分析Bide算法,给出并证明了闭合序列前缀中任意一个项目的后向扩展事件（BEE）项目交集随前缀的生长单调不增的定理,据此对BEE累计操作进行了优化,使其性能平均提高了48%.定义了闭合序列树作为频繁闭合序列的表示形式,并阐述了它的3个性质.分析发现,当新增输入串不同时包含前缀串和频繁项目时,两次连续挖掘的结果是相同的,给出了相应的定理和证明,据此实现了增量式频繁闭合序列挖掘算法BideInc.实验验证了BideInc算法的正确性,使用该算法后挖掘性能平均提高了47%.     

手机信令的时空密度轨迹点识别算法

手机信令具有时空序列性以及数据量大、采样频率不均、定位精度低与基站振荡等特点,导致传统手机信令聚类方法数据密度分布不均、时空开销大且聚类效果差.提出一种用于手机信令的时空密度轨迹点识别算法.将手机信令数据网格化以统一评估尺度,根据振荡噪声特征对网格簇进行时空联结减少空间不确定性和计算量,结合网络轨迹的曲折性以及移动与停...     

ARP协议在局域网类型探测中的应用

局域网类型探测对于网络拓扑发现和网络管理都是非常重要的。该文在分析共享网络和交换网络各自特点的基础上，利用ARP协议的弱点，使用ARP欺骗实现了局域网络类型的识别，同时给出了具体的实现代码和详细的注释。     

基于面向服务中间件的集成化CAPP系统研究

如何集成单元系统实现信息和功能共享是当前亟待解决的问题.为此,提出了基于面向服务中间件的集成化计算机辅助工艺设计系统,将分布在各类网络中的中间件实例作为异构系统的连接器,支持多种服务发现和调用协议.针对异构网络或系统,采用特定的服务发现和调用协议,从而克服异构系统交互协议的异构性问题,实现多种行业领域计算机辅助工艺设计系统之间,以及计算机辅助工艺设计系统与计算机辅助设计、计算机辅助制造、企业资源计划等异构单元系统的信息与功能集成.     

制造资源智能检索系统研究与实现

基于语义网技术,提出一个原型系统Swirrsm,对网络化制造环境中分布式异地企业资源信息获取与用户透明化检索的关键技术进行了深入研究．Swirrsm系统以网络化制造本体作为语义和推理支撑;提出多层次信息智能检索模型,完成用户透明化的智能检索;提供三种用户交互方式实现基于语义的用户查询表达．     

变质量力学系统的Herglotz型Lagrange方程与Noether对称性和守恒量

Herglotz变分原理提供了非保守耗散问题的变分描述,同时变质量力学在自然界和工程领域有大量的应用,因此将Herglotz变分原理应用于变质量力学系统的Lagrange方程与守恒律研究,为研究变质量力学提供了一个新的途径.文中建立了变质量力学系统的Herglotz型广义变分原理,导出了变质量系统的Herglotz型Lagrange方程.定义了变质量力学系统的Herglotz型Noether对称性,建立并证明了Herglotz型Noether定理及其逆定理.文末给出两个变质量非保守系统的具体例子以说明结果的应用.     

网络化制造环境中制造资源的智能发现技术研究

网络化制造过程实质是一种企业间的协作过程，因此，可共享制造资源的有效发现是成功实施网络化制造的前提和基础。本文结合语义网技术，从基于语义的角度出发，对网络化制造环境中制造资源信息的智能发现技术进行研究，通过实现一个基于语义网的、分布式制造资源获取和智能检索原型系统进行验证。本文主要介绍该系统中的关键技术，包括体系结构、网络化制造本体、多层次信息智能检索模型等。     

“顶起式夹具”可防止工件变形

当工件的可靠定位、夹紧点超过三个基点时,图示的“顶起式夹具”可防止工件的变形。首先把工件以传统的三点定位法装夹,然后松开锁紧螺栓A及夹紧螺栓B,压簧顶起夹具座直到与工件底部接触,锁紧螺栓A把压板旋转到装夹位置锁紧     

Al及Al合金粉末颗粒表面氧化膜厚度对爆炸烧结体质量的影响

借助光学显微镜、扫描电镜分析研究了水雾化、氮气雾化Al粉和超声氩气雾化Al-Li合金扮爆炸烧结体的显微结构.结果表明:只有Al及Al合金粉的表面氧化膜厚度小于30nm时,才可以得到性质优异的爆炸烧结体。