全部来自 AI 原创生成并经逐题审校的题目，带 精品 标记的为 AI 复审通过。整卷生成请去组卷。
某需求分析人员在建立图书馆管理系统的DFD时，绘制了顶层图中的加工'借阅管理'，其父图中该加工有一条输入数据流'借书证信息'和一条输出数据流'借阅记录'。随后在细化该加工的0层图中，分析人员画出了输入流'借书证信息'、'图书条码'，以及输出流'借阅记录'和'超期罚金单'。判断：按照数据流图父子图的平衡原则，该0层图的画法是符合规范的。
登录后查看答案
判断下列说法的正误：在需求分析建模中，数据流图（DFD）中的“数据存储”表示数据暂时或永久保存的地方，因此数据流图允许数据从“数据存储”直接流入“外部实体”，而无需经过任何“加工（处理）”环节。
判断：功能需求与非功能需求属于需求分类；业务需求、用户需求与系统需求属于需求层次，因此功能需求等同于系统需求。
某公司同时开发两个项目：项目A需求明确、技术成熟，要求按阶段严格评审与文档规范；项目B需求模糊、风险高，需要通过原型不断澄清需求并评估风险后再决定是否继续投入。有同学据此判断：项目A适合采用瀑布模型，项目B适合采用螺旋模型，且由于增量模型每轮交付可运行软件，项目B更适合增量模型而非螺旋模型。该判断是否正确？
某软件项目经过多轮开发，每轮都形成阶段性成果，并在开始下一轮前系统识别和评估主要风险，以风险处理结果确定后续工作。有人据此断定该项目不属于螺旋模型，因为螺旋模型不采用迭代开发。判断这一断定是否正确。
判断下列表述的正误：软件工程是采用工程的概念、原理、技术和方法来开发与维护软件的学科，其目标之一是在给定的成本与进度前提下开发出满足用户需求的、质量可被验证的软件产品；因此，只要最终软件功能正确且用户验收通过，软件开发过程中是否遵循工程化方法和规范文档就无关紧要，可以随意取舍。
判断：依据软件工程的模块化原则，只要将系统划分为多个模块，各模块就必须完全没有依赖或交互。
设数列 {aₙ} 满足 a₀ = 1，a₁ = 1，且对 n ≥ 2 有 aₙ = 4aₙ₋₁ − 3aₙ₋₂。令 A(x) = ∑ₙ≥0 aₙxⁿ 为其生成函数。某同学在用生成函数法求解时，将递推关系两边乘 xⁿ 并对 n ≥ 2 求和，整理得到 A(x) = (1 − 3x)/(1 − 4x + 3x²)。请判断该同学的这一结论是否正确。
在 S={0,1,2} 上定义二元运算 *：除 1*1=0 外，其余 a*b 均等于 a+b 除以 3 的余数。判断：由于该运算封闭，0 是单位元，且每个元素都有逆元，故 (S,*) 是群。
设A、B、C为有限集合。某同学认为，统计至少属于A、B、C之一的元素总数时，把三个集合的元素数相加，再扣除每一对集合共同元素的个数，就得到所求总数。判断该说法是否正确。
判断：若某二叉树中所有结点的标记互不相同，则仅由该树的先序遍历序列和后序遍历序列必定不能唯一确定这棵二叉树。
设 A={1,2}，B={3,4}。判断命题：|P(A×B)|=|P(A)×P(B)| 且 P(A×B)≠P(A)×P(B) 是否正确。
设 A、B 均为含有 8 个元素的有限集合，函数 f:A→B 满足：存在不同的 u、v∈A 使 f(u)=f(v)，且 A 中其余元素的像彼此不同，也都不同于 f(u)。判断：f 是满射但不是单射。
数列 {aₙ} 满足 a₀ = 1，a₁ = 2，且对 n ≥ 2 有 aₙ = 3aₙ₋₁ - 2aₙ₋₂。设 A(x) = ∑ aₙ xⁿ（n ≥ 0）。有人用生成函数法得到 A(x) = (1 - 2x)/((1 - x)(1 - 2x))，并由此断言 aₙ = 1。该断言是否正确？
设 S={∅,{a},{b},{a,b}}，运算为集合并。有人断言：由于该运算满足结合律，且 S 中每个元素都满足 A∪A=A，(S,∪) 就是群。判断此断言是否正确。
判断：数列 {aₙ}（n≥0）满足 aₙ=n，其指数生成函数为 ∑ₙ₌₀^∞ n·xⁿ/n! = e^x。
由数字0—9组成长度为3的数字串，允许首位为0。满足“首位为偶数或末位为0”的数字串一共有600个，因为首位为偶数的有5×10×10个，末位为0的有10×10个。判断该说法是否正确。
判断：某班要从 10 名学生中选出 3 人分别担任班长、学习委员、文体委员，不同选法共有 C(10,3) 种。
判断：设 G 是边权互不相同的无向连通带权图，则 G 的最小生成树唯一；且最小生成树中权值最大的那条边一定是 G 中权值最大的边（即 MST 必包含 G 的最大权边）。
判断：在一棵根树中，若每个内结点恰有两个孩子，则该根树一定是一棵完全二叉树。