Java字节代码程序的部分计值

为了有效地构造一个Java部分计值器，并且形式化地描述计值规则，提出了Java字节代码程序的静态语义，在此基础上构造了一个online的Java部分计值器，为今后能够建立一个完善而且实用的计值器提供了基础。     

2003版建筑给排水规范学习与设计体会

就新规范中住宅给水管管径、引入管阀门设置、水箱进水管和溢水管设置、水箱水位控制、通气管系统设计及地漏的设置等方面谈了作者学习《建筑给水排水设计规范》(GB50015-2003)的体会。     

基于VHDL语言的循环码编译码系统的设计

介绍了循环码编译码系统的特点。以一个(15，6)循环码为例，使用硬件描述语言VHDL对该系统进行了设计，并使用FPGA对描述电路进行了综合，得到了该系统的顶层电路，最后下载到PLD芯片上。     

Mafia和Hfss对等梯度加速结构耦合器的数值模拟与比较

提出的数值模拟过程是关于直线加速器加速结构耦合器的设计的。Mafia程序和Hfss程序分别被用来模拟一截S—Band的三腔等梯度加速结构,其两端分别为输入耦合器和输出耦合器。通过Mafia程序和Hfss程序模拟了该结构的传输特性,发现两者的模拟结果能很好吻合。     

中子俘获瞬发γ射线数据评价(英文)

简要地介绍了中子俘获瞬发γ射线数据及其衰变纲图的评价方法技术、主要程序及其功能、数据评价流程、强度平衡检验，以及对A=1-44的稳定核素和A>190的部分稳定核素的热中子俘获瞬发γ射线数据及其衰变纲图评价的具体应用.The method of prompt γ-ray data evaluation for neutron capture and how to calculate the prompt γ-ray intensities of neutron capture have been briefly presented. The prompt γ-ray data of thermal-neutron capture of some stable nuclei for A=1-44 and A>190 have been evaluated. The ENSDF format has been adopted. The checks of intensity balance and format have been made. The examples are given to illustrate its application.     

Extremal Self-Dual [50, 25, 10] Codes with Automorphisms of Order 3 and Quasi-Symmetric 2-(49, 9,6) Designs

Five non-isomorphic quasi-symmetric 2-(49, 9, 6) designs are known. They arise from extremal self-dual [50, 25, 10] codes with a certain weight enumerator. Four of them have an automorphism of order 3 fixing two points. In this paper, it is shown that there are exactly 48 inequivalent extremal self-dual [50, 25, 10] code with this weight enumerator and an automorphism of order 3 fixing two points. 44 new quasi-symmetric 2-(49, 9, 6) designs with an automorphism of order 3 are constructed from these codes.     

数字建筑之文化符码浅析

从数字时代演化和人类行为学角度出发，简述了数字设计的概念以及文化符码的观念理论，以文化符码三层说对某数字设计的实例进行了分析，从文化符码解读了数字设计创作的方法论。     

The Two-Point Codes with the Designed Distance on a Hermitian Curve in Even Characteristic

In Homma M and Kim SJ [2], the authors considered two-point codes on a Hermitian curve defined over fields of odd characteristic. In this paper, we study the geometry of a Hermitian curve over fields of even characteristic and classify the two-point codes whose minimum distances agree with the designed ones.     

计算机Monte Carlo法模拟自由基交联共聚网络结构的增长

本文成功地用MonteCarlo方法模拟了以画面方式表示的苯乙烯-二乙烯苯交联共聚反应中大分子链增长、支化及交联的进化情况，并给出了相应的转化率，以定量模型的方式描述了该类反应。