Network-on-chip (NoC) offers a scalable and flexible communication infrastructure for many-cores systems. Buffers in router is used fine-grain flow control Quality of Service (QoS), yet it the major contributor area power consumption. In this paper, we propose hybrid buffer design with SRAM Spin-Torque Transfer Magnetic RAM (STT-RAM) NoC leveraging novel architecture combined Virtual Channel (V...

The objective of this study is to investigate the combustion in a pilot-ignited supercharged dual-fuel engine, fueled with different types of gaseous fuels under various equivalence ratios. It is found that if certain operating conditions are maintained, conventional dual-fuel engine combustion mode can be transformed to the combustion mode with the two-stage heat release. This mode of combusti...

cooperative object manipulation control of rigid-flexible multi-body systems in space is studied in this paper. during such tasks, flexible members like solar panels may get vibrated that in turn may lead to some oscillatory disturbing forces on other subsystems, and consequently produces error in the motion of the end-effectors of the cooperative manipulating arms. therefore, to design and dev...

Symbolic model checkers can construct proofs of properties over highly complex models. However, the results reported by tool when a proof succeeds do not generally provide much insight to user. It is often useful for users have traceability information related proof: which portions were necessary it. This be used diagnose variety modeling problems such as overconstrained axioms and underconstra...