Prolog逻辑程序的测试方法

Prolog逻辑程序设计语言具有不同于传统程序设计语言的特点.本文根据测试Prolog程序的实践,提出了一系列为Prolog程序生成测试用例的准则.按这些准则测试实际程序效果良好.这是在逻辑程序测试新领域迈出的一步.     

微波仪器远程自动测试系统的设计与实现

针对大多通信测试仪器仅局限于本地测试监控的现状,提出了一种将本地测试仪器用于对远程微波设备进行测试监控的开发模式,从而实现了远程仪器的自动化测试。分别就系统中的关键技术和交互方式作了详细的介绍,得出系统具有较强的可扩展性,且简单易操作的特点,相信该系统会有广阔的的应用前景。     

EXPERIMENTAL STUDIES AND NUMERICAL CALCULATION ON TURBULENT BOUNDARY LAYER OF WATER FLOW ALONG CURVED SURFACE

This paper will introduce experimental studies and numerical calculation onturbulent boundary layer of water flow along curved surface in our country in recent years.Onthe basis of the experimental studies,the effects of curvature and roughness on velocitydistribution and pressure distribution and the change of turbulent flow boundary layer onoverflow bucket concave surface is discussed.We proposed the empirical formula of velocity,pressure and the change of turbulent flow boundary layer on outlet bucket concave.According tothe momentum principle,we have deduced the momentum integral equation full water depthboundary layer and using the element as control unit inside the boundary layer on concavesurface of bucket.Combining with continuity equation,we have computed the boundary layerdevelopment on the bucket of a spillway.Compared with the field experimental data,thecalculation results are available.Under polar coordinates,a mathematical model for simulatingtime-averaged flow characteristics in concave surface of bucket is established.The turbulent flowfield on concave surface of bucket is calculated by SIMPLE method and this mathematicalmodel.The flow velocity field,pressure field,distribution of turbulent kinetic energy,distribution of turbulent energy dissipating rate and distribution of shear stress are available.Thecalculation value is consistent with measured test data.     

Viterbi译码器的硬件实现

介绍了一种Vkerbi译码器的硬件实现方法。设计的基于硬判决的Viterbi译码器具有约束长度长（9)、译码深度深（64)的特点。为了兼顾硬件资源与电路性能两个方面，在设计中使用了4个ACS单元，并根据Xilinx Virtex系列FPGA的结构特点．利用FPGA内部的BlockRAM保存汉明距离和幸存路径，提高了译码速度。     

聚乳酸的改性以及活性聚合方法

对聚乳酸这种具有生物降解性和生物相容性的高分子材料的化学改性和活性聚合近年来的研究工作进行了综述，化学改性主要涉及丙交酯和水溶性聚合物的共聚，而许多物质可以引发丙交酯的活性聚合，特别是带官能团的烷氧基类化合物更具有实际的应用价值。     

EGS程序图形化输入平台的开发

为了使EGS能够更加方便地被工程人员使用，使用VC^ 语言开发出一套运行于Windows下的EGSWIN程序，其中包括一个图形化的输入平台，通过使用本程序，用户可以仅仅进行简单而直观的输入几何实体的工作，就可以实现区域的定义。极大的提高了EGS的使用效率。     

辐射技术在食品加工中的应用

综述了食品辐射加工的原理及其作用效果，以及该技术在欧美的应用现状及存在的发展障碍。     

Ion irradiation—induced structure damage to botanic samples using the ion transmission energy spectrum

1 INTRODUCTIONThe new aPplications of low energy heavy ion beam in irradi4ted botanical materialswere studied in recellt yeaxs. The beaminduced mutation effect on crop seeds has causedthe attention of physicist and biologists.[1l:] FOr examPle, 1ow energy ions can induceremarkable mutation to rice seeds.[3] There are many special phenomena when heavyions bombard botanic sW1e due to its special structure. Some studies showed that tllepenetration depths of some ions were far larger than t…     

各向加权异性有限元法在不可压粘性流动计算中的应用

本文利用各向异性张力有限单元，考虑到其独特的性质，提出了一种各向加权异性的算法，即在不同方向采用不同连续性的插值函数，然后再在原连续性较弱的方向以连续性较强的插值函数计算，最后把两次计算的结果加权处理。这种方法可以适应两个方向连续性要求不同或相同的各种情况，即克服了一般各向异性张力有限单元的局限性，又大大减少了存贮量和计算量。     

离散Hopfield神经网络和联想记忆的开关电流技术实现

研究了离散Ｈｏｐｆｉｅｌｄ神经网络（ＤＨＮＮ）和联想记忆神经网络的开关电流技术实现，利用多权输入跨导，开关电流延迟器（ＳＩＤ）和可编程电流比较器（ＰＣＣ）实现了离散Ｈｏｐｉｅｌｄ神经网络，并提出了利用离散Ｈｏｐｆｉｅｌｄ神经网络实现自联想记忆时相应的开关电流电路，所提出了开关电流神经网络适宜于超大规模集成，能在低电压（如３．３Ｖ）下工作。