Seon-Ho Park's Blog (sunoblog) http://sunoblog.net Study on Computer Science, Security, Model Wed, 19 Jan 2011 11:27:30 +0000 en hourly 1 http://wordpress.org/?v=3.0 Bash Prompt HowTo http://sunoblog.net/2011/01/bash-prompt-howto/ http://sunoblog.net/2011/01/bash-prompt-howto/#comments Wed, 19 Jan 2011 11:27:30 +0000 Seon-Ho Park http://sunoblog.net/?p=118 Refer to the following link:

http://tldp.org/HOWTO/Bash-Prompt-HOWTO/

]]> http://sunoblog.net/2011/01/bash-prompt-howto/feed/ 0 HWP-to-PDF Converting http://sunoblog.net/2011/01/hwp-to-pdf-converting/ http://sunoblog.net/2011/01/hwp-to-pdf-converting/#comments Tue, 11 Jan 2011 05:15:46 +0000 Seon-Ho Park http://sunoblog.net/?p=112 Without PDFconverter for HWP, hwp file can be converted into pdf using a print function. In print selection option, select "Adobe PDF" and configure Adobe PDF Settings as follows.

Then, just print out!

]]> http://sunoblog.net/2011/01/hwp-to-pdf-converting/feed/ 0 Eclipse Problem : failed to create the java virtual machine http://sunoblog.net/2010/12/eclipse-problem-failed-to-create-the-java-virtual-machine/ http://sunoblog.net/2010/12/eclipse-problem-failed-to-create-the-java-virtual-machine/#comments Sat, 04 Dec 2010 09:41:31 +0000 Seon-Ho Park http://sunoblog.net/?p=109 It is because Eclipse cannot find the path of javaw.exe

Just edit "eclipse.ini" file

Open the file and attach following sentences:

-vm
C:\Program Files\Java\jdk1.6.0_22\bin\javaw.exe

That is,,

-startup

plugins/org.eclipse.equinox.launcher_1.1.0.v20100507.jar

--launcher.library

plugins/org.eclipse.equinox.launcher.win32.win32.x86_1.1.1.R36x_v20100810

-showsplash

org.eclipse.platform

--launcher.XXMaxPermSize

256m

--launcher.defaultAction

openFile

-vm

C:\Program Files\Java\jdk1.6.0_22\bin\javaw.exe

-vmargs

-Xms40m

-Xmx384m

]]> http://sunoblog.net/2010/12/eclipse-problem-failed-to-create-the-java-virtual-machine/feed/ 6 Find Impact Factor http://sunoblog.net/2010/10/find-impact-factor/ http://sunoblog.net/2010/10/find-impact-factor/#comments Tue, 12 Oct 2010 01:33:44 +0000 Seon-Ho Park http://sunoblog.net/?p=103 This is the web site that ISI Web of Knowledge provides, and makes find an impact factor of journal papers which is JCR Science Edition.

http://admin-apps.isiknowledge.com/JCR/JCR?PointOfEntry=Home&SID=T2jLpi7ckJioC9c2mm6

For reference, to find journals which belong to the area of "CC/Engineering, Computing & Technology", refer the following link:

http://science.thomsonreuters.com/cgi-bin/jrnlst/jloptions.cgi?PC=T

]]> http://sunoblog.net/2010/10/find-impact-factor/feed/ 0 Useful Tip in WinEdt when writing latex document http://sunoblog.net/2010/08/useful-tip-in-winedt-when-writing-latex-document/ http://sunoblog.net/2010/08/useful-tip-in-winedt-when-writing-latex-document/#comments Tue, 03 Aug 2010 05:44:35 +0000 Seon-Ho Park http://sunoblog.net/?p=73 I found this function accidentally. When writing latex code, we most often type \begin{...}...\end{...}.

This work is frankly troublesome work though someone think that work as a trivial work.

There is a way reducing typing work.

First, just type \begin{...} and <shift+]> (that is, '}').

That's all.

\begin{frame}  \end{frame}

]]> http://sunoblog.net/2010/08/useful-tip-in-winedt-when-writing-latex-document/feed/ 1 \mathcal{} http://sunoblog.net/2010/07/mathcal/ http://sunoblog.net/2010/07/mathcal/#comments Mon, 19 Jul 2010 08:41:13 +0000 Seon-Ho Park http://sunoblog.net/?p=86

\mathcal{F}, \mathcal{P}, \mathcal{L}_{0}^{'}

]]> http://sunoblog.net/2010/07/mathcal/feed/ 0 Predicate Logic – part I http://sunoblog.net/2010/07/predicate-logic-part-i/ http://sunoblog.net/2010/07/predicate-logic-part-i/#comments Tue, 13 Jul 2010 06:17:11 +0000 Seon-Ho Park http://sunoblog.net/?p=75 My second presentation in doctoral seminar presented at lab was about a predicate logic. Predicate logic is one of the important area of the symbolic logic. The predicate logic, also called first-order predicate calculus, is distinguished from propositional logic by its use of predicates and quantifiers. For using predicates and quantifiers, variables are used in predicate logic, and also constants and function symbols can be used.

In this seminar, I presented an overview, description of predicate logic as a formal language, and proof theory of predicate logic. Issues about semantics and undecidability of predicate logic will be presented in next seminar presentation(maybe...7/22~7/23).

My presentation material is attached in this post. It is written using a latex and beamer-class.

[Theory]PredicateLogic_shpark_0.1

]]> http://sunoblog.net/2010/07/predicate-logic-part-i/feed/ 0 Quantifier Equivalences in Predicate Logic http://sunoblog.net/2010/07/quantifier-equivalences-in-predicate-logic/ http://sunoblog.net/2010/07/quantifier-equivalences-in-predicate-logic/#comments Tue, 13 Jul 2010 05:53:09 +0000 Seon-Ho Park http://sunoblog.net/?p=33 Theorem for Quantifier Equivalences
  1. \neg \forall x \phi \dashv \vdash \exists x \neg \phi
  2. \neg \exists x \phi \dashv \vdash \forall x \neg \phi
  3. \forall x \phi \wedge \psi \dashv \vdash \forall x (\phi \wedge \psi)
  4. \forall x \phi \vee \psi \dashv \vdash \forall x (\phi \vee \psi)
  5. \exists x \phi \wedge \psi \dashv \vdash \exists x (\phi \wedge \psi)
  6. \exists x \phi \vee \psi \dashv \vdash \exists x (\phi \vee \psi)
  7. \forall x (\psi \rightarrow \phi) \dashv \vdash \psi \rightarrow \forall x \phi
  8. \exists x (\phi \rightarrow \psi) \dashv \vdash \forall x \phi \rightarrow \psi
  9. \forall x(\phi \rightarrow \psi) \dashv \vdash \exists x \phi \rightarrow \psi
  10. \exists x(\psi \rightarrow \phi) \dashv \vdash \psi \rightarrow \exists x \phi
  11. \forall x \phi \wedge \forall x \psi \dashv \vdash \forall x (\phi \wedge \psi)
  12. \exists x \phi \vee \exists x \psi \dashv \vdash \exists x (phi \vee \psi)
  13. \forall x \forall y \phi \dashv \vdash \forall y \forall x \phi
  14. \exists x \exists y \phi \dashv \vdash \exists y \exists x \phi
Assuming~that~x~is~not~free~in~\psi,~for~theorem3-10.
]]> http://sunoblog.net/2010/07/quantifier-equivalences-in-predicate-logic/feed/ 6 [7/6~7/9]To do http://sunoblog.net/2010/07/7679/ http://sunoblog.net/2010/07/7679/#comments Tue, 06 Jul 2010 01:57:58 +0000 Seon-Ho Park http://sunoblog.net/?p=29 In this week, there are a lot of things I must do completely. Paper works, preparing seminar, meeting for LGE project, etc. Followings are that I must do in this week.

  • Paper work

- Related works on context-aware access control
- Scenarios of ubiquitous computing service and security threats

  • Preparing seminar

- Remain parts of the propositional logic and the predicate Logic

  • Meeting

- Preparing LGE meeting (to decide project plans & contract)
- July 8, 5 pm

]]> http://sunoblog.net/2010/07/7679/feed/ 0 Installing Beamer http://sunoblog.net/2010/07/installing-beamer/ http://sunoblog.net/2010/07/installing-beamer/#comments Mon, 05 Jul 2010 15:42:56 +0000 Seon-Ho Park http://sunoblog.net/?p=26 Today I tried to install the beamer-class to make document for presentation using latex. Until now, I have used MS Power Point application mainly for making presentation document. The power point program is useful and easy for making presentation slides, but it has several difficulties in compatibility and mathematical expression. I suffered these problems in last seminar. So, I decided to try another method though I'm very very busy... I like latex and its mathematical representation, therefore I try to search methods to make presentation using latex. As a result, I found "beamer-class". I downloaded it at once, and tried to install...but it is not easy because I don't know well various functions of the MikTeX. I searched method for install it...and I became known installing beamer-class in MikTex is very simple and easy....

  • After downloading beamer file, just extract that and put it in a so-called texmf tree (c:\texmf in my case)
  • In MikTeX, reflesh FNDB (Setting->General->Refresh FNDB)
  • Installation is just completed.

More details for installation are described "beameruserguide.pdf" in downloaded files. If you are not a MikTeX user, refer to the pdf file.

I'll soon post a result of making my presentation document made using beamer.

]]> http://sunoblog.net/2010/07/installing-beamer/feed/ 1