IDEF0与CPN的自动转换方法研究

在大型工程系统的建模与分析中,将系统的静态IDEF0模型转换为动态CPN模型的方法得到大量的应用,但是人工转换既繁琐也容易出错。该文在IDEF0和CPN模型的形式化表示分析的基础上,提出两种模型自动转换的一般步骤和方法。     

基于MSP430的低功耗近距无线图像传输系统设计与实现

近距无线图像传输系统主要用于无线传感器网络中的图像采集、传输、处理和显示,本文设计并实现了一种具有较强实用性的近距无线图像传输系统。采用OV7670图像传感器作为图像数据采集器,高速低功耗的nRF24L01射频模块作为无线收发器,采用MSP430F14916位超低功耗单片机作为微处理器,所构成的系统具有功耗低、图像传输速度快等优点。作者详细阐述了该系统的硬件结构和软件设计。     

基于统一硬化参量的海洋K0固结土动力本构模型

为方便海洋工程中桩土相互作用计算,根据海洋K₀固结土体特性,对现有相关土体本构模型进行简化。在修正剑桥模型的基础上,基于热力学理论,选用耗散功作为硬化参量,结合原状土体的固结属性,推导了适用于黏土与砂土的统一硬化模型。在此基础上,通过采用旋转硬化与等向硬化相结合的硬化理论来表征K₀固结土在循环荷载作用下的硬化规律,同时引入屈服面收缩参数Θ来描述循环荷载加载过程中土体屈服面的演化特性,进而建立了循环荷载下海洋K₀固结土体统一硬化模型。为验证本文提出的本构模型的合理性,开展了2个案例的对比研究,研究结果表明:新提出的统一硬化模型的计算值与实测值吻合,选用的计算参数少且物理意义明确。     

Searching minimax game trees under memory space constraint

Games such as CHESS, GO and OTHELLO can be represented by minimax game trees. Among various search procedures to solve such game trees,- and SSS^* are perhaps most well known. Although it is proved that SSS^* explores only a subset of the nodes explored by-, - is commonly believed to be faster in real applications, since it requires very little memory space and hence its storage management cost is low. Contrary to this folklore, however, this paper reports, using the OTHELLO game as an example, that SSS^* is much faster than-. It is also demonstrated that SSS^* can be modified to make the required memory space controllable to some extent, while retaining the high efficiency of the original SSS^*.This research was partially supported by the Ministry of Education, Science and Culture of Japan, under a Scientific Grant-in-Aid.     

Consequences of the formation of Cooper-pairs near oxygen-deficient sites

In this investigation we consider the formation of Cooper pairs near the oxygen-deficient sites in Y-Ba-Cu-O ceramic superconductors which would give rise to an energy-dependent potential as seen by conduction charge carriers. It is shown that Cooper pairs could be formed under such conditions, resulting in a supercurrent. We use the Bogoliubov transformation technique to calculate the energy gap, the energy difference, and the transition temperature of the model superconductor using certain data obtained from previous experiments. Numerical analysis shows that the superconducting current can be explained by the presence of such oscillating Cooper pairs.     

Arnold置乱在零水印中的二次复用

为了提高水印的鲁棒性和减小对应版权信息的大小,本文提出了一种基于Arnold变换、DWT和SVD的零水印算法。该算法将载体图像进行DWT变换,对低频子带进行分块SVD;比较置乱后的最大奇异值的大小,若大于则对应位为1,否则为0;将结果与预处理过的水印做异或运算,得密钥矩阵。该矩阵为检测水印提供密钥。实验证明,本算法对图像压缩、滤波、模糊、噪声及脏图具有良好的鲁棒性。     

Mechanical procedure for proof construction via closed terms in typed λ calculus

In this paper is presented an algorithm for constructing natural deduction proofs in the propositional intuitionistic and classical logics according to the analogy relating intuitionistic propositional formulas and natural deduction proofs, respectively, to types and terms of simple type theory. Proofs are constructed as closed terms in the simple typed calculus. The soundness and completeness of this method are proved.     

Aluminum. II. Derivation of C v0from C p and comparison to C v0 calculated from anharmonic models

The specific heat at constant pressure, C _p, of aluminum measured by Ditmars, Plint, and Shukla has been reduced to the volume V ₀ appropriate for 0 K employing the Murnaghan equation. The C _v0 thus obtained is compared with the theoretical C _v0 calculated in the harmonic and the lowest-order anharmonic approximation from three different pseudopotentials (Harrison, Ashcroft, and Dagens-Rasolt-Taylor) as well as a phenomenological Morse potential. The higher-order ( ⁴) anharmonic contributions are calculated from the same nearest-neighbor Morse potential as in the lowest-order anharmonic theory. The role of the vacancy and the higher-order anharmonic contributions to C _v0 has been examined and we conclude that the ⁴ contributions to C _v0 are much smaller than the vacancy contribution. After removal of the vacancy contribution, the reduced C _v0 is found to be in excellent agreement with the Ashcroft and Harrison pseudopotentials as well as the Morse potential including the ² and ⁴ contributions to C _v0.     

2000～2001年金属磁性功能材料新进展

综述了金属磁性功能材料在2000－2001年间的若干新进展，内容包括：（1）高性能稀土永磁合金；（2）高性能硅钢合金；（3）Fe-N系新磁性材料；（4）磁电子学；（5）形状记忆磁性材料。     

Effect of Aminated Chitosan-Coated Fe3O4 Nanoparticles with Applicational Potential in Nanomedicine on DPPG,DSPC, and POPC Langmuir Monolayers as Cell Membrane Models

An adsorption process of magnetite nanoparticles functionalized with aminated chitosan (Fe₃O₄-AChit) showing application potential in nanomedicine into cell membrane models was studied. The cell membrane models were formed using a Langmuir technique from three selected phospholipids with different polar head-groups as well as length and carbon saturation of alkyl chains. The research presented in this work reveals the existence of membrane model composition-dependent regulation of phospholipid-nanoparticle interactions. The influence of the positively charged Fe₃O₄-AChit nanoparticles on a Langmuir film stability, phase state, and textures is much greater in the case of these formed by negatively charged 1,2-dipalmitoyl-sn-glycero-3-phospho-rac-(1-glycerol) (DPPG) than those created by zwitterionic 1,2-distearoyl-sn-glycero-3-phosphocholine (DSPC) and 2-oleoyl-1-palmitoyl-sn-glycero-3-phosphocholine (POPC). The adsorption kinetics recorded during penetration experiments show that this effect is caused by the strongest adsorption of the investigated nanoparticles into the DPPG monolayer driven very likely by the electrostatic attraction. The differences in the adsorption strength of the Fe₃O₄-AChit nanoparticles into the Langmuir films formed by the phosphatidylcholines were also observed. The nanoparticles adsorbed more easily into more loosely packed POPC monolayer.