Circuits

Design an API for modeling combinational logic circuits consisting of logic gates so that the model can be used to compute the output value of the logic function it represents for the given input values.

The API has to support at least the following gates:

• NOT (unary logical negation),
• AND (binary logical conjunction), and
• OR (binary logical disjunction).

Testing Circuits

Write test functions for the following tasks:

• Create a circuit representing the function (x1 AND x2) and verify that the result is false for x1 = false and x2 = true, and true for x1 = true and x2 = true.
• Create a circuit representing the function ((x1 AND x2) OR x3) and verify that the result is false for x1 = false, x2 = true, and x3 = false, and that it is true for x1 = false, x2 = false, x3 = true.
• Create a circuit representing the function (x1 OR (NOT x1)) and verify that the result is true for all values of x1.

Fuzzy Circuits

Modify the boolean circuit into fuzzy circuit, so that it computes on floating point numbers in the range 0.0 to 1.0 represented as double values. To preserve backwards compatibility, the operations with booleans have to continue to work – false should be treated as 0.0 and true as 1.0.

The basic elements need to be modified to work with doubles as follows:

• NOT (unary logical negation), NOT(x) = 1 - x
• AND (binary logical conjunction), AND(x,y) = x * y, and
• OR (binary logical disjunction), OR(x,y) = 1 - (1 - x) * (1 - y).

The API has to support single creation, i.e., it should be possible to create a single circuit which can be later evaluated using both boolean and double inputs.

Testing Fuzzy Circuits

Write test functions for the following tasks:

• Create a circuit representing the function (x1 AND x2) OR (NOT x1) and verify that the circut evaluates to the following values:
  • false for x1 = true and x2 = false,
  • true for x1 = false and x2 = true,
  • 1.0 for x1 = 0.0 and x2 = 1.0,
  • 0.625 for x1 = 0.5 and x2 = 0.5,
  • throws an exception for x1 = 0.0 and x2 = 2.0.
• Ensure that one variable cannot be given two different values and validate it on a circuit representing x1 AND x1.
• Write a custom element called GTE, computed as GTE(x1,x2) = 1.0 iff x1 >= x2 else 0.0 and ensure that a circuit representing (x1 AND NOT(x1)) GTE x1 evaluates to the following results:
  • 0.0 for x1 = 0.5,
  • 0.0 for x1 = 1.0, and
  • 1.0 for x1 = 0.0.

File Path API

Design API (classes, functions, …) for Windows file path manipulations

* path composition from elements
* getting path components (drive, directories, filename, extension)
* conversion between relative and absolute path

CSV Writer

Design API for writing CSVs.

System Information

Design API for querying current system version (i.e. application needs to do platform-specific operation).

Running External Applications

Design API for running and controlling external applications (popen).

Benchmarking Harness

Design API for a harness which can execute benchmarks and collect timing (and other information) related to benchmark execution.

Benchmarking Harness Plugins

Extend the harness to enable changing the output format, control the number of repetitions, and provide additional information related to benchmark execution.

VFS

Design API that would be provided by OS VFS layer to end-user applications.

DNS

Design API for management of DNS records.

REST API Middleware

Design “middle” API to simplify writing REST API bindings.

class GitLab {
    GitLab(...);
    User getUserByEmail(String email);
    ...
}

Socket socket = new Socket(...);
PrintWriter out = new PrintWriter(socket.getOutputStream());
out.println("GET / HTTP/1.0");
...

REST API Middleware

Design “middle” API to simplify writing REST API bindings.