程序代写

COMPSYS 705 Formal Methods for Safety Critical Software Test, 17 October 2023

The University of Auckland Department of Electrical, Computer and Software Engineering COMPSYS 705 Formal Methods for Safety Critical Software Test, 17 October 2023 Question Mark Q1 Q2 Q3 Q4 Q5 Q6 Total Last name Name ID 1. Answer ALL questions. Part I (Partha’s part) covers 70 marks, while Part II (Avinash’s Part) covers 30 marks […]

COMPSYS 705 Formal Methods for Safety Critical Software Test, 17 October 2023 Read More »

COMP2521 24T3 Assignment 1

# COMP2521 24T3 – Assignment 1 ## 1. 作业概述 – **课程信息**:COMP2521 24T3,数据结构与算法课程,新南威尔士大学计算机科学与工程学院 – **作业贡献**:占期末成绩的15% – **提交要求** – **截止时间**:第7周周一晚上8点 – **提交文件**:Mset.c、MsetStructs.h和analysis.txt – **提交方式**:命令行(`$ give cs2521 ass1 Mset.c MsetStructs.h analysis.txt`)或give的网页界面 – **注意事项**:可多次提交,以最后一次为准;提交后需检查是否成功 – **评分标准** – **正确性(75%)** – 包括基本操作(如插入、删除、获取大小、获取总数、获取元素计数、打印等)和高级操作(如并集、交集、包含判断、相等判断、获取最常见元素等)的实现正确性,以及平衡二叉搜索树更新后的相关操作正确性和游标操作的正确性 – 每个操作有相应的分数占比,若出现内存错误/泄漏会有相应扣分 – **复杂度分析(15%)**:分析.txt中复杂度分析的正确性和解释质量 – **代码风格(10%)**:包括缩进、空格使用、函数使用、代码分解、注释等方面的评估 ## 2. 作业内容 ### 2.1 Multiset抽象数据类型(ADT) – 是一种允许重复元素的集合,每个元素有一个计数,表示在集合中出现的次数。 – 是抽象数据类型,关注其操作集合,实现细节不重要,只要对用户呈现出期望的行为。 – **操作要求** –

COMP2521 24T3 Assignment 1 Read More »

CS135 Project A

# CS135 Project A: Classifying Sentiment ## 1. Overview – **Project Timeline** – Release on Thu 9/26 – Form partners by Sun 10/06 – Due on Thu 10/17 – Intermediate deadlines for Problem 1 and Problem 2 code/experimentation and writeup – **Team Formation** – Encouraged to work in teams of 2, but can work individually

CS135 Project A Read More »

COMP3301 2024 Assignment 2

# COMP3301 2024 – Assignment 2 ## 1. 课程与作业介绍 – **课程**:COMP3301 – **作业发布时间**:2024年 – **截止时间**:第10周周一下午3点(9月30日) – **提交方式**:Blackboard(反思文档)和Git。代码提交将在第10周的实践课中进行评分 ### 1.1学术诚信 – 所有评估均为个人任务。可以与同学讨论C编程和评估规范的相关方面,但不应在实际编码过程中互相帮助。禁止查看他人代码,也不允许自己的代码以任何形式被他人看到或分享。提交的代码将进行抄袭和串通检查,一旦发现违规,将启动正式的不当行为处理程序。 – **AI工具使用**:所有评估任务均在不借助生成式人工智能(AI)或机器翻译(MT)的情况下评估学生的能力、技能和知识。使用AI技术生成答案(例如代码生成)是严格禁止的,可能构成学生不当行为。 ### 1.2作业背景 – 两个进程可以通过文件描述符(如管道、打开的文件)或共享内存(如使用`mmap()`和`MAP_SHARED`映射的内存)进行通信。但文件描述符或共享内存只有在进程存在父子关系时才能被继承。 – UNIX允许通过UNIX域套接字使用套接字控制消息`SCM_RIGHTS`在任意两个进程之间传递文件描述符。而共享内存也可以通过套接字控制消息实现,但在OpenBSD中目前尚未实现。 ## 2. 作业任务概述 1. **理解`SCM_RIGHTS`**:找到`SCM_RIGHTS`在内核中的实现位置并理解其工作原理,填写并提交流程图,在反思文档中说明查找相关代码的步骤及使用的工具。 2. **实现`SCM_PAGES`**:实现一个通过套接字控制消息接口共享内存页面的进程间通信机制,类似于`SCM_RIGHTS`。发送的是`memshareblk`结构数组,而不是文件描述符数组,并处理各种边界情况。 3. **识别安全风险**:在反思文档中识别至少一个与任务设计或代码实现相关的潜在安全风险,并详细解释风险以及如何缓解该风险。 ## 3. 作业完成步骤 ### 3.1准备工作 1. **下载基础代码补丁** – 命令:`cd ~ ftp https://stluc.manta.uqcloud.net/comp3301/public/2024/comp3301 -2024 -a2.patch` 2. **创建`a2`分支** –

COMP3301 2024 Assignment 2 Read More »

FIT5196 S2 2024 Assessment 2

# FIT5196 – S2 – 2024 Assessment 2 ## 1. Introduction This is a group assessment worth 40% of the total mark for FIT5196. It consists of three tasks related to data analysis and manipulation. ## 2. Task 1: Data Cleansing (50%) ### 2.1 Input and Output Files – **Input files**: `Group_dirty_data.csv`, `Group_outlier_data.csv`, `Group_missing_data.csv`, `warehouse.csv`

FIT5196 S2 2024 Assessment 2 Read More »

SAS HW3

Specifications: Programming HW #3 • You are allowed at most three DATA steps and thirteen PROC steps to complete this assignment. • The data you need to read in is in the Data\BookData\ClinicalTrialCaseStudy folder – associate a fileref named RawData with this location. The data sets I’ve provided you for validation purposes are in the

SAS HW3 Read More »

CS188 Project 2

CS188 Project 2: Multi-Agent Search 加州大学伯克利分校EECS 188 AI课程2024年秋季项目2的代写。该项目主题是多智能体搜索(Multi – Agent Search),要求学生为经典的吃豆人游戏(Pacman)设计智能体,包括实现 minimax 和 expectimax搜索算法,并设计评估函数。项目截止日期为10月2日晚上11:59(太平洋时间)。 1. **项目文件结构** – **编辑文件**:`multiAgents.py`,用于实现多智能体搜索智能体。 – **参考文件**:`pacman.py`(运行游戏的主文件,定义了游戏状态类型)、`game.py`(游戏世界的逻辑)、`util.py`(用于搜索算法的数据结构)等。 – **可忽略文件**:如`graphicsDisplay.py`(图形显示相关)、`ghostAgents.py`(控制幽灵的智能体)等。 2. **项目任务** – **Q1(4分):反射智能体(Reflex Agent)**:改进`multiAgents.py`中的`ReflexAgent`,使其在`testClassic`布局中表现良好,并在`openClassic`布局上进行测试评分。 – **Q2(5分):极小极大算法(Minimax)**:在`multiAgents.py`的`MinimaxAgent`类中实现对抗搜索智能体,扩展游戏树到任意深度,使用给定的评估函数对叶子节点评分。 – **Q3(5分):α – β剪枝(Alpha – Beta Pruning)**:在`AlphaBetaAgent`中实现α – β剪枝算法,提高搜索效率,确保剪枝后的结果与`MinimaxAgent`相同(极小极大值相同,选择的动作可能因打破平局的行为不同而不同)。 – **Q4(5分):期望极大算法(Expectimax)**:在`ExpectimaxAgent`中实现期望极大算法,用于建模可能做出次优选择的智能体的概率行为。 – **Q5(6分):评估函数(Evaluation Function)**:在`betterEvaluationFunction`中编写一个更好的评估函数,用于评估状态,在`smallClassic`布局上进行测试评分。 3. **项目工具** – **自动评分器(Autograder)**:可用于在本地对答案进行评分,通过`python autograder.py`命令运行所有问题的测试,也可针对特定问题或测试用例运行。 4. **注意事项** – 不要从项目1复制文件,否则无法通过Gradescope的自动评分器。 – 不要更改提供的函数或类的名称,否则会影响自动评分器的运行。 –

CS188 Project 2 Read More »

cs164 hw1

Let Σ={a, b} be the alphabet for the language L={waR | ur, w^R ∈{a,b}, and w has even length), where is the reverse of u. Write a context free grammar for the language L. Consider the following grammar: $s \to|s s|$ $S \to a$ $S \to \infty$. Show that this grammar is ambiguous by finding

cs164 hw1 Read More »

CS164 Berkeley OCaml代写

# 作业4:错误处理与堆 **注意:**这是一个为期1周的作业(发布后1周截止)。 在本次作业中,你将以两种方式实现列表:首先使用对(pair),然后使用数组。你将练习处理运行时错误和处理堆上的数据。 在本次作业结束时,你的解释器和编译器应支持以下语法(我们已突出显示你将添加的部分): | ( ) | ( ) | ( ) | (if ) | (let (( )) ) | (do …) + | list? + | vector? + | vector-length + | vector + | vector-get + ::= vector-set 我们**不会**对本次作业的测试进行评分。 然而,当你将实现提交到Gradescope(作业`hw4`)时,`examples/`目录中的示例套件将针对参考解释器和编译器运行。如果参考实现在你的任何示例上失败,Gradescope将向你展示其输出与你提供的示例预期输出的差异(如果你提供了预期输出)。 你可以根据需要多次进行此操作。我们鼓励你在开始编写解释器和编译器之前使用此选项来开发一组良好的示例! 你可以使用`dune runtest -f`来运行`examples/`目录中的所有测试。与之前一样,测试框架支持`.lisp`/`.out`文件和`examples/examples.csv`文件。 ### 手动运行编译器和解释器 除了使用`dune runtest -f`,你还可以在输入文件上手动运行解释器和编译器。 要在文件上运行解释器,请执行以下命令:

CS164 Berkeley OCaml代写 Read More »