omniomni/omni-engineering huggingface dataset:
Greengate, Greater Manchester. Greengate is an industrial district in the town of Chadderton in the Metropolitan Borough of Oldham, Greater Manchester.

It is located in the south west of Chadderton, close to the town's common borders with Middleton to the west and Moston in the City of Manchester which lies to the south.

For postal purposes Greengate lies within the Manchester postal district (M24, Middleton).

British aircraft manufacturer Avro, later BAE Chadderton, built a factory at Greengate in 1938–39. It was one of the largest employers in the area.  The BAE factory was closed in 2012 and purchased later that year by NOV (formerly National Oilwell Varco), an American multinational working in oil and gas.

Transport
Stagecoach Manchester provides the following bus services along Greengate -

112/113 - to Middleton via Middleton Junction and to Manchester City Centre via Moston and Collyhurst.

114 - to Middleton via Alkrington and Manchester City Centre via Moston and Collyhurst.

294 offers two early morning one way services to the Trafford Centre via Moston, Cheetham Hill and Salford Quays.

Manchester Community Transport operates service 159 to Middleton via Middleton Junction and Tonge and to Oldham via New Moston, Failsworth and Chadderton.

References

Areas of Chadderton
Aligarh Junction railway station. Aligarh Junction railway station is an 'A' class junction station on the Kanpur–Delhi section of Howrah–Delhi main line and Howrah–Gaya–Delhi line.  It is located in Aligarh district in the Indian state of Uttar Pradesh. It serves Aligarh.

History
Trains started running on the East Indian Railway Company's  Howrah–Delhi line in 1866.

The Bareilly–Moradabad Chord via Rampur, with a branch line to Aligarh, was built by Oudh and Rohilkhand Railway in 1894.

Electrification
The Tundla–Hathras—Aligarh–Ghaziabad and Aligarh–Harduaganj sectors were electrified in 1975–76.

Infrastructure
There are Seven platforms with three foot bridges. Lift facility is available at platform numbers 1&2,3&4,5&6. Escalators also available at platform 2 and 7. A new terminal at city side is now also in working.

It also has two double-bedded non-AC retiring rooms.

Accident
Five people were killed and many others injured in an accident at Aligarh railway station on the evening of Sunday 19 June 2011. The accident took place when a goods train was passing a crowded platform. According to officials, a brake lever snapped from the train, and the projecting wheel ploughed into passengers waiting at the platform. There were many people waiting for the Delhi–Tundla passenger train on the platform. The hand brake and the connecting rod had come loose and the protruding object turned deadly for the victims. While two people died on the spot, three others succumbed to their injuries in hospital. At least six other injured people were admitted to Jawahar Lal Nehru Medical College Hospital at Aligarh Muslim University.

Major Trains
Anand Vihar Terminal–Ayodhya Cantonment Vande Bharat Express
Mau–Anand Vihar Terminal Express
Neelachal Express
Nandan Kanan Express
Lucknow–New Delhi Swarna Shatabdi Express
Kanpur–New Delhi Shatabdi Express
Darbhanga–Anand Vihar Terminal Amrit Bharat Express
Champaran Humsafar Express
Kaifiyat Express
Brahmaputra Mail
Farakka Express (via Sultanpur)
Farakka Express (via Ayodhya Cantt)
Bhagalpur–Anand Vihar Terminal Garib Rath Express
Rewa–Anand Vihar Superfast Express
Jaynagar–Anand Vihar Garib Rath Express
North East Express
Lichchavi Express
Magadh Express
Amrapali Express
Sangam Express
Lokmanya Tilak Terminus–Bareilly Weekly Express
Indore–Bareilly Weekly Express
Sambalpur–Jammu Tawi Express
Muri Express
Gomti Express
Swatantra Senani Superfast Express
Mahabodhi Express
Sikkim Mahananda Express
Netaji Express
Seemanchal Express
Poorva Express (via Patna)
Poorva Express (via Gaya)
Unchahar Express
Kalindi Express
Bhrigu Superfast Express
Vaishali Express
Prayagraj Express
Santragachi–Anand Vihar Superfast Express

See also
 Tundla Junction railway station
 Hathras Junction railway station
 Khurja Junction railway station
 Ghaziabad Junction railway station
 Bareilly Junction railway station

References

External links

Railway stations in India opened in 1866
Railway junction stations in Uttar Pradesh
Railway stations in Aligarh district
Prayagraj railway division
Buildings and structures in Aligarh
Malabar College of Engineering and Technology. Malabar College of Engineering and Technology is an engineering college situated in Desamangalam, Thrissur District of Kerala, India. The college is approved by All India Council for Technical Education (AICTE) New Delhi, and affiliated to APJ Abdul Kalam Technological University (KTU)

The college was officially inaugurated on October 14, 2009, by the former President of India, APJ Abdul Kalam

B Tech programs 
Malabar College of Engineering & Technology (MCET) offers B Tech programs in the following disciplines under APJ Abdul Kalam Technological University (KTU):

M Tech programs 
MCET offers the following M Tech programs:

References

External links
 

Engineering colleges in Thrissur district
All India Council for Technical Education
Colleges affiliated with the University of Calicut
MET's School of Engineering. MET's School of Engineering is a private engineering college situated in Mala, Thrissur District of Kerala, India. The college is affiliated to All India Council for Technical Education (AICTE) New Delhi, and the University of Calicut. MET'S is the acronym for Mala Education Trust. MET's School of Engineering was established  in 2002.

Girish AD is a Notable Alumni of MET's School of Engineering.

Courses 
MET's School of Engineering offer the following courses:

B.Tech undergraduate streams:
 Computer Science and Engineering
 Electronics and Communication Engineering
 Electrical and Electronics Engineering
 Biotechnology Engineering
 Mechanical Engineering
 Civil Engineering

M.Tech postgraduate streams:
 Electronics and Communication Engineering (VLSI Design)
 Biotechnology Engineering
 Computer Science and Engineering

References

Engineering colleges in Thrissur district
All India Council for Technical Education
Colleges affiliated with the University of Calicut
Sree Eranakulathappan College of Engineering and Management. Sree Ernakulathappan College of Engineering and Management is a private engineering college situated in Inchakundu, Thrissur District of Kerala, India. The college is affiliated to All India Council for Technical Education (AICTE) New Delhi, and the University of Calicut.

References

Engineering colleges in Thrissur district
All India Council for Technical Education
Colleges affiliated with the University of Calicut
Nirmala College of Engineering. Nirmala College of Engineering is a private engineering college situated in Kunnappilly, Thrissur district of Kerala, India. The college is affiliated to APJ Abdul Kalam Technological University and University of Calicut.

Departments
 Civil Engineering
 Computer Science Engineering
 Automobile Engineering
 Applied Science department
 Mechatronics Engineering
 Mechanical Engineering

References

External links
 

Engineering colleges in Thrissur district
All India Council for Technical Education
Colleges affiliated with the University of Calicut
Renault Trucks D. The Renault Trucks D is a range of medium duty trucks for distribution manufactured by the French truckmaker Renault Trucks. It was launched in 2013 to replace the Midlum, the Premium Distribution and the Access.

Overview
 
The D incorporates automatic transmission as standard in all its versions (except the D Cab 2 m) and new comfort and security features.

The D range is made up of four models: D, D Wide, D Access and D Cab 2 m. The D and the D Wide are derived from the Midlum and the Premium Distribution respectively. The D Access is supplied by Dennis Eagle. The D Cab 2 m is a badge-engineered version of the Nissan NT500, assembled in Spain by Nissan.

Engines
The D offers two Euro 6 engines, the DTI 5 and the DTI 8. The DTI 5 is a 5.1 L inline-four engine with a power output of  and a torque of  or  and  . The DTI 8 is a 7.7 L straight-six engine with a power output of  and a torque of ;  and   or  and  . Both engines includes an EGR system to reduce NOx emissions.

The Renault Trucks D Wide is also available as an all-electric variant, offering  of continuous power and  of peak power, and  of torque. Equipped with a 200-kWh battery, it has a range of "up to 200 km", though the vehicle could be presumably equipped with an even larger battery in the future.

The lighter truck of the range, the D Cab 2 m, has an engine different than the rest: a 3L engine with a power output between 
 and .

Models
The D range includes four models:
Renault Trucks D (from 10 t to 18 t, 2.1 metres wide cab)
Renault Trucks D Wide (from 16 t to 26 t, 2.3 metres wide cab)
Renault Trucks D Access (low entry cab, from 18 t to 26 t)
 Renault Trucks D Cab 2 m (from 3.5 t to 7.5 t, 2 metres wide cab)

E-Tech D

In 2022, Renault Trucks launched an electric variant.

References

D
Vehicles introduced in 2013
Borden Lake mine. The Borden project located near Chapleau in Ontario, is approximately 160 kilometres west of Goldcorp's Porcupine mine. The project has the potential to further enhance the long-term economics of Porcupine. All material required permits, including the Advance Exploration permit, have been received to allow for the construction of a ramp into the deposit and the extraction of a 30,000 tonne bulk sample. The ramp design for the purpose of the bulk sample is expected to be sufficient for ultimate mining purposes. The underground platforms developed from the ramp access will further support exploration drilling of a deposit that remains open at depth and laterally. A final feasibility study is expected to occur by the end of the first quarter of 2019 after the completion of a bulk sample. With the expected ramp completion and minimal additional infrastructure required for full-scale mining, the company expects to reach commercial production six months following bulk sample extraction.

References 
http://www.goldcorp.com/English/Unrivalled-Assets/Mines-and-Projects/Canada-and-US/Development-Projects/Borden-Gold/Overview-and-Development-Highlights/default.aspx

Gold mines in Canada
Geography of Sudbury District
D-Wave Two. D-Wave Two (project code name Vesuvius) is the second commercially available quantum computer, and the successor to the first commercially available quantum computer, D-Wave One. Both computers were developed by Canadian company D-Wave Systems. The computers are not general purpose, but rather are designed for quantum annealing. Specifically, the computers are designed to use quantum annealing to solve a single type of problem known as quadratic unconstrained binary optimization. As of 2015, it was still debated whether large-scale entanglement takes place in D-Wave Two, and whether current or future generations of D-Wave computers will have any advantage over classical computers.

Processor
D-Wave Two has a QPU (quantum processing unit) of 512 qubits—an improvement over the D-Wave One series' QPUs of about 128 qubits The number of qubits can vary from chip to chip, due to variations in manufacturing. The increase in qubit count for the D-Wave Two was accomplished by tiling qubit pattern of the D-Wave One. This pattern, named chimera by D-Wave Systems, has a limited connectivity such that a given qubit can only interact with at most six other qubits. As with the D-Wave One, this restricted connectivity greatly limits the optimization problems that can be approached with the hardware.

Quantum computing
In March 2013, several groups of researchers at the Adiabatic Quantum Computing workshop at the Institute of Physics in London produced evidence of quantum entanglement in D-Wave CPUs. In March 2014, researchers from University College London and the University of Southern California corroborated their findings; in their tests, the D-Wave Two exhibited the quantum physics outcome that it should while not showing three different classical physics outcomes.

In May 2013, Catherine McGeoch verified that D-Wave Two finds solutions to a synthetic benchmark set of Ising spin optimization problems. Boixo et al. (2014) evidenced that the D-Wave Two performs quantum annealing, but that a simulated annealing on a notebook computer also performs well. Jean Francois Puget of IBM compared computation on the D-Wave Two with IBM's CPLEX software.

A D-Wave Two in the Quantum Artificial Intelligence Lab at the NASA Advanced Supercomputing Division of Ames Research Center is used. NASA, Google, and the Universities Space Research Association (USRA) started the lab in 2013.

In July 2016, computer music researcher Alexis Kirke used a harmony algorithm developed for the D-Wave Two  live in a public musical performance for mezzo-soprano and electronics in the UK.

In January 2021, a multi-institutional group of researches from ORNL, Purdue and D-Wave generated accurate results from materials science simulations on the DWave-2000Q processor that can be verified with neutron scattering experiments and other practical techniques.

References

Further reading
 
 

Products introduced in 2013
Quantum information science
Supercomputers
Raven coal mine. The Raven coal mine is a proposed mining project in British Columbia undergoing a joint federal/provincial review. It involves Compliance Energy Corp (a small Canadian mining company) and partners Itochu Corporation (Japan) and LG International (Korea). It is also known as the “Comox Join Venture”. 

It involves 31 square kilometres underground on Vancouver Island between Beaufort Mountains and Baynes Sound and 2 km2 surface works 4.2 km southwest of Buckley Bay in upper Cowie Creek.

The Environmental Impact Assessment was deemed inadequate, and a new proposal is being worked on.

References

Coal mines in Canada
Design Bureau for Special Machine-Building. JSC Design Bureau for Special Machine-Building (KB SM; ) is a Soviet-Russian space rockets industry enterprise. Currently, it is part of Almaz-Antey.

KB SM developed and produced a number of launch systems for air defence, Navy and Strategic Missile Troops.

Currently, KB SM develop reinforced concrete containers for long-term storage and transportation of spent nuclear fuel and ship-based nuclear power plants TUK108/1. KB SM is responsible for the creation of railway cranes carrying 80 tons or 150 tons for the Soviet/Russian Ministry of Railways.

History
Founded by the order of People's Commissar of Armaments no. 110 on March 21, 1945 in accordance with the decree of the USSR State Committee of Defense no. 7739 on March 8, 1945, under the name Naval artillery central design bureau - MATsBK (), it was the Leningrad branch of Grabin's Central Artillery Design Bureau.

Since 1948 it is known as Central Design Bureau no. 34 (CKB-34) and since 1966 as KBSM (Design bureau of mechanization, ). Since 1989, bureau received its current name, Spetsmash (also KB SM). Ilya Ivanov, artillery and missile designer and scientist, became the first head of KB. After 1959, his successors were A.M. Shakhov (1959—1974), S. P. Kovalis (1974—1987), and N. A. Trofimov (1987—2007).

Products 
The organization designs (develops) and participates in the manufacture, installation and operation:

 ground-based equipment of fixed- and mobile-based rocket and space complexes;
 antenna installations of the short-wave (mm) range for mobile basing;
 antenna installations in the short-wave (mm) and long-wave ranges for space radio communications, radio and space research and broadcasting;
 precision pivoting devices for guidance of optical and optoelectronic systems and any special equipment weighing several tons or more;
 equipment of thermal vacuum chambers for ground tests of spacecraft, including pivoting devices, light and reflective shields, auxiliary equipment;
 high-capacity assembly and docking equipment for precise assembly of large-sized products up to several tens of meters in size;
 vehicles for RCT products with provision of thermostating of transported spacecraft:
 railway and automobile cranes with a lifting capacity of 80-150 tons;
 launchers for ground and underwater launch of cruise missiles;
 launchers and antenna posts for air defense systems.

References

External links 
  Official site of KB SM (кбсм.рф)
 KBSM: Ensuring reliable launches
  KBSM on Almaz-Antey website

1945 establishments in Russia
Defence companies of the Soviet Union
Science and technology in the Soviet Union
Almaz-Antey
Manufacturing companies established in 1945
Space industry companies of Russia
Companies based in Saint Petersburg
Special Machine-Building
Verification condition generator. A verification condition generator is a common sub-component of an automated program verifier that synthesizes formal verification conditions by analyzing a program's source code using a method based upon Hoare logic. VC generators may require that the source code contains logical annotations provided by the programmer or the compiler such as pre/post-conditions and loop invariants (a form of proof-carrying code). VC generators are often coupled with SMT solvers in the backend of a program verifier. After a verification condition generator has created the verification conditions they are passed to an automated theorem prover, which can then formally prove the correctness of the code.

Methods have been proposed to use the operational semantics of machine languages to automatically generate verification condition generators.

References 

Formal methods
Commuter Aircraft Corporation CAC-100. The Commuter Aircraft Corporation CAC-100 was a 50–60 seat, four-engined, turboprop commuter airliner developed in the United States in the late 1970s and early 1980s.

Design and development
The design of the CAC-100 originated from the General Aircraft Corporation GAC-100, designed in the late 1960s. The GAC-100 design was enlarged and new technologies incorporated to produce the CAC-100. The proposed production aircraft featured an extended span wing with leading edge slats removed to reduce structural complexity, weight and cost. Other changes under consideration at the time of initial production were direction of undercarriage retraction and retention of the variable incidence tailplane.

The CAC-100 was designed as a low wing monoplane with four turboprop engines mounted on the leading edges of the wings. The all-metal fail-safe semi-monocoque tubular fuselage was to have been pressurized and to accommodate a flight crew of two, 50–60 passengers, a single stewardess, a coat compartment, galley and toilet, as well as a pressurized baggage compartment aft of the main cabin. The mainplanes were constructed as two-spar fail-safe structures from 2024-T4 light alloy supporting the engines, ailerons and hydraulically actuated single slotted flaps. Pneumatic de-icing boots on the fin and rudder leading edges ensured ice free operation.

The conventional tail unit incorporated a variable incidence tailplane with rudder and elevators all with trim tabs and servo tabs. Hydraulically actuated ailerons operated in conjunction with upper surface spoilers inboard of the ailerons and forward of the outer flap segment. All powered controls were also to be provided with manual cable-operated backups.

The tricycle landing gear consisted of hydraulically retracting nose and main gears with twin wheels and brakes on the mainwheels, with the nose gear retracting into the nose of the aircraft and the main legs retracting into extended inboard engine nacelles.

Power was to be supplied by four Pratt & Whitney Canada PT6A-65R turboprop engines driving five-bladed Hartzell Propeller constant speed reversible propellers.

Production facilities were constructed at Youngstown Municipal Airport in Youngstown, Ohio but the project was shelved in 1983 before its first flight.

Specifications

See also

Notes

External links
 

CAC-100
1980s United States airliners
Low-wing aircraft
Four-engined turboprop aircraft
Four-engined tractor aircraft
Aircraft with retractable tricycle landing gear
Abandoned civil aircraft projects of the United States
Capital Machinery Factory Capital-1. The Capital Machinery Factory Capital-1 was a twin-engined monoplane light transport/utility aircraft designed and built in the People's Republic of China at Beijing in the late 1950s.

Design and development
The late 1950s saw a great leap in capability for the Chinese aviation industry with a wealth of indigenously designed aircraft projects, one of which was the Capital-1. The Capital-1 bore a close resemblance to the contemporary Antonov An-14 Ptchelka, being twin-engined, twin-tailed with strut supported monoplane wings and fixed tricycle undercarriage, stub lower wing bracing the undercarriage and wing struts and a podlike fuselage terminating in a boom carrying the tail-unit.

Powered by two  M-11FR engines in helmeted cowlings, the Capital-1 had a mediocre performance with relatively short range and limited payload. Production of the aircraft was not continued past the prototype stage.

Specifications (Capital-1)

See also

Notes

References

1950s Chinese civil utility aircraft
High-wing aircraft
Aircraft first flown in 1958
Twin piston-engined tractor aircraft
Messerschmitt P.1079. The Messerschmitt P.1079 was a series of pulsejet-powered Messerschmitt fighter projects during the Second World War. 
The P.1079 aircraft designs were to be powered by pulse jets, the same engines used in the V-1 flying bomb.

History
In May 1941, Messerschmitt began work on a series of pulsejet-powered fighter designs under the designation P.1079 after it was obvious that the BMW turbojets planned for the Me 262 were not yet available and pulsejets were simpler and cheaper to build

At any rate the Argus pulsejets proved themselves unsuitable for manned aircraft that would have to take off unassisted, for they did not produce enough power at low speeds for takeoff. Since additional launch schemes would have to be added to the project, such as towplanes, aircraft catapults or rocket boosters, the goal of the program would be defeated and expenses would be far higher than projected.

A further variant, the Me P.1079 18 Schwalbe, appears in some publications. But this "experimental aircraft" is a widely publicized hoax, not a real Messerschmitt project.

Variants
All of the Me P.1079 variants were small planes and none of them would have been able to take off unassisted. All projected aircraft were provided with retractable skids for landing.

Me P.1079/1
1941 project powered by a single pulsejet placed above the fuselage. The wings were short and swept back.

Me P.1079/2
Powered by a single Argus-Schmidt SR 500 pulsejet. It had the cockpit at the front end of the long fuselage and short swept wings. The narrow air intake was located in a ventral position below the cockpit.

Me P.1079/10c
Powered by a single SR 500 pulsejet, half of which protruded from the tail end. The air intake was located behind the cockpit on top of the fuselage. This was one of the least sophisticated designs.

Me P.1079/13b
Powered by two SR pulsejets placed on both sides of the fuselage. It had twin vertical tailfins.

Me P.1079/15
Asymmetric design, powered by a single pulsejet, having a broad, flat-looking fuselage with the cockpit on the right side and the pulsejet on the left.

Me P.1079/16
Another asymmetrical small plane powered by a single pulsejet. Except for the twin vertical tailfins and the air intake design it was similar to the Me P.1079 15 with a broad flat body having the cockpit on the right and the pulsejet on the left.

See also
V-1 flying bomb
Blohm & Voss P 213
Messerschmitt Me 328
Emergency Fighter Program
List of German aircraft projects, 1939–45

References

External links

P.1079
Abandoned military aircraft projects of Germany
World War II jet aircraft of Germany
Pulsejet-powered aircraft