Based on the ATLAS SCT experience, hybrid and module designs of a short strip silicon detector for an upgraded ATLAS inner tracker for the super LHC have been pursued. At the super LHC, which provides 10 times more intense beam collisions than the LHC, the detectors envisage a very high rate operation in a much harsher radiation environment. Immediate concern is an increase of leakage current d...

Solder layer void is one of the main failure causes power semiconductor devices, which will seriously affect reliability devices. In this study, a 3D model IGBT (Insulated Gate Bipolar Transistor) packaging was built by DesignModeler. Based on ANSYS Workbench, influence size, location, solder type, and thickness temperature distribution module simulated. The results show that larger radius, hig...

With the widespread use of modular multi-stage converters, demands on their stability are increasing. In particular, problems such as open-circuit and short-circuit faults in submodules have also attracted considerable attention from all walks life. On this basis, a machine learning-based fault self-test sub-module tracking strategy well innovative learning algorithms proposed. Starting output ...

NetFPGA is a hardware board that it is becoming increasingly popular in various research areas. It is a hardware customizable router and it can be used to study, implement and test new protocols and techniques directly in hardware. It allows researchers to experience a more real experiment environment. In this paper we present a work about the design and development of four new modules built on...

TF.Learn is a high-level Python module for distributed machine learning inside TensorFlow (Abadi et al., 2015). It provides an easy-to-use Scikit-learn (Pedregosa et al., 2011) style interface to simplify the process of creating, configuring, training, evaluating, and experimenting a machine learning model. TF.Learn integrates a wide range of state-ofart machine learning algorithms built on top...

Determining the categories of different parts of a scene and generating a continuous traversable region map in the physical coordinate system are crucial for autonomous vehicle navigation. This paper presents our efforts in these two aspects for an autonomous vehicle operating in open terrain environment. Driven by the ideas that have been proposed in our Cognitive Architecture, we have designe...

The goal of my ongoing work is to provide an architecture for developing and manipulating modular ontologies in such a way that each ontology module can plug into or unplug from an ontology. This architecture builds on top of a fundamental formalism for modular ontologies. Through this formalism we are able to define mechanisms for integrating different modules and develop algorithms for reason...

Modularization for ontologies and thus for logical theories is receiving increasing interest, but a clear presentation of requirements for solutions is still missing. This paper presents a collection of such requirements. Some of these are derived as desiderata in the context of applying modularization to the axiomatization of a top-level ontology, whereas others are determined by analyzing the...

The design of Digital's NVAX CPU chip provided the opportunity to bring RISC-class performance to deskside CISC VAX computer systems. The new VAX 4000 Model 400, 500, and 600 low-end systems take full advantage of the performance capabilities of the NVAX microprocessor. The three systems offer from two to four times the performance of the previous top-ofthe-line VAX 4000 Model 300 system in the...

With the development of ASIC designs, simulation cannot cover all the corner cases in a complicated design. Model checking is a fully automatic approach to verify a finite state machine against its temporal specifications. However, its application is limited by the size of the system to be verified. Compositional verification and model reduction are two possible methods to tackle this problem. ...