<!DOCTYPE html>
<html>
	<head>
		<title>Computational Mathematics | ザコ</title>
<?php echo file_get_contents("/srv/http/head.php") ?>
			<h1>Computational Mathematics</h1>

			<hr>

			<ul>
				<li><a href='/srv/http/daigaku/2023_spr/tcs.php'>Theory of Computing Science</a></li>
			</ul>

			<h2>Mathematical morphology</h2>



			<h3>Binary image</h3>
			<p>Some connected set \(B\) that is a subset of some Euclidean space \(E=\mathbb{R}^2\) or \(E=\mathbb{Z}^2\)</p>


			<h3>Structuring element</h3>
			<p>Connected set \(B\) that characterises operations on binary images</p>

			<h3>Erosion Erosione 侵食</h3>
			<p>Operator of a binary image \(A\) and a structure element \(B\) that gives the effect that an image 'erodes'</p>
			<p>This is the result of all points that structure element \(B\) can be translated to whilst being a subset of \(A\)</p>
			<p>Intuitively, this is the result of the points that are in all translation of its binary image by the nevative of some point in the structure element, giving the visual effect that the binary image is eroding</p>
			<h4>Definitions</h4>
			<p>\( A \ominus B = \{ z \in E : B_{z} \subseteq A \} \)</p>
			<ul>
				<li>\(A\) is the binary image set</li>
				<li>\(B\) is the structure element set</li>
				<li>\(z\) is a translation vector</li>
				<li>\( B_z = \{b + z : b \in B \} \) is the structure element set with all elements translated by \(z\)</li>
			</ul>
			<p>\(A \ominus B = = \bigcap_{b \in B} A_{-b} \)</p>
			<ul>
				<li>\(A\) is the binary image set</li>
				<li>\(B\) is the structure element set</li>
				<li>\(A_{-b}\) is the binary image set with all elements negatively translated by some element of \(B\)</li>
			</ul>


			<h3>Dilation Dilatazione</h3>
			<p>Operator of a binary image \(A\) and a structure element \(B\) that gives the effect that an image 'dilates outwards'</p>
			<p>Intuitively, this is the result of the points that are in any translation of its binary image by some point in the structure element, giving the visual effect that the binary image is being dilated</p>
			<ul>
				<li>Associative</li>
				<li>Commutative</li>
			</ul>
			<h4>Definitions</h4>
			<p>\( A \oplus B =  \bigcup_{b \in B} A_{b} \)</p>
			<ul>
				<li>\(A\) is the binary image set</li>
				<li>\(B\) is the structure element set</li>
				<li>\(A_{b}\) is the binary image set with all elements translated by some element of \(B\)</li>
				<li>\(\)</li>
			</ul>
			<p>\( A \oplus B = \{ z \in E : (B^s)_z \bigcap A \neq \nullset \} \)</p>
			<p></p>
			<ul>
				<li>\(A\) is the binary image set</li>
				<li>\(B\) is the structure element set</li>
				<li>\( B^s = \{x \in E : -x \in B \} \) is the symmetric structuring element to \(B\)</li>
				<li>\(z\) is a translation vector</li>
				<li>\( (B^s)_z = \{b + z : b \in B^s \} \) is the symmetric structuring element set with all elements translated by \(z\)</li>
			</ul>

			<h3>Opening Apertura 開放</h3>
			<p>\( A \circ B = (A \ominus B) \oplus B\)</p>

			<h3>Closing Chiusura 閉鎖</h3>
			<p>\( A \bullet B = (A \oplus B) \ominus B\)</p>

			<h3>Otsu's method 大津の二値法</h3>
			<p>Thresholding algorithm for converting grayscale images into binary images by employing probability and optimisation techniques to identify the threshold demonstrating the largest outer-class variance. Assume the image has greyscale points with intensity taking discrete calues\([0,n]\)</p>
			<ol>
				<li>For each level of intensity \(t \in [0,n]\), assume it is the foreground cutoff and execute the following:
					<ol>
						<li>Calculate \(\omega_{0}(t) = \sum^{t}_{i=0} \text{Pr}(i \text{ is the pixel's intensity})\) and \(\omega_{1}(t) = \sum^{n}_{i=t+1} \text{Pr}(i \text{ is the pixel's intensity})\). These weights are the probabilities that a pixel is in the background \(\omega_{0}(t)\) or foreground \(\omega_{1}(t)\) respectively.</li>
						<li>Calculate \(\mu_{0}(t) = \frac{ \sum^{t}_{i=0} i\text{Pr}(i \text{ is the pixel's intensity}) }{\omega_{0}(t) }\) and \(\mu_{1}(t) = \frac{ \sum^{n}_{i=t+1} i\text{Pr}(i \text{ is the pixel's intensity}) }{\omega_{1}(t) }\). These are the weighted averages</li>
						<li>Calculate \(\sigma^2(t) = \omega_{0}(t)\omega_{1}(t)[\mu_{0}(t) - \mu_{1}(t)]^2\)</li>
					</ol>
					<li>Elect the foreground cutoff as $\mathrm{argmax}_{t\in [0,n]} \{ \sigma^2(t) : t \in [0,n] \} $</li>
				</li>
			</ol>


			<h3>Top-hat transform Trasformazione top-hat トップハット変換</h3>
			<h4>White</h4>
			<p>\(T(f) = f - f \circ B\)</p>
			<h4>Black</h4>
			<p>\(T(f) = f \bullet B - f\)</p>


			<h3>Posterization</h3>
			<p>Shrinking the grayscale intensity range of an image, using some algorithm such as Otsu's to find the optimum translation to this new intensity range<p>






			<h2>Coding theory</h2>


			<h3>Algebraic code</h3>
			<h3>Substitution system</h3>

			<h2>Binary system</h2>


<?php include("/srv/http/foot.php") ?>
