2004 Journal of Software 软 件 学 报 Planning with Domain Constraints Based on Model-Checki
V ol.15, No.11 ?2004 Journal of Software 软 件 学 报 1000-9825/2004/15(11)1629 基于模型检测的领域约束规划
?
吴康恒, 姜云飞+
(中山大学 软件研究所,广东 广州 510275) Planning with Domain Constraints Based on Model-Checking
WU Kang-Heng, JIANG Yun-Fei +
(Institute of Software, Sun Yat-Sen University, Guangzhou 510275, China)
+ Corresponding author: Phn: +86-20-84110685 ext 300, E-mail: lncsri05@https://www.wendangku.net/doc/e413330144.html,, https://www.wendangku.net/doc/e413330144.html,
Received 2003-08-18; Accepted 2004-01-07
Wu KH, Jiang YF. Planning with domain constraints based on model-checking. Journal of Software , 2004, 15(11):1629~1640. https://www.wendangku.net/doc/e413330144.html,/1000-9825/15/1629.htm
Abstract : The MIPS (model checking integrated planning system) has shown distinguished performance in the second and the third international planning competitions. In this paper, a declarative approach to adding domain knowledge in MIPS is presented. And DCIPS (domain constraints integrated planning system) has been developed according to this method. DCIPS allows different types of domain control knowledge such as objective, procedural or temporal knowledge to be represented and exploited in parallel, thus combining the ideas of ‘planning = actions + states’ into domain control knowledge. An advantage of this approach is that the domain control knowledge can be modularly formalized and added to the planning problem as desired. DCIPS is experimentally verified on the three examples in the transportation domain from AIPS 2002 planning competition where it leads to significant speed-ups.
Key words : intelligence planning; domain-dependent planning; model checking; domain constraint; transportation
domain
摘 要: 基于模型检测的智能规划是当今通用的智能规划研究的热点,其求解效率比较高.但是,目前基于模型检测的智能规划系统没有考虑到利用领域知识来提高描述能力和求解效率.为此,研究了增加领域约束的基于模型检测的智能规划方法,并据此建立了基于模型检测的领域约束规划系统DCIPS(domain constraints integrated planning system).它主要考虑了领域知识在规划中的应用,将领域知识表示为领域约束添加到规划系统中.根据“规划=动作+状态”,DCIPS 将领域约束分为3种,即对象约束、过程约束和时序约束,采用对象约束来表达状态中对象之间的关系,采用过程约束来表达动作之间的关系,采用时序约束表达动作与状态中对象之间的关系.通过在2002年智能规划大赛AIPS 2002上关于交通运输领域的3个例子的测试,实验结果表明,利用领域约束的
? Supported by the National Natural Science Foundation of China under Grant No.60173039 (国家自然科学基金); the National Research Foundation for the Doctoral Program of Higher Education of China (国家教育部博士点基金)
作者简介: 吴康恒(1978－),男,广东新兴县人,博士生,主要研究领域为智能规划,机器人规划;姜云飞(1945－),男,教授,博士生导师,主要研究领域为自动推理,智能规划,模型诊断.
1630 Journal of Software软件学报2004,15(11)
DCIPS可以方便地增加领域知识,更加实用化,其效率也有了相应的提高.
关键词: 智能规划;领域依赖规划;模型检测;领域约束;交通运输
中图法分类号: TP18文献标识码: A
智能规划的求解是困难的,规划问题的时间、空间复杂度都是NP完全的[1].目前,虽然与领域无关(domain-independent)的规划系统取得了较大的突破,例如Graphplan[2],FF[3]和MIPS[4],但是它们都没有利用相关的领域知识(domain-dependent knowledge)来提高规划系统的效率.
而在实际应用中,由于缺乏领域知识,这些规划系统的效率都是很差的,对稍微复杂一点的问题,就会因为空间被耗尽或时间太长而无法得出结果.因此,如何利用领域知识来增加软件系统的表达能力和求解效率就成为应用软件设计人员所面临的一个重要课题.
本文介绍了一种方法,能将领域知识方便地添加到通用的规划系统中,使得规划系统的表达能力和求解效率有所提高,又能充分利用通用的规划系统的长处.本文还描述了根据上述思想研究开发的基于模型检测的领域约束规划系统(domain constraints integrated planning system,简称DCIPS).它考虑了领域知识在规划系统中的应用,将领域知识表示为领域约束,并根据“规划=动作+状态”的思想,将领域约束分为3种:对象约束、过程约束和时序约束.采用对象约束来表达状态中对象之间的关系,采用过程约束来表达动作之间的关系,采用时序约束表达动作与状态中对象之间的关系.这样的处理方法使得在解决与领域有关的问题时,DCIPS系统比通用的规划系统显示出一些优点:(1) 加入了领域约束对领域知识进行表示,对状态可以用有层次之分的对象约束来描述,并用约束算子对它们进行操作,使得DCIPS的描述能力得到提高;(2) 同时通过领域约束对领域知识进行表示,对象约束、过程约束和时序约束三者相互作用来减少规划系统的搜索空间,提高DCIPS求解效率.通过对2002年智能规划大赛AIPS 2002上关于交通运输领域的3个例子进行测试,实验结果表明,利用领域约束的DCIPS可以方便地增加领域知识,更加实用化,其效率也有了相应的提高.
1 基于模型检测的规划
模型检测(model checking)是当前计算机研究领域中的一个热点.它将一个系统模型与逻辑需要进行比较,从而发现不一致性.传统上,这个思想用来进行硬件电路上的验证和网络协议的验证.这个思想用在智能规划中取得了较大的成功,产生了一系列功能较强的规划系统,如MBP[5],MIPS[4],UMOP[6]等.
在智能规划研究上,为了提高规划产生的效率,研究者们根据相应的规划方法采取了不同的范式.二元判定图表BDD(binary decision diagrams)[7]就是其中一种重要的范式.BDD的主要优点是,采用BDD表达的两个谓词公式时,两个BDD范式逻辑相等,当且仅当这两个BDD范式是同一个BDD范式,即这两个BDD范式语法上相等.目前,利用BDD来对规划问题求解的基本思想是,先将规划问题的状态和动作表示为BDD范式,再将其输入到BDD的求解器(solver),然后将求解得到的结果转化为一般规划问题的表示.这种思想已经较多地应用在确定规划和非确定规划上.
在2002年AIPS大赛上,规划系统MIPS(model checking integrated planning system)[4]向PDDL2.1扩展,能够处理数值度量和持续时间.在完全自动组,MIPS解决问题的数量最多,是唯一一个能在所有测试例子产生规划的系统,夺得了表现优秀奖.MIPS主要结合了模型检测技术和放宽式规划技术:采用静态分析技术对状态编码进行优化,简化了命题和实例化动作的编码空间;在象征或显式的模式数据库(pattern database,简称PDB)内,采用放宽式规划技术(relaxed planning heuristic,简称RPH)或加权A*技术(BDDA*,weighted symbolic A*)对搜索过程进行估值;根据动作集和利用因果结构,采用路径分析对生成有序的规划解进行调度优化.
2 领域约束规划
当对实际的应用领域做具体的实用规划时,这些实用规划系统的规模通常是较大的、包含大量的复杂的动作集合,如果不加修改地套用通用规划的方法,其效率是很低的.但是在设计这些领域的软件时,专家们通常比
吴康恒 等:基于模型检测的领域约束规划 1631 较了解的该领域的各种知识,可以用来有效地帮助软件设计人员提高应用系统的效率.有时,对领域专家来说甚至是十分简单的知识(例如,铁路运输规划中的货物必须等到车到站后才能卸车),都会对实用规划系统的效率产生重要影响.如果将这些知识添加到规划系统中,就可以提高规划系统的能力,这就是“领域依赖规划(domain-dependent planning)”的基本思想.结合以往学者们对领域规划问题的研究状况,本文分别从两方面来研究和实现领域规划问题:一方面从领域知识的表达方式和表达能力上进行研究,使得领域知识的描述能力尽量满足现实规划问题的需要,并且使规划问题的求解更加自然,以利于提高效率;另一方面,研究如何将领域知识自然地添加到目前先进的通用智能规划系统中,这样,就相当于对规划问题增加了若干有用的约束,使问题的解空间变得较小,从而提高了规划问题解决的速度和求解结果的质量,使得系统达到或接近实际应用水平.
我们在研制解决具体问题的实用规划系统时也有过上述类似的经验.为了解决某些实用规划问题,我们下载了在世界规划大赛获奖的通用规划系统,将具体的应用问题经过一定的转化后,用通用规划系统可以理解的语言PDDL [8]进行描述,然后输入到一些现成的通用规划系统中,利用它们直接进行求解.但是,由于通用规划系统几乎没有考虑应用领域中任何有用的领域信息,系统要考虑许多在实际应用领域里根本不可能产生的状态,或在某些状态下根本不可能采取的动作,其解决问题的效率是非常低的.因此,我们将与领域密切相关的知识添加到目前世界上优秀的通用规划系统上,使它成为领域约束规划,从而能够较好地解决实际应用的问题.但是,如果这些领域知识过强,规划系统退化为一个按照固定的步骤来执行的程序,失去了普遍应用的意义,那么它也只能成为一个专门的专家系统,“有其实际的应用价值,但是缺乏研究的价值”[9].
在领域依赖规划方面,有两类方法利用领域知识,一类是层次任务分解,另一类是搜索策略控制.层次任务分解是层次规划的主要思想.它向规划系统提供一个“粗略规划(plan schemas)”,让规划系统再进行逐步的细化,这样就相当于限定了规划系统的搜索空间.这一类的代表规划系统有UMCP 和SHOP.搜索策略控制是基于逻辑搜索的领域依赖规划系统的基本思想.它将领域知识表达为搜索策略,并将这些搜索策略添加到与领域无关的规划系统中,对规划系统的搜索规则和启发信息进行修改,从而减少规划系统的搜索空间.这一类的代表规划系统有TLPlan 和TALplanner.
我们研究的DCIPS 是基于后一种方法——搜索策略控制.下面将详细讨论其设计思路和实现方法.目前学者们对智能规划问题的看法是,给出一个任务的初始状态、目标状态和所有可行的操作,规划问题就是如何自动找到完成这一任务的动作序列.领域约束规划问题的形式化描述可以如下定义:
定义1. 对一般规划问题的形式化定义??=δ,,,,A S S S M g i [1]进行扩展,领域约束规划问题的形式化描述可以表示为??=δ,,,,,C A S S S M g i ,其中:
S :规划系统M 所有状态的集合;
i S :,规划系统M 的初始状态集合;
S S i ?g S :,规划系统M 的目标状态集合;
S S g ?A :规划系统M 的有限动作集合;
C :规划系统M 中的领域约束集合;
δ:,规划系统M 的动作的实例化.
S A S →×在领域约束规划中,我们采用规划描述语言PDDL 对规划问题进行描述,再对这个规划问题所属的领域抽取出相应的领域知识,这些领域知识表示为领域约束,然后将PDDL 和领域约束输入到DCIPS 中求解,最后得到用户要求的规划(如图1所示).
规划问题的形式化描述是M =?S ,S i ,S g ,A ,C ,δ?,采用基于这个问题描述模型来表示规划问题是比较自然的,与问题的实际情况相一致.由于把规划问题的基本要素看作状态和动作,各种要求看作状态和动作之间的各种关系,因此,规划问题很容易就转化成了一种如何将动作在状态集合中实例化的问题.这样,在模型M =?S ,S i ,S g ,A , C ,δ?中,规划系统所处理的关系主要有3种:状态中对象之间的关系,动作集合中动作之间的关系,动作和状态中对象之间的关系.
1632 Journal of Software软件学报2004,15(11)
Airport Ferry
Factory
Application domain
City
PDDL
General planning system
Domain constraints integrated planning system Domain knowledge Domain constraint
Warehouse
Fig.1 Design of DCIPS
图1 领域约束规划系统设计
在“规划=动作+状态”这个模型里,利用领域知识来提高规划系统的效率和描述能力,相应地也要从这3种关系(对象之间、动作之间、动作和对象之间)上入手.采用领域约束来表达这3种关系是很自然的,因为一个约束通常是指一个包含若干变量的关系表达式,用以表示这些变量所必须满足的条件.
根据这3种规划系统中的关系,我们将领域约束也分为3种:对象约束、过程约束和时序约束.采用对象约束来表达状态中对象之间的关系,采用过程约束来表达动作之间的关系,采用时序约束来表达动作与状态中对象之间的关系,并将其添加到领域约束规划系统中.
为了使我们的领域约束规划更容易理解和比较,我们采用了AIPS 2002大赛上的运输领域来说明,对运输领域抽取出相关的领域知识,并且将这些领域知识表示为领域约束,再将这些领域约束添加到通用规划系统中,根据实验结果得出分析.需要强调的是,领域约束规划是对目前通用规划系统的一个改进,它不单单局限于运输领域,我们采用它作为例子只是为了使问题的描述更清晰.
2.1 DCIPS总体设计
根据上述领域约束规划的思想设计了一个规划系统DCIPS.DCIPS是在MIPS的基础上添加了领域约束的规划系统.它主要对MIPS的搜索模块相应地进行了修改.其主要搜索模块如图2所示.
Object constraint description General planning search
Temporal constraint control
Procedural constraint control
General state search
New state
Fig.2 Search modules of DCIPS
图2 领域约束规划搜索模块
吴康恒 等:基于模型检测的领域约束规划 1633
领域约束规划搜索分为两部分:一部分是一般的状态扩展,这与通用的规划系统是一致的;另一部分是领域约束控制,使用领域约束对产生的新状态进行判断.
DCIPS 主要的算法(领域约束规划算法)描述如下:
Step 1. 初始化:输入领域描述文件domain.pddl(状态对象、动作集合)和问题描述文件problem.pddl(初始状态,目标状态,资源消耗最大(小)说明);输入领域约束(对象约束、过程约束、时序约束).
Step 2. 根据对象约束,预处理初始状态和目标状态.
Step 3. 将初始状态压入Open 表.
Step 4. 取Open 表中启发函数值f 最小的节点i 扩展,在扩展中考虑执行的动作是否满足过程约束和时序约束,并将已扩展的节点i 添加到Close 表.
Step 5. 将新扩展的节点添加到Open 表,并计算其启发函数值f ,在计算中考虑过程约束.
Step 6. 如果节点i 为目标状态,则成功退出,求得一个解.
2.2 对象知识约束
对于某个特定研究领域来说,存在有某些对问题中的对象与其他领域不一样的、描述能力有层次之分的领域知识,这些领域知识我们称为层次性的对象知识.DCIPS 采用约束来表达这些对象知识,并将其应用在规划系统中,称为对象知识约束,简称对象约束.
定义2. 对象约束(,Objective Constraint)是一个),...,,(10n x x x OCon 1+n 元谓词,其中是问题领域中的变元.对象约束描述了在某个领域中,变元间满足的某些该领域上的特定关系,也就是领域知识.对象约束根据作用在对象上的限定程度区分为若干的优先级的集合,这种表示就成为对象约束层次.
n x x x ,...,,10定义3. 对象约束层次(OH ,Objective Constraint Hierarchy)是一个根据作用在对象的限定影响来区分的领域约束有限集合,定义为
},...,,{101j n j j j j OCon OCon OCon OH OH U ?=(),
,...2,1=j },...,,{001000n OCon OCon OCon OH =.
于是,是对状态中对象限定影响最弱的约束集合,从到的约束强度依次增加,因此对问题领域中状态的描述能力也是从到OH 依次增强.
0OH 0OH n OH 0OH n 定义4. 对象约束算子(objective constraint operator,简称OCO)是一个用来实现在同一对象约束层次上不同对象约束间的传递关系的演绎操作,定义如下:
1OCO : .
)()(1ααα+→?j k j i OCon OCon 2OCO : )( if ,,21ββγα=??.
),(),(),(1211γαγββα++→∧j l j l j i OCon OCon OCon .
},...,,{,,,1021n x x x ?γββα,即α,1β,2β,γ表示问题领域中变元的集合.
1OCO 表示在对象约束层次OH 上,由上一对象约束层次OH 继承下来的一个作用在变元集1+j j α上的对象约束,可以推导出在对象约束层次上一个相应的对象约束OCon 也可以作用在变元集j i OCon 1+j OH 1+j k α上.
2OCO 表示在对象约束层次OH 上,由上一对象约束层次继承下来的一个作用在变元集1+j j OH α和1β上的对象约束OCon 和在对象约束层次上作用在变元集j i 1+j OH 2β和γ上的对象约束,如果1+j l OCon 21ββ=,那么可以推导出OCon 可以作用在变元集1+j l α,γ上.
2.2.1 对象约束层次作为描述状态的语言
当选择某个领域进行具体研究的时候,我们会考虑如何选择一种合适的对象约束层次来描述一个可能的实际状态,这时我们关心这种对象约束层次的表达能力如何.在不同的对象约束层次上描述状态,得到的描述简洁性也不一样.
例1:在自动仓库(depots)的例子[10]中,有4个集装箱(标记上A ,B ,C 和D ,如图3所示)在桌面上,要求描述目标g :4个集装箱在同一柱上,其中集装箱A 在最上面.
1634 Journal of Software 软件学报 2004,15(11)
Fig.3 Four crates
图3 4个集装箱
为了描述这个领域,很自然可以想到的是包含对象约束(表示积木x 在积木y 的上
面,x 和y 表面有接触)的对象约束层次OH :
),(),(00y x on y x OCon =0)},({0y x on OH =,
那么,在对象约束层次OH 上,我们要把g 表示为包含6个合取范式,每个范式表示一种集装箱A ,B ,C 和D 的可能的排列:
0)).
,(),(),(( )),(),(),(( )),(),(),(( )),(),(),(( )),(),(),(( )),(),(),((B C on C D on D A on C B on B D on D A on B D on D C on C A on D B on B C on C A on C D on D B on B A on D C on C B on B A on g ∧∧∨
∧∧∨
∧∧∨
∧∧∨
∧∧∨
∧∧=
可以看出,在对象约束层次上的问题领域的描述是呈指数级增长的.为了避免这种情况出现,我们引入
一个包含描述能力更强的对象领域约束OCon (表示积木x 和积木y 在同一柱上,且x 比y 处于更高的位置上,不要求x 和y 有接触)描述能力更强的对象约束层次:
0OH ),(),(10y x above y x =1H )},(),,({)},({01y x above y x on y x above OH OH ==U ,
那么在对象约束层次OH 上,目标1g 可以简洁地表示为
),(),(),(D A above C A above B A above g ∧∧=.
通过例1可以看出,将合适的对象约束层次应用在规划系统中,可以使问题领域的逻辑表示变得更为简洁、自然.
2.2.2 约束算子作为推导的演绎操作
为了实现在同一约束层次上不同约束强度的对象约束间的传递关系,我们用对象约束算子作为推导传递关系的演绎操作.
DCIPS 是把对象约束算子作为特殊的演绎操作,内嵌进来实现推导,参考了Gazen 和Knoblock 提出的在智能规划的预处理中解决领域公理的方法[11,12]:将推导c p p p n →∧∧∧...21转化为等价的演绎操作[])],[],...([),,(21c p p p D A P n ∧∧∧=n OCon OCon OCon OCon →∧∧∧...21(P :条件(premise),A :效果(affect),D :删除(delete)).那么,DCIPS 将对象约束算子转化为等价的演绎操作就是(k ],...21n OCon OCon OCon ∧∧∧([),,D A P =
,这样就可以比较容易地将对象约束算子作为操作内嵌到规划系统中来实现求解.对象约束算子,可以表示为下面的STRIPs 操作描述:
[])],[k OCon 1OCO 2OCO
1OCO 2OCO P
)(αj i OCon ),(),,(,21121γββαββ+=j l j i OCon OCon A )(1α+j k OCon ),(1γα+j m OCon
D
例2:实现在例1对象约束层次上不同约束强度的对象约束,之间的传递关系的对象
约束算子OCO ,. 1H ),(y x on ),(y x above 12OCO
吴康恒 等:基于模型检测的领域约束规划
1635
),(),(,:1y x above y x on y x OCO →??.
21212iff ,,,:z z z z y x OCO =????.
),(),(),(21y x above y z above z x on →∧. 对象约束处理算法描述如下:
Step 1. 建立对象约束和实例化对象的对应表.
Step 2. 初始化对象约束层次OH .
0Step 3. 使用对象约束算子从OH 推导得到OH ,直到i 1?i i N =.
2.3 过程知识约束
在规划系统搜索过程中,存在一些对规划系统动作执行序列具有限定的领域知识,我们把这些领域知识称为过程领域知识.我们采用领域约束对这些过程知识进行表达,称为过程知识约束,简称过程约束(procedural constraint).过程知识大体上可以看作是大致的规划.
参考过程代数的定义[13]和过程知识在ASP(answer set planning)中的应用[14],过程约束定义如下:
pc 定义5. ,一个动作可以构成一个过程约束.
i i a pc ?i a i pc 定义6. :过程约束集合的串行执行()可以构成一个新的过程约束.过程约束规定了DCIPS 先执行,接着,…,最后执行.
);...;;(21in i i j pc pc pc pc ?j pc in i i pc pc pc ;...;;21in pc j pc 1i pc 2i pc 定义7. :过程约束集合的单个执行()可以构成一个新的过程约束.过程约束规定了DCIPS 只是执行过程约束集合中的某个过程约束.
)|...||(21in i i j pc pc pc pc ?j pc in i i pc pc pc |...||21in i pc pc ,...,,2j pc i pc 1ij pc 例如,一个过程约束,表示告诉规划系统:动作是第1个动作;动作是第2个动作;第3个动作是,或者,三者中的一个;最后一个动作是a .
654321);||(;;a a a a a a pc =34a 5a pc 1a 2a a 6在DCIPS 中,过程约束用作描述在动作集合中动作与动作之间的相互关系,这里关心的是两个动作之间的先后联系.对于某个领域,可以人为地抽取出过程约束,再将其添加到DCIPS 中.比如,在运输领域存在的相关领域知识是,“在其移动交通工具之前,通常要在其上装载着货物或刚卸载完货物,即减少交通工具的空移动”.
在自动化仓库Depots 例子上的操作集合有,得到下面的过程约束:
},,,,{Unload Load Drop Lift Driver A =pc Drop Unload Drive Load Lift pc ;;;;1=,
Drop Lift pc ;2=,
13;pc Drive pc =.
假设再加上卡车有着不同的速度,我们可以得到下面的过程约束:
},,{low mid fast Drive Drive Drive Drive =Drop Unload Drive Drive Drive Load Lift pc low mid fast ;);||(;;1=
Drop Lift pc ;2=
13);||(pc Drive Drive Drive pc low mid fast =
在选择动作前判断所选动作是否满足过程约束,过程约束处理算法如下:
a Step 1. 建立过程约束和实例化动作的对应表.
Step 2. 取动作的先辈动作序列.
a preA Step 3. 如果,则满足过程约束;否则,不满足过程约束,舍弃动作.
},,...,,{21n pc pc pc preA ∈a a a 2.4 时序知识约束
时序知识容易添加到一个规划问题中,它的表示独立于动作、初始状态和目标状态的表示.采用一阶线性时序逻辑(first-order linear temporal logic,简称LTL)来表达搜索控制用到的时序知识[15,16],这样得到了时序逻辑语言LTL [15].LTL 以状态为可能世界,以状态的演变次序关系为可能世界间的可到达关系.在本文中讨论的时序逻辑是确定的,即状态演变次序为一个线序,所以简称线性时序逻辑为时序逻辑,它只考虑“现在状态”和“将来状态”,不考虑“过去状态”.
相对于标准一阶逻辑,LTL 主要新增加了下面4种时序算子( f 是LTL 中的某个状态):
1636
Journal of Software 软件学报 2004,15(11)
1. □称为always 算子,□f 表示“永远有f ”.
2. ◇称为eventually 算子,◇f 表示“有时有f ”.
3. ○称为next 算子,○f 表示“在下一状态(时刻)有f ”.
4. ∪称为until 算子,表示“一直有f 21f f U 1,直到有f 2”. 其中,◇时序算子在DCIPS 中使用到,在时刻线上,令为在时间线??=,...,10w w M i w M 上的第i 个时刻,V 是一个赋值函数,根据领域D 来将LTL 中的变量赋值,可得:
1,,f V w M i ???a ,当且仅当,i j ≥?,1,,f V w M j a ??,即最终会为真.
1f 2.4.1 时序约束
我们将时序知识表达为时序约束,以减少规划系统的搜索空间.时序约束定义如下:
定义8. 时序约束(temporal constraint)TCon 用来表示时序知识,减少规划系统的搜索空间.令是动作a 的在产生的end 和overall 时刻的效果(在PDDL2.1第3层中,每个动作效果按其对状态的影响分为3种start,end 和overall),并且将来不能破坏必定成立的目标状态g ,{表示破坏成立的目标状态g 的状态集合,得到时序约束:
),,(V a M f f }g ?}){()),,((g f f V a M TCon ???∧a .
在DCIPS 中,时序约束主要用在描述动作和状态对象之间的相互关系,主要关心一个动作执行后对某个目标状态中的对象的影响.对于某个领域,人为地抽取出时序约束,再将其添加到DCIPS 中.
例3:例如在物流领域,根据在实际应用领域上的研究和相关文献,我们认为主要有以下几条领域知识可以提高规划系统的效率:
1. 直到需要(通常为目标位置),才从交通工具上装载或卸载货物.
2. 不要移动交通工具到不相关的位置.
3. 在移动交通工具之前,通常要在其上装载着货物或刚卸载完货物,即减少交通工具的空移动.
为了方便比较效率,我们选取在AIPS 2002大赛上3个物流领域原型的例子来研究,将上述领域知识采用时序逻辑来表达.我们主要考虑采用时序逻辑来表示其与将来必定成立的状态(通常为目标状态)相关的领域知识.令P 表示一个包裹的名称,L i 表示包裹P 在初始状态的位置,L g 表示包裹P 在目标状态的位置,L m 表示包裹P 在运输途中的状态的位置.
例4:)}),({),(()),()),,,(,((g m m m L P at L P at L P at V L T P unload M TCon ???∧a .
例4表示,如果包裹P 在初始位置L i 一旦被装载load 上运输工具(卡车)T ,那么在T 还没到达目标位置L g 之前,包裹P 将不被卸载unload 下运输工具T ,即一直保持在运输工具T 上.这条领域约束就可以使得Agent 在非目标位置时,不对包裹进行卸载.
例5:)}),({),(()),()),,,(,((g g g g L P at L P at L P at V L T P load M TCon ????∧?a .
例5表示如果包裹P 一旦在目标位置L g 从运输工具(卡车)T 上卸载(unload)下来后,那么包裹P 将不再被装载(load)到运输工具T 上,即一直保持在目标位置L g 上.这条领域约束就可以使得Agent 在包裹到达了目标位置时,不对包裹进行装载.
在自动化仓库Depots 例子上的操作集合有,令C 表示一个集装箱的名称,表示集装箱C 在初始状态的位置,表示集装箱C 在目标状态的位置,表示集装箱C 在运输途中的状态的位置.为了与原有PDDL 说明中的谓词区别,DCIPS 引入利用一个更高层的对象约束,表示集装箱},,,,{Unload Load Drop Lift Driver A =m P ),(y x i P above g P at ),(y x ),(y x above x 在地点之上.我们可以得到下面的时序约束:
y 例6:时序约束TC :
1)}).,({),(( )),()),,,(,((),,,(21g m m m k i k P C above P C above P C above V P T C unload M TCon P T C H load ???∧
∧a
1TC 2k 表示如果集装箱C 在时刻初始位置一旦被装载(load)上卡车T ,那么在T 还没到达目标位置之前时刻,集装箱C 将不被卸载(unload)下卡车T ,即一直保持在卡车T 上.这条领域约束就可以使得DCIPS 在1k i P g P
吴康恒 等:基于模型检测的领域约束规划
1637 非目标位置时,不对集装箱C 进行卸载(unload)搜索.
m P 例7:时序约束TC :
2)}).,({),(( )),()),,,(,((),,,(21g g g g k g k P C above P C above P C above V P T C load M TCon P T C H unload ????∧
?∧a
2TC 表示如果集装箱C 一旦在时刻目标位置从卡车1k i P T 上卸载(unload)下来以后,集装箱C 在时刻就不再被装载(load)到卡车2k T 上,即一直保持在目标位置上.这条领域约束使得DCIPS 在集装箱C 到达目标位置时,不对集装箱C 进行装载(load)搜索.
g P g P 在生成新状态前判断所生成的状态是否满足时序约束.具体的时序约束处理算法如下:
Step 1. 建立时序约束和实例化对象的对应表.
Step 2. 初始化对象约束.
Step 3. 如果新状态f 满足(}){()),,(g f f V a M TCon ???∧a ,则f 满足时序约束;否则,f 不满足时序约束,舍弃状态f .
3 测试和分析
3.1 实例运行结果对比
为了方便对比,我们选择在通用规划系统比赛上采用的测试用例,而且这些测试用例是在同一个领域内,可以使用相同的领域约束,不必像TLPlan 那样再针对每个具体的测试问题手工抽取问题知识.DCIPS 添加的领域约束分别为:
1. 对象约束是,并增加了相应的对象约束算子OCO 和OCO .
),(y x above 121OCO :),(),(),(,y x above y x at y x on y x →∨??.
2OCO :2121 iff ,,,z z z z y x =???? ),(),(),(21y x above y z above z x on →∧.
2. 过程约束有,和.
1pc 2pc 3pc Drop Unload Drive Load Lift pc ;;;;1=,
Drop Lift pc ;2=,
13;PC Drive pc =.
3. 时序约束有TC 和.
12TC )}).
,({),(( )),()),,,(,((),,,(:211g m m m k i k P C above P C above P C above V P T C unload M TCon P T C H load TC ???∧
∧a )}).,({),(( )),()),,,(,((),,,(:212g g g g k g k P C above P C above P C above V P T C load M TCon P T C H unload TC ????∧
?∧a 我们采用在AIPS 2002大赛上公布的运输领域上的3个测试例子(Depots,DriverLog 和ZenoTravel)[10]作比较,其中每个比较例子我们都选取包含时序规划和度量规划的测试用例.对比规划系统我们选取了MIPS 规划系统,MIPS 是在AIPS 2002大赛获得“卓越性能(distinguished performance)大奖”的4个规划系统之一.测试平台为CPU(Duron 1.1G)+RAM(425M)+Redhat7.3的Linux 平台上运行,编译器为gcc 2.96.下面给出测试对比结果.
因为内存容量限制,我们只能处理Depots 问题上pfile1~pfile4这4个测试用例、DriverLog 问题上从pfile1~pfile15这15个测试用例以及ZenoTravel 问题上pfile1~pfile20这20个测试用例.
3.1.1 Depots 例子的测试结果
在Depots 问题上,有6种谓词、4种函数和5种动作,DCIPS 和MIPS 对比的测试数据和结果(运行时间、扩展节点数和最优解值)见表1.
1638 Journal of Software软件学报2004,15(11)
Table 1Testing results comparison of Depots example
表1 Depots例子测试结果对比
Depots DCIPS
MIPS
Complexity
Problem
Depot Truck Pallet Crate Hoist Running
time (s)
Expanded
nodes
Best
value
Running
time (s)
Expanded
nodes
Best
value
Pfile1 3 2 3 2 3 0.14 13 59.361
10.13 13 59.361
1 Pfile
2
3 2 3 3 3 0.23 36 92.111
10.22 36 92.111
1 Pfile3 3
2
3 5 3 1.51 1
514 231.808 2.22 2
188 254.692 Pfile4 3 2 3 7 3 203.00149 114 200.861433.24305 383 199.016
3.1.2 DriverLog例子测试结果
在DriverLog问题上,有5种谓词、2种函数和6种动作,DCIPS和MIPS对比的测试数据和结果(运行时间、
扩展节点数和最优解值)见表2.
Table 2Testing results comparison of Driverlog Example
表2 DriverLog例子测试结果对比
DriverLog DCIPS
MIPS
Complexity
Problem
Driver Truck Package Location Running
time (s)
Expanded
nodes
Best
value
Running
time (s)
Expanded
nodes
Best
value
Pfile1 2 2 2 5 0.11 8 3030.09 8 303
Pfile2 2 2 3 7 0.13 29 3100.13 32 310
Pfile3 2 2 4 6 0.13 13 1730.13 13 173
Pfile4 3 2 4 7 0.15 21 3920.15 20 392
Pfile5 3 2 5 6 0.17 31 112
0.17 31 112
Pfile6 2 3 6 18 0.20 27 2600.20 19 260
Pfile7 2 3 6 28 0.21 13 2680.21 13 268
Pfile8 2 3 6 37 0.77 868 3180.46 412 313
Pfile9 3 3 6 25 0.39 53 8700.38 64 980
Pfile10 4 4 8 35 0.59 26 3400.58 24 340
Pfile11 5 5 10 43 0.80 36 3910.80 36 391
Pfile12 5 5 15 48 13.01 3893 486 3.58 700 611
Pfile13 5 5 20 54 2.51 48 563 2.55 51 558
Pfile14 5 5 25 59 5.30 846 888 4.88 763 1
049 Pfile15 8 6 25 59 20.06 365 71427.54 712 893
3.1.3 ZenoTravel例子测试结果
在ZenoTravel问题上,有2种谓词、11种函数和5种动作,DCIPS和MIPS对比的测试数据和结果(运行时间、扩展节点数和最优解值)见表3.
Table 3Testing results comparison of ZenoTravel example
表3 ZenoTravel例子测试结果对比
ZenoTravel DCIPS MIPS
Complexity Problem
Aircraft Person City Running
time (s)
Expanded
nodes
Best
value
Running
time (s)
Expanded
nodes
Best
value
Pfile1 1 2 3
0.10 1 27.257
0.10 1 27.257 Pfile2 1 3 3
0.09 7 30.210
40.09 7 30.210
4 Pfile3 2 4 3 0.12 1
5 18.152
70.12 15 18.152
7 Pfile4 2 5 3 0.13 19 153.2940.13 19 153.294 Pfile5 2 4 4 0.16 24 37.747
30.16 25 37.747
3 Pfile6 2 5
4 0.17 20 51.782
60.16 26 51.782
6 Pfile
7 2 6 4 0.1
8 23 93.009
0.17 20 142.179 Pfile8 3 6 5 0.41 31 165.9850.40 32 160.639 Pfile9 3 7 5 0.47 55 120.0280.46 39 119.82 Pfile10 3 8 5 0.51 40 167.8680.50 50 181.68 Pfile11 3 7 6 0.71 24 155.3080.71 28 155.308 Pfile12 3 8 6 0.83 42 139.0060.86 59 126.007 Pfile13 3 10 6 0.99 50 89.904
7 1.08 78 90.28 Pfile14 5 10 10
13.55 89 344.85813.03 69 375.056 Pfile15 5 15 12 31.95 115 403.56532.18 94 407.887 Pfile16 5 15 14 53.78 185 409.71 55.03 156 394.27 Pfile17 5 20 16 144.40 359 285.434102.46180 294.623 Pfile18 5 20 18 127.79 162 170.348137.20178 154.548 Pfile19 5 25 20 239.24 192 374.05 236.5 214 373.75 Pfile20 2 25 22 311.22 296 651.716307.67255 725.695
吴康恒等:基于模型检测的领域约束规划1639
3.2 分 析
在描述能力对比方面,DCIPS可以用对象约束来描述状态对象之间的关系,这些对象约束还组成了不同的对象约束层次,使得对问题状态的描述可以在不同的层面上进行,这明显比通用规划系统MIPS要好.
在运行效率对比方面,在Depots问题上,DCIPS效率明显比通用规划系统MIPS要高,扩展的节点数比MIPS 要小,所求得的最优解值比MIPS也要好;在DriverLog问题上,大多数情况下DCIPS所求得的最优解比MIPS 要好,因为是采用最优扩展法来对问题进行求解,所以DCIPS相应地要增加运行时间和扩展节点数;在ZenoTravel问题上,因为问题本身相对简单些,领域知识在其中所起到的作用不是太大,所以DCIPS和MIPS相差不大,但是DCIPS在最优解值方面还是比MIPS略胜一筹.
综上所述,在具体的问题领域求解中,DCIPS效率比通用规划系统MIPS要高,这种效率的优势在复杂情况下越加显得明显.DCIPS采用对象约束来表达状态中对象之间的关系;采用过程约束来表达动作之间的关系;采用时序约束表达动作与状态中对象之间的关系.在提高效率时,要采用到上述3种领域约束的作用,相应地增加了时间、空间代价.但一般具体的问题领域是属于比较复杂的情况,这种代价比规划回溯求解的时间代价要小得多,所以加入了领域约束的DCIPS运行效率就比MIPS要高.DCIPS通过减少规划系统搜索的节点和增加启发信息来提高规划系统的效率,这些都使得DCIPS有所提高.
对于某些个别例子,DCIPS的效率比MIPS略低,但是在大多数情况下,DCIPS求得的最优解都比MIPS要小.这是因为,AIPS 2002上的例子都是随机生成的,而DCIPS和MIPS都是采用启发信息来进行最优搜索,DCIPS对MIPS的启发函数进行了改进,但是这些改进在规划搜索刚开始节点少的时候所起到的作用不大.因此,在实际问题搜索中,开始的时候根据启发信息选择的分支不一致,从而导致了最终结果的差异.
4 结论和相关工作
本文的贡献在于效率和方便添加领域知识这两个方面.在效率上,我们增加的仅仅是简单的近于常识的知识,对领域的依赖性很小,而且增加知识的量也很小,因此,系统应具有通用性,如果把具体领域专家的知识加进去,让系统进一步结合某类具体问题,效率还会进一步提高.在方便添加领域知识方面,经过我们的分析和整理,领域知识的表示与通用规划系统的描述语言十分类似,在通用规划系统中加上领域知识是非常方便的.比如,在上面3个测试用例中,我们只简单地采用了7条近于常识的领域知识,就使得规划系统的效率有所提高.
在领域依赖规划研究方面,与我们的研究工作相关的规划系统有TLPLAN[16].它是基于每个问题的目标进行分析,主要是对目标进行时序扩展,人为给定目标完成的先后次序,从而提高规划系统的效率.DCIPS与TLPLAN的区别在于,DCIPS主要是对某个领域进行分析,不必针对特定的某个问题;而TLPLAN是针对特定的每个问题的目标集合.这样,如果在问题复杂的情况下,它的目标集合难以人为地分析其完成的先后次序,那么估计TLPLAN通过目标的时序扩展的方法可能起到的作用就不够明显.
如何使用领域知识,从而提高规划系统的描述能力和求解效率,这是一个包含范围很广且有相当难度的问题.目前,我们的研究工作只是勾画出轮廓,在不少方面仍未有深入的研究,与实用化仍有一定的距离.在未来的研究工作中,我们将在以下几方面着手深入研究,完善基于模型检测的DCIPS的功能,使其成为一个自动化的、功能强大的实用应用规划系统:(1) 统一的领域约束形式化表示.目前我们为了更为贴近于实际应用,对对象约束、过程约束和时序约束都采用了不同的形式化描述,但是三者是否存在同一的形式化描述?这是值得考虑的一项研究工作.(2) 领域约束的自动抽取.实现的关键技术是机器学习,即通过加入学习功能,使得DCIPS能从以前规划的结果中自动抽取出相关领域知识,并将其作用在规划求解上,从而提高效率.(3) DCIPS商业化.本文研究的对象只是一个简化了的商业领域,完整的商业领域仍有很多重要的组成部分.在今后的研究工作中,继续向具体的商业应用方向发展.
References:
[1] Helmert M. Complexity results for standard benchmark domains in planning. Artificial Intelligence, 2003,143(2):219~262.
[2] B lum AL, Furst ML. Fast planning through planning graph analysis. Artificial Intelligence, 1997,90:281~300.
1640 Journal of Software软件学报2004,15(11)
[3] Hoffmann J, Nebel B. The FF planning system: Fast plan generation through heuristic search. Journal of Artificial Intelligence
Research, 2001,14:253~302.
[4] Edelkamp S, Helmert M. The model checking integrated planning system. AI Magazine, 2001,22(3):67~71.
[5] Bertoli P, Cimatti A, Pistore M, Roveri M, Traverso P. MBP: A model based planner. In: Proc. of IJCAI 2001 Workshop on
Planning under Uncertainty and Incomplete Information. Seattle, 2001.
[6] Jensen RM, Veloso MM, Bowling MH. OBDD-Based optimistic and strong cyclic adversarial planning. In: Proc. of the 6th
European Conf. on Planning (ECP 2001). Springer-Verlag, 2001.
[7] Bryant RE. Graph-Based algorithms for boolwan function manipulation. IEEE Trans. on Computers, 1986,35(8):677~691.
[8] Fox M, Long D. PDDL2.1: An extension to PDDL for expressing temporal planning domains. 2002. https://www.wendangku.net/doc/e413330144.html,/d.p.long/
pddl2.ps.gz
[9] Haslum P, Scholz U. Domain knowledge in planning: Representation and use. In: Proc. of the ICAPS 2003 Workshop on PDDL.
2003.
[10] AIPS 2002 Competition Domains. 2002. https://www.wendangku.net/doc/e413330144.html,/d.p.long/competition.html
[11] Garagnani M. Extending graphplan to domain axiom planning. In: Proc. of the 19th Workshop of the UK Planning and Scheduling
SIG (PLANSIG 2000). Milton Keynes, 2000. 275~276.
[12] Garagnani M. A correct algorithm for efficient planning with preprocessed domain axioms. In: Bramer M, Preece A, Coenen F, eds.
Research and Development in Intelligent Systems XVII (Proc. of ES 2000) Springer-Verlag, 2000. 363~374.
[13] Console L, Picardi C, Ribaudo M. Process algebras for systems diagnosis. Artificial Intelligence, 2002,142:19~51.
[14] Son TC, Baral C, McIlraith S. Planning with different forms of domain-dependent control knowledge An answer set programming.
In: Proc. of the 6th Int’l Conf. on Logic Programming and Nonmonotonic Reasoning, LPNMR 2001. Vienna, 2001. 226~239. [15] Emerson EA. Temporal and modal logic. In van Leeuwen J. Handbook of Theoretical Computer Science, Volume B: Formal
Models and Semantics. Amsterdam: Elsevier/MIT Press, 1990. 997~1072.
[16] Bacchus F, Kabanza F. Using temporal logics to express search control knowledge for planning. Artificial Intelligence, 2000,116:
123~191.
软件工程试卷A
安徽农业大学经济技术学院2011―2012学年第二学期 《软件工程》试卷（A 卷） 考试形式: 闭卷笔试，2小时 适用专业： 计算机科学与技术 (注：分大类或全校等) 一、单项选择题（每小题1分，共计20分） 1、瀑布模型存在的问题是（ ） A 、用户容易参与开发 B 、缺乏灵活性 C ．用户与开发者易沟通 D ．适用可变需求 2、可行性分析是在系统开发的早期所做的一项重要的论证工作，它是决定该系统是否开发的决策依据， 因此必须给出什么样的回答。（ ） A ．确定 B ．行或不行 C ．正确 D ．无二义 3、结构化程序设计主要强调的是（ ） A 、程序的规模 B 、程序的效率 C 、程序设计语言的先进性 D 、程序易读性 4、在用户界面层次上对软件进行测试属于哪种测试方法（ ） A 、黑盒测试 B 、白盒测试 C 、边界测试 D 、系统测试 5、经济可行性研究的范围包括（ ） A 、资源有效性 B 、管理制度 C 、效益分析 D 、开发 风险 6、对象实现了数据和操作的结合， 使数据和操作（ ）于对象的统一体中。 A 、结合 B 、隐藏 C 、封装 D 、抽象 7、需求分析阶段的任务是确定（ ） A 、软件开发方法 B 、软件开发工具 C 、软件开发费 D 、软件系统的功能 8、下列文档与维护人员有关的有( ) A 、软件需求说明书 B 、项目开发计划 C 、概要设计说明书D 、操作手册 9、程序的三种基本控制结构是（ ） A 、过程、子程序和分程序 B 、顺序、选择和重复 学院： 专业班级： 姓名： 学号： 装 订 线
C、递归、堆栈和队列 D、调用、返回和转移 10、软件生存周期中时间最长的是（）阶段。 A、总体设计 B、需求分析 C、软件测试 D、软件 维护 11、为了提高模块的独立性，模块之间的联系最好的是（）。 A、公共耦合 B、控制耦合 C、内容耦合 D、数据 耦合 12、软件概要设计结束后得到（） A、初始化的软件结构图 B、优化后的软件结构图 C、模块的接口图和详细算法 D、程序编码 13、软件需求是度量软件质量的基础，不符合需求的软件就不具备（） A、软件的特点 B、质量 C、软件产品 D、功能 14、软件特性中，程序能够满足规格说明和完成用户业务目标的程度，称作 （） A、正确性 B、移植性 C、可靠性 D、完 整性 15、为使得开发人员对软件产品的各个阶段工作都进行周密的思考，从而减 少返工，所以（）的编制是很重要的。 A、需求说明 B、概要说明 C、软件文档 D、测试 计划 16、汽车有一个发动机，因而汽车与发动机之间的关系是（）关系。 A、一般与特殊 B、整体与部分 C、分类关系 D、is a 关 系 17、在有多重继承的类层次结构图中，它的类层次结构图是（）层次结 构 A、树型 B、网状性 C、星型 D、 环型 18、软件部件的内部实现与外部可访问性的分离，是指软件的（）。 A、继承性 B、共享性 C、封装性 D、抽 象性 19、在结构图中，不是其主要成分的是（）。 A、模块 B、模块间传递的数据 C、模块内部数据 D、模块的控制 关系 20、结构化设计方法在软件开发中，用于（）。 A、测试用例设计 B、软件概要设计 C、程序设计 D、软件详细 设计 二、名词解释（每小题2分，共计20分） 21、软件质量 与软件产品满足规定的和隐含的需求的能力有关的特征或特性的全体，是所有描述计算机软件优秀程度 的特性的组合。
2004年英语专业四级考试真题及答案
2004年英语专业四级考试真题及答案 Part ⅣCLOZE ［15 MIN.］ Decide which of the choices given below would best complete the passage if inserted in the corresponding blanks. Mark the best choice for each blank on your answer sheet. The normal human daily cycle of activity is of some 7-8 hours sleep alternation with some 16-17 hours wakefulness and that the sleep normally coincides(26) ____ the hours of darkness. Our present concern is with how easily and to what extent this(27)____ can be modified. The question is no mere academic one. The ease with which people can change from working in the day to working at night is a(28)____ of growing importance in industry where automation(29)____ round-the-clock working of machines. It normally(30)____ from five days to one week for a person to adapt to a (31)____ routine of sleep and wakefulness, sleeping during the day and working at night. (32)____, it is often the case in industry that shifts are changed every week. This means that no sooner has he got used to one routine(33)____ he has to change to another, (34)____ much of his time is spent neither working nor sleeping very(35) ____.
四川建龙软件全套表格--空调安装竣工验收
单位工程竣工资料 工程名称： 工程地址： 设计单位： 地勘单位： 建设单位： 监理单位： 施工单位： 开工时间：年月日 竣工时间：年月日 资料整理时间：年月日
四川省建设厅制 年限 SG- 016 密级 秘密 总号 分号 卷 内 目 录
单位工程竣工资料目录 建设单位： 注：本表一式三份，建设单位、施工单位、城建档案馆各一份。 四川省建设厅制
单位工程质量竣工验收记录 层／ 四川省建设厅制
SG-018填写说明一、本表为单位工程质量竣工验收进行综合质量评定时使用。二、单位工程完工后，施工单位应自行组织有关人员进行检查评定，并向建设单位提交工程验收报告；建设单 位接到工程验收报告后应由建设单位（项目）负责人组织施工（含分包单位）、设计监理等单位（项目）负责人进行 单位（子单位）工程验收。 三、单位工程质量验收应符合下列规定： 1.单位工程所含分部工程的质量均应验收合格。 2.质量控制资料应完整。 3.单位工程所含分部工程有关安全和功能的检测资料完整。 4.主要功能项目的抽查结果应符合相关专业质量验收规范的规定。 5.观感质量验收应符合要求。四、本表由建设、施工、监理 单位共同填写。五、填写要求： 1.表头及验收记录内容由施工单位项目（技术）负责人填写，表头部分的工程名称、施工单位名称应填写全称 ，与检验批、分项工程、分部工程等验收记录相一致。 2.验收结论由总监理工程师（建设单位项目负责人）填写验收是否合格，观感质量验收情况应填写是否符合要 求，观感质量抽查项目及数量是在施工单位自查基础上由验收各方共同商定。 3.综合验收结论由参加验收各方共同商定后由建设单位填写，对工程是否符合设计和规范要求及工程总体质量 是否合格做了评价，验收时检查出的工程（资料）问题应作为附件附于后面。 4.参加验收单位各方负责人应填写验收意见并签字盖章。 5.表头中的技术负责人应为施工单位技术负责人。 六、本表一式四份，建设单位、施工单位、监理单位、城建档案馆各一份。 四川省建设厅制
软件工程期末试卷(A卷)
《软件工程》期末试卷（A卷） 一．单项选择题（每小题1分，共22分） 1．对象实现了数据和操作的结合，使数据和操作（ C ）于对象的统一体中。 A．结合B．隐藏C．封装D．抽象 2．软件生命周期中所花费用最多的阶段是（ D ）。 A．详细设计B．软件编码C．软件测试D．软件维护 3．需求分析中开发人员要从用户那里了解（ A ）。 A．软件做什么B．用户使用界面 C．输入的信息D．软件的规模 4．测试的关键问题是（ D ）。 A．如何组织对软件的评审B．如何验证程序的正确性 C．如何采用综合策略D．如何选择测试用例 5．（ D ）是将系统化的、规范的、可定量的方法应用于软件的开发、运行和维护的过程，它包括方法、工具和过程三个要素。 A．软件过程B．软件测试 C．软件生命周期D．软件工程方法学 6．（ A ）意味着一个操作在不同的类中可以有不同的实现方式。 A．多态性B．多继承C．类的可复用D．信息隐藏 7．单元测试的测试用例主要根据（ D ）的结果来设计。 A．需求分析B．源程序C．概要设计D．详细设计 8．随着软硬件环境变化而修改软件的过程是（ B ）。 A．校正性维护B．适应性维护 C．完善性维护D．预防性维护 9．在白盒测试技术测试用例的设计中，（ A ）是最弱的覆盖标准。 A．语句覆盖B．路径覆盖 C．条件组合覆盖D．判定覆盖 10．结构化程序设计的一种基本方法是（ C ）。 A．筛选法B．迭代法 C．逐步求精法D．递归法11．不适合作为科学工程计算的程序设计语言是（ D ）。 A．Pascal B．C C．Fortran D．Prolog 12．只有单重继承的类层次结构是（ C ）层次结构。 A．网状型B．星型 C．树型D．环型 13．面向对象的开发方法中，（ C ）将是面向对象技术领域内占主导地位的标准建模语言。 A．Booch方法B．Coad方法C．UML语言D．OMT方法 14．瀑布模型本质上是一种（ A ）。 A．线性顺序模型B．顺序迭代模型 C．线性迭代模型D．及早见产品模型 15．软件维护产生的副作用，是指（ C ）。 A．开发时的错误B．隐含的错误 C．因修改软件而造成的错误D．运行时误操作 16．软件详细设计的主要任务是确定每个模块的（ A ）。 A．算法和使用的数据结构B．外部接口 C．功能D．编程 17．软件结构图的形态特征能反映程序重用率的是（ C ）。 A．深度B．宽度C．扇入D．扇出 18．为了提高模块的独立性，模块内部最好是（ C ）。 A．逻辑内聚B．时间内聚 C．功能内聚D．通信内聚 19．软件结构图中，模块框之间若有直线连接，表示它们之间存在（ A ）。 A．调用关系B．组成关系 C．链接关系D．顺序执行关系 20．“软件危机”是指（ C ）。 A．计算机病毒的出现 B．利用计算机进行经济犯罪活动 C．软件开发和维护中出现的一系列问题 D．人们过分迷恋计算机系统 21．具有风险分析的软件生命周期模型是（ C ）。 A.瀑布模型 B.喷泉模型 C.螺旋模型 D.增量模型 22．数据流图（DFD）中的每个数据处理至少需要（ D ）。 A.一个输入数据流 B.一个输出数据流 C.一个输入或者输出数据流 D.一个输入数据流和一个输出流
2004年全国一级建造师考试真题
2004 年全国一级建造师执业资格考试试题 、单项选择题 （共 70题，每题 1 分。每题的备选项中，只有 1个最符合题意） 1. 国家一级建造师执业资格的注册管理机构是（ A. 省级建设行政主管部门 B. C.建设行业协会 D. 2. 国家一级建造师的主要执业范围是（ A ）。 A. 担任建设工程项目施工的项目经理 B. 担任建设工程项目评估人员 C. 从事建设工程项目咨询工作 D. 从事建设工程项目预算工作 3. 民事活动中，当事人意思表示真实是指行为人（ D ）。 A. 言行要有法律依据 B. 作出承诺 C .语言规范 D.表现于外部的表示与其内在的真实意志一致 4. 以下关于诉讼时效中止的正确表述是（ A ）。 A 因法定事由的出现，权利人不能行使请求权的，诉讼时效中止 B. 因原告起诉，诉讼时效中止 C. 因被告应诉，诉讼时效中止 D. 因证人要求，诉讼时效中止 5. 大中型建设工程项目立项批准后，建设单位应按照（ D ）顺序办理相应手续。 A. 工程发包、报建登记、签订施工承包合同、申领施工许可证 B. 报建登记、申领施工许可证、工程发包、签订施工承包合同 C. 申领施工许可证、工程发包、签订施工承包合同、报建登记 D. 报建登记、工程发包、签订施工承包合同、申领施工许可证 6. 从事建筑活动的经济组织应当具备的条件是符合国家规定的（ A ）。 A. 注册资本、专业技术人员和技术装备 B. 流动资金、专业技术人员和突出业绩 C. 注册资本、专业管理人员并依法设立 D. 注册资本、专业管理人员和资格证书 7. 施工总承包单位与分包单位依法签订了“幕墙工程分包协议” ，在建设单位组织竣工验收 时发现幕墙工程质量不合格。下列表述正确的是（ D ）。 A. 分包单位就全部工程对建设单位承担法律责任 B. 分包单位可以不承担法律责任 C. 总包单位就分包工程对建设单位承担全部法律责任 D. 总包单位和分包单位就分包工程对建设单位承担连带责任 D ）。 人事部或其授权机构 建设部或其授权机 构
建设工程监理单位全套用表四川建龙软件表格
监理单位用表指南 【A类表：（A001～A016）B 类表：（B001～B017）C类表：（C001～C004）】 A类表：（A001～A016） ●总监理工程师任命书…………………………………A001 ●项目监理机构印章使用授权书………………………A002 ●监理规划………………………………………………A003 ●监理实施细则…………………………………………A004 ●工程开工令……………………………………………A005 ●监理通知单（质量/安全）……………………………A006●监理报告………………………………………………A007 ●工程暂停令……………………………………………A008 ●旁站记录………………………………………………A009 ●工程复工令……………………………………………A010 ●工程款支付证书………………………………………A011 ●监理日志………………………………………………A012 ●监理月报………………………………………………A013 ●单位工程质量评估报告………………………………A014 ●监理工作总结…………………………………………A015 ●监理文件资料移交单…………………………………A016 B类表：（B001～B017） ●施工组织设计/（专项）施工方案报审表……………B001
●工程开工报审表………………………………………B002●工程复工报审表………………………………………B003●施工现场质量、安全生产管理体系报审表…………B004●分包单位资格报审表…………………………………B005●施工控制测量成果报验表……………………………B006●工程材料、构配件、设备报审表……………………B007●隐蔽工程/检验批/分项工程报验表…………………B008●分部工程报验表………………………………………B009●单位工程竣工验收报审表……………………………B010●监理通知回复单（质量/安全）………………………B011●工程款支付报审表……………………………………B012●施工进度计划报审表…………………………………B013●施工机械、设施报审表………………………………B014●费用索赔审批表………………………………………B015●工程临时/最终延期报审表……………………………B016●报审、报验表……………………………B017 C类表：（C001～C004） ●工作联系单……………………………………………C001●工程变更单……………………………………………C002●索赔意向通知书………………………………………C003●会议纪要………………………………………………C004 建设单位用表
2004年国考真题及答案
2004年中央、国家机关公务员录用考试 《申论》试卷 满分：100分时限：150分钟 一、注意事项 1．申论考试是对应考者阅读理解能力、综合分析能力、提出和解决问题能力、文字表达能力的测试。 2．作答参考时限：阅读资料40分钟，作答110分钟。 3．仔细阅读给定资料，按照后面提出的“申论要求”依次作答。 二、资料 上汽集团总裁日前在上海对记者说，中国作为世界上最大的潜在市场，应该有一个很强的汽车工业与之匹配，应该建立一些大规模的汽车工业集团。他指出，中国缺乏具有国际竞争力企业的一个重要原因，在于过去政策的制定往往是哪家困难帮哪家，体现的是扶弱以抗强，结果没有强。百余家整车厂，只能是“山中无老虎，猴子称大王”。要成为汽车强国，必须建设汽车大企业、大集团。他强调，中国汽车业的时间不多了，我们要用“扶强联弱”的办法，用最短的时间，整合目前汽车工业差、乱的局面。他希望国家能够支持汽车大企业、大集团，以最少的投入来建立具有国际竞争力的汽车企业。 某商报对汽车的市场前景分析如下：载货汽车需求量将增长，但市场份额将有所下降。轿车、客车、尤其是微型客车的需求量将有较大增长，市场份额将进一步提高。以城镇为中心，公款购买、公务使用的第一层次市场会逐步缩小，以企事业单位公款购置商务用车的第二消费层次市场需求会保持相对稳定或略有下降，以富裕阶层为中心，私人购买和使用的第三层次市场发展势头良好，将成为吸纳汽车增长量的主体，随着国家有关鼓励私人购车政策出台，预计个人购车比例将逐年快速增长。西部地区对中重型货车，各种专用汽车、矿用车和大中型客车的需求将明显增加。农村汽车市场对轻、微型客货车需求会有较大增长。 上海某报记者：“上海一大怪，汽车没有行人快”——20世纪90年代初之上海“怪现状”如今似有卷土重来之势。今日大上海，又见行路难。扎堆的车流如蜗牛爬行。高峰期间，市中心区高架道路上蜗行的车辆密密匝匝，远远望去就像个大停车场。一日，记者乘上703路公交车，走走停停，从莲花路到上海体育馆，区区不足10公里，竟走了一个半小时。 上海某报记者：20世纪90年代以来，上海的道路长度和道路面积分别增长了108％和142％，修建了地铁、高架路、跨江大桥、越江隧道等许多道路基础设施，中心城区初步形成现代交通网络，但同期的机动车总量却增长了470％以上。市民的感觉是路越修越多，车越来越堵。最近几年，上海投资500亿元，增设高架路内环匝道，拓宽地面交通要道，新建越江隧道和中环线，从根本上缓解中心城区的道路拥堵状况，与此同时将大力发展智能交通系统。但人们担心，明天会不会还是继续拥堵。10多年前的“出行难”是上海进入三个“三年大变样”的前期发生的，是城市大发展前的一段“阵痛期”。而今，上海又再次进入了一个“阵痛期”。 广西某报记者：随着南宁私家车的增多，汽车投诉也不断上升。在3·15消费者权益保护日当天，记者就接到几位汽车消费者的投诉电话。有的反映，一些新的热销车型有加价销售的现象；有的反映，买了保险，一旦出了问题，真正索赔时手续非常复杂；有的反映，遇着节假日办理上牌入户不方便。一刘姓出租车司机向记者反映，南宁汽车维修市场比较混乱。不同维修厂的配件和维修价格相差比较大。私家车主白先生对入户、年检时强制性收取的过路过桥费诸多项目和强制小轿车12年报废表示不理解。私家车主
2004年注册安全工程师考试试题及答案
2004年度注安试卷《安全生产法及相关法律知识》 一、单项选择题（共70题，每题1分。每题的备选项中，只有1个最符合题意） 1.地方人民代表大会制定的有关安全生产的地方性法规，与（）相抵触，属于无效。 A.行政法规 B.部门规章 C.地方政府规章 D.国际公约 2.我国安全生产管理的方针是（）。 A.安全生产、效率第一 B.以人为本、安全第一 C.安全第一，预防为主 D.安全第一、公政高效 3.《安全生产法》规定，负有安全生产监督管理职责的部门，对涉及安全生产的事项未依法取得批准或者验收合格而擅自从事有关活动的单位，在发现或者接到举报后应立即予以（）。 A.检查 B.取缔 C.查封 D.停产 4.《安全生产法》规定，矿山、建筑施工单位和危险物品的（）单位，应当设置安全生产管理机构或者配备专职安全生产管理人员。 A.生产、运输、储存 B.生产、储存、使用 C.生产、运输、使用 D.生产、经营、储存 5.《安全生产法》规定，事故调查处理应当按照实事求是、尊重科学的原则，及时、准确地查清（），查明事故性质和责任。 A.事故损失 B.事故类型 C.事故影响 D.事故原因 6.《安全生产法》规定，生产经营单位委托工程技术人员提供安全生产管理服务的，保证安全生产的责任由（）。 A.工程技术人员负责 B.本单位负责 C.介绍工程技术人员的单位负责 D.介绍工程技术人员的个人负责 7.《安全生产法》规定，（）发现其所有在区域内的生产经营单位存在事故隐患时，应当向当地人民政府或者有关部门报告。 A.消费者协会、行业协会 B.社区的物业管理公司、业主大会 C.人民调解委员会、仲裁委员会 D.居民委员会、村民委员会 8.《安全生产法》规定,生产经营单位对重大危险源未登记建档，或者未进行评估、监控，或者未制定应急预案的，责令限期改正；逾期未改正的，责令停产停业整顿，可以并处二万元以上（）万元以下的罚款。 A.十 B.二十 C.十五 D.三十 9.《安全生产法》规定，生产经营单位采用新工艺、新技术、（），必须了解、掌握其安全技术特征，采取有效的安全防护措施等。 A.新仪器 B.新方法 C.新标准 D.新材料 10.《安全生产法》规定，生产经营单位必须为从业人员提供符合（）的劳动防护用品。 A.国际标准 B.企业标准 C.国家标准或者行业标准 D.行业标准或者企业标准 11.《安全生产法》规定，因生产安全事故受到损害的从业人员，除依法享有工伤社会保险外，依照有关民事法律尚有获得赔偿的权利的，有权向（）提出赔偿要求。 A.安全生产监督管理部门 B.工伤保险经办机构 C.劳动和社会保障部门 D.本单位 12.《安全生产法》规定，承担安全评价、检测等工作的机构，出具虚假证明，尚不够刑事处罚的，没收违法所得并罚款，并对其直接负责的（）和其他直接责任人员处以罚款。 A.上级领导 B.上级部门 C.主管人员 D.主管部门 13.《安全生产法》规定，生产经营项目有多个承包单位、承租单位的，生产经营单位对承包单位、承租单位的安全生产工作（）。 A.实施委托管理 B.统一协调管理 C.实离有限管理 D.不负责管理 14.依照《安全生产法》的规定，生产经营单位的特种作业人员未经培训并取得特种作业操作资格证书的，（）上岗作业。 A.经批准可以 B.不得 C.特殊情况下可以 D.一般不得 15.《安全生产法》规定，从业人员（）了解其作业场所和工作岗位存在的危险因素、防范措施及事故应急措施。 A.无权 B.经批准可以 C.特殊情况下有权 D.有权
软件工程试题及答案
软件工程 一、填空题（每题2分，共20分） 1、系统流程图是描述物理模型的传统工具，用图形符号表示系统中各个元素表达了系统中各种 元素之间的( )情况。 2、成本效益分析的目的是从( )角度评价开发一个项目是否可行。 3、自顶向下结合的渐增式测试法，在组合模块时有两种组合策略：深度优先策略和( ) 。 4、在JSP方法中解决结构冲突的具体办法是( )。 5、详细设计的任务是确定每个模块的内部特性，即模块的算法、( )。 6、所有软件维护申请报告要按规定方式提出，该报告也称( )报告。 7、独立路径是指包括一组以前没有处理的语句或条件的一条路径。从程序图来看，一条独立路 径是至少包含有一条( )的边的路径。 8、设计任何一个人机界面，一般必须考虑（）四个方面。 9、在软件测试中，已知产品内部工作过程，通过测试检验产品内部动作是否按照产品规格说明 的规定正常进行的方法称为（）测试法。 10、（）是对软件结构中模快间关联程度的一种度量。 三、判断题（每题2分，共20分） 1. 缺乏有力的方法学的指导和有效的开发工具的支持，这往往是产生软件危机的原因之一。 （） 2. 一个好的开发人员应具备的素质和能力不包括具有良好的书面和口头表达能力。（） 3. 在用户需求分析时观察用户手工操作过程不是为了模拟手工操作过程，而是为了获取第一手 资料，并从中提取出有价值的需求。（） 4. 快速原型技术的适用于软件产品要求大量的用户交互、或产生大量的可视输出、或设计一些 复杂的算法等场合。（） 5. 流程图也称为程序框图是最常用的一种表示法。 6. 面向数据设计方法一般都包括下列任务：确定数据结构特征；用顺序、选择和重复三种基 本形式表示数据等步骤。（） 7. 理想的人机界面应针对具有典型个性的特定的一类用户设计。（） 8. 数据输入的一般准则中包括尽量增加用户输入的动作。（） 9. 用穷举测试是较现实的测试方法。（） 10、在软件维护过程中改善性维护是为适应环境的变化而修改软件的活动。（） 四、论述题（共40分） 1、软件维护是软件生命周期的重要组成，而影响维护的因素较多，除了人员因素、技术因素和 管理因素外，还有程序自身的因素，具体影响因素可归纳为：a) 软件系统的规模；b) 软件系统的年龄；c) 软件系统的结构。 试回答以下问题： 1) 给出上述三项因素的解释，阐述“规模”、“年龄”和“结构”的具体含义。（6分） 2) 扼要分析影响维护工作量的因素，即分析可能增加维护工作量的因素和可能减少维护工作 量的因素。（8分） 3) 简单传述软件可维护性度量的含义。（8分） 2、可行性研究报告的主要内容有哪些?（8分） 3、系统设计的内容是什么？（10分） 五、综合题（20分）某电器集团公司下属的厂包括技术科、生产科等基层单位。现在想建立一 个计算机辅助企业管理系统，其中：
2004年博士生入学考试试题
2004年攻读博士学位研究生入学考试 自然地理学试题 准考证编号得分 一．名词解释（任选四题，每题4分） 1、水体沼泽化 2、环境效应 3、土壤氧化还原作用 4、地带性规律 5、生态交错带 二．简答题（每题8分） 1、举例说明流域系统的整体性与层次性。 2、简述自然保护的基本概念及对社会与自然协调的意义。 3、简述气候变化与异常的原因。 三．问答题（任选三题，每题20分） 1、试述生物圈等级理论的主要内容。 2、试述地理环境中水文现象与地貌现象之间的密切联系。 3、试述中国黄土地貌形成的环境背景。 4、试述区划研究与类型研究的差别与联系。
2004年攻读博士学位研究生入学考试 气候学试题 准考证编号得分 一．名词解释（任选四题，每题4分） 1、副热带高压 2、蒸发潜力 3、降水变率 4、气候分异 5、末次盛冰期 二．简答题（每题8分） 1、简述大气层圈结构。 2、对于全球气候系统而言，主要外强迫和内强迫因子有哪些？其 作用有何不同？ 3、简述地球轨道参数的意义及其在气候变化中的作用。 三．问答题（任选三题，每题20分） 1、论述青藏高原隆起对我国气候形成的作用。 2、何谓El Nino与La Nina，阐述它们对我国气候的主要影响。 3、什么是气候突变？对于一个已知气候记录序列，如何分析气候突变？试举例说明主要方法、基本原理和计算步骤。 4、全球有哪些主要季风区？试阐述亚洲季风系统的环流系统、形成机理和主要气候特征。
2004年攻读博士学位研究生入学考试 生态学试题 准考证编号得分 一．名词解释（任选四题，每题4分） 1、限制因子与限制因子定律 2、生态金字塔与生态效率 3、负反馈调节 4、同化效率 5、补偿深度 二．简答题（每题8分） 1、自养生态系统和异养生态系统的区别有哪些？ 2、一种生物进入新的栖息地，自然种群的数量变动将会经过哪些过程，直至保持相对稳定或灭亡？ 3、请介绍生态系统中物质循环的模式及其类型。 三．问答题（任选三题，每题20分） 1、为什么生物体的生长都呈“S”型曲线形式？ 2、在湖泊生态系统的各阶段中，初级生产主要能量参数，即生物量、总初级生产量、呼吸量和净初级生产量是如何变化的？ 3、请说明生物他感作用的概念及其在生物群落组成和演替中的意义。 4、生态因子作用的一般特征是什么？并以此试分析富营养化湖泊中水华暴发与环境因素的可能关系？
(完整版)四川建龙软件全套表格2018年(监理)
建设工程施工质量验收规范实施指南（第二版） 监理单位用表 四川飞红建设工程监理有限公司 二○○八年十一月
目录 JL—A001 工程开工报审表 (3) JL—A002 施工组织设计（方案）报（复）审表 (4) JL—A003 分包单位资格报审表 (5) JL—A004 工程施工进度计划（调整计划）报审表 (6) JL—A005 施工测量放线报审表 (7) JL—A006 建筑材料报审表 (8) JL—A007 主要工程设备选型报审表 (9) JL—A008 主要工程构配件报审表 (10) JL—A009 复工申请表 (11) JL—A010 工程变更费用申请表 (12) JL—A011 费用索赔申请表 (13) JL—A012 工程临时延期申请表 (14) JL—A013 整改复查报审表 (15) JL—A014 施工现场质量管理审查记录表 (16) JL—A015 工程质量问题（事故）报告单 (17) JL—A016 工程质量问题（事故）处理方案报审单 (18) JL—A017（）月完成工程量报审单 (19) JL—A018（）月付款报审单 (20) JL—B001 工程暂停令 (21) JL—B002 监理备忘录 (22) JL—B003 监理工程师通知单 (23) JL—B004（）会议记录 (24) JL—B005 专题报告 (25) JL—B006 工程最终延期审批表 (26) JL—B007 费用索赔审批表 (27) JL—C001 质量控制资料检查记录表 (28) JL—C001（续）质量控制资料检查记录表 (29) JL—C002 工程建设监理工作月报 (30) JL—C003 旁站监理记录表 (34) JL—C004 施工监理日志 (35) JL—C005 单位工程质量评估报告 (37) JL—C006 地基与基础分部工程质量评估报告 (46) C1 监理工作联系单 (47) A4 报验申请表 (48)
2004年司法考试真题(卷四)答案及详解
2004年国家司法考试试题解析——试卷四提示：本试卷包括案例（实例）分析题、论述题。请将各题答案书写在答题纸的对应位置上，勿在卷面上直接作答。 第一部分：简析题。本部分共5题，75分。 一、（本题15分） 案情：王某与张某育有二子，长子王甲，次子王乙。王甲娶妻李某，并于1995年生有一子王小甲。王甲于1999年5月遇车祸身亡。王某于2000年10月病故，留有与张某婚后修建的面积相同的房屋6间。王某过世后张某随儿媳李某生活，该6间房屋暂时由次子王乙使用。 2000年11月，王乙与曹某签订售房协议，以12万元的价格将该6间房屋卖给曹某。张某和李某知悉后表示异议，后因王乙答应取得售房款后在所有继承人间合理分配，张某和李某方表示同意。王乙遂与曹某办理了过户登记手续，曹某当即支付购房款5万元，并答应6个月后付清余款。曹某取得房屋后，又与朱某签订房屋转让协议，约定以15万元的价格将房屋卖给朱某。在双方正式办理过户登记及付款前，曹某又与钱某签订了房屋转让协议，以18万元的价格将房屋卖给钱某，并办理了过户手续。 2001年5月，曹某应向王乙支付7万元的购房余款时，曹某因生意亏损，已无支付能力。但曹某有一笔可向赵某主张的到期货款5万元，因曹某与赵某系亲威，曹某书面表示不再要求赵某支付该货款。另查明，曹某曾于2001年4月外出时遭遇车祸受伤，肇事司机孙某系曹某好友，曹某一直未向孙某提出车祸损害的赔偿请求。 问题： 1.王某过世后留下的6间房屋应由哪些人分配？各自应分得多少？为什么？ 2.王乙与曹某签订的售房协议是否有效？为什么？ 3.曹某与朱某、钱某签订的房屋转让协议效力如何？ 4.如朱某要求履行与曹某签订的合同，取得该房屋，其要求能否得到支持？为什么？ 5.如王乙请求人民法院撤销曹某放弃要求赵某支付货款的行为，其主张能否得到支持？为什么？ 6.如王乙要求以自己的名义代位请求孙某支付车祸致人损害的赔偿金，其主张能否得到支持？为什么？ 【答案】： 1. 张某、王乙、王小甲。其中，张某分得4间，王乙、王小甲各分得1间。因该6间房系王某与张某的共同财产，王某死后，张某应获得其中的3间，余下3间房在第一顺序继承人间平均分配。第一顺序的继承人有张某、王乙，因王甲先于王某死亡，其子王小甲享有代位继承权。故余下3间房中张某、王乙、王小甲应各分得1间。 2. 有效。该6间房虽属共有财产，但转让协议已经其他共有人张某及王小甲的监护人李某同意。 3. 曹某与朱某签订的协议有效。曹某与钱某签订的协议亦有效。 4. 不能。因曹某已与钱某办理了房屋过户登记手续，钱某已取得了该房屋的所有权，曹某履行不能，朱某只能要求曹某承担违约责任。 5. 能。根据合同法的规定，债务人放弃其到期债权对债权人造成损害的，债权人可以请求人民法院撤销债务人放弃债权的行为。 6. 不能。因该赔偿金是专属于曹某自身的债权，根据合同法的规定，王乙不能行使代位权。 【解析】： 1、《继承法》第三条规定遗产是公民死亡时遗留的个人合法财产。因此6间房屋作为王某和张某的夫妻共同财产进行分割，张某获得3间，另3间作为遗产进行继承。第一顺序继承人包括张某、王乙，王小甲作为代位继承人享有法定继承权。王甲的妻子李某不是第一顺序继承人。 2、《民通意见》89条共同共有人对共有财产享有共同的权利，承担共同义务。在共同共有关系存续期间，部分共有人擅自处分共有财产的，一般认定无效。但第三人善意、有偿取得该财产的，应当维护第
广州大学-2018软件工程试卷a及答案
广州大学2017—2018 学年第一学期考试卷 课程软件工程导论考试形式（闭卷，考试） 一、单选题（每小题1分，共25分，答案写在下表中） 1.软件工程方法的提出起源于软件危机，而其目的应该是最终解决软件的（D）问题 A.产生危机 B.质量保证 C.开发效率 D.生产工程化 2.瀑布模型将软件生命周期归纳为3个时期，即计划期、开发期和运行期。下列（D ）不属于开发期内的工作。 A.总体设计 B.详细设计 C.程序设计
D.维护 3.结构化方法将软件生命周期分为计划、开发和运行3个时期，下列任务中（B）属于计划时期的任务。 A.需求分析 B.问题定义 C.总体设计 D.编码 4.可行性研究要进行一次（C）需求分析。 A.详细的 B.全面的 C.简化的、压缩的 D.彻底的 5.经济可行性研究的范围包括（C）。 A.资源有效性 B.管理制度 C.效益分析 D.开发风险 6.可行性分析是在系统开发的早期所做的一项重要的论证工作，它是决定该系统是否开发的决策依据，因必须给出（B）的回答。 A.确定 B.行或不行 C.正确 D.无二义 7.产生软件维护的副作用，是指（C ）。 A.开发时的错误 B.隐含的错误 C.因修改软件而造成的错误 D.运行时错误操作 8.软件需求分析阶段的工作，可以分为4个方面：需求获取、需求分析、编写需求规格说明书以及（B）。 A.用户 B.需求评审 C.总结 D.都不对
9.软件开发的结构化分析方法，常用的描述软件工程需求的工具是（C） A.业务流程图、处理说明 B.软件流程图、模块说明 C.数据流程图、数据字典 D.系统流程图、程序编码 10.数据流图用于抽象描述一个软件的逻辑模型，数据流图由以写特定的图符构成。下列图符名标识的图符不属于数据流图合法图符的是（A） A.控制流 B.加工 C.数据存储 D.数据流 11.软件开发的结构生命周期法的基本假定是认为软件需求能做到（C） A.严格定义 B.初步定义 C.早期冻结 D.动态改变 软件需求经过分析阶段后，通过软件需求说明书表示出来，后面的开发工作以此为基础进行，即假定软件需求确定后一般不再改变，即“早期冻结”。 12.在结构化方法中，软件功能分解属于软件开发中的（C）阶段 A.详细设计 B.需求分析 C.总体设计 D.编程调试 13.概要设计的结果是提供一份（A） A.模块说明书 B.框图 C.程序 D.数据流图 14.耦合是软件各个模块间连接的一种度量。一组模块都访问同一数据结构应属于（B）方式 A.内容耦合 B.公共耦合 C.控制耦合 D.数据耦合 解释：耦合分为以下几种，按照耦合度由高到低排列是：
2004年高考物理试题全集
2004高考物理试题全集 目录 2004年全国普通高等学校招生考试理科综合能力测试(I)------------2 2004年全国高考理科综合能力测试(II)-----------------------6 2004年普通高等学校招生全国统一考试理综试题物理部分（III）--12 2004年普通高等学校招生全国统一考试（天津卷） 理科综合能力测试物理部分-------------------------------------------------17 2004年普通高等学校招生全国统一考试物理（江苏卷）--------23 2004年普通高等学校春季招生考试理科综合能力测试---------------33 2004年上海高考物理试卷---------------------------------------------------39 2004年普通高等学校招生全国统一考试理科综合能力测试（北京卷）-------------------------------------------------------------------------------------47 2004年普通高等学校招生全国统一考试(广东卷)(缺答案)-----------56 2004年普通高等学校招生全国统一考试理科综合能力测试（老课程）(缺答案)--------------------------------------------------64
2004年全国普通高等学校招生考试 理科综合能力测试(1) 第Ⅰ卷（选择题 共126分） 本卷共21题，每题6分，共126分。 14．本题中用大写字母代表原子核。E 经α衰变成为F ，再经β衰变成为G ，再经α衰变成 为H 。上述系列衰变可记为下式： 另一系列衰变如下： 已知P 是F 的同位素，则 A ．Q 是G 的同位素，R 是H 的同位素 B ．R 是E 的同位素，S 是F 的同位素 C ．R 是G 的同位素，S 是H 的同位素 D ．Q 是 E 的同位素，R 是 F 的同位素 15．如图所示，ad 、bd 、cd 是竖直面内三根固定的光滑细杆，a 、b 、c 、d 位于同一圆周上， a 点为圆周的最高点，d 点为最低点。每根杆上都套着一个小滑环（图中未画出），三个滑 环分别从 a 、b 、c 处释放（初速为0），用t 1、、、t 2、、t 3 依次表示各滑环到达d 所用的时间，则 A ．t 1
软件工程试题及答案98695
软件工程 窗体顶端 1： 92．下面说法哪个不属于设计准则（） 1.①提高模块的内聚，降低模块间的耦合 2.②降低模块接口的复杂程度 3.③模块大小要适中 4.④模块要有重用性 2：88．计算机的体系结构对程序设计语言具有（） 1.①反作用 2.②促进作用 3.③抑制作用 4.④完善作用 3：79．程序图的作用是（） 1.①定性度量软件的复杂程度 2.②定量度量软件的复杂程度 3.③预测软件的质量标准 4.④估计软件中的错误数量 4： 87．下面说法正确的是（） 1.①模块的作用域在模块的控制域之内 2.②模块的控制域在模块的作用域之内 3.③模块的作用域和模块的控制域有时相同
4.④模块的作用域和模块的控制域都是一种层次结构5：94．等价类划分属于（） 1.①白盒测试 2.②黑盒测试 3.③穷尽测试 4.④系统测试 6：90．软件维护组织包括（） 1.①系统维护人员和系统管理人员 2.②系统程序员和硬件维护人员 3.③系统程序员和操作员 4.④打字员和软件工程师 7： 86．可行性研究阶段使用的图形工具是（） 1.①DFD图 2.②N-S图 3.③PAD图 4.④Warnier图 8： 85．好的软件结构它的外观形状一般呈（） 1.①线性 2.②扇形 3.③椭圆形 4.④层次型
9： 93．变换型结构的数据流呈（） 1.①线性形状 2.②辐射状 3.③椭圆形 4.④阶梯形 10：78．结构化程序设计就是要（） 1.①保留GOTO语句 2.②取消前转GOTO语句 3.③限制GOTO语句的使用 4.④取消后转GOTO语句 11： 89．若要保证开发出来的软件局部优化，而且能尽早发现设计上的错误，应采用（） 1.①自顶向下的开发方法 2.②自底向上的开发方法 3.③渐增式的开发方法 4.④非渐增式的开发方法 12： 软件工程的七条基本原理中有一条是“坚持进行阶段评审”，要这么做的理由有（1 ）。 ①大部分错误是在编码之前造成的 ②在软件开发过程中插入阶段评审是为了张弛有度、提高开发效率 ③错误发现得越晚，所付出的修正代价越高 ④为了便于控制开发进度 1．供选择的答案： 1.A. ①② 2.B. ①③
2004年全国高考试题及答案文综
2004年普通高等学校招生全国统一考试 文科综合能力测试 第1卷(选择题，共140分) 在每题给出的四个选项中，只有一项是最符合题目要求的。 <<真腊风土记>>(元)记载：①白温州开船，西南行，历闽、广海外诸州港口，过七洲洋，经交趾洋到占城。又自占城顶风可半月到真腊；②真腊四时常如五六月天，不识霜雪，半年有雨，半年绝无；③信教者削发穿黄，偏袒右肩，其下系黄布裙，跪足。据此并结合图1，回答1—4题。 1．当时从温州航梅前往真腊的较佳时间是 人11-12月D．3-4月C．5~6月D．7-8月 2．真腊地区的气候属于 A．亚热带季风气候B．热带季风气候c．热带沙漠气候D．热带雨林气候3．③所描述宗教的起源地是 A．巴勒斯坦地区D．阿拉伯半岛c．南亚D．中亚 4．该宗教的传播方式主要属于 A．传染扩散B．迁移扩散c．刺激扩散D．等级扩散 GIS中，不同类型的地理空间信息储存在不同的图层上。叠加不同的图层可以分析不同要素间的相互关系。回答5-6是。 5．城市交通图层与城市人口分布图层的叠加，可以 A．为商业网点选址B．分析建筑设计的合理性 C．计算城市水域面积D．估算工农业生产总值 6．对1985年与2000年城市土地利用田层进行分析，能够 A．计算交通流量的变化B．预测洪涝灾害的发生
C．了解城市地域结构变化D．预测城市降水变化趋势 图2表示工业区位选择的4种模式，图中圆圈大小表示各因素对工业区位选择影响程度的强弱。读图2，回答7~8题。 7．工厂区位选择与图示相符的是 A．①生物制药厂②食品罐头厂③电脑装配厂④玻璃厂 B．①彩印厂②造船厂③纺织厂④皮革厂 c．①水泥厂②造纸厂③家具厂④烤烟厂 D．①啤酒厂②炼铝广③缚丝厂④榨糖厂 8．德国鲁尔工业区形成初期的区位选择符合 A．①B．②C．③D．④ 对流层中的上升气流会使飞行中的飞机颠簸。导致对流层气流上升的原固是：上居实际气温低于理论气温(按垂直递减率计算的气温)。田3表示四种对流层气温分布状况，分析图3回答9-10题。 9．①图表示的气温降低速率在 A．3000米以下低于垂直递减率B．3000~6000米高于垂直递减率 C．6000米以下等于垂直递减率D．6000米以下均低于垂直递减率 10．飞机可以在5000米高度干稳飞行的是 A．①B．②C．③D．④ 11．9月23日，当飞机飞到135’E上空时，在舷窗边的乘客看到了海上日出。这时北京时间可能是 A．接近7时．B．5时多C．不到5时D．7时多
- (完整word版)四川建龙软件全套表格,推荐文档
- 建龙软件全套表格
- 四川2019建龙软件全套表格
- 四川建龙软件全套表格
- 四川建龙软件全套表格--空调安装竣工验收
- 四川建龙软件全套表格(含土建、安装、监理)
- 四川建龙软件资料全套表格
- 2019年整理四川建龙软件的全套表格2018年(监理).doc
- 四川建龙软件资料全套表格
- 四川建龙软件全套表格(大概是全的)
- 建龙软件全套表格
- (完整word版)建龙软件全套表格
- 建龙全套用表_四川建龙软件表格模板
- 四川建龙软件资料全套表格
- 四川2017年建龙软件[全套]表格
- 四川建龙软件全套表格模板
- 四川建龙软件全套表格模板
- 四川建龙软件全套表格2018年(监理)
- 2018年度四川建龙软件的全套表格_(1)
- 四川建龙软件全套表格2018