摘要：交通卡口数据能够有效地用于识别套牌车行为,已有的方法通常基于规则查询套牌车记录,但较少提供规则的含义及其对查询结果的影响、套牌车行为模式的分析.为此提出一个基于交通卡口数据的交互式套牌车可视识别和分析系统.基于规则识别套牌车,设计可视查询与条件筛选,利用地图和时间线展示不同车型的时空分布,并分析套牌车主要出现的卡口和时间;通过设计Cir Flow图符和分布图展示单卡口和卡口对的统计信息,分析套牌车识别算法中的参数调整对识别结果的影响.最后,通过案例验证了系统的可用性.

摘要：针对有限元分析建模的需求,提出一种将工程零件的设计特征模型自动转换为相应的分析特征模型的方法.首先将设计特征模型分解为所有正特征剩余体的集合,然后从各正特征剩余体中分解出一组扫成体和非扫成体,再采用基于二维轮廓的方法从各扫成体中确定出候选分析特征区域,最后通过合成候选分析特征区域得到真正的分析特征区域,并在此基础上生成分析特征和分析特征模型.实验结果表明该方法是有效的.

摘要：研究基于随机Petri网(SPN)的信息系统生存性分析建模方法.首先,将信息系统抽象为请求组件、通信组件、处理组件和存储组件4个部分;其次,将信息系统工作流程形式化描述和生存性分析建模相结合,并分别描述了通用信息系统、系统组件失效修复、串联并接、冗余以及具有可生存属性组件的随机Petri网建模方法.从而对系统形式化描述的同时对系统生存性能做了定性和定量分析;最后,仿真实验证明基于SPN建模方法分析信息系统生存性的有效性和准确性,并为可生存的信息系统设计提供理论基础和指导.

摘要：大数模幂是许多公钥算法中的主要操作和计算瓶颈.SEA是一种针对大数模幂的高性能协处理器,其主要采用如下3种加速方法:①采用二进制并行模幂算法(PBME)和以基数长度为处理字长的高基数Montgomery算法(RBHRMMM);②将算法映射到脉动阵列处理结构,并交替计算平方和乘以掩盖RBHRMMM算法中的相关,同时应用定向技术消除PBME算法中的相关;③基于“先拆分乘法、后将累加压缩”的思想优化关键路径.SEA完成1024b完整大数模幂仅需72738个时钟周期,采用基于标准单元的正向设计流程实现,其面积为4.2×4.2mm2,等效门数为739933.目前,SEA已经在0.18μm1P6MCMOS工艺上流片成功,主频133MHz,峰值功耗为962.26mW,使用SEA后,完成一次1024bRSA签名仅需316.9μs.

摘要：该文利用粗糙集理论有关方法,就用户需求、个性化配置及设计方案评价三个方面对面向企业的全局产品结构模型进行了相关研究;考虑用户的不确定性需求,建立了用户需求的数据挖掘模型.该模型能有效处理不确定或不精确知识的表达,进行经验学习并从中获取知识,进行推理,使得企业能够充分了解用户的需求;提出了个性化配置器的规则提取模型,利用不完备信息系统粗糙集的相关方法加以处理,将配置逻辑和规则纳入产品定义中,使得用户和销售工程师在进行个性化产品定义的时候就可以确定相应的配置逻辑,由此产生相应的产品结构,为面向多应用视图的BOM生成提供可能,还提出了设计方案评价的决策支持模型,该模型考虑产品全生命周期相关设计方案的各个影响因素,利用粗糙逻辑与决策方法对已有知识进行逻辑的推演与分析,提取相应的决策规则,为全局产品结构模型的建立提供支持;最后,给出了利用上述相关算法实现的产品配置管理的工作过程.

摘要：利用压电陶瓷的逆压电效应,基于步进运动原理和误差补偿技术设计了一种高精度定位的大行程精密直线驱动器,制作了样机,进行了静态特性和幅频特性测试以及运动性能试验,给出了驱动器的移动速度与工作电压、频率之间的试验关系曲线。结果表明:在计算机闭环控制下,驱动器能稳定地实现双向运动,在行程1mm时,定位精度达±0.01μm,有效驱动力达13.5N。

摘要：测试在需求分析阶段就开始介入,不仅能帮助开发人员更有效地完善需求,也能让测试人员设计出更贴近需求的测试.同时当需求进行了更改之后,测试人员也能及时和准确地了解需求的变化、更改测试需求.利用模型驱动的思想,对测试需求的概念进行阐述.定义了一种测试需求的元模型和测试需求建模方法,利用测试需求建模方法,可以得到测试需求模型,从而得到相应的测试目标,生成所对应的测试用例.并给出了对SIP协议进行测试的实验分析,在其中体现了利用测试需求建模得出的测试需求模型的作用.

摘要：提出用遗传算法求解车身装配接头方案的优化选择问题.在车身装配尺寸链表达基础上,分析了不同关键算子及参数选择对遗传算法计算性能的影响,并通过实例验证了文中方法的可行性.该方法有助于提高产品设计效率.

摘要：为了解决基于关键字检索方式难以获得符合设计意图的CAD模型的问题,通过对CAD模型自动添加语义标签来改进传统关键字方式检索CAD模型的准确性.首先提出一种利用属性图比较CAD模型形状相似性的算法,根据图的邻接矩阵及顶点属性构造图顶点集的序列,通过动态编程方法求出图的最大公共子图,得到CAD模型之间的形状相似度;然后根据求出的未知模型与已知模型之间的形状相似度,利用概率方法实现对未知模型的自动语义标注.实验结果表明,采用文中方法可以使基于关键字的检索方法具有搜索形状相似模型的功能,在很大程度上改进了传统关键字方式检索CAD模型的准确性.

摘要：采用基于消息驱动的星型集成模式实现PDM/CAx系统的紧密集成,将事物特性表(SML)技术与参数化CAx技术相结合,支持从管理层面到实现层面的快速变型设计.在PDM系统中利用SML建立产品族信息模型,支持产品族数据的存储、查询、识别、比较和选择,在CAx系统中实施尺寸驱动、工艺规程派生等变型功能.目前该软件系统已经应用于汽车企业、邮电设备企业.