![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Article
Open AccessImpact of Additive Manufacturing Surface Roughness on the Aerodynamic Performance of Axial Compressor Blades
This paper investigates the influence of additive manufacturing (AM) surface roughness on the aerodynamic performance of axial compressor blades. Though the AM offers advantages such as complex geometry fabric...
-
Article
Author Correction: An aquatic-vision-inspired camera based on a monocentric lens and a silicon nanorod photodiode array
-
Article
Open AccessDevelopment of stereo endoscope system with its innovative master interface for continuous surgical operation
Although robotic laparoscopic surgery has various benefits when compared with conventional open surgery and minimally invasive surgery, it also has issues to overcome and one of the issues is the discontinuous...
-
Article
Open AccessTime-averaged simulated microgravity (taSMG) inhibits proliferation of lymphoma cells, L-540 and HDLM-2, using a 3D clinostat
Gravity is omnipresent on Earth; however, humans in space, such as astronauts at the International Space Station, experience microgravity. Long-term exposure to microgravity is considered to elicit physiologic...
-
Article
Open AccessA development of assistant surgical robot system based on surgical-operation-by-wire and hands-on-throttle-and-stick
Robot-assisted laparoscopic surgery offers several advantages compared with open surgery and conventional minimally invasive surgery. However, one issue that needs to be resolved is a collision between the rob...
-
Article
Open AccessThe Matters of the Continuity in Architecture
There exists a possibility of integrating an architectural space (building interior) and an urban open space (urban interior) as a single concept of interiority. Architecture is to connect the former with the ...
-
Article
Erratum to “Transient performance prediction of an axial compressor considering VIGV operation speeds” [JMST 28 (10) (2014) 4099∼4107]
-
Article
Open AccessPneumatic-type surgical robot end-effector for laparoscopic surgical-operation-by-wire
Although minimally invasive surgery (MIS) affords several advantages compared to conventional open surgery, robotic MIS systems still have many limitations. One of the limitations is the non-uniform grip** f...
-
Chapter and Conference Paper
Interoperability Testing Based on a Fault Model for a System of Communicating FSMs
This paper presents a fault model for interoperability testing of communication protocols that are modeled by communicating finite state machines, and proposes a technique that extends an initial interoperabil...
-
Chapter
Interoperability Test Generation for Communication Protocols Based on Multiple Stimuli Principle
This paper presents a method for generating interoperability test suites for the class of communication protocols such as the ATM/B-ISDN signaling protocol and TCP that are modeled as communicating nondetermin...
-
Chapter
Automated Generation of Interoperability Tests
In this paper we present two methods for automated interoperability tests generation. The tests are applied to different entities implementing the same protocol and are peer-to-peer tests. They can be executed...
-
Chapter
An approach for testing asynchronous communicating systems
This paper studies the problem of testing concurrent systems as blackboxes described in asynchronous Communicating Finite State Machines. We present an approach to derive test cases in a succinct and formal way f...
-
Chapter
Test sequence generation for adaptive interoperability testing
When testing communicating systems, nondeterminism makes it a more difficult and evasive process. Adaptive testing is an efficient approach to testing nondeterministic systems. In this paper, we develop an int...
-
Chapter
Design for testability of protocols based on formal specifications
In this paper, we propose a generic scheme which instruments a formal protocol specification automatically to enhance the testability of the implementation. This approach is a special case of design for testab...