原创力文档- 3
- 0
- 约2.95万字
- 约 9页
- 2017-10-15 发布于上海
- 举报
一致性规划中互斥常量合成方法研究 invariant synthesis for conformant planning
ISSN
计算机研究与发展 1000—1239tCN11-17771TP
of Researchand
JournalComputer Development
一致性规划中互斥常量合成方法研究
赵晶晶“2’3 刘大有h3 蔡敦波3
1(吉林大学计算机科学与技术学院长春 130012)
2(长春工业大学工商管理学院长春130012)
3(符号计算与知识工程教育部重点实验室(吉林大学)长春 130012)
(dyliu@jlu．edu．en)
lnvariant forConformant
Synthesis Planning
Zhao CaiDunb03
Jingjin91’2“．LinDayoul”，and
Scienceand 130012)
1(CollegeofComputer Technology，JilinUniversity，Changchun
您可能关注的文档
- 南大傲拓na400系列plc在高铁防灾安全监控系统中的应用 application of na400 series plc in high-speed railway disaster prevention and monitoring system.pdf
- 临近基站建议模型在基站位置校正中的应用 application of nearest base station suggestion method in base-station position's correction.pdf
- 六轴工业机器人在线误差补偿方法的研究 research on 6-axis industrial robot online error compensation.pdf
- 内存地址泄漏分析与防御 survey of memory address leakage and its defense.pdf
- 卤素原子轰击萘分子的选择性开环 selective ring opening of naphthalene by halogen bombardment.pdf
- 内参比ph纳米传感器用于不同抗肿瘤药物作用的hela细胞内ph变化的测量 intracellular ph detection of different anti-tumor drugs treated hela cells by using ratiometric ph nanosensors.pdf
- 卤族元素在煤炭气化和燃烧过程中的迁移规律分析 characterization of halogen elements emissions from coal gasification and combustion by equilibrium calculation.pdf
- 内存数据库在tpc-h负载下的处理器性能 main memory database tpc-h workload characterization on modern processor.pdf
- 两能级封闭量子系统任意量子态的最优制备 optimal preparation of arbitrary quantum state of two-level closed quantum system.pdf
- 内存云架构的磁盘节能策略 energy-efficient strategy for disks in ramcloud.pdf
文档评论（0）