Observing Inequality: Can Ergonomic Observations Help Interventions Transform the Role of Gender in Work Activity?

Computer Supported Cooperative Work (CSCW) - Work activity ergonomics (sometimes called francophone ergonomics) draws heavily on observation in order to support transformation of work to arrive at...     

Intelligent copyright protection system using a matching video retrieval algorithm

Many video service sites headed by YouTube know what content requires copyright protection. However, they lack a copyright protection system that automatically distinguishes whether uploaded videos contain legal or illegal content. Existing protection techniques use content-based retrieval methods that compare the features of video. However, if the video encoding has changed in resolution, bit-rate or codec, these techniques do not perform well. Thus, this paper proposes a novel video matching algorithm even if the type of encoding has changed. We also suggest an intelligent copyright protection system using the proposed algorithm. This can serve to automatically prevent the uploading of illegal content. The proposed method has represented the accuracy of 97% with searching algorithm in video-matching experiments and 98.62% with automation algorithm in copyright-protection experiments. Therefore, this system could form a core technology that identifies illegal content and automatically excludes access to illegal content by many video service sites.     

A note on double lacunary statistical $$\sigma$$-convergence of fuzzy numbers

Quite recently, Sava? (Appl Math Lett 21:134–141, 2008), defined the lacunary statistical analogue for double sequence \(X=\{X_{k,l}\}\) of fuzzy numbers as follows: a double sequence \(X=\{X_{k,l}\}\) is said to be lacunary P-statistically convergent to \(X_{0}\) provided that for each \(\epsilon >0\)

$ P-\lim_{r,s}\frac{1}{h_{r,s}}\left | \{(k,l)\in I_{r,s}: d(X_{k,l },X_0)\geq \epsilon\}\right|= 0. $

In this paper we introduce and study double lacunary \(\sigma\)-statistical convergence for sequence of fuzzy numbers and also we get some inclusion theorems.

     

Laser glazing of an Fe-C-Sn alloy

Morphology and geometry of melted zones, cooling rates, microstructure and microhardness in the laser-glazed Fe-4%C-10%Sn alloy have been investigated. The computer simulation on the basis of the moving gaussian source model was used successfully to predict the maximum width and depth of the melted zone and the cooling rate. The microstructure from the surface to the bottom of the laser-melted zone is a non-crystalline phase, dendritic grains and a microcrystalline zone successively. Values of the averaged-spacing of the non-crystalline phase are 0.205⁶ and 0.121⁹nm, respectively; twinned martensites, having an axial ratioc/a of 1.128, existed in dendritic grains, and carbides of Fe₃ C at the interdendritic regions; the microcrystalline zone was composed of -Fe and a new bet (a=0.415 nm,c=0.955 nm) phase. The different microstructure in the melted zone can be explained by the results of the heat flow calculation. A fine eutectic structure (-Fe + Fe₃C) was observed in heat-affected zones. Microhardness of the eutectic structure can be predicted by the empirical relation of fracture stress to the interlamellar spacing of pearlite.     

Modal logic as metalogic

The goal of this paper is to show how modal logic may be conceived as recording the derived rules of a logical system in the system itself. This conception of modal logic was propounded by Dana Scott in the early seventies. Here, similar ideas are pursued in a context less classical than Scott's.First a family of propositional logical systems is considered, which is obtained by gradually adding structural rules to a variant of the nonassociative Lambek calculus. In this family one finds systems that correspond to the associative Lambek calculus, linear logic, relevant logics, BCK logic and intuitionistic logic. Above these basic systems, sequent systems parallel to the basic systems are constructed, which formalize various notions of derived rules for the basic systems. The deduction theorem is provable for the basic systems if, and only if, they are at least as strong as systems corresponding to linear logic, or BCK logic, depending on the language, and their deductive metalogic is not stronger than they are.However, though we do not always have the deduction theorem, we may always obtain a modal analogue of the deduction theorem for conservative modal extensions of the basic systems. Modal postulates which are necessary and sufficient for that are postulates of S4 plus modal postulates which mimic structural rules. For example, the modal postulates which Girard has recently considered in linear logic are necessary and sufficient for the modal analogue of the deduction theorem.All this may lead towards results about functional completeness in categories. When functional completeness, which is analogous to the deduction theorem, fails, we may perhaps envisage a modal analogue of functional completeness in a modal category, of which our original category is a full subcategory.     

Particular behavior of spindle thermal deformation by thermal bending

Thermally induced errors reduce the accuracy in precision machining, and a great deal of research has been presented on compensation for these errors in machine tools. However, during the transition period after commencing or stopping spindle rotation, thermal deformation behavior is very complex. In particular, the y-directional movement of the vertical machining center cannot be explained by thermal expansion alone because of the relationship between deformation and temperature. Thermal bending that is generated from the thermal gradient in the structure causes this movement. In the research described in this paper, a theoretical explanation and an experimental verification is given for the particular behavior of spindle thermal deformation. As it is not easy to map the relationship of the compensation model, separation of the steady from the non-steady state in the mapping process is strongly recommended.     

Synthesis and Evaluation of Voltage-Gated Sodium Channel Blocking Pyrroline Derivatives Endowed with Both Antiarrhythmic and Antioxidant Activities

Under the hypothesis that cardioprotective agents might benefit from synergism between antiarrhythmic activity and antioxidant properties, a small series of mexiletine analogues were coupled with the 2,2,5,5-tetramethylpyrroline moiety, known for its antioxidant effect, in order to obtain dual-acting drugs potentially useful in the protection of the heart against post-ischemic reperfusion injury. The pyrroline derivatives reported herein were found to be more potent as antiarrhythmic agents than mexiletine and displayed antioxidant activity. The most interesting tetramethylpyrroline congener, a tert-butyl-substituted analogue, was at least 100 times more active as an antiarrhythmic than mexiletine.     

Direct-Ink-Writing of Electroactive Polymers for Sensing and Energy Storage Applications

Considering the high levels of materials used in the fields of electronics and energy storage systems, it is increasingly necessary to take into consideration environmental impact. Thus, it is important to develop devices based on environmentally friendlier materials and/or processes, such as additive manufacturing techniques. In this work, poly(vinylidene fluoride) (PVDF) and poly(vinylidene fluoride-co-hexafluoropropylene) (PVDF-HFP) are prepared by direct-ink-writing (DIW) by varying solvent evaporation temperature and fill density percentage. Different morphologies for both polymers are obtained, including dense films and porous membranes, as well as different electroactive β-phase content, thermal and mechanical properties. The dielectric constant and piezoelectric d₃₃ coefficient for dense films reaches up to 16 at 1 kHz and 4 pC N⁻¹, respectively for PVDF-HFP with a fill density of 80 and a solvent evaporation temperature of 50 °C. Porous structures are developed for battery separator membranes in lithium-ion batteries, with a highest ionic conductivity value of 3.8 mS cm⁻¹ for the PVDF-HFP sample prepared with a fill density of 100 and a solvent evaporation temperature of 25 °C, the sample showing an excellent cycling performance. It is demonstrated that electroactive films and membranes can be prepared by direct-ink writing suitable for sensors/actuators and energy storage systems.     

Effects of annealing at high pressure on structure and mechanical properties of Al87Ni7Gd6 metallic glass

The effects of annealing and annealing with a superimposed pressure of 940 MPa on the primary crystallization behaviour of α-Al and the resulting micro-hardness have been studied for as-quenched Al₈₇Ni₇Gd₆ metallic glass. Isothermal annealing experiments were conducted for 30 min at 188 °C, 191 °C, and 205 °C in silicone oil maintained either at atmospheric pressure (i.e. 0.1 MPa) or at 940 MPa. XRD analyses detected the evolution of structure with annealing at 0.1 MPa, while specimens annealed with 940 MPa pressure exhibited sharper diffraction peaks than those annealed at 0.1 MPa. DSC measurements were conducted on the as-received amorphous ribbons as well as ribbons annealed at different temperatures at either 0.1. MPa or with 940 MPa superimposed pressure. Specimens annealed with 940 MPa pressure exhibited higher onset temperatures (i.e. T_x1) and temperatures for the first exothermic peak (i.e. T_p1) for primary crystallization. TEM measurements revealed an increase in the volume fraction of α-Al with increases in annealing temperature, while micro-hardness measurements revealed an increase in hardness with increasing amounts of α-Al. Specimens annealed with 940 MPa pressure exhibited further increases in both the volume fraction of α-Al and resulting micro-hardness.     

MECHANISM OF NON-EQUILIBRIUM SEGREGATION OF SOLUTE TO GRAIN BOUNDARIES

本文以空位-溶质原子拖曳机制为基础,并考虑了空位、溶质原子和复合体三者的反应平衡及晶界平衡偏聚的作用,得到了溶质原子的非平衡晶界偏聚动力学方程。对硼在奥氏体中等温及连续冷却时所产生的非平衡晶界偏聚现象进行了理论计算,得到了与实验较为一致的结果。