谓词μ演算和模态图的语义一致性

模态图是谓词μ演算的一种有效的图形表示形式。证明了谓词μ演算和模态图的语义一致性，详细讨论了谓词μ演算公式、嵌套谓词等式系和模态图之间的关系，并给出了一种优化的从线性公式到嵌套谓词等式系的转换算法。

一个特殊的安全双方计算协议

安全多方计算是近几年国际密码学界研究的一个热点问题。基于Φ-隐藏假设及同态公钥加密体制的语义安全性假设,给出了一个特殊的安全双方计算协议--保密比较协议,该协议同时确保公平性、安全性、有效性和顽健性,并使用安全多方计算对安全性的严格定义,对协议的正确性与安全性进行了证明。与先前工作相比,本文的方案更富有公平性、有效性和安全性。该文在网上投标、拍卖、电子选举等领域中有着广阔的应用前景。

一种基于PDCA的软件过程控制与改进模型

CMM/CMMI(capabilitymaturitymodel/CMMintegration)自1999年开始为中国软件企业所接受并逐步得以推广,但目前中国实施CMM/CMMI的企业还不多,有些企业实施效果并不理想.通过调查软件企业在实施CMM/CMMI过程中存在的问题,并对发现的问题及其负面影响进行分析,提出了基于PDCA(plan-do-check-action)的软件过程控制与改进模型,开发了SoftPM软件质量管理平台.该平台的广泛应用表明,该模型对提高CMM/CMMI的企业软件过程的效率和改善实施效果很有帮助.

Photochromic fulgide for holographic recording

(N-4'-methoxy-2-methyl-5-phenyl)-3-pyrryl-ethylidene (isopropylidene) succinic anhydride fulgide, doped in PMMA matrix, exhibits photochromic behavior. The fatigue resistance experiment shows no photodegradation is detected after more than 450 writing-erasing cycles. Study of fulgide material for holographic recording media shows the optimal exposure and the diffraction efficiency is 1047 mJ/cm(2) and 2.26%, respectively, with 10 mum thickness polymer film. Holographic grating with 1680 lines/mm at writing angle theta = 30degrees is also obtained. (C) 2004 Elsevier B.V. All rights reserved.

A High Performance AlGaN/GaN HEMT with a New Method for T-Gate Layout Design

We propose and fabricate an A1GaN/GaN high electron mobility transistor （HEMT） on sapphire substrate using a new kind of electron beam （EB） lithography layout for the T-gate. Using this new layout,we can change the aspect ratio （ratio of top gate dimension to gate length） and modify the shape of the T-gate freely. Therefore, we obtain a 0.18μm gate-length AlGaN/GaN HEMT with a unity current gain cutoff frequency （f_T） of 65GHz. The aspect ratio of the T-gate is 10. These single finger devices also exhibit a peak extrinsic transconductance of 287mS/mm and a maximum drain current as high as 980mA/mm.

脊形结构GaN蓝光激光器的热模拟分析

利用二维热传导模型分析了GaN激光器的温度特性.计算了有源区在连续工作条件下的最大温升,分析了激光器工作时的功率密度和p电极比接触电阻率等参数对温度特性的影响.模拟结果表明,采用不同衬底和不同装配形式对器件温度特性的影响很大,正装形式下,窄的脊形条宽能提高器件的高温工作稳定性.

相对论连续无规位相近似研究核的巨单极共振

<正>在相对论连续无规位相近似(RCRPA)框架下,研究了有限核同位旋标量巨单极共振(ISGMR)。在这个方法中,用单粒子格林函数方法严格处理连续态对粒子-空穴激发的贡献。在无海近似下,

Combined study of gamma p ->eta p and pi(-)p ->eta n in a chiral constituent quark approach

Within a chiral constituent quark model approach, η-meson production on the proton via electromagnetic and hadron probes is studied. With few parameters, the differential cross section and polarized beam asymmetry for γp → ηp and differential cross section for π − p → ηn processes are calculated and successfully compared with the data in the center-of-mass energy range from threshold up to 2 GeV. The five known resonances S11(1535), S11(1650), P13(1720),D13(1520), and F15(1680) are found to be dominant in the reaction mechanisms in both channels. Possible roles played by new resonances are also investigated; and in the photoproduction channel, significant contribution from S11 and D15 resonances, with masses around 1715 and 2090 MeV, respectively, are deduced. For the so-called missing resonances, no evidence is found within the investigated reactions. The helicity amplitudes and decay widths of N ∗ → πN, ηN are also presented and found to be consistent with the Particle Data Group values.

eta-production on the proton via electromagnetic and hadronic probes

The reactions pi(-)p -> eta n and gamma p -> eta p are investigated within a dynamical coupled-channels model of meson production reactions in the nucleon resonance region The meson-baryon channels included are pi N, pi Delta, sigma N, and rho N The direct eta-photoproduction process is studied within a formalism based on a chiral constituent quark model approach, complemented with a one-gluon-exchange mechanism, to take into account the breakdown of the SU(6)circle times O(3) symmetry In the models search, the following known nucleon resonances are embodied S-11(1535), S-11(1650), P-11(1440), P-11(1710), P-13(1720), D-13(1520), D-13(1700), D-15(1675), and F-15(1680). Data for the pi(-)p -> eta n reaction from threshold up to a total center-of-mass energy of W approximate to 2 GeV are satisfactorily reproduced For the photoproduction channel: two additional higher mass known resonances, P-13(1900) and F-15(2000), are also considered However, reproducing the data for gamma p -> eta p requires, within our approach, two new nucleon resonances, for which we extract, mass and width

Study of nucleon resonances in a chiral quark model via eta productions

In this report we investigate eta-meson productions oil the proton via electromagnetic and hadron probes in a chiral quark model approach. The observables, such as, differential cross section and beam asymmetry for the two productions are calculated and compared with the experiment. The five known resonances S-11(1535) S-11(1650); P-13(1720) D-13(1520), and F-15(1680) are found to be dominant in the reaction mech-anisms in both channels. Significant, contribution from a new S-11 resonances are deduced. For the so-called "missing resonances", no evidence is found within the investigated reactions. The partial wave amplitudes for pi(-)p -> eta n are also presented.

eta photoproduction on the proton in a chiral constituent quark approach via a one-gluon-exchange model

A formalism based on a chiral quark model (chi QM) approach complemented with a one-gluon-exchange model, to take into account the breakdown of the SU(6)circle times O(3) symmetry, is presented. The configuration mixing of wave functions for nucleon and resonances are derived. With few adjustable parameters, differential cross-section and polarized-beam asymmetry for the gamma p -> eta p process are calculated and successfully compared with the data in the center-of-mass energy range from threshold to 2 GeV. The known resonances S-11(1535), S-11(1650), P-13(1720), D-13(1520), and F-15(1680), as well as two new S-11 and D-15 resonances, are found to be dominant in the reaction mechanism. Moreover, connections among the scattering amplitudes of the chi QM approach and the helicity amplitudes, as well as decay widths of resonances, are established. Possible contributions from the so-called missing resonances are investigated and found to be negligible.