Commenced in January 2007
Frequency: Monthly
Edition: International
Paper Count: 9

Search results for: Tadashi Shiroma

9 Formal Implementation of Routing Information Protocol Using Event-B

Authors: Jawid Ahmad Baktash, Tadashi Shiroma, Tomokazu Nagata, Yuji Taniguchi, Morikazu Nakamura

Abstract:

The goal of this paper is to explore the use of formal methods for Dynamic Routing, The purpose of network communication with dynamic routing is sending a massage from one node to others by using pacific protocols. In dynamic routing connections are possible based on protocols of Distance vector (Routing Information Protocol, Border Gateway protocol), Link State (Open Shortest Path First, Intermediate system Intermediate System), Hybrid (Enhanced Interior Gateway Routing Protocol). The responsibility for proper verification becomes crucial with Dynamic Routing. Formal methods can play an essential role in the Routing, development of Networks and testing of distributed systems. Event-B is a formal technique consists of describing rigorously the problem; introduce solutions or details in the refinement steps to obtain more concrete specification, and verifying that proposed solutions are correct. The system is modeled in terms of an abstract state space using variables with set theoretic types and the events that modify state variables. Event-B is a variant of B, was designed for developing distributed systems. In Event-B, the events consist of guarded actions occurring spontaneously rather than being invoked. The invariant state properties must be satisfied by the variables and maintained by the activation of the events.

Keywords: dynamic rout RIP, formal method, event-B, pro-B

Procedia PDF Downloads 232
8 Science Subjects Studied and Relation to Income after University Graduation: An Empirical Analysis in Japan

Authors: Kazuo Nishimura, Junichi Hirata, Tadashi Yagi, Junko Urasaka

Abstract:

This paper is an investigation of the effect of science education during the high school education how science graduates of universities are appreciated in the labor market in Japan. We conducted a survey utilizing the internet and analyzed the subjects they were good at and their annual income. The results confirm that among science graduates, workers adept at physics tend to have higher incomes compared to workers good at other subjects. Generational analysis based on the curriculum guideline amendments reveals that the generational difference is small among science majors who are good at physics.

Keywords: curriculum, income, physics, science

Procedia PDF Downloads 193
7 Effects of ECCS on the Cold-Leg Fluid Temperature during SGTR Accidents

Authors: Tadashi Watanabe

Abstract:

The LSTF experiment simulating the SGTR accident at the Mihama Unit-2 reactor is analyzed using the RELAP5/MOD3.3 code. In the accident and thus in the experiment, the ECC water was injected not only into the cold legs but into the upper plenum. Overall transients during the experiment such as pressures and fluid temperatures are simulated well by the code. The cold-leg fluid temperatures are shown to decrease if the upper plenum injection system is connected to the cold leg. It is found that the cold-leg fluid temperatures also decrease if the upper-plenum injection is not used and the cold-leg injection alone is actuated.

Keywords: SGTR, LSTF, RELAP5, ECCS

Procedia PDF Downloads 569
6 Learning Based on Computer Science Unplugged in Computer Science Education: Design, Development, and Assessment

Authors: Eiko Takaoka, Yoshiyuki Fukushima, Koichiro Hirose, Tadashi Hasegawa

Abstract:

Although all high school students in Japan are required to learn informatics, many of them do not learn this topic sufficiently. In response to this situation, we propose a support package for high school informatics classes. To examine what students learned and if they sufficiently understood the context of the lessons, a questionnaire survey was distributed to 186 students. We analyzed the results of the questionnaire and determined the weakest units, which were “basic computer configuration” and “memory and secondary storage”. We then developed a package for teaching these units. We propose that our package be applied in high school classrooms.

Keywords: computer science unplugged, computer science outreach, high school curriculum, experimental evaluation

Procedia PDF Downloads 314
5 Comparison of Two-Phase Critical Flow Models for Estimation of Leak Flow Rate through Cracks

Authors: Tadashi Watanabe, Jinya Katsuyama, Akihiro Mano

Abstract:

The estimation of leak flow rates through narrow cracks in structures is of importance for nuclear reactor safety, since the leak flow could be detected before occurrence of loss-of-coolant accidents. The two-phase critical leak flow rates are calculated using the system analysis code, and two representative non-homogeneous critical flow models, Henry-Fauske model and Ransom-Trapp model, are compared. The pressure decrease and vapor generation in the crack, and the leak flow rates are found to be larger for the Henry-Fauske model. It is shown that the leak flow rates are not affected by the structural temperature, but affected largely by the roughness of crack surface.

Keywords: crack, critical flow, leak, roughness

Procedia PDF Downloads 61
4 Sri Lankan Contribution to Peace and Security in the World: Legal Perspective

Authors: Muthukuda Arachchige Dona Shiroma Jeeva Shirajanie Niriella

Abstract:

Suppressing terrorism and ensuring peace and security of the people is one of the topics which have gained serious attention of the world community. Commissions of terrorist activities, locally and internationally lead to an uncertainty of peace and security, violations of human rights of the people. Thereby it demands stringent security laws and strong criminal justice systems, both at domestic and international levels. This paper intends to evaluate security laws in Sri Lanka through the criminal justice perspective, including their efficacy in relation to combat terrorism. The paper further intends to discuss the importance of such laws in upholding the peace and security at both local and universal levels. The paper argues that the term ‘efficacy’ does not stand for, sending people to jail at large-scale, but the ability to combat terrorism crime without violating the rights of the innocent people. The qualitative research method is followed to conduct this research which contains an extensive examination of security laws available as counter-terrorism laws in Sri Lanka with the relevant international standards adopted by the UN treaties. Primary sources which are relevant to the research, including judicial pronouncements are also discussed in this regard. Secondary sources such as reports, research articles and textbooks on this topic and information available on the internet are also reviewed in this analysis.

Keywords: terrorism, security laws, criminal justice system, Sri Lanka, international treaty law

Procedia PDF Downloads 233
3 X-Ray Diffraction and Precision Dilatometer Study of Neutron-Irradiated Nuclear Graphite Recovery Process up to 1673K

Authors: Yuhao Jin, Zhou Zhou, Katsumi Yoshida, Zhengcao Li, Tadashi Maruyama, Toyohiko Yano

Abstract:

Four kinds of nuclear graphite, IG-110U, ETP-10, CX-2002U and IG-430U were neutron-irradiated at different fluences and temperatures, ranged from 1.38 x 1024 to 7.4 x 1025 n/m2 (E > 1.0 MeV) at 473K, 573K and 673K. To take into account the disorder in the microstructure, such as stacking faults and anisotropic coherent lengths, the X-ray diffraction patterns were interpreted using a comprehensive structural model and a refinement program CARBONXS. The deduced structural parameters show the changes of lattice parameters, coherent lengths along the c-axis and the basal plane, and the degree of turbostratic disorder as a function of the irradiation dose. Our results reveal neutron irradiation effects on the microstructure and macroscopic dimension, which are consistent with previous work. The methodology used in this work enables the quantification of the damage on the microstructure of nuclear graphite induced by neutron irradiation.

Keywords: nuclear graphite, neutron irradiation, thermal annealing, recovery behavior, dimensional change, CARBONX, XRD analysis

Procedia PDF Downloads 303
2 Provide Adequate Protection to Avoid Secondary Victimization: Ensuring the Rights of the Child Victims in the Criminal Justice System

Authors: Muthukuda Arachchige Dona Shiroma Jeeva Shirajanie Niriella

Abstract:

The necessity of protection of the rights of victims of crime is a matter of concerns today. In the criminal justice system, child victims who are subjected to sexual abuse/violence are more vulnerable than the other crime victims. When they go to the police to lodge the complaint and until the end of the court proceedings, these victims are re-victimized in the criminal justice system. The rights of the suspects, accused and convicts are recognized and guaranteed by the constitution under fair trial norm, contemporary penal laws where crime is viewed as an offence against the State and existing criminal justice system in many jurisdictions including Sri Lanka. In this backdrop, a reasonable question arises as to whether the existing criminal justice system, especially which follow the adversarial mode of judicial trial protect the fair trial norm in the criminal justice process. Therefore, this paper intends to discuss the rights of the sexually abused child victims in the criminal justice system in order to restore imbalance between the rights of the wrongdoer and victim and suggest legal reforms to strengthen their rights in the criminal justice system which is essential to end secondary victimization. The paper considers Sri Lanka as a sample to discuss this issue. The paper looks at how the child victims are marginalized in the traditional adversarial model of the justice process, whether the contemporary penal laws adequately protect the right of these victims and whether the current laws set out the provisions to provide sufficient assistance and protection to them. The study further deals with the important principles adopted in international human rights law relating to the protection of the rights of the child victims in sexual offences cases. In this research paper, rights of the child victims in the investigation, trial and post-trial stages in the criminal justice process will be assessed. This research contains an extensive scrutiny of relevant international standards and local statutory provisions. Case law, books, journal articles, government publications such as commissions’ reports under this topic are rigorously reviewed as secondary resources. Further, randomly selected 25 child victims of sexual offences from the decided cases in last two years, police officers from 5 police divisions where the highest numbers of sexual offences were reported in last two years and the judicial officers both Magistrates and High Court Judges from the same judicial zones are interviewed. These data will be analyzed in order to find out the reasons for this specific sexual victimization, needs of these victims in various stages of the criminal justice system, relationship between victimization and offending and the difficulties and problems that these victims come across in criminal justice system. The author argues that the child victims are considerably neglected and their rights are not adequately protected in the adversarial model of the criminal justice process.

Keywords: child victims of sexual violence, criminal justice system, international standards, rights of child victims, Sri Lanka

Procedia PDF Downloads 293
1 Post Disaster Community Support with Family Manga Exhibition as a Tool for Intervention and Outreach: Reflection on the past Five Years from a Narrative Perspective

Authors: Kuniko Muramoto, Tadashi Nakamura, Shiro Dan

Abstract:

On March 11, 2011 the Great East Japan Disaster caused widespread damage. In the aftermath, we searched for ways to provide long-term support and enhanced resilience to affected areas, arriving at the Family Manga Exhibition: an art collection portraying family life. It became a tool for community outreach and intervention, and we implemented support programs by collaborating with local support agencies. This 10-year project has been touring through four prefectures in Tohoku since the disaster struck, bearing witness to the effects of disaster and recovery alike. At this five-year mark, we use a narrative perspective to present our findings and reflect on post-disaster community support. It is important to note that the exhibition’s art does not directly depict the disaster; it portrays stories of anonymous families instead. They stimulate viewers’ memories and remind them of their own family stories. We analyzed viewers' oral and written responses to the exhibition and discovered that family manga as an art form enhances the viewer’s sense of connection to people close to them. We also discovered that the viewers gained more universal perspective on their own situations by viewing the exhibition. Manga, we found, offered a certain safety by enabling the viewers to control how they would interact with the exhibition's content and themes. In addition, the purpose of the project was for us to become witnesses of the disaster and recovery. Supporters of the project became active listeners, functioning as interactive agents who helped forming stories. Voices of the story tellers and the listeners layered upon each other and, as a result, converged into brand new narratives. The essence of traumatic experience is ‘the sense of overwhelming powerlessness and isolation’. When we redefine trauma as ‘broken relationships’, we can say that ‘enhancing relationships’ and ‘weaving relationships’ are what strengthen our resilience. This project used narrative as a modality to fortify the resilience of people involved by enhancing the social capital of bonding, bridging, and linking. The manga exhibition functioned as a tool to achieve this end, suggesting that similar applications are possible. Programs we held in-between manga exhibitions also served to enhance narratives of resiliency in the regions. However, we will save that story for another time. We hope to continue collecting the precious and polyphonic voices of people to present as stories born out of the Great East Japan Disaster. This effort extends beyond the immediately affected area by helping us prepare our resilience for future disasters.

Keywords: community, manga, narrative, resilience

Procedia PDF Downloads 147