Automating application software generation

Many approaches have been proposed to enhance software productivity and reliability. These approaches typically fall into three categories: the engineering approach, the formal approach and the knowledge-based approach. But the optimal gain in software productivity cannot be obtained if one relies on only one of these approaches. This paper describes the work in knowledge-based software engineering conducted by the authors for the past 10 years. The final goal of the research is to develop a paradigm for software engineering which integrates the three approaches mentioned above. A knowledge-based tool which can support the whole process of software development is provided in this paper.     

防治水泥稳定碎石基层沥青路面裂缝的措施浅析

水泥稳定碎石基层沥青路面裂缝产生的原因复杂 ,但非荷载型裂缝更为主要。防治水泥稳定碎石基层沥青路面的裂缝应该从设计和施工两方面考虑 ,其中由结构、材料组成设计 ,以及施工工艺出发控制水泥稳定碎石基层本身的收缩也是一项重要措施。     

Spin Dependent Hopping in Ti Doped La0.67 Ca0.33 MnO3

A systematic investigation of the magnetic and transport properties of Ti doped La0.67Ca0.33MnO3 was reported. The Ti substitution for Mn ions results in a reduction in ferromagnetism and conductivity. The metal-insulator transition temperature is close to Curie temperature which decreases from 274 to 82 K as x increases from 0 to 0.17. The most important effect of Ti doping is to introduce spin clusters in the samples due to the distortion of local lattice and the inhomogeneous magnetic structure induced primarily by the random distribution of Mn ions. A maximum magnetoresistance ratio as large as 90% in 1 T at 122 K was obtained for the sample with x =0. 055, which is four times larger than that obtained for LCMO sample at 272 K. There is a remarkable field-history dependent MR in the cooling process for the doped samples while such phenomenon disappears in the warming run. The resistivity follows well the variable range hopping behavior in paramagnetic state. Both the size effect and spin dependent hopping of carriers between the spin clusters should be considered in this system.     

AMBE-1000声码器接口电路设计方法

DVSI公司的AMBE-1000声码器芯片是一款高性能的全双工、实时语音压缩编解码芯片,可以应用于卫星通信、保密通信、视频会议等领域.文中简要介绍AMBE-1000声码器的A/D-D/A接口以及信道接口的工作原理;结合实例分别给出了AMBE-1000声码器与PCM编解码器MC14LC5480的A/D-D/A接口电路、与单片机AT89C51的信道接口电路的设计方法;最后指出了电路设计中应该注意的问题.     

关于本地传输网网络优化的探讨

根据长期工作经验,对现有网络存在的问题进行分析,提出对本地传输网网络优化的有关建议。     

一种前馈型全摆幅恒跨导准恒增益CMOS运放设计

设计了一种适合在低电源电压下工作的前馈型输入级放大结构，在全摆幅的动态工作范围内，输入级跨导保持不变，采用负载电流补偿以保证增益近似恒定，输出采用前馈型AB类输结构，实现全摆幅输出。     

关于海面无线传播模型的探讨

现有文献中一般都认为海面环境的无线传播模型近似于自由空间传播模型，但在实际测试中发现，自由空间模型预测值与实测值差别较大，不能很好地解释此类环境的信号传播。笔者根据多次海面覆盖测试的数据，分析并拟合出了新的海面传播模型。     

Preirradiation grafting of acrylic and methacrylic acid onto polyethylene films: Preparation and properties

The method of preirradiation grafting of acrylic acid and methacrylic acid onto polyethylene films was studied. The trapped radicals and hydroperoxides or diperoxides appeared to be able to induce graft polymerization. Mohr's salt was added to depress homopolymerization. The influences of crystallinity, dosage, and storage period on the grafting behavior were investigated from the viewpoint of practical application. At elevated temperature, the degree of grafting increased rapidly with reaction time initially, and then leveled off to the value of final percent grafting. Dosage and storage periods had greater extent of influence on the final percent grafting of LDPE than on that of HDPE. Electrical properties, transport properties, and mechanical properties were measured to compare the differences between acrylic-acid-and methacrylic-acid-grafted copolymer films. It was found that the properties of methacrylic-acid-grafted copolymer film was superior to those of acrylic-acid-grafted copolymer film, especially in electrical conductivity. The KOH diffusion test confirmed that grafting occurred not only on the surface but also in the interior of the polymer matrix, and the grafting is believed to proceed from the surface to the interior of the matrix.     

A two-dimensional time-domain finite element formulation for periodic structures

A formulation is presented for a two-dimensional time-domain finite-element method (FEM-TD) that incorporates periodic boundaries. The specifics of the method are shown for scattering problems, but it should be straightforward to extend it to radiation problems. The method solves for a transformed field variable (instead of solving directly for the electric field) in order to easily enable periodic boundary conditions in the time domain. The accuracy and stability of the method is demonstrated by a series of examples where the new formulation is compared with reference solutions. Very accurate results are obtained when the excitation (frequency range) and the geometry are such that no higher order Floquet modes are present. The accuracy is degraded in the presence of higher order modes due to the rather simple absorbing boundary condition that is used with the present formulation. The method is found to be stable even for angles of incidence close to grazing.     

Traveling-wave piezoelectric linear motor Part I: the stator design.

A new type of piezoelectric linear motor incorporating a traveling wave has been developed. The linear motor is comprised of a stator and a carriage. The stator design, which consists of a meander-line structure and gear teeth mounted on the meander-line structure, is the focus of this article. The meander-line structure is constructed with bimorph actuators arranged in a line. These actuators are driven by two phased sets of alternating current (ac) in order to generate a traveling wave. The traveling wave is transferred to the gear teeth, by which the carriage is driven. Modeling of the stator is derived by use of a strain energy method. The performance of various materials is evaluated by analytical and experimental methods. The analytical and the experimental results are quite approximate. Modal analysis is investigated using ANSYS. Appropriate modes associated with ultrasonic levels of resonant frequency are selected to obtain desired motion and to enhance the output performance. Surface speed for various applied input voltage are studied and indicate a nearly linear relationship. The stator in combination with the carriage makes up the linear motor.