omniomni/omni-engineering huggingface dataset:
Liftra. Liftra is an engineering company which specializes in lifting and transport equipment for the global wind turbine industry. Liftra's most notable product is a self-hoisting crane used for major component exchange. The company has assisted in the development of larger wind turbines in the North Sea, along with Belgium-based DEME Offshore.

Liftra is based in Aalborg, Denmark, with offices in the United States, Spain, China and Poland.

References

External links
Official Website

Lifting equipment
Construction and civil engineering companies of Denmark
Wind power
Danish companies established in 2008
Construction and civil engineering companies established in 2008
Dutton Horse Bridge. Dutton Horse Bridge is a timber twin-span footbridge across part of the Weaver navigation, near the villages of Acton Bridge and Dutton in Cheshire, England. The bridge is located at , between the Dutton Locks and Dutton Viaduct. It carries the towpath across a subsidiary channel used to regulate the water level, at the point where it rejoins the main river.

The bridge dates from 1915–1919 and is by John Arthur Saner. It is recorded in the National Heritage List for England as a designated Grade II listed building; the listing describes it as "an elegant structure in the functional waterways tradition". The bridge is one of the earliest remaining examples of a laminated timber structure, and is also believed to be the sole laminated greenheart timber bridge in the country.

History
J. A. Saner, the bridge's designer, was chief engineer to the Weaver Navigation Trust from 1888 to 1934. He was responsible for many other innovative structures on the Weaver, including Northwich's Hayhurst Bridge and Town Bridge of 1899, believed to be the two earliest electrically operated swing bridges in Britain, as well as the electrification of the Anderton Boat Lift. Work on Dutton Horse Bridge commenced in 1915 (engineering drawings from that date were archived by British Waterways), and was completed in June 1919. The bridge was renovated in the 1990s, when some of the submerged greenheart timber was found to be still intact.

Description
The bridge is constructed predominantly of greenheart timber. It has two spans, one of  and the other of . Each span consists of paired semi-elliptical timber arches of mechanically laminated timber, strengthened with triangulated timber struts, which also support the platform. The paired arches are braced by cast-iron struts.

The bridge platform is  wide with a gentle arch. It has simple timber guard rails of the post-and-rail type. The deck was originally constructed of asphalt-coated timber slats. The central pier rests on two connected cylindrical columns of concrete-filled brick. The abutments are built of brick capped with concrete copings; they rest on timber piles. The timberwork is painted white and the ironwork black.

Modern usage
The Weaver Valley is being redeveloped to promote tourism. A recreation area at Dutton Locks was created in 2002, including a bench by local artist Phil Bews to encourage tourists to enjoy the views towards the bridge and the nearby viaduct. The towpath crossing the bridge is a bridleway, which forms part of the Aston Ring Bridleway.

See also

Acton swing bridge, nearby bridge also by Saner
Listed buildings in Dutton, Cheshire

Notes

References

External links
The Happy Pontist: Merseyside Bridges: 8. Dutton Horse Bridge – high-quality close-ups

Bridges completed in 1919
Bridges in Cheshire
Grade II listed bridges
Grade II listed buildings in Cheshire
Wooden bridges in the United Kingdom
Distar UFM-13 Lambada. The Distar UFM-13 Lambada (named for the Brazilian dance) is a Czech shoulder-wing, two-seat motor glider originally designed and produced by Urban Air and now built by Distar Air of Ústí nad Orlicí.

Design and development
The Lambada was designed to comply with the Fédération Aéronautique Internationale microlight rules at a gross weight of  and US light-sport aircraft rules at .  The design is on the Federal Aviation Administration's list of approved special light-sport aircraft.

The aircraft features a cantilever wing, a T-tail, a two-seat side-by-side enclosed cockpit under a bubble canopy, fixed tricycle or conventional landing gear with a steerable tail wheel and a single engine in tractor configuration.

The aircraft is made from composites. Its  span wing employs a SM 701 airfoil, has an area of  and flaperons with spoilers or optionally ailerons and dive brakes. Flaperon settings are 0°, 5°, 9° and 16°, with the last setting assisted by the spoilers. The wings can be extended to  with wing tips for soaring. The main landing gear legs are fabricated from fibreglass laminates and the wheels are equipped with single lever hydraulic brakes. Standard engines available are the  Rotax 912UL and the  Jabiru 2200 four-stroke powerplants.

The aircraft achieves a 26:1 glide ratio with 13 m wings and 30:1 with 15 m wings fitted. Aside from its use as a motorglider, the Lambada has also been successfully employed as a glider tug.

Specifications (UFM-13 Lambada)

See also

References

External links

Official website 

2000s Czech sailplanes
Distar Air aircraft
Motor gliders
Shoulder-wing aircraft
Single-engined tractor aircraft
T-tail aircraft
Sparx Systems. Sparx Systems is an Australian software company founded by Geoffrey Sparks in 1996 in Creswick, Victoria in  Australia, known for the development of the Unified Modeling Language tool Enterprise Architect.

Sparx Systems specializes in the development of visual tools for planning, design and development of software intensive systems. This company is known for the development of Enterprise Architect released in 2000, which is nowadays considered one of the more advanced tool sets for UML.  In 2006 the company was among the first manufacturers to support the OMG Systems Modeling Language (SysML).

Sparx Systems is a member of the Object Management Group (OMG).

References 

Software companies of Australia
Finishing oil. A finishing oil is a vegetable oil used for wood finishing.

These finishes are a historical finish for wood, primarily as means of making it weather or moisture resistant. Finishing oils are easily applied, by wiping with a cloth. They are also simply made, by extraction from plant sources with relatively simple processing. Historically, both of these were considerable advantages over varnishes, that depended upon exotic imported plant resins, complex preparation and careful application with expensive brushes.

The two most important finishing oils, to this day, are linseed oil and tung oil.

Linseed oil is extracted from the seeds of the flax plant, already extensively grown for the production of linen. The raw oil may be used, but it cures poorly and leaves a sticky surface. Normally boiled linseed oil is used. This has been prepared beforehand by boiling with lead, in the form of lead oxide, or with manganese salts. Modern boiled oils use a lead-free metallic drier added cold, such as cobalt resinate. Old linseed oil finishes yellow with age, owing to oxidation with the air. Linseed oil was also widely used for the production of oilcloth, a waterproof covering and rainwear material, formed by coating linen or cotton fabrics with the boiled oil.

Tung oil is pressed from the nuts of the tung tree. Raw tung cures better than raw linseed and so it is often used in this form. As tung oil yellows with age less than linseed, it is favoured for high quality and furniture work.

Most modern finishing oils use a blend of oil and a thinning agent such as white spirit. Raw oils tend to be applied too thickly, leading to a thick layer that cannot cure effectively and so remains sticky. A thinned oil is easier and more reliable to apply. Such commercial mixtures also contain metallic driers to improve their performance.

There are also mixtures sold as finishing oils. These are classed as 'long oils', predominantly oil with some varnish added or as 'short oils' which are predominantly varnish, with some oil. Danish oil is a popular long oil finishing oil. Spar varnish is a short oil varnish, used for added flexibility and elasticity.

References 

Wood finishing materials
Varnishes
Vegetable oils
SQUOZE. SQUOZE (abbreviated as SQZ) is a memory-efficient representation of a combined source and relocatable object program file with a symbol table on punched cards which was introduced in 1958 with the SCAT assembler on the SHARE Operating System (SOS) for the IBM 709. A program in this format was called a SQUOZE deck. It was also used on later machines including the IBM 7090 and 7094.

SQUOZE deck 

A SQUOZE deck contains an encoded binary form of the original assembly language code; SQUOZE decks are converted to absolute machine code and stored in memory by a loader program.

Identifier name character encoding 
In the SQUOZE encoding, identifiers in the symbol table were represented in a 50-character alphabet, allowing a 36-bit machine word to represent six alphanumeric characters plus two flag bits, thus saving two bits per six characters, because the six bits normally allocated for each character could store up to 64 states rather than only the 50 states needed to represent the 50 letters of the alphabet, and 506 < 234.

Using base 50 already saves a single bit every three characters, so it was used in two three-character chunks. The manual has a formula for encoding six characters ABCDEF:   

For example "SQUOZE", normally 36 bits: 35 33 37 31 44 17(base 8) would be encoded in two 17-bit pieces to fit in the 34 bits as ( 0o220231 << 17 ) | 0o175473 == 0o110114575473.  

A simpler example of the same logic would be how a three-digit BCD number would take up 12 bits, such as 987: 9 8 7(base 16) 1001 1000 0111(base 2), but any such value could be stored in 10 bits directly, saving two bits, such as 987: 3db(base 16) 11 1101 1011(base 2).

Etymology
"Squoze" is a facetious past participle of the verb 'to squeeze'.

The name SQUOZE was later borrowed for similar character encoding schemes used on DEC machines; they had a 40-character alphabet (50 in octal) and were called DEC RADIX 50 and MOD40, but sometimes nicknamed DEC Squoze.

See also
 Packed BCD
 Hertz encoding
 Chen–Ho encoding
 Densely packed decimal (DPD)
 BCD (character encoding)
 Base 50 (numeral system)
 Base conversion

References

Further reading 
 

Executable file formats
Everyday Practical Electronics. Practical Electronics (previously known as Everyday Practical Electronics) is a UK-published magazine that is available in print or downloadable format.

Publication history
Practical Electronics was founded in 1964 by IPC Magazines as a constructors' magazine for the electronics enthusiast. (It was a sister publication to IPC's other "Practical" titles, including Practical Mechanics, Practical Motorist, Practical Television, and Practical Wireless.)

In 1971 a novice-level magazine, Everyday Electronics, was begun by the same publisher. Until 1977, both titles had the same production and editorial team.

In 1986, both titles were sold by their owner, IPC Magazines, to independent publishers and the editorial teams remained separate.

By the early 1990s, the title experienced a marked decline in market share and, in 1992, it was purchased by Wimborne Publishing Ltd. which was, at that time, the publisher of the rival, novice-level Everyday Electronics. The two magazines were merged to form Everyday with Practical Electronics (EPE) – the "with" in the title being dropped from the November 1995 issue. In February 1999, the publisher acquired the former rival, Electronics Today International, and merged it into EPE.

In November 2018, Wimborne Publishing passed EPE and all rights to earlier material, including Practical Electronics, Everyday Electronics, Hobby Electronics (which later became Electronics Monthly) and Electronics Today International to a new publisher, Electron Publishing Limited. The new publisher's first issue was January 2019, and from the April 2019 issue the magazine reverted to its original title of Practical Electronics.

References

External links
 

Science and technology magazines published in the United Kingdom
Magazines established in 1964
Hobby electronics magazines
Radio Industri. Radio Industri was a radio manufacturing company in Oslo, Norway.

It was established in 1939, and produced radios for Philips. The production facility was at Sandakerveien 16 at Torshov. Philips also had a lightbulb factory named Philips Fabrikk Norsk, but it was closed in the 1980s. The whole Philips corporation in Norway moved to Sandstuveien 70 at Ryen in 1982.

References

Electronics companies of Norway
Manufacturing companies based in Oslo
Manufacturing companies established in 1939
Technology companies established in 1939
Norwegian companies established in 1939

Defunct companies of Norway
Radio manufacturers
Suzhou IFS. Suzhou International Financial Square () is a supertall skyscraper designed by Kohn Pedersen Fox Associates in the Suzhou Industrial Park, Jiangsu, located to the east of Jinji Lake. It is the tallest building in Suzhou. It is a multi-purpose building which includes apartments, hotels and offices.

Gallery

See also 
 Suzhou Zhongnan Center
 List of tallest buildings in Suzhou
 List of tallest buildings in China

References 

Skyscrapers in Suzhou
Suzhou Industrial Park
Buildings and structures under construction in China
Skyscraper office buildings in China
Residential skyscrapers in China
Skyscraper hotels in Suzhou
2019 in Suzhou
CPAchecker. CPAchecker is a framework and tool for formal software verification, and program analysis, of C programs. Some of its ideas and concepts, for example lazy abstraction, were inherited from the software model checker BLAST.
CPAchecker is based on the idea of configurable program analysis

which is a concept that allows expression of both model checking and program analysis with one formalism.
When executed, CPAchecker performs a reachability analysis, i.e., it checks whether a certain state, which violates a given specification, can potentially be reached.

One application of CPAchecker is the verification of Linux device drivers.

Achievements
CPAchecker came first in two categories (Overall and ControlFlowInteger) in the 1st Competition on Software Verification (2012) that was held at TACAS 2012 in Tallinn.

CPAchecker came first (category Overall) in the 2nd Competition on Software Verification (2013) that was held at TACAS 2013 in Rome.

Architecture
CPAchecker operates on a control-flow automaton (CFA); before a given C program can be analyzed by the CPA algorithm, it gets transformed into a CFA. A CFA is a directed graph whose edges represent either assumptions or assignments and its nodes represent program locations.

References

External links
 

Java platform software
C programming language family
Formal methods tools
Static program analysis tools
Software testing tools
Abstract interpretation
International Transactions in Operational Research. International Transactions in Operational Research is a peer-reviewed academic journal which is published six times a year by Wiley-Blackwell on behalf of the International Federation of Operational Research Societies. The editorial mission of the journal is to advance the theory and practice of Operational Research and Management Science internationally. The current Editor is Celso C. Ribeiro, Universidade Federal Fluminense.

Abstracting and Indexing 
International Transactions in Operational Research is abstracted and indexed in the Social Sciences Citation Index, Scopus, ProQuest, EBSCO, and International Abstracts in Operations Research. According to the Journal Citation Reports, the journal has a 2022 impact factor of 3.1, ranking it 32nd out of 86 journals in the category "Operations Research & Management Science".

Operational Research Hall of Fame 
In 2003, International Transactions in Operational Research introduced its ‘Hall of Fame’ feature, in which brief biographies of key figures in the OR field are published. Individuals who have been celebrated in this section of the journal include George Dantzig, Russell L. Ackoff and Jay Wright Forrester.

References

External links 
 

Wiley-Blackwell academic journals
English-language journals
Academic journals established in 1994
Hal (2013 film). is a 2013 Japanese animated film produced by Wit Studio and directed by Ryōtarō Makihara. It was released in Japan on June 8, 2013.

Synopsis
The story takes place in a technologically advanced society where robots can be programmed to behave like a human. After a tragic plane accident, a robot, known as Q01, is sent to a small Japanese town to help a person who just lost a loved one. While trying to heal the melancholic heart, the past of the couple is unearthed.

Voice cast

Production and release
The original film was revealed in the January 2013 issue of Shueisha's Bessatsu Margaret magazine. Ryōtarō Makihara directed the film, with Izumi Kizara writing the film's script, and manga artist Io Sakisaka providing the original character designs. The film was released in Japan on June 8, 2013. Yōko Hikasa performed the theme song "Owaranai Uta" (Unending Poem).

In July 2013, Funimation announced that they had acquired rights for a North American release.

Manga adaptation
A manga adaptation by Umi Ayase was serialized in Bessatsu Margaret in 2013 and compiled into one volume.

Reception
Theron Martin of Anime News Network gave the film a B+ rating. In his review, he felt the film wasn't long enough to deliver its emotional impact but did give credit to its soft and understated score, quality artistic effort and well-cast English dub, concluding that "If you're looking for a low-key romantic tale and don't mind a big chunk of gimmickry, this one should fit the bill."

References

External links
 
 

2013 anime films
2013 directorial debut films
2013 films
2013 romance films
Animated films set in Kyoto
Animated romance films
Anime with original screenplays
Films scored by Michiru Ōshima
Funimation
Japanese romance films
Romance anime and manga
Wit Studio
Sportinė Aviacija LAK-20. The LAK-20 is a Lithuanian Open Class two-seat sailplane produced by Sportinė Aviacija.

Design and development
The LAK-20 is an Open Class two-seat sailplane with a wingspan of 23-metres or 26-metres. Made out of modern composite materials, it features a T-tail and retractable landing gear. The wings are slightly swept forward and interchangeable outer wing panels are provided to enable it to fly with a wingspan of either 23 metres or 26 metres. The glider is available as the self-sustaining LAK-20T variant or the self-launching LAK-20M variant, both equipped with an engine. The engines used are two-stroke two-cylinder retractable engines from engine manufacturer SOLO.

Variants
LAK-20T
Production variant, self-sustaining sailplane with a 22 kW (30 hp) two-stroke two-cylinder air-cooled Solo 2350C retractable engine. 
LAK-20M
Production variant, self-launching sailplane with a 47 kW (64 hp) two-stroke two-cylinder liquid-cooled Solo 2625 02 retractable engine.

Specifications (LAK-20T 26-metre)

References

LAK aircraft
Lithuanian sailplanes
Ibrahim Deif. Ibrahim Deif (born 29 October 1962) is an Egyptian academic and the former minister of education as part of the Qandil cabinet.

Early life and education
Deif was born on 29 October 1962. He received a bachelor of science degree in power mechanics from Assiut University in May 1984. He also obtained his master of science degree and PhD from the same university in 1990 and 1994, respectively. His field of speciality is curriculum design.

Career
Deif started his career as a teaching assistant at Assuit University in 1984. He worked at the same university at different posts until 2005. Then he began to work at Suez Canal University in 2005. He was elected as the dean of the faculty of education at Suez Canal University in 2008. Then he became the vice president of Suez Canal University for Suez Branch Affairs on 29 March 2012. His term will last until 28 March 2016.

Deif was appointed Egypt's minister of education on 2 August 2012. He has no political affiliation, and therefore, was one of the independent ministers in the Qandil cabinet. His term ended on 16 July 2013 and Mahmoud Abo El Nasr replaced him in the post.

Criticism
In October 2012, Deif reported his acceptance of the corporal punishment in schools "as long as the beating is not severe and no stick is used." Upon his declaration, the Coalition for Children's Rights in Egypt submitted a lawsuit to Egypt's general prosecutor against Deif.

References

21st-century Egyptian politicians
1962 births
Living people
Assiut University alumni
Academic staff of Assiut University
Academic staff of Suez Canal University
Qandil Cabinet
Ministers of education of Egypt
Robert H. Park. Robert H. Park (March , 1902 – February 18, 1994) was an American electrical engineer and inventor, best known for the Park's transformation, used for simplifying the analysis of three-phase electric circuits. His related 1929 concept paper ranked second, when looking at the impact of all twentieth century power engineering papers.
 Park was an IEEE Fellow and a member of the National Academy of Engineering.

Park was born on March 15, 1902, in Strasbourg, when his father urban sociologist Robert E. Park was studying in Germany. Back in the United States Park lived in Wollaston, Massachusetts and earned in 1923 a degree in electrical engineering at the Massachusetts Institute of Technology. After this he went to the Royal Institute of Technology in Stockholm, Sweden to improve his knowledge on operational calculus.

Park started working for General Electric, where he created his 1929 Park's transformation paper, followed by Stone and Webster Engineering in Boston as an electrical engineer and for American Cyanamid as a chemical engineer doing physics research. During World War II he was involved in mine development at the Naval Ordnance Laboratory, resulting in 17 United States patents. After the war he became Director of Research Development and Engineering at the Emhart Manufacturing Company (1946), started working as independent consultant and manufacturer in automation (1953), and was president of Fast Load Control, Inc. active in power systems stability (1968). At the end, Park was able to generate 64 U.S. patents in a broad area of disciplines.

Park received several awards and honors, which include the Navy Distinguished Civilian Service Award (1945), the election to IEEE Fellow (1965), the IEEE Lamme Medal (1972), “In recognition of his outstanding contributions to analysis of the transient behavior of a-c machines and systems,”
and the election to member of the National Academy of Engineering (1986).

References

External links
 

1902 births
1994 deaths
American electrical engineers
Fellows of the IEEE
MIT School of Engineering alumni
Members of the United States National Academy of Engineering
IEEE Lamme Medal recipients
20th-century American engineers
20th-century American inventors
Recipients of the Navy Distinguished Civilian Service Award