切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于BDD的图表示及其算法
基于BDD的图表示及其算法
来源 :中山大学学报:自然科学版 | 被引量 : 0次 | 上传用户:never03330
【摘 要】
:
给出基于二元判决图BDD的无权图和有权图的符号化表示,同时给出该表示下的算法设计及实现,并以连通度算法和最短路径算法作为例子。
【作 者】
:
吕关锋
苏开乐
林瀚
骆翔宇
陈清亮
岳伟亚
【机 构】
:
中山大学计算机科学系
【出 处】
:
中山大学学报:自然科学版
【发表日期】
:
2006年1期
【关键词】
:
BDD
符号化算法
连通度
最短路径
BDD
symbolic algorithm
connectivity
shortest path
【基金项目】
:
国家自然科学基金资助项目(60496327,10410638,60473004),德国研究基金资助项目(446CHV113/240/0-1),广东省自然科学基金资助项目(04205407)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
给出基于二元判决图BDD的无权图和有权图的符号化表示,同时给出该表示下的算法设计及实现,并以连通度算法和最短路径算法作为例子。
其他文献
矢量介子的辐射衰变
介子的辐射衰变是低能强子物理研究的重要方向,通过它能够揭示介子的结构和性质。从有效场论的观点来看,介子衰变主要包含光子和强子之间的相互作用。使用SU(3)对称性和VMD模型分
期刊
矢量介子
辐射衰变
矢量介子主导模型
vector meson
radiative decay
vector meson dominance model
数字图书馆——网络时代图书馆事业的机遇
在信息化、网络化技术的快速发展的今天,数字图书馆将是今后图书馆发展的方向。图书馆如何把握时代赋予的机会?笔者就此提出一些粗浅的看法。
期刊
数字图书馆
图书馆事业
发展方向
任务
信息资源与旅游文化建设的思考
在当今信息社会,信息资源是战略资源和宝贵财富。本文论述了在全球化背景下的旅游文化信息的服务、价值及共享,指出了充分利用信息资源对旅游文化中的建设的意义,提出了强化旅游
期刊
旅游文化
信息资源
信息能力
SV模型的模拟GMM方法——兼论涨跌停板制度的有效性
采用SV模型的一个简捷高效的估计方法——模拟广义矩估计方法,以上证综合指数为样本,考查了涨跌停板制度对沪市股票收益波动的影响,并将SV模型的实证结果与GARCH模型进行了比较,
期刊
随机波动模型
模拟广义矩估计方法
涨跌停板制度
MONTE
CARLO模拟
the SV model
simulated GMM
price limits
浅析网络环境下高校图书馆的功能定位与发展方向
网络化的发展促进了高校对信息资源的充分利用,高校图书馆在网络环境下要想求得大力发展就必须重塑自己的功能定位与发展方向,文章就此问题进行了简要分析。
期刊
网络
高校图书馆
功能定位
发展方向
论民族地区地方文献为地域文化旅游服务
本文论述了民族地区地方文献与地域文化旅游业的关系。提出了加强民族地方文献建设、开发,服务旅游产业的对策和建议。
期刊
地方文献
地域文化
旅游
一氧化氮参与附睾上皮细胞感染后的宿主防御
以金黄色葡萄球菌Staphylococcus aureus感染附睾上皮细胞的体外感染模型,分别采用RT—PER和western blot等方法研究一氧化氮(NO)在附睾上皮细胞宿主防御中的作用。结果表明附睾
期刊
附睾上皮细胞
一氧化氮
宿主防御
epididymal epithelial cells
nitric oxide
host defense
编织纤维混凝土耗散性能研究
研究正交纤维格栅织物增强混凝土的动力性能和耗散的机制。格栅织物通常用在土体的固定方面,在混凝土工程的应用方面较少。纤维编织格栅混凝土是纤维增强材料混凝土一种功能
期刊
纤维织物
混凝土
耗散性能
fiber woven grid
concrete
energy dissipation properties
三体系统中的Efimov态
通过求解Faddeev方程,研究了量子三体系统中的Efimov效应。改进了变分方法对于求解激发态的不足。在不同的两体作用下得到了三体系统中的Efimov态。讨论了在不同质量比的三体
期刊
Efimov效应
Faddeev方程
三体系统
Efimov effect
Faddeev equation
three-body system
P2Y及P2Y1嘌呤受体研究进展
1嘌呤受体的分类1929年Drury和Szent-Gyorgyi首次证明了腺核苷酸和腺苷具有生物学效应:如静脉注入腺苷后可引起豚鼠心动过缓、尿分泌抑制和血管舒张等现象.1953年Holton发现
期刊
嘌呤受体
受体研究
神经递质
腺核苷酸
生物学效应
嘌呤核苷酸
嘌呤能受体
心动过缓
其他学术论文