Tamura K.,Takasago Thermal Engineering Co.
Journal of Logic and Computation | Year: 2013
In this article, we prove that the hybrid μ-calculus, which is the modal μ-calculus extended with nominals and satisfaction operators in the language of hybrid logic, has the small model property as follows: every satisfiable formula is satisfied in a model whose size is bounded by some function on the size of the formula. The obtained bound on the size of the model is then used to obtain a finite, sound and complete axiomatization for this formal system. © 2013 © TheAuthor, 2013. Published by Oxford University Press. All rights reserved. For Permissions, please email: email@example.com.
Ito H.,Japan National Institute of Advanced Industrial Science and Technology |
Maeda T.,Japan National Institute of Advanced Industrial Science and Technology |
Nakano A.,Japan National Institute of Advanced Industrial Science and Technology |
Kato A.,Takasago Thermal Engineering Co. |
Yoshida T.,Daiki Ataka Engineering Co.
Electrochimica Acta | Year: 2013
The effect of pore structural properties (porosity and pore diameter) of current collectors in proton exchange membrane (PEM) electrolyzers on electrolysis performance was experimentally evaluated by using various titanium (Ti)-felt substrates with different porosities and pore diameters (measured by capillary flow porometry) as the anode current collectors. The current-potential (j-ΔV) characteristics were measured, and overpotential analysis was performed based on the j-ΔV characteristics and the cell resistance (Rcell) data. The results showed that (1) the effect of the decrease in water supply on the membrane resistance due to produced gas bubbles is limited when the mean pore diameter of the anode current collector is less than 50 μm, but might appear at the concentration overpotential, and (2) enhancing the uniform and sufficient contact between the current collector and the electrode reduces not only the contact resistance but also the activation overpotential. © 2012 Elsevier Ltd.
Measuring or testing machines and instruments; power distribution or regulating apparatus; rotary converters; phase modifiers; batteries and cells; electric or magnetic meters and testers; telecommunication machines and apparatus; computer programmes; electronic machines, apparatus and their parts. Medical apparatus and instruments; esthetic massage apparatus for industrial purposes; electric massage apparatus for household purposes; teething rings; ice bag pillows for medical purposes; triangular bandages; supportive bandages; surgical catguts; feeding cups for medical purposes; dropping pipettes for medical purposes; teats; medical ice bags; medical ice bag holders; nursing appliances; gloves for medical purposes; urinals for medical purposes; bed pans; ear picks. Repair or maintenance of electronic machines and apparatus; repair or maintenance of telecommunication machines and apparatus; repair or maintenance of consumer electric appliances; repair or maintenance of power distribution or control machines and apparatus; repair or maintenance of power generators; repair or maintenance of electric motors; repair or maintenance of measuring and testing machines and instruments; repair or maintenance of medical apparatus and instruments; repair or maintenance of integrated circuits manufacturing machines and systems; repair or maintenance of semiconductor manufacturing machines and systems. Designing of machines, apparatus, instruments including their parts or systems composed of such machines, apparatus and instruments; computer software design, computer programming, or maintenance of computer software; technical advice relating to performance, operation, etc. of computers, automobiles and other machines that require high levels of personal knowledge, skill or experience of the operators to meet the required accuracy in operating them; research on building construction or city planning; testing or research on prevention of pollution; testing or research on electricity; testing or research on civil engineering; testing or research on machines, apparatus and instruments; providing computer programs; rental of computers; rental of measuring apparatus.
Takasago Thermal Engineering Co. | Date: 2011-01-18
Aromatic chemicals for use in the manufacture of perfumery, flavorings, cosmetics, toiletries and household products; synthetic aroma chemicals with essential oil component, for use in the manufacture of perfumery, flavorings, cosmetics, toiletries and household products. Aromatic essential oils for use in the manufacture of perfumery, flavorings, cosmetics, toiletries, deodorants and household products; essential oils with synthetic aromatic chemical component, for use in the manufacture of perfumery, flavorings, cosmetics, toiletries, deodorants and household products; non-essential oil fragrances for use in the manufacture of perfumery, flavorings, cosmetics, toiletries and household products.
Takasago Thermal Engineering Co. | Date: 2013-10-29
Provided is an AC power supply apparatus including a first AC power supply generation unit that generates a first AC voltage for a first terminal corresponding to a u-phase; a second AC power supply generation unit that generates a second AC voltage for a second terminal corresponding to a v-phase; a third AC power supply generation unit that generates a third AC voltage for a third terminal corresponding to a w-phase; and a control unit that controls a phase and an amplitude of each of the AC voltages output from the first to third AC power supply generation units, in such a manner that the amplitude and the phase of each of the first to third AC voltages output to the first to third terminals, respectively, match an amplitude set value and a phase set value preliminarily set for each of the AC voltages.
Takasago Thermal Engineering Co. | Date: 2013-11-18
A power conditioner according to an exemplary aspect of the present invention includes a first converter that converts a first DC voltage supplied from an external power supply into a second DC voltage, an inverter that converts the second DC voltage into an AC voltage and outputs the AC voltage to an external line so as to keep receiving power by the external line from a supply source system in a predetermined range, and an energy management unit that stops operations of the first converter and the inverter at predetermined time previously determined based on a magnitude of load power consumed by a load connected to the external line.
Takasago Thermal Engineering Co. | Date: 2014-09-30
Battery charger for electric vehicles; electrical power supplies. Repair and maintenance of power supply unit; repair and maintenance of battery charger for electric vehicles.
Takasago Thermal Engineering Co. | Date: 2012-07-20
Aromatic preparations for food (not from essential oils); flavorings, other than essential oils; flavorings, other than essential oils, for beverages; tea; oolong tea (Chinese tea); black tea (English tea); tea of salty kelp powder (kombu-cha); roasted barley tea (mugicha); Japanese green tea; coffee and cocoa; prepared coffee and coffee-based beverages; coffee (roasted, powdered, granulated, or in drinks); coffee-based beverages; artificial coffee; roasted coffee beans; coffee beverages with milk; prepared cocoa and cocoa-based beverages; cocoa (roasted, powdered, granulated, or in drinks); chocolate-based beverages; cocoa beverages with milk; confectionery; bread and buns; sandwiches; steamed buns stuffed with minced meat (Chinese-manjuh); hamburgers (sandwiches); pizzas; hot dogs (sandwiches); meat pies; Japanese traditional confectionery; sugared beans (ama-natto); starch-based candies (ame); pellet-shaped rice crackers (arare); rice dumplings dressed with sweet bean jam (ankoro); cakes of sugar-bounded millet or popped rice (okoshi); fried dough cookies (karintoh); soft pin-rolled cakes of pounded rice (gyuhi); crystal sugar pieces (confectionery); rice crackers (senbei); sweet dumplings (dango); shaped confectionery containing sweet bean jam (nerikiri); glutinous starch syrup (mizu-ame) (confectionery); Japanese style steamed cakes (mushi-gashi); sweet pounded rice cakes (mochi-gashi); bean-jam filled wafers (monaka); pastry shells for monaka; confectionery bars of sweet jellied bean paste (yohkan); dried sugared cakes of rice flour (rakugan); western-style confectionery; ice candies; ice cream; wafers; castilia sponge cakes; hardtacks (confectionery); caramels; candies (sweets); cookies; crackers; cones for ice cream; sherbets (sorbets); cream puffs; sponge cakes; toffees (taffies); chewing gums; chocolate; doughnuts; candy drops; nougat; pies; biscuits; fruit jellies (confectionery); frozen yoghurt (confectionery ices); sweets in the shape of balls; pancakes; popcorn; marshmallows; rusks; waffles; bean jam buns; cream buns; jam buns; bread; buns; steamed buns stuffed with minced meat (chuka-manjuh); seasonings (other than spices); soya bean paste (condiment); Worcester sauce; meat gravies; ketchup; soy sauce (soya sauce); vinegar; vinegar mixes; seasoning soy sauce (soba-tsuyu); salad dressings; white sauce; mayonnaise; sauces for barbecued meat; cube sugar; fructose (for culinary purposes); crystal sugar (not confectionery); sugar; maltose (for culinary purposes); honey; glucose for culinary purposes; powdered starch syrup (for culinary purposes); starch syrup (for culinary purposes); table salt mixed with sesame seeds; cooking salt; roasted and ground sesame seeds; celery salt; umami seasonings; spices; mustard powder (spice); curry powder (spice); pepper powder (spice); Japanese pepper in powder form (sansho powder); clove powder (spice); hot pepper powder (spice); cinnamon powder (spice); wasabi powder (Japanese horseradish); instant confectionery mixes; instant jelly mixes; instant doughnut mixes; instant pudding mixes; instant pancake mixes.
Takasago Thermal Engineering Co. | Date: 2012-11-29
Antistatic preparations for household purposes; degreasers other than for use in manufacturing processes; rust removing preparations; stain removing benzene; fabric softeners for laundry use; laundry bleach; breath freshening preparations; deodorants for animals; soaps and detergents; dentifrices; toothpaste in soft cake form; tooth powder; moistened tooth powder; mouthwash; tooth paste; non-medicated dental rinse; cosmetics; perfumery; natural perfumery prepared from vegetables; jasmine oil; clove oil essential oil; peppermint oil perfumery; vanilla oil; rose oil; bergamot oil; lavender oil; natural perfumery prepared from animals; musk natural; ambergris natural; synthetic perfumery; geraniol synthetic; synthetic musk; heliotropine synthetic; compound perfumery; food flavorings prepared from essential oils; incenses and fragrances; sniffing incenses kyuko; fumigating incenses kunko; joss sticks; perfuming sachets.
Nishimura H.,Virus Research Center |
Sakata S.,Takasago Thermal Engineering Co. |
Kaga A.,Osaka University
PLoS ONE | Year: 2013
Microbial pathogens of respiratory infectious diseases are often transmitted through particles in sneeze and cough. Therefore, understanding the particle movement is important for infection control. Images of a sneeze induced by nasal cavity stimulation by healthy adult volunteers, were taken by a digital high-vision, high-speed video system equipped with a computer system and treated as a research model. The obtained images were enhanced electronically, converted to digital images every 1/300 s, and subjected to vector analysis of the bioparticles contained in the whole sneeze cloud using automatic image processing software. The initial velocity of the particles or their clusters in the sneeze was greater than 6 m/s, but decreased as the particles moved forward; the momentums of the particles seemed to be lost by 0.15-0.20 s and started a diffusion movement. An approximate equation of a function of elapsed time for their velocity was obtained from the vector analysis to represent the dynamics of the front-line particles. This methodology was also applied for a cough. Microclouds contained in a smoke exhaled with a voluntary cough by a volunteer after smoking one breath of cigarette, were traced as the visible, aerodynamic surrogates for invisible bioparticles of cough. The smoke cough microclouds had an initial velocity greater than 5 m/s. The fastest microclouds were located at the forefront of cloud mass that moving forward; however, their velocity clearly decreased after 0.05 s and they began to diffuse in the environmental airflow. The maximum direct reaches of the particles and microclouds driven by sneezing and coughing unaffected by environmental airflows were estimated by calculations using the obtained equations to be about 84 cm and 30 cm from the mouth, respectively, both achieved in about 0.2 s, suggesting that data relating to the dynamics of sneeze and cough became available by calculation. © 2013 Nishimura et al.