排序方式: 共有6042条查询结果,搜索用时 0 毫秒
91.
In order to develop highly secure database systems to meet the requirements for class B2, the BLP (Bell-LaPudula) model is extended according to the features of database systems. A method for verifying security model for database systems is pro- posed. According to this method, an analysis by using Coq proof assistant to ensure the correctness and security of the extended model is introduced. Our formal security model has been verified secure. This work demonstrates that our verification method is effective and sufficient. 相似文献
92.
TANG Chunming 《武汉大学学报:自然科学英文版》2007,12(1):121-125
In this paper, we present an improved identity-based society oriented signature scheme with anonymous signers, which satisfies: (1) when members leave or join an organization, the public verification key and the signature verification procedure are unchanged; (2) a user participates in several organizations at the same time, her secret key is only related with her identity. However, no previous schemes have these two properties. 相似文献
93.
The hardness, elastic modulus, and scratch resistance of a glass-ceramic rigid substrate were measured by nanoindentation and nanoscratch, and the fracture toughness was measured by indentation using a Vickers indenter. The results show that the hardness and elastic modulus at a peak indentation depth of 200 nm are 9.04 and 94.70 GPa, respectively. These values reflect the properties of the glass-ceramic rigid substrate. The fracture toughness value of the glass-ceramic rigid substrate is 2.63 MPa·m1/2. The material removal mechanisms are seen to be directly related to normal force on the tip. The critical load and scratch depth estimated from the scratch depth profile after scratching and the friction profile are 268.60 mN and 335.10 nm, respectively. If the load and scratch depth are under the critical values, the glass-ceramic rigid substrate will undergo plastic flow rather than fracture. The formula of critical depth of cut described by Bifnao et al. is modified based on the difference of critical scratch depth 相似文献
94.
JinPing Wang YangBin Li Lin Kang Yu Wang YangYin Zhong Min Liang Jian Chen ChunHai Cao WeiWei Xu PeiHeng Wu 《科学通报(英文版)》2009,54(12):2013-2017
This paper describes the design and fabrication of superconducting hot electron bolometer (HEB) mixer based on ultra-thin superconducting NbN films. The high quality films were epitaxially grown on high resistance Si substrates. The device was fabricated by magnetron sputtering, electron beam lithography (EBL), reactive ion etching (RIE), lithography, and so on. The device's resistance-temperature (R-T) curves and current-voltage (I-V) curves were studied. The results of THz response of the device are presented. Y-factor technique was used to measure the device's noise temperature. When the device was irradiated with a laser radiation of 2.5 THz, the obtained lowest noise temperature of the device was 2213 K. 相似文献
95.
Microstructure and electrolysis behavior of self-healing Cu-Ni-Fe composite inert anodes for aluminum electrowinning 下载免费PDF全文
The microstructure evolution and electrolysis behavior of (Cu52Ni30Fe18)-xNiFe2O4 (x=40wt%, 50wt%, 60wt%, and 70wt%) composite inert anodes for aluminum electrowinning were studied. NiFe2O4 was synthesized by solid-state reaction at 950℃. The dense anode blocks were prepared by ball-milling followed by sintering under a N2 atmosphere. The phase evolution of the anodes after sintering was determined by scanning electron microscopy and energy-dispersive X-ray spectroscopy. The results indicate that a substitution reaction between Fe in the alloy phase and Ni in the oxide phase occurs during the sintering process. The samples were also examined as inert anodes for aluminum electrowinning in the low-temperature KF-NaF-AlF3 molten electrolyte for 24 h. The cell voltage during electrolysis and the corrosion scale on the anodes were analyzed. The results confirm that the scale has a self-repairing function because of the synergistic reaction between the alloy phase with Fe added and the oxide phase. The estimated wear rate of the (Cu52Ni30Fe18)-50NiFe2O4 composite anode is 2.02 cm·a-1. 相似文献
96.
Study on pitting process of 316L stainless steel by means of staircase potential electrochemical impedance spectroscopy 下载免费PDF全文
Pitting corrosion of 316L stainless steel in NaCl solution was investigated by means of staircase potential electrochemical impedance spectroscopy (SPEIS). The investigation focused on the transition of stainless steel from the passive state to pitting corrosion. Based on the evolution of electrical parameters of the equivalent electrical circuit, it is suggested that the most probable mechanism of pit creation is the film breaking model. The result demonstrates that staircase potential electrochemical impedance spectroscopy is an effective method for the investigation of pitting corrosion. 相似文献
97.
Research on Computing Models of CBR Similarity 总被引:2,自引:0,他引:2
NIUXiao-tai MENGBo PENGDing-zhi 《武汉大学学报:自然科学英文版》2004,9(4):407-410
Several models of measuring case similarity in CBR systems are deeply explored. We also discuss the case matching process, and present three matching functions. Finally, we illustrate the significance of the models in CBR(Case Based Reasoning) systems implementation. 相似文献
98.
Isothermal reduction kinetics and mineral phase of chromium-bearing vanadium-titanium sinter reduced with CO gas at 873-1273 K 下载免费PDF全文
Reduction of chromium-bearing vanadium-titanium sinter (CVTS) was studied under simulated conditions of a blast furnace, and thermodynamics and kinetics were theoretically analyzed. Reduction kinetics of CVTS at different temperatures was evaluated using a shrinking unreacted core model. The microstructure, mineral phase, and variation of the sinter during reduction were observed by X-ray diffraction, scanning electron microscopy, and metallographic microscopy. Results indicate that porosity of CVTS increased with temperature. Meanwhile, the reduction degree of the sinter improved with the reduction rate. Reduction of the sinter was controlled by a chemical reaction at the initial stage and inner diffusion at the final stage. Activation energies measured 29.22-99.69 kJ/mol. Phase transformations in CVTS reduction are as follows:Fe2O3→Fe3O4→FeO→Fe; Fe2TiO5→Fe2TiO4→FeTiO3; FeO·V2O3→V2O3; FeO·Cr2O3→Cr2O3. 相似文献
99.
As a novel bionic analytical technique, an electronic nose, inspired by the mechanism of the biological olfactory system and
integrated with modern sensing technology, electronic technology and pattern recognition technology, has been widely used
in many areas. Moreover, recent basic research findings in biological olfaction combined with computational neuroscience promote
its development both in methodology and application. In this review, the basic information processing principle of biological
olfaction and artificial olfaction are summarized and compared, and four olfactory models and their applications to electronic
noses are presented. Finally, a chaotic olfactory neural network is detailed and the utilization of several biologically oriented
learning rules and its spatiotemporal dynamic propties for electronic noses are discussed. The integration of various phenomena
and their mechanisms for biological olfaction into an electronic nose context for information processing will not only make
them more bionic, but also perform better than conventional methods. However, many problems still remain, which should be
solved by further cooperation between theorists and engineers.
Supported by the National Creative Research Groups Science Foundation of China (Grant No. 60421002) and National Basic Research
Programme of China (Grant No. 2004CB720302) 相似文献
100.
Cold fronts occur in northern East Asia during winter and spring.After cold frontal passage,airflow is downward and accompa-nying strong winds fluctuate significantly;this is termed wind gusts.Analysis of observation data shows that wind gust structure has coherent characteristics.This is important for entrainment of spring dust storms into the upper boundary layer,where they are transported great distances.The Lattice Boltzmann Method(LBM) is a computational fluid technique based on the Boltzmann transport equation.The LBM has been used to study complex motion such as turbulence,because it describes motion at the micro level.In this paper,Large eddy simulation is introduced in the LBM,enabling simulation of turbulent flow in the atmospheric boundary layer.The formation and development of wind gusts are simulated,and a coherent structure with a combination of wave and vortex is obtained.This explains the mechanism of soil erosion and sand entrainment by the coherent structure of wind gusts. 相似文献