omniomni/omni-engineering huggingface dataset:
Kanazawa Institute of Technology. is an institution of higher learning in Nonoichi City, Ishikawa Prefecture, Japan. It is often called KIT, or  for short.

It is known for its unique educational policy that attaches importance to initiative of students. One of the examples is , coined from yume (dream), kō (thought, to think) and kōbō (workshop), where students take parts in their projects and research on solar cars, universal design, etc.

Programs

Undergraduate programs
College of Engineering (6 Departments)
College of Environmental Engineering and Architecture (5 Departments)
College of Informatics and Human Communication (4 Departments)

Graduate programs
Mechanical Engineering
Civil and Environmental Engineering
Information and Computer Engineering
Electrical Engineering and Electronics
System Design Engineering
Material Design Engineering
Architecture
Material Engineering
System for Intellectual Creation
Clinical Psychology

Educational institutions established in 1965
Research institutes in Japan
Technical universities and colleges in Japan
Engineering universities and colleges in Japan
Universities and colleges in Ishikawa Prefecture
American football in Japan
1965 establishments in Japan
Nonoichi, Ishikawa
SJ Rm. The SJ Class Rm is an electric locomotive operated by Swedish State Railways () and later Green Cargo. The six locomotives are variants of the Rc locomotive and built by ASEA in 1977. The difference is smaller wheels giving higher pulling force, but lower maximum speed. They were used in triple-unit configuration on Malmbanan as supplements to Dm3-units, but later moved to other parts of the Swedish rail network after the transport needs on Malmbanan were reduced. When originally used to haul iron ore they were ballasted, fitted with SA3 couplings and additional set of brakes, but all these modifications were removed when the locomotives were put in ordinary freight operation. In the 1990s they were repainted from orange to blue. When SJ was split up, they were transferred to Green Cargo, stationed in Malmö. In 2013–2014 they were used again for iron ore traffic on Malmbanan. They went between Svappavaara and Narvik for Northland Resources, using SA3 couplings. After the Northland bankruptcy they were parked but returned to service in 2016 (with standard couplings).The locomotives are now used by Green cargo and hauling various freight trains all around Sweden

External links
 Järnväg.net on Rm 

Electric locomotives of Sweden
Rm
Green Cargo locomotives
ASEA locomotives
Bo′Bo′ locomotives
15 kV AC locomotives
Standard gauge locomotives of Sweden
SJ Ra. The SJ Class Ra (or Rapid) is an electric locomotive operated by Swedish State Railways (). Ten units were built by ASEA, two in 1955 and eight in 1961. Ra was used on express trains until the 1990s.

History
During the 1940s SJ had a need for quicker locomotives for their express trains. In 1953 two bogie-locomotives were ordered from ASEA. Inspiration for the appearance came from North America, with round shapes and a bulldog nose. The two first units were successful and SJ ordered additional eight units from ASEA, delivered in 1961. Though never being used for more than 130 km/h, it was capable for 150 km/h, and served mainly on Stockholm - Göteborg and Stockholm - Oslo. They were mainly taken out of service in the late 1980s, though two remained in service until 1996. Most have been preserved, including at the Swedish Railway Museum and at Nässjö Railway Museum. In 2012, Ra 988 was sold by the Swedish Railway Museum in 2012 and was sold to Svensk Tågkraft and is still in service.

External links

 Järnväg.net on Ra 

Railway locomotives introduced in 1955
Ra
ASEA locomotives
Bo′Bo′ locomotives
15 kV AC locomotives
Standard gauge locomotives of Sweden
Scalable Networking Pack. Scalable Networking Pack (SNP) is a set of additions that adds new features to Microsoft's Windows Server 2003 Service Pack 1 or later with architectural enhancements and APIs to support the new capabilities of network acceleration and hardware-based offload technologies.

Features 
 TCP chimney offload provides seamlessly integrated support for network adapters with TCP offload engines (TOE)
 Receive-side scaling dynamically load-balances inbound network connections across multiple processors or cores
 NetDMA enables support for advanced direct memory access technologies, such as Intel I/O Acceleration Technology (Intel I/OAT)

References

External links
Microsoft Scalable Networking
Introduction to the Windows Server 2003 Scalable Networking Pack
Scalable Networking Pack: Frequently Asked Questions

Windows Server
SJ Rb. Rb is an electric locomotive operated by Swedish State Railways (). Six locomotives were built by ASEA, in three series designated Rb1, Rb2 or Rb3.

History
During the 1950s SJ saw the need for a new universal locomotive, since the D-series was aging. In 1955 the Ra-series had proved successful with bogie wheels. At the same time there was interest to make a locomotive that could be exported abroad. The result was an agreement between ASEA and SJ where six test engines were delivered. The testing of the Rb was successful, so it was sent to Romania for trials in 1963 for the Brasov-Predeal mainline (at the time it was electrified since 9 June 1963 and 3 more manufacturers tested their locomotives there), and later in Yugoslavia in 1967, and based on this exports were made to the Yugoslav Railways (JŽ class 441 and 461), Căile Ferate Române of Romania (CFR Class EA and EC) and for Norwegian Railways (NSB El 15, derived from the EA class of CFR). The result of the testing of the Rb1T unit was the Rc locomotive that was produced in 360 copies starting from 1967 and ending in 1988/1989 for SJ, in addition to export to Amtrak (AEM-7), Norges Statsbaner (NSB El 16) and Österreichische Bundesbahnen (ÖBB Class 1043). The Rb-series was in use on passenger and freight trains until the mid-1970s. Parts of unit 1005 were reused in a maintenance-of-way vehicle that was scrapped in 1996 or 2004.

Variations
Rb1 was equipped with direct current (DC) motors with higher efficiency and thus more economical. The utilization of thyristors could convert from the alternating current (AC) used in the railway electrification system of Sweden, and one of the Rb1 locos was rebuilt to thyristor in 1965, getting the designation Rb1T. They were built by AB ASJ (AB Svenska Järnvägsverkstäderna or Swedish Rail Workshops).

Rb2 and Rb3 were equipped with conventional AC motors. Rb2 was built by Nydqvist och Holm Aktiebolag whilst Rb3 was built by the Motala Workshops.

External links
 Järnväg.net on Rb 

Rb
ASEA locomotives
Bo′Bo′ locomotives
15 kV AC locomotives
Standard gauge locomotives of Sweden
Kawasaki Ki-3. The  was a light bomber built by Kawasaki Kōkūki Kōgyō K.K. for the Imperial Japanese Army (IJA) in the 1930s. It was the last biplane bomber design to be produced for the Imperial Japanese Army Air Force, and it saw combat service in Manchukuo and in North China during the early stages of the Second Sino-Japanese War.

Design & Development
The Ki-3 was a biplane design of all-metal construction with light alloy and fabric covering, staggered wings, and a fixed, divided landing gear. It was powered by one supercharged  BMW IX V12 inline engine, driving a wooden two-bladed propeller. Maximum speed was  and maximum take-off weight . One 7.7 mm (.303 in) machine gun was mounted to fire forward, synchronized with the propeller, and another was mounted dorsally on a flexible mount. The maximum bomb load was . The two man crew sat in open cockpits.

KDA-6 and A-6
The Ki-3 originated as a private venture, launched by Kawasaki to develop a dedicated reconnaissance aircraft. The latter's prototype, designated KDA-6, was designed by the German engineer Dr. Richard Vogt, who was working in Japan at the time. Takeo Doi, the future chief designer for Kawasaki, worked as Vogt's assistant on the project; Vogt later went on to become chief designer for Blohm & Voss. The KDA-6 was rejected by the IJA due to changes in the procurement process, despite having excellent performance and handling characteristics. Awarded the contract to build the Army Type 93 Single-engined Light Bomber, Kawasaki used their experience of the KDA-6 in their design for this new aircraft, which was given the Kitai number Ki-3.

A civilian version of the KDA-6, later designated Kawasaki A-6, was produced as a communications aircraft and was used successfully by the Asahi Shimbun newspaper for printing plate and personnel transport duties.

Operational history
The Kawasaki Ki-3 was designated "Army Type 93-1 Single-engine Light Bomber" under the other Japanese military aircraft nomenclature system. It flew in April 1933 and entered operational service initially with the 6th Composite Air Regiment in Chosen (Korea). It subsequently was used in combat in Manchukuo (Manchuria) and in North China during the initial stages of the Second Sino-Japanese War, where it could make use of its good maneuverability to support ground troops. It was considered a rugged ground-attack aircraft, but the supercharger of its liquid-cooled engine was a constant source of problems.

Variants
Ki-3 (Army Type 93-1 Single-engine Light Bomber). 243 built (3 prototypes, 200 by Kawasaki and 40 by Tachikawa Aircraft Company Ltd) from January 1934 till March 1935.

Operators

 Imperial Japanese Army Air Force

Specifications (Ki-3)

See also

References

Bibliography

External links

Biplanes
Single-engined tractor aircraft
Ki-03, Kawasaki
Ki-003
Aircraft first flown in 1933
Howard Tunnel. The Howard Tunnel is located near Seven Valleys, Pennsylvania. In operation since 1838, it is the second oldest active rail tunnel in the U.S.  Originally constructed by the York and Maryland Line Rail Road, it formed a critical link in the north-south line assembled by the Northern Central Railway.

It is a  long, brick-lined tunnel built between 1836 and 1837 and opened for traffic in 1838. During the Civil War, the tunnel, then part of the Northern Central Railway system, was a target of Confederate cavalry troops, but was protected by elements of the 20th Pennsylvania state militia. However, nearby railroad bridges on the NCR down to Hanover Junction were destroyed by Confederate forces. After the war, the tunnel was rebuilt to accommodate two tracks in 1868.

The line was again damaged during Hurricane Agnes in 1972 and rebuilt by the Commonwealth of Pennsylvania in 1985. Freight traffic failed to materialize and the line again fell dormant by 1996. The Northern Central Railway (no relation to the original owner) leased the line in 1996 and operated the Liberty Limited dinner train from New Freedom through the tunnel to York until September 2, 2001.

York County, Pennsylvania purchased the tunnel along with its rail corridor in 1990 and has maintained it as part of a historic railroad, thereby preserving its status as an "active" tunnel. The tunnel was listed in the National Register of Historic Places in 1995. In August 1999 the county government completed a track-side trail, the Heritage Rail Trail which led to the tunnel being refurbished in 1999 and again in 2003.

According to information posted in the front window of Steam Into History Inc. (501c) There is currently a fund raising effort to restore passenger train service through the Howard Tunnel by Steam Into History's Excursion trains. As of 7/9/2016 they have received 1/2 the funds necessary to repair the tracks from Hanover Junction Pa to York Pa. - See also Steam Into History

References

External links
Howard Tunnel - Waymarking.com
Heritage Rail Trail History - York County Parks
Steam Into History

Railway buildings and structures on the National Register of Historic Places in Pennsylvania
Tunnels completed in 1838
Transportation buildings and structures in York County, Pennsylvania
Railway tunnels on the National Register of Historic Places
Railroad tunnels in Pennsylvania
National Register of Historic Places in York County, Pennsylvania
ASEA Rz. Rz was an electric locomotive built by ASEA to test out asynchronous motors. It was built in 1982 and closely related to the Rc-series. It was test run until 1989 on Siljansbanan, but there was never any mass production of it.

Later developments
After ASEA merged with Brown, Boveri & Cie to form Asea Brown Boveri in 1988 the development of asynchronous motors was moved to Switzerland. The Rz technology was utilized for the development of the X2-train and the Rc5-locomotive.

Disposal
In 1992 the engine was donated to the Swedish Railway Museum, but they were not particularly interested in it and in 1999 it was moved to Örebro to become a parts locomotive.

References

ASEA locomotives
Bo′Bo′ locomotives
15 kV AC locomotives
Individual locomotives of Sweden
Welsh 0-6-2T locomotives. Welsh 0-6-2T locomotives were a standard steam locomotive of the railways of South Wales. Many of the independent railways used them and, at the grouping of 1923, the survivors passed into Great Western Railway (GWR) stock. The GWR perpetuated the type in the GWR 5600 Class. The other major railway company in Wales, the LNWR, also had the LNWR Webb Coal Tank Class, though this was grouped into the LMS not the GWR.

Overview
The railways of South Wales seem to have had a particular liking for the 0-6-2T type. This was because the nature of the work they undertook demanded high adhesive weight, plenty of power with good braking ability, but no need for outright speed, nor large tanks or bunker as the distances from pit to port were short.  These Welsh locomotives were taken over by the GWR at the grouping in 1923 and many were rebuilt with GWR taper boilers.

Numbering
Many Welsh 0-6-2T locomotives passed into British Railways (BR) ownership in 1948 and these included (with some gaps in numbering). GWR engines all retained their numbers upon nationalisation.

 Rhymney Railway, BR numbers 30-83
 Cardiff Railway, BR number 155
 Barry Railway, BR numbers (random) 198-231 and 238-277 (the Barry Railway locomotives had all been withdrawn by 1952 so they are less well-documented than the others)
 Taff Vale Railway, BR numbers (random) 204-420 and 438-440
 Brecon and Merthyr Railway, BR numbers 422-436

Railways

Barry Railway

Brecon and Merthyr Railway

Neath and Brecon Railway

Port Talbot Railway

Rhymney Railway

The Rhymney Railway's A, M and R classes were successful designs ideally suited to hauling heavy coal trains a relatively short distance.  In 1926, No 17 was reboilered by the GWR and in this form was visually almost indistinguishable from the GWR 5600 Class.

These three classes (and the larger wheeled P class) were designed for work on the Rhymney Railway, replacing smaller locomotives.  When the smaller railway companies were forcibly merged into the GWR in 1923, these modern 0-6-2Ts were in generally good order (some were a few months old) and had proved successful. Collectively they became the blueprint for the 200 strong GWR 5600 class.

The design of the 5600 followed the Rhymney designs quite closely but adopted GWR practice as far as possible, by utilising many standardized parts. Included in Collett's innovations was a standard number 2 boiler which was suitable for the 5600 (and the M and R class Rhymney locomotives), complete with the traditional copper GWR safety valve casing and copper-capped chimney. Some A and P classes were also rebuilt but used the slightly shorter standard number 10 boiler, also to good effect.

Five R class locos were upgraded from 1926 onwards. All told sixteen "Stephenson" locos were similarly dealt with between 1926 and 1949.

Taff Vale Railway

References

External links 
 5600 class
 5643
 6695

0-6-2T
0-6-2T locomotives
Standard gauge steam locomotives of Great Britain
RAF-2203. The RAF-2203 Latvija (nickname Rafik) is a cabover van designed and developed by Rīgas Autobusu Fabrika from 1976 to 1997. They were widely used throughout the USSR as fixed-run taxis (marshrutkas), medical cars, used for trade and as a special services vehicles. It was the successor of the RAF-977.

This van used the  engine of the GAZ-24, between the front seats, making its construction similar to other competing vans such as the Dodge A100 and the Volkswagen LT, with independent front suspension also from the GAZ-24 (but springs from the GAZ-13). It borrowed headlights and brake system parts from the Moskvitch 412, outside door handles from the Moskvitch 408, and  wheels of the GAZ-21 Volga. The single rear door hinged at the top, rather than the more-usual side-opening. There were two major models: one, the 2203, seated ten plus driver and passenger, powered by a   with 8.2:1 compression; the other, the 22032, a twelve-seat "route taxi", had longitudinal seats and lower 6.7:1 compression (to use more readily available 76 octane petrol), and produced only . (The 2203-02 would run on liquified propane). An ambulance, the 22031, was soon added to the range, and made up fully a third of all 2203s built; there was also a 22035 for blood donor clinics. These were joined by the 22034, for fire departments.

In addition to the uncommon 22033 and 22036 for state militias, there were prototype electric vehicles.

While the 2203 looked good, it was susceptible to rust, especially in the frame rails, and was unpleasant to drive in bad weather. Quality control of the assembly was also poor. Oil leaks and axle bearing failures were frequent. It also suffered overheating, serious vibration issues, failures of front suspension parts leading to poor handling, and high fuel consumption. On top of it all, access to the cab was difficult, despite the forward-control position.

After RAF went bankrupt, production was picked up by GAZ, who quickly replaced it with the GAZelle.

Variants 

 RAF-2203 Latvija – 4x2 4dr van, 1976
 RAF-2203 Latvija [delivery] – 4x2 4dr delivery van
 RAF-2203 Latvija [cardiology] – 4x2 4dr cardiac ambulance
 RAF-2203 Latvija [fire] – 4x2 4dr fire minivan
 RAF-2203 Latvija GAI – 4x2 4dr police van
 RAF-2203 Latvija [mail] – 4x2 4dr mail van
 RAF-2203 Latvija [taxi] – 4x2 4dr taxi van
 RAF-2203 Latvija VAI – 4x2 4dr military police van
 RAF-22031 Latvija – 4x2 4dr ambulance
 RAF-2907 – special car based on RAF-2203

Gallery

References

1970s cars
1980s cars
1990s cars
Riga Autobus Factory vehicles
Vans
Minibuses
Taxi vehicles
Ambulances
Cab over vehicles
Police vehicles
Buses of the Soviet Union
Vehicles introduced in 1976
Motor vehicles manufactured in Latvia
IsaPlanner. IsaPlanner is a proof planner for the interactive proof assistant, Isabelle.  Originally developed by Lucas Dixon as part of his PhD thesis at the University of Edinburgh, it is now maintained by members of the Mathematical Reasoning Group, in the School of Informatics at Edinburgh.
IsaPlanner is the latest of a series of proof planners written at Edinburgh.  Earlier planners include Clam and LambdaClam.

Features 
IsaPlanner allows the user to encode reasoning techniques, using a combinator language, for conjecturing and proving theorems.  IsaPlanner works by manipulating reasoning states, records of open goals, the current proof plan and other important information, and combinators are functions mapping reasoning states to lazy lists of successor reasoning states.

IsaPlanner's library supplies combinators for branching and iteration, amongst other tasks, and powerful reasoning techniques can be created by combining simpler reasoning techniques with these combinators.

Several reasoning techniques come ready implemented within IsaPlanner, notably, IsaPlanner features an implementation of dynamic rippling, a rippling heuristic capable of working in higher order settings, a best-first rippling heuristic and a reasoning technique for proofs by induction.

Additional features include an interactive tracing tool, for manually stepping through proof attempts and a module for viewing and manipulating hierarchical proofs.

Planned features 
Features currently being implemented, or planned for the future, are an expanded set of proof critics, suitable for use in higher order domains, dynamic relational rippling, a rippling heuristic suitable for rippling over relational expressions as opposed to functional expressions, again suitable for use in higher order domains, and integration of IsaPlanner with Proof General.

References

External links 
 IsaPlanner project page
 Mathematical Reasoning Group

Automated theorem proving
SJ T45. T45 is a Swedish diesel-electric locomotive operated by Swedish State Railways () and later other companies. It was in passenger service with SJ from 1971 to 1976, after which it was used in heavy industry. It is the only diesel locomotive to be built by Allmänna Svenska Elektriska Aktiebolaget (ASEA).

The loco used a SEMT Pielstick diesel engine. ASEA used the same bogies and electrical systems as on the Rc locomotive, while Thune of Norway built the mechanical parts.

History
ASEA had been dominating the Swedish market for electric locomotives, but Nykvist & Holm had been dominating the diesel segment. In the late 1960s ASEA decided to enter the diesel market, and in 1969 SJ ordered five units, with delivery in 1971-72. They were dispatched in Borlänge. In 1976 SJ returned them back to ASEA due to them not being reliable enough and that SJ didn't want another diesel engine class. ASEA tried to sell the locos abroad, but only one was sold to Norway. The remaining were sold to industrial companies in Sweden, including the iron mills in Avesta and Hofors.

References

External links
 Järnväg.net on T45

ASEA locomotives
Thune locomotives
T45
Bo′Bo′ locomotives
Railway locomotives introduced in 1971
Standard gauge locomotives of Norway
Hoesch reaction. The Hoesch reaction or Houben–Hoesch reaction is an organic reaction in which a nitrile reacts with an arene compound to form an aryl ketone. The reaction is a type of Friedel-Crafts acylation with hydrogen chloride and a Lewis acid catalyst.

The synthesis of 2,4,6-Trihydroxyacetophenone (THAP) from phloroglucinol is representative: If two-equivalents are added, 2,4-Diacetylphloroglucinol is the product.

An imine can be isolated as an intermediate reaction product. The attacking electrophile is possibly a species of the type R-C+=NHCl−. The arene must be electron-rich i.e. phenol or aniline type.  A related reaction is the Gattermann reaction in which hydrocyanic acid not a nitrile is used.

The reaction is named after Kurt Hoesch and Josef Houben who reported about this new reaction type in respectively 1915 and 1926.

Mechanism
The mechanism of the reaction involves two steps. The first step is a nucleophilic addition to the nitrile with the aid of a polarizing Lewis acid, forming an imine, which is later hydrolyzed during the aqueous workup to yield the final aryl ketone.

See also
 Stephen aldehyde synthesis
 Gattermann reaction
Hoesch reaction is demonstrated for Buflomedil.

References

Substitution reactions
Name reactions
Symphony (software). IBM Spectrum Symphony, previously known as IBM Platform Symphony and Platform Symphony, is a high-performance computing (HPC) software system developed by Platform Computing, the company that developed Load Sharing Facility (LSF). Focusing on financial services, Symphony is designed to deliver scalability and enhances performance for computationally intensive risk and analytical applications. The product lets users run applications using distributed computing.

With version 4.0, Platform included a developer edition with no restrictions or time limits. Symphony Developer Edition is a free high-performance computing (HPC) and grid computing software development kit and middleware. It has been described as "the first and only solution tailored for developing and testing Grid-ready service-oriented architecture applications".

References

External links
 Official website

Grid computing products
Parallel computing