排序方式: 共有289条查询结果,搜索用时 15 毫秒
1.
基于锁集合算法的增强型数据竞争检测方法 总被引:1,自引:0,他引:1
针对锁集合算法误报率高的缺点,采用增强型数据竞争检测方法对锁集合算法及算法实现两方面进行改进.增强型锁集合算法提出了更强必要条件的检测算法.该算法通过分析线程结束情况和理解变量的线程信息,精化数据竞争检测条件.算法实现采用系统体系结构扩展的方法,通过扩展锁表部件,将集合操作精确映射到位图操作,进一步提高检测精度和减少误报.实现了无干扰免插桩检测技术,避免了二进制代码插桩带来的干扰性和不确定性问题.与同类系统的对比实验结果表明,该方法能够有效地将误报率减小到0.67,并且具有很高的检测效率. 相似文献
2.
将相变理论中的相位场模型引入到图像分割建模中,并对经典相位场模型进行改进,提出一种基于相位场模型的提花织物图像分割算法.算法采用有限元逼近和自适应网格调整技术对模型进行数值求解;采用一阶拉格朗日有限元对模型进行空间离散、半隐式欧拉格式进行时间离散.为了提高有限元网格单元对图案内容的表征能力,采用网格优化策略对网格单元进行自适应调整.采用后置误差估测子对逼近解和初始解间的局部和全局误差值进行定量计算,自适应调整策略利用该估测值调整网格剖分结构的细密度,从而提高网格单元对图案的表征效果.对人工合成图像和提花织物图像的分割实验结果表明了算法的有效性. 相似文献
3.
4.
绍兴轻纺区域网络化制造系统研究 总被引:2,自引:0,他引:2
针对绍兴轻纺区域对网络化制造的需求,提出了面向该区域的网络化制造系统总体设计方案,通过基于Web Service的企业应用集成模型实现这些平台和服务间的集成。该系统的实施采用应用服务提供商模式,具体实施过程中选择绍兴生产力促进中心作为应用服务提供商负责维护和运营网络化制造系统,并采用一个三级用户访问控制模型管理各企业用户对系统的访问和使用。最后,在充分考虑系统可扩展性和安全性的基础上,给出了该系统的物理结构方案。按照该方案设计的网络化制造系统已经在绍兴轻纺区域的一些企业投入运行,对整个轻纺区域及其他区域的发展都起到了很好的指导和示范作用。 相似文献
5.
整合分布式计算技术的协同CAD系统 总被引:7,自引:0,他引:7
原型系统GridCAD展现了一个新的基于网络服务的分布式协同CAD系统环境,并且整合了由网络服务实现的任务动态调度、分布式执行的机制。采用传统的服务器/客户端的分布式架构,以网络服务作为服务器与客户端之间各类操作互相引用的接口,两端所有通讯和数据的传输都通过XML实现。借鉴网格计算思想而设计的任务管理器,是GridCAD中任务动态调度机制的核心,通过对客户端提交的各类操作进行动态分割实现分布式执行。而请求进程管理器则用来实现对各种客户端请求进行仲裁和校验,保证协同设计环境的正常运行。基于网络服务以及SOAP/XML的应用架构,也使GridCAD具备了支持异质平台的特性。 相似文献
6.
基于约束的装配体技术 总被引:33,自引:7,他引:26
本文首先给出了装配体的数学模型与表示模型。系统采用二叉树来表示一个装配体,接着提出了基于约束表示的装配体位置关系的描述方法,约束通过转化以方程的形式求解,并对Newton迭代法提出了改进算法。 相似文献
7.
本文介绍了浙江大学人工智能研究所在产品造型研究基础上完成的一个面向机械产品设计的实用化计算机辅助设计(CAD)系统ZD-MCADⅡ。首先我们结合实际从事CAD系统的经验提出了一套开发实用化、商品化CAD系统的设计方法学,然后介绍了ZD-MACDⅡ的系统结构以及总体功能,并就某些重要的模块的结构及实现进行了广泛的讨论。 相似文献
8.
HyCAD:一个基于结构化变分几何的变参设计系统 总被引:3,自引:0,他引:3
HyCAD是一个支持参数化的新一代设计系统,它根据对实际工程设计过程的分析,将设计对象分解为主元与从元两大部分,并结合了变分法设计和结构化设计的优点,从而提高了设计效率的可靠性。本文主要介绍了该系统的基本设计思想及系统体系结构。 相似文献
9.
本文介绍了浙江大学人工智能研究所在产品造型研究基础上完成的一个面向机械产品设计的实用化计算机辅助设计(CAD)系统ZD-MCADⅡ。首先我们结合实际从事CAD系统的经验提出了一套开发实用化,商品化CAD系统的设计方法学,然后介绍了ZD-MCADⅡ的系统结构以及总体功能,并就某些重要的模块的结构及实现进行了广泛的讨论。 相似文献
10.
基于多库的协同文档管理系统的研究 总被引:1,自引:0,他引:1
复杂产品的研制和开发通常需要经过若干个阶段,每个阶段对文档数据的管理要求各不相同,传统的协同文档管理系统忽略了这个事实。针对上述问题,提出了库的概念,作为存储和管理文档数据的基本逻辑单位。基于工作流给出库迁移模型,实现文档数据在库之间的自动流转,解决文档跨域协同设计问题。提出了基于项目和库的逻辑和物理全分布数据存储方案,可满足海量数据存储和不同设计阶段的数据安全管控要求。这些方法适用于支持复杂产品的协同设计的文档管理系统的研制与开发。 相似文献