Zulham Mr
Followers: 0 Following: 0
Feeds
질문
Polyspace Overflow Orange Checks
Hello guys, I have this C++ code: #include <iostream> using namespace std; int pos = 0; char *buf = NULL; const char *...
3년 초과 전 | 답변 수: 1 | 0
1
답변질문
DRS option is limited in Polyspace Code Prover
Hi guys, I have this C++ code below: void myfunc(int *arg, char *argv[]) { if (*arg == 1) *arg += 1; cha...
3년 초과 전 | 답변 수: 1 | 0
1
답변질문
Polyspace Orange Check: Adding DRS for array
Hello guys, I have this C++ code: static char hw_type[4] = {'V','2',0, 0}; void myfunc() { hw_type[1]++; } This is h...
3년 초과 전 | 답변 수: 1 | 0
1
답변질문
Polyspace: expression must have a constant value
Hello guys, I have this C++17 code: #define I2C_BUS_MAX_BUS_ITEMS 3 struct my_bus_t { int bus{-1}; bool is_extern...
3년 초과 전 | 답변 수: 1 | 0
1
답변질문
Polyspace: Errors from Using Namespace std Without Prefix
Hi guys, I have problem in Polyspace stating that the global scope has no "mblen". I have tried the solution by adding std in ...
3년 초과 전 | 답변 수: 1 | 0
1
답변문제를 풀었습니다
Determine whether a vector is monotonically increasing
Return true if the elements of the input vector increase monotonically (i.e. each element is larger than the previous). Return f...
거의 8년 전
문제를 풀었습니다
Column Removal
Remove the nth column from input matrix A and return the resulting matrix in output B. So if A = [1 2 3; 4 5 6]; and ...
거의 8년 전
문제를 풀었습니다
Who Has the Most Change?
You have a matrix for which each row is a person and the columns represent the number of quarters, nickels, dimes, and pennies t...
거의 8년 전
문제를 풀었습니다
Make a full wave rectifier
Produce a full wave rectifier waveform for the given sine wave source. For a sine wave input, the output of the full wave rec...
거의 8년 전
문제를 풀었습니다
Make a half wave rectifier
Produce a signal that outputs the given sine wave source when it is greater than zero and outputs zero when it is less than zero...
거의 8년 전
문제를 풀었습니다
Determine if input is odd
Given the input n, return true if n is odd or false if n is even.
거의 8년 전
문제를 풀었습니다
Check if number exists in vector
Return 1 if number _a_ exists in vector _b_ otherwise return 0. a = 3; b = [1,2,4]; Returns 0. a = 3; b = [1,...
거의 8년 전
문제를 풀었습니다
Produce a cosine wave
Produce the following signal: <<http://blogs.mathworks.com/images/seth/cody/cosine-eqn.png>>
거의 8년 전
문제를 풀었습니다
Produce a sine wave
Produce a sine wave with amplitude 3: <<http://blogs.mathworks.com/images/seth/cody/sine-eqn.png>>
거의 8년 전
문제를 풀었습니다
Add offset to a signal
Produce the following signal: <<http://blogs.mathworks.com/images/seth/cody/add-offset-eqn.png>> You should see a downward...
거의 8년 전
문제를 풀었습니다
Add a block to a model
Produce the following signal: <<http://blogs.mathworks.com/images/seth/cody/add-block-eqn.png>> In this case, the slope of...
거의 8년 전
문제를 풀었습니다
Connect blocks in a model
Connect the blocks in the model to produce the following signal: <<http://blogs.mathworks.com/images/seth/cody/connect-blocks...
거의 8년 전
문제를 풀었습니다
Select every other element of a vector
Write a function which returns every other element of the vector passed in. That is, it returns the all odd-numbered elements, s...
거의 8년 전
문제를 풀었습니다
Make a checkerboard matrix
Given an integer n, make an n-by-n matrix made up of alternating ones and zeros as shown below. The a(1,1) should be 1. Examp...
거의 8년 전
문제를 풀었습니다
Find the sum of all the numbers of the input vector
Find the sum of all the numbers of the input vector x. Examples: Input x = [1 2 3 5] Output y is 11 Input x ...
거의 8년 전
문제를 풀었습니다
Make the vector [1 2 3 4 5 6 7 8 9 10]
In MATLAB, you create a vector by enclosing the elements in square brackets like so: x = [1 2 3 4] Commas are optional, s...
거의 8년 전
문제를 풀었습니다
Times 2 - START HERE
Try out this test problem first. Given the variable x as your input, multiply it by two and put the result in y. Examples:...
거의 8년 전
