可重定位的基于事务的系统级验证

功能验证已经成为开发SoC的主要问题。随着一些复杂SoC的规模超过两千万门，以及对开发和集成嵌入式软件的需求持续增加，软件模拟器已经力所不及。在设计过程需要几百万个时钟周期来充分测试和验证软件功能的情况下，软件仿真器的性能下降到1-5Hz。按照这种速率，软件调试需要几年的时     

异步DS-CDMA系统中基于矩阵点除算法的DOA估计

针对异步DS-CDMA系统中的多用户环境,本文提出了一种低复杂度的DOA估计算法——矩阵点除算法。该算法通过对感兴趣信息的逐次分离,实现了DOA的逐路径估计。算法具有两方面显著优势:(1)克服了传统的DOA估计算法在路径总数大于天线阵元数时不能工作这一缺陷:(2)避免了计算复杂的特征值分解运算,大大降低了算法复杂度。仿真实验验证了算法的有效性。     

利用信息融合方法的三维特征提取

本文提出了一种基于信息融合的物体三维特征的提取方法，该方法利用两幅互相配准的三维测距图像和灰度图像，来提取多面体的三维特征。首先，通过分析灰度图像中的灰度变化及测距图像中的测距值变化，分别求取各自图像中物体的特征点及特征边；然后，利用两配准图像之间的对应关系，求得所有特征点、面与多边形在三维测距图像中的三维表示；接着，通过分析三维测距图像中所测得的各候选平面上特定点与边处的曲率及法向，验证候选平面     

Test Case Generation as an AI Planning Problem

While Artificial Intelligence techniques have been applied to a variety of software engineering applications, the area of automated software testing remains largely unexplored. Yet, test cases for certain types of systems (e.g., those with command language interfaces and transaction based systems) are similar to plans. We have exploited this similarity by constructing an automated test case generator with an AI planning system at its core. We compared the functionality and output of two systems, one based on Software Engineering techniques and the other on planning, for a real application: the StorageTek robot tape library command language. From this, we showed that AI planning is a viable technique for test case generation and that the two approaches are complementary in their capabilities.     

菱镁矿固硫特性的理论分析

对菱镁矿在固体燃料燃烧过程中的固硫特性进行了理论研究，所得结论对进一步将菱镁矿作为固体燃料燃烧过程中的固硫剂具有非常重要的意义。     

Revised cutoff values of serum aminotransferase in detecting viral hepatitis among CAPD patients: experience from Taiwan, an endemic area for hepatitis B

BACKGROUND: To determine the best cutoff values of aspartate aminotransferase (AST) and alanine amino-transferase (ALT) in detecting viral hepatitis C infection among patients of continuous ambulatory peritoneal dialysis (CAPD). METHODS: 90 (44 male and 46 female) CAPD patients and 526 adult controls (266 male, 260 female) were enrolled. Serum AST and ALT were measured by an auto-analyser monthly. Serum HBsAg was examined using a RIA method and anti-HCV by an second-generation EIA method. The best cutoff values of AST and ALT for detecting viral hepatitis were obtained from the ROC (receiver-operating characteristic) curve. RESULTS: The prevalence of anti-HCV(+) was significantly higher in CAPD patients (16.7%) than in normal controls (4.9%), while that of HBsAg(+) was similar in both groups. CAPD patients had significantly lower levels of serum aminotransferases compared to normal controls. Mean AST were 23.8 IU/l in normal control and 18.8 IU/l in the CAPD patients (P < 0.001). Mean ALT were 21.9 IU/l in normal controls and 15.3 IU/l in the CAPD patients (P < 0.001). CAPD patients with HCV infection had higher serum AST and ALT levels than those without. However, HBV infection did not cause significant serum aminotransferase elevation in patients. The conventional cutoff values of AST (40 IU/l) and ALT (40 IU/l) for detecting viral hepatitis yielded only a sensitivity of 27.3 and 18.2% respectively; on the contrary, our revised cutoff values of AST (24 IU/l) and ALT (17 IU/l) had better sensitivities (AST, 72.7%; ALT, 63.6%). For serial aminotransferase values, the sensitivity of AST and ALT for detecting HCV were 36.4 and 27.3% by conventional criteria, and were both 81.8%, by our newly revised criteria. CONCLUSIONS: Serum aminotransferase cutoff values should be modified for screening viral hepatitis in a CAPD population. Our new cutoff criteria had important clinical implications in providing benefits of earlier detection and possible prevention from chronic hepatic deteriorations.     

Cure of malignant ascites and generation of protective immunity by monoclonal antibody-targeted activation of a glucuronide prodrug in rats

We examined the in vivo efficacy of targeting beta-glucuronidase (betaG) to activate a glucuronide prodrug (BHAMG) of p-hydroxyaniline mustard (pHAM) at hepatoma ascites in Sprague-Dawley rats. Injection i.p. of 500 microg RH1-betaG, a conjugate formed between recombinant betaG and monoclonal antibody RH1 with specificity for an antigen expressed on AS-30D rat hepatoma cells, into rats bearing AS-30D ascites resulted in the accumulation of 54 microg conjugate per 10(9) tumor cells after 2 hr. Ascites fluid and serum contained 0.53 and 0 microg/ml, respectively, RH1-betaG 2 hr after injection of the conjugate. Conjugate binding to AS-30D cells was heterogeneous and non-saturated, as determined by flow cytometry. BHAMG was less toxic than pHAM to SD rats based on measures of animal mortality, weight loss and hematological toxicity. Treatment of rats bearing established hepatoma ascites with 500 microg RH1-betaG followed 2 hr later with a single i.p. injection of 30 mg/kg BHAMG or 3 i.p. injections of 10 mg/kg BHAMG 2, 3 and 4 hr later resulted in the cure of 6/8 and 8/8 animals, respectively. Treatment with BHAMG or pHAM alone did not produce cures, whereas treatment with a control antibody-betaG conjugate and BHAMG produced significantly greater hematological toxicity compared to treatment with RH1-betaG and BHAMG. All cured rats were completely protected from rechallenge with 2 x 10(7) AS-30D cells, indicating that successful treatment of animals induced protective immunity.     

Control of peak sidelobe level in adaptive arrays

Adaptive beamforming techniques are now widely used to reject interference (jammer/clutter) signals in radar, communication, and sonar applications. In adaptive arrays using the sample matrix inversion (SMI) algorithm, inadequate estimation of the covariance matrix results in adaptive antenna patterns with high sidelobes and distorted mainbeams. In this paper, a method is proposed to precisely control the peak (rather than average) sidelobe level of adaptive array patterns. The proposed method is also generalized to adaptive array antennas with moderate bandwidth and large random amplitude and phase errors. Theoretical analysis and simulation results are provided to illustrate the performance of the method proposed     

曲线轮廓汉字的网格适配技术

要提高曲线轮廓汉字的还原质量, 需要在字形还原时采用网格适配技术本文介绍了网格适配的基本原理, 并在分析汉字字形还原失真现象的基础上, 给出了我们自己设计并实现的适合于曲线轮廓汉字特点的二种网格适配方法, 即动态的补象素算法和曲线轮廓汉字的技术