Actual Proof Research Articles

The actual proof and proposal of the information security education which made the most of the industrial field skill by Industry-University cooperation

The actual proof and proposal of the information security education which made the most of the industrial field skill by Industry-University cooperation

Development of Adaptive Acoustic Impedance Control Technologies of Acoustic Duct Liner

This paper describes the development of adaptive acoustic impedance control (AAC) technologies to achieve a larger fan noise reduction, by adaptively adjusting reactance and resistance of the acoustic liner impedance. For the actual proof of the AAC technology III performance, the advanced fan noise absorption control duct liner II was made on trial basis, with the simple control system and the plain device. And, then, the duct liner II was examined for the AAC technology I, II, and III models, using the high speed fan test facility. The test results made clear that the duct liner II of the AAC technology III model could achieve the fan noise reduction higher than O.A. SPL 10 dB (A) at the maximum fan speed 6000 rpm, containing the reduction of fundamental BPF tone of 18 dB and 2nd BPF tone of 10 dB in response to the fan peed change from 3000 to 6000 rpm.

階層的な構造による衛星搭載計算機の高信頼度化と高機能化の両立

It is essentially important for on-orbit computers to perform high-level tolerance for anomalies and high calculation performance. Redundant structure using low cost processors is an effective strategy to achieve high reliability in low cost, but it enlarge system size and weight, and is less efficient. It is also difficult to achieve high calculation performance . In order to make a system redundant efficiently, it divided into the fatal portion and the portion whose performance is more important than reliability. The system was divided by class, the portion which needs reliability was made redundant, and the portion which needs performance was made simple composition. As a result, high reliability and high efficiency are realizable in low cost and small size. In this paper, the status of development for the actual proof of UNITEC-1 is introduced about OBC which realizes high reliability and high efficiency in low cost and small size.

G26 水の蒸発潜熱を利用した加熱壁面の冷却に関する研究第3報 実証試験性能の評価(G2熱物質移動・相変化)

G26 水の蒸発潜熱を利用した加熱壁面の冷却に関する研究第3報 実証試験性能の評価(G2熱物質移動・相変化)

도시 교통문제에 대한 연구 -천안시를 중심으로-

This study dealt with Traffic Problem to Cheonan city. This study ran parallel literature investigation and actual proof investigation. Questionnaires 394 enforce frequency analysis in SPSS 15.0 versions. Traffic Problem to Cheonan city include the discomfort of public transportation, parking problem, pollution of automobile, traffic accident. By improvement of traffic problem, first, improvement plan of transportation system by administration of logical traffic demand should be readied. Second, because Cheonan city is many an university student who is use target of public transportation, public transportation utilization ratio must raise through discount application. Third, solution of traffic jam need to the improvement and strengthening of system of public transit. Fourth, Cheonan city must push ahead with supplies of traffic facility, modify of transportation network, and improvement of operating system. In particular, Cheonan city need to modify old road and improvement of accessibility though road network briefly. Fifth, Cheonan city need fixing of van traffic culture such as solution of parking problem and traffic order consciousness fostering of users.

Optical activity and Alfred Werner's coordination chemistry

It is widely accepted, that Pasteur's seminal discovery of the opposite optical activity of ammonium sodium tartrate enantiomorphs in solution gave the spark to organic stereochemistry and led to the development of the tetrahedron model by van't Hoff and Le Bel. The proof that chirality is inherently connected to octahedral coordination chemistry fostered greatly Werner's spatial views of metal complexes and his coordination theory. The actual proof of principle was established via separation of diastereomeric camphor sulfonate salts of racemic metal complexes.

우리나라 상장기업의 재량적 발생액이 기업성과에 미치는 영향

This study established a model to be theoretical to distinguish the relation between discretionary accruals of the listed companies in Korea. A company result From 2001 to 2008. And also analyzed theoretical pattern positively using a fixed effect mode as panel data that time series data of cross section data of listed companies. In this research, divides company's result into an accounting result and a result that is decided to market and compared the study finding. And in this research, measured discretionary accruals by corrected Jones model and Jetter and Shivakumar model that propriety is authorized in virtue researches about discretionary accruals. Study finding in this study first, a hypothesis 1 of this study that valued company's assessment is decrescent at stock market as absolute value of discretionary accruals gets bigger is supported. Second, hypothesis 2 that as absolute value of discretionary accruals, accounting result also grows is supported too. Third, study model that present in this research had statistical synonymy from significance level 1%, and it was little differences with revolution result of occasion that measure using Jones model that is revised discretionary accruals and occasion that measure using model with Shivakumar and Jetter. Fourth, when control variances that present in this research used dependent variable in result in the market, there is statistical synonymy and is agreeing as mark expects, but when I used dependent variable in result the accounting enemy, is appearing as expect. This study can influence importantly in discretionary accruals in case of use the cross section data as well as advantage of panel data use compared with study's findings in these field, but may look for meaning, given that uses the panel data to solve inhomogeneous problem that could happen because omit variance that do not sight and verified regression model. On the other hand, limitation of this study first, is not grasping other various factors that this research tried to explain company's result as discretionary accruals of company but this study affects in owner's decision-making. Second, this study wished to examine substantial result of company by discretionary accruals but did not consider endogenous problem between variance related to business management. Third, because analyzed actual proof to manufacture company listing for the securities exchange for positive analysis, it is difficult to provide result of this study uniformly in all companies.

Effects of impurities on the properties of BaTiO 3 synthesized from barium titanyl oxalate

The effects of impurities, such as H +/Cl − and Zr 4+, on the tetragonality (= c/ a) of BaTiO 3 were examined to determine their effect on the synthesis of nano-sized particles with a high dielectric constant. The quantity of incorporated impurities was adjusted by controlling the milling and washing processes, which are essential for the preparation of BaTiO 3 using an oxalate method. The tetragonality decreased with increasing impurity concentration, which can be actual proof of the assumption that impurities decrease the tetragonality due to the enhanced internal strain fields. Moreover, the experimental results showing a tetragonality of 1.0068 for a particle size of 119 nm suggest that the dielectric properties of BaTiO 3 prepared by the oxalate route may be comparable with those prepared by solid-state reactions by optimizing the process parameters.

Mechanisms of Boiling in Micro-Channels: Critical Assessment

Numerous characteristic trends and effects have been observed in published studies on two-phase micro-channel boiling heat transfer. While macro-scale flow boiling heat transfer may be decomposed into nucleate and convective boiling contributions, at the micro-scale the extent of these two important mechanisms remains unclear. Although many experimental studies have proposed nucleate boiling as the dominant micro-scale mechanism, based on the strong dependence of the heat transfer coefficient on the heat flux similar to nucleate pool boiling, they fall short when it comes to actual physical proof. A strong presence of nucleate boiling is reasonably associated to a flow of bubbles with sizes ranging from the microscopic scale to the magnitude of the channel diameter. The bubbly flow pattern, which adapts well to this description, is observed, however, only over an extremely limited range of low vapor qualities (typically for quality less than 0.01–0.05). Furthermore, at intermediate and high vapor qualities, when the flow assumes the annular configuration and a convective behavior is expected to dominate the heat transfer process, the experimental evidence yields entirely counterintuitive results, with heat transfer coefficients often decreasing with increasing vapor quality rather than increasing as in macro-scale channels, and with a much diminished heat flux dependency compared with would be expected. In summary, convective boiling in micro-channels has been revealed to be much more complex than originally thought. The present review aims at describing and analyzing the boiling mechanisms that have been proposed for two-phase micro-channel flows and confronting them with the available experimental heat transfer results, while highlighting those questions that, to date, remain unanswered.

The proof monad

A formalism for expressing the operational semantics of proof languages used in procedural theorem provers is proposed. It is argued that this formalism provides an elegant way to describe the computational features of proof languages, such as side effects, exception handling, and backtracking. The formalism, called proof monads, finds its roots in category theory, and in particular satisfies the monad laws. It is shown that the framework’s monadic operators are related to fundamental tactics and strategies in procedural theorem provers. Finally, the paper illustrates how proof monads can be used to implement semantically clean control structure mechanisms in actual proof languages.

Resuscitation and conjunctival petechial hemorrhages

In recent years, cardiopulmonary resuscitation (CPR) has been discussed as a cause of petechial hemorrhage in eyelids and conjunctivae, which could be of substantial significance to forensic expertises in cases of suspected strangulation. In the reported series or case observations, the combination of CPR and petechiae seemed to be sufficient to explain such a causal connection. Nearly all presented cases were victims for which the mechanisms resulting in death were themselves well-known causes explaining the development of such petechiae; and said mechanisms can frequently be observed in victims that did not receive CPR. An earlier, also retrospective, analysis of a series of forensic autopsies did not confirm CPR as a significant cause of conjunctival petechiae. Now we present the result of a prospective examination of 196 resuscitations of adult patients with separate assessment of petechiae being present even prior to resuscitation. Petechiae were present in 12 cases – but in eight of them prior to resuscitation already. Three other persons with petechiae found only after CPR were in the group of successfully resuscitated persons and exhibited petechiae hours after CPR during therapy in intensive care units – during a phase of ongoing cardiac insufficiency, which obviously caused them. The only case with petechiae observed neither immediately prior to nor after unsuccessful resuscitation, but during a follow-up examination one day later, needs to be discussed. It is not interpreted as reliable evidence for the causality of CPR though. Our interpretation of reports in literature as well as our experiences confirm the absence of actual proof of petechiae being generated by CPR and in the presence of generally significant doubts of this relation.

Construction of a Shared Terminal System by LDAP-Smart Card Authentication Cooperation

In this paper, we propose the way to set up a roaming user profile without depending on Windows domain composition when building a shared terminal system for smart card users. This proposal aims at using a LDAP server as a data base of user information, and enabling each terminal user to construct his own work environment. In order to achieve this purpose, we related the user profile with the user ID extracted from smart card, and stored that profile on shared data storage. Furthermore, we built a shared file system besides the above data storage, and placed the user’s work space on that file system. In the actual proof experiments, applying the above system to the terminal on network, we confirmed that the user work environment was constructed on the shared terminal according to the smart card user.

Application of ground-heat-source water thermal-storage with a heat-pump cooling and heating system

Ground-source heat pumps (GSHPs) are attractive alternatives to conventional heating and cooling systems owing to their higher energy utilization efficiency. GSHPs, also known as geothermal heat pumps, are a promising new technology that has been used for the last few years in the Korean market. A geothermal energy system has been developed over the last two years and a ground-heat-source water thermal-storage heat-pump cooling and heating system in Gu-mi city was built. Trial performance tests were conducted on the system. The actual proof examination was accomplished and the performance of the system was investigated. The coefficient of performance of the heat pump unit was 4.29 for cooling and 3.97 for heating. Thus, the presented system is expected to be used for energy savings and active alternative energy use.

경영컨설팅 서비스품질과 고객만족에 관한 실증적 연구

This study through theoretical investigation connected with business consulting quality of service and pre-study, actual proof was analyzed on the basis of research hypothesis about domestic consulting`s element of qualify of service. Analyzed interrelation degree because do result that is customer satisfaction measurement classifying roughly quality of service and expense quality in actual proof analysis by a representation measurement tool. By first if summarize this study finding, was construed by thing which relativity is very high mutually relation about service quality and satisfaction of customer satisfaction. Therefore, was assumed by leading recognition that is very positive in service quality and customer relation. Secondly, expense quality of service and recycling of customer satisfaction measurement inside synonymy confirm. Hereafter, We can had assumption information consulting and business consulting from medium and small enterprises to very important competition factor.

Current status of carotid artery angioplasty and stent placement: Impact of recent clinical studies

Carotid angioplasty with stent placement has emerged as an alternative treatment for carotid artery stenosis. Because it is a less invasive procedure and does not require general anesthesia, this intervention is a good choice for patients at high surgical risk. Additional advantages include easier access to anatomically challenging lesions and shorter length of hospital stay with reduced costs. Its major disadvantage is the possibility of debris dislodgement in the aortic arch and supra-aortic vessels during device manipulation, which can lead to cerebral embolism. This concern led to the development of distal protection devices. Several randomized trials have been published without actual proof of superiority of endovascular intervention over the standard treatment except for high-risk patients. In recent years, technical developments, cumulative experience, and new standards for training have reduced the complication rates. Ongoing trials will provide the evidence to demonstrate whether this intervention is superior to carotid endarterectomy, and if so, in which subgroup of patients.

The family conference

Most patients in prolonged coma will ultimately remain unconscious, survive disabled, or die. It is incontrovertible that the dignity of these patients will be compromised, and limiting life-sustaining treatment for comatose patients is often taken into consideration. Such decisions are made by physicians and families or their surrogates and rarely involve a hospital ethics committee. Families endure an emotional struggle filled with sorrow, fear, and even guilt. However, the decision to let go—with maximal comfort—is the most common cause of death in comatose patients. In this issue of Neurology , the American Academy of Neurology (AAN) reaffirms their prior position of following the patient’s own preference for healthcare through living wills, advanced directives, or after wishes voiced to families or surrogate decision makers are made known.1 The AAN does not dictate withdrawal of life-sustaining treatment in prolonged comatose patients. A position that would endorse only withdrawal of life-sustaining treatment clearly interferes with the autonomy of the patient or those making decisions for the patient. The AAN re-emphasizes the need for education of its members and to promote better understanding of patient preferences for medical care. However, most insistently, the AAN opposes any restriction of end-of-life decisions. With the introduction of multiple state bills—that would require actual proof of the patient preference—a troubling trend has emerged. Rather than being directed by a consensus agreement of family members, such a level of proof would almost certainly be followed by a court challenge. The AAN position—and most guidelines of professional organizations, including the American Medical Association—advise against involvement of the courts. …

Is It Justified to Speak of a Jesuit Work Ethic in the Basque Country?–Variations on a Weberian Theme

In the summer of 1897 Max Weber paid a visit to the Basque Country and wrote two long letters to his mother in which he described his impressions of the region. The letters invite for speculation on a supposed Jesuit work ethic. Weber did not remain the only social scientist to speculate about the theme; the Basque anthropologist Julio Caro Baroja thought about it, too. However, both Weber's and Baroja's reflections remain conceptually vague and without real empirical support. It is only with Eduardo Jorge Glas's study of Bilbao's business elite that we get the actual proof of the existence of such a Jesuit work ethic.

Logoi kaì erga: Tukidid in vprašanje govorov

Pričujoči članek opisuje vlogo govorov v Tukididovi Peloponeški vojni; povzema aktualne pristope k preučevanju govorov v zgodovinski monografiji (mdr. Badiana, Granta, Molesa) in se sooča z najpogostejšimi dilemami pri določanju zgodovinskega jedra oz. resnice v samih govorih, ter odnosa med vsebino govorov (lovgoi) in dejansko opisanim dogajanjem (erga) v sobesedilu.

Influence of Cold Rolling Threads Before or After Heat Treatment on High Strength Bolts for Different Fatigue Preload Conditions

Abstract SI grade 12.9 high strength steel bolts were used to investigate the fatigue behavior of bolt threads rolled before/after heat treatment using two different thread profiles and two different high preload values. Bolts were 3/8 UNRC-16 (coarse) and 3/8 UNRF-24 (fine) and preloads were taken as 75 and 90% of proof stress. Axial forces were applied through the nut. Axial and transverse residual stresses near the thread root were measured using X-ray diffraction. Most fracture surfaces contained crescent-shaped cracks and SEM evaluation indicated all fatigue crack growth regions contained multiple facets with no striations. Rolling after heat treatment caused little to no increase in fatigue resistance for the coarse threads. However, the fine threads finite fatigue life increased by factors of 2 to 5 and fatigue strengths based on Sa at 107 cycles increased by 40 and 50% for the 90 and 75% of proof stress preload, respectively. These are significant increases considering the very high preloads or R-ratios. The greater preload gave better fatigue resistance when based on the maximum stress, Smax, and lower fatigue resistance when based on the alternating stress, Sa Based on Smax, fatigue strengths at 107 cycles for 90% of preload were equivalent to or greater than the actual proof stress. Smax at 107 cycles for fine threads rolled after heat treatment with 75% of proof stress was also greater than the actual proof stress. The above results can be attributed to different thread root radii, thread region smoothness, original residual stress from rolling after heat treatment, and residual stress relaxation from the high preloads.

Newly-Developed Adaptive Noise Absorption Control Technology for High Speed Fan Noise Reduction

The paper describes about a newly-developed adaptive noise absorption control (AAC) technology I for fan noise reduction and about proof test results of the technology. The AAC technology adaptively controls the reactance part of acoustic impedance of duct liners with mobile reflective plates and large acoustic chambers, absorbs fan tones and broadband noise together, and achieves larger overall fan noise reduction over a wide fan speed range. For actual proof of the technology, adaptive duct liner I was made on trial basis and was examined. The test result clarifies that the duct liner I could reduce fan noise larger than O.A. SPL 10dB (A) at max fan speed of 6000rpm, including reduction of low frequency noise and fundamental BPF tone and harmonics of 18dB at maximum. In response to fan speed change, the reflective plate movement control could achieve the large peak frequency shift and peak level increase in the acoustic absorption spectra, and could reduce fan noise larger than O.A. SPL 9dB (A) over the fan speed range from 1000 to 6000rpm.