计算机辅助设计与图形学学报杂志 北大期刊 CSCD期刊 统计源期刊

几何约束求解研究综述

作者：高小山; 蒋鲲 刊期：2004年第04期

综述了几何约束求解的历史发展、研究现状和应用.对常见的4类求解方法:数值计算的方法、符号计算的方法、基于规则的方法、基于图论的方法做了详细的介绍.同时还列举了几何约束求解在计算机视觉、连杆设计、机器人、分子结构设计和计算机辅助教学等方面的应用实例.

基于ISS和硬件模拟器的协同模拟关键技术研究

作者：严迎建; 刘明业 刊期：2004年第04期

提出一种在嵌入式系统软硬件协调设计中对系统功能进行验证的软硬件协同模拟方法.该方法使用指令集模拟器(ISS)和事件驱动硬件模拟器分别完成软硬件的模拟,并采用C+ +语言构造处理器的总线功能模型,实现软硬件模拟器的信息交互.重点讨论指令集模拟器、总线功能模型以及硬件模拟器协同模拟接口的设计与实现方法,同时还给出了软硬件模拟器之间的同...

基于多目标自适应遗传算法的逻辑电路门级进化方法

作者：赵曙光; 王宇平; 杨万海; 焦李成 刊期：2004年第04期

提出一种改进的遗传算法,通过网表级编码、多目标评估和遗传参数自适应等措施,可依据多个设计目标,以较少的运算量自动生成和优化逻辑电路.在数字乘法器、偶校验器等进化设计实验中,通过比手工设计和同类方法更优的新奇设计结果展示了该方法的有效性和先进性.

改进的PACT算法在RC网络约简中的应用

作者：李宁; 侯劲松 刊期：2004年第04期

超大规模集成电路设计进入深亚微米阶段,衬底和互连线的寄生RC参数成为影响电路速度和信号完整性分析的关键因素.由于互连提取的RC规模十分庞大,对其进行时序分析十分困难,因此需要对提取的RC网络进行约简.在经典的RC网络约简算法PACT的基础上提出几点重要改进,明显地提高了网络约简的速度,改进后的算法克服了经典PACT算法的局限性,使之可以适用...

首届智能CAD与数字娱乐学术会议（CIDE2004）第一轮征文通知

刊期：2004年第04期

《数字系统自动设计实用教程》问世

刊期：2004年第04期

由厦门大学计算机与信息工程学院刘明业教授主编，陈辉煌教授主审的《数字系统自动设计实用教程》，2004年5月将由高等教育出版社出版．

第4届全国虚拟现实与可视化学术会议（CCVRV’2004）征文通知（2004年8月1～3日，大连）

刊期：2004年第04期

支持授权的基于角色的访问控制模型及实现

作者：刘婷婷; 汪惠芬; 张友良 刊期：2004年第04期

现有的基于角色的访问控制模型多采用集中授权管理方式,不能满足大型复杂协作系统的需求.文中对RBAC96模型进行扩展,形成了支持授权的基于角色的访问控制模型.该模型引入角色语境作为自主授权活动的依据,通过语境部件授权极限值、授权域、授权类型以及撤销类型的定义,以支持灵活的自主授权活动,并支持多步授权,允许安全管理员对系统进行宏观安全...

多政策的两层协同应用存取控制模型

作者：袁平鹏; 陈刚; 董金祥 刊期：2004年第04期

总结了国内外存取控制研究,分析了目前基于角色的存取控制应用于协同系统时存在的一些问题.针对这些问题,给出了一个用于协同应用系统的存取控制框架.该框架包括两个子部件:基本模型和角色模型.基本模型规定了操作权限之间的依赖关系以及如何进行操作权限比较,并将权限与对具体对象的操作相关联,使得该模型较为直观.此外只要系统中Broker的实现...

基于Web服务面向虚拟企业的柔性工作流管理技术研究

作者：周丹晨; 殷国富 刊期：2004年第04期

虚拟企业中盟员和其提供的服务是动态变化的.文中提出将工作流过程模型描述的活动规范中包含一个或多个Web服务请求,通过引入Web服务和Web服务请求的定义和约束,在活动实例的执行过程中实现Web服务请求与最佳Web服务提供企业动态的服务绑定和调用,由于虚拟企业内部的变化不会影响到各盟员业务过程的正常运行,因此具有较高的柔性和自适应性.

用规则立方体网格分类索引牙颌表面的大规模散乱三角面片

作者：孙延奎; 王颀; 唐龙; 孙雨 刊期：2004年第04期

针对牙颌模型的特种激光测量方法,提出了通过规则的立方体网格对大规模散乱三角面片进行分类索引的算法.该算法计算效率高,存储开销小.研究成果可以用于处理比较有规律的扫描数据样本,即具有相邻层基本拓扑对应关系的大规模数据点的三角化及基于三角面片的计算问题.

用主动轮廓模型优化网格曲面上的特征线

作者：刘胜兰; 周儒荣; 张丽艳 刊期：2004年第04期

对主动轮廓模型在三维网格曲面上的表示进行研究.首先提出一种根据输入的点快速确定初始特征线的追踪投影法;然后计算出特征线的主动轮廓模型能量,其中特征能用平均曲率来表示;最后,特征线经多次迭代后移动到能量极小处,实现优化.实例表明,优化后的特征线既光滑又逼近特征.

网格模型的局部编辑算法

作者：秦绪佳; 王青; 华炜; 鲍虎军 刊期：2004年第04期

提出一种新的网格模型局部编辑算法,该算法可以精确地控制变形区域的大小、边界和变形点的位移,克服了FFD及其改进算法的缺点.首先交互地定义一个附着在模型表面的控制网格;然后建立模型变形区域与控制网格间点的映射,再依据变形要求来编辑控制网格;最后根据映射关系反算出模型变形区域点的新位置.控制网格可以是参数曲面的控制网格,也可采用一...

曲面交线的B样条优化逼近

作者：董辰世; 陈志杨; 汪国昭; 叶修梓 刊期：2004年第04期

目前,在比较成熟的商业几何核心系统中,曲面的交线是一种基于位置算子的'精确'表示或称为'过程'表示.这样的交线如果用在几何建模操作中,必须输出为系统支持的曲线表示(如B样条表示).现有的几何核心系统中曲面交线的B样条逼近算法存在控制点数目过多和连续性偏低(C1)的缺点,导致下游操作结果太复杂且连续性低.基于此,提出了一种曲面交线的B样条...

Wang-Ball基函数的对偶基及其应用

作者：江平; 邬弘毅 刊期：2004年第04期

对于n次Wang-Ball曲线给出其对偶基,进而得到从Bernstein基到Wang-Ball基函数的显式转换公式.