片式多层电容电阻复合元件的研制

采用低温共烧陶瓷(LTCC)技术将电容、电阻元件集成在多层陶瓷基板里,构成了一种新型的片式多层复合元件,并研究了其制造工艺性能和频率特性。结果表明,片式多层电容电阻复合元件制造工艺适合批量化生产,并为片式多层LC滤波器、LTCC基板及器件的研发提供了极好的参考价值。     

一种新型微处理器功能验证

文中介绍一种新型微处理器的验证方法，并对相关的一些验证策略进行深入的讨论。     

Experience with Applying Formal Methods to Protocol Specification and System Architecture

In the last three years or so we at Enterprise Platforms Group at Intel Corporation have been applying formal methods to various problems that arose during the process of defining platform architectures for Intel's processor families. In this paper we give an overview of some of the problems we have worked on, the results we have obtained, and the lessons we have learned. The last topic is addressed mainly from the perspective of platform architects.     

手势语言识别的神经网络方法

提供了一种用于人机交互（HCI）的手势语言可视化识别方法。该方法包括用于几种控制命令的手势的探测、分割、特征提取及识别，第一步的处理都用到了神经网络方法，像肤色探测、主元分析（PCA）以及在编码识别。实验结果显示正确识别率高达94％。     

土坝及土堤干密度检测控制技术

使用进口或国产核子密度仪测定土坝及土堤压实干密度具有操作简便、快速之优点。通过对不同的土质进行了现场核子密度仪与环刀法测定干密度的对比试验后 ,证明核子密度仪在测定土的干密度时 ,用环刀法测定并进行校核是必要和重要的     

The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems

Electronic commerce is an important application that has evolved significantly recently. However, electronic commerce systems are complex and difficult to be correctly designed. Guaranteeing the correctness of an e-commerce system is not an easy task due to the great amount of scenarios where errors occur, many of them very subtle. In this work we presents a methodology that uses formal-method techniques, specifically symbolic model checking, to design electronic commerce applications and to automatically verify them. Also, a model checking pattern hierarchy has been developed—it specifies patterns to construct and verify the formal model of e-commerce systems. We consider this research the first step to the development of a framework, which will integrate the methodology, an e-commerce specification language based on business rules, and a model checker. Adriano Pereira received the B.S. and M.S. degrees in computer science in 2000 and 2002, respectively, and he is currently pursuing the Ph.D. degree in computer science from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His current interests are on performance analysis and modeling of e-business and distributed systems, and formal methods. Mark Song received the B.S., M.S. and Ph.D. degrees in computer science from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His current interests are on distributed systems and formal methods – especially BMC (Bounded Model Checking). Gustavo Franco received the B.S. and M.S. degrees in computer science in 2001 and 2004, respectively, from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His research was on modeling the user behavior of e-business and distributed systems, and formal methods. Actually his current interests are on software engeneering and project management of IT projects.     

Variation in Malting Quality and Heat Resistance in the Malting Barley Variety “Alexis”

In earlier studies concerning vigour, where subsamples are heat‐treated before germination there was found heat‐sensitive as well as heat‐resistant barley samples. The vigour model developed by Ellis and Roberts and further developed at Carlsberg, could only describe the heat‐sensitive barleys. Seventeen samples of the “Alexis” variety grown widely in Europe were collected from the EBC trials in 1994 in order to see if heat resistance in barley was influenced by different growing conditions. We found both heat‐sensitive samples following the vigour model as well as pronounced heat‐resistant samples, but these were not divided according to growing conditions. The germination curves dependent on heat treatment and germination time were evaluated by Principal Component Analysis (PCA). Heat‐resistant barley samples could be differentiated from heat‐sensitive samples already after ½ h of heat treatment at 68°C (12% moisture) and after 3 days of germination. The barley samples were analysed with regard to malting quality. The PCA evaluation of the data divided the samples according to growing location, mainly due to differences in protein and β‐glucan. However, the malting analyses could not describe the differences in heat resistance and sensitivity of the barleys. The biochemical background of the heat resistance found is discussed on the basis of literature. Our findings should give an experimental basis for exploiting a biochemical principle for heat resistance, which is formed during grain filling and consumed during storage and germination.     

Effects of high molecular weight component on crystallization of polyethylene under shear flow

Crystallization of polyethylene (PE) blends of low and high molecular weight components under shear flow was studied using time-resolved depolarized light scattering (DPLS), focusing on effects of the high molecular weight component on the shish-kebab structure formation. Anisotropic two-dimensional scattering pattern due to shish-like structure formation was observed above a certain concentration of the high molecular weight PE. The threshold was about 2.5-3 times larger than the chain overlap concentration, suggesting an important role of entanglements of the high molecular weight component. On the basis of these results a gel-spinning-like mechanism for the shish-like structure formation has been proposed. The DPLS results also implied that the shish-like structure was mainly formed from the high molecular weight PE. This was confirmed by small-angle neutron scattering (SANS) and small-angle X-ray scattering (SAXS) measurements on an elongated PE blend of low molecular weight deuterated PE and high molecular weight hydrogenated PE (3 wt%).     

数值方法确定地基承载力特征值的探讨

介绍了目前地基承载力的确定方法，研究了数值计算的可行性，并对其数值计算地基承载力的可靠性进行验证，指出应进一步完善确定地基承载力的方法，更好地解决群桩基础承载力的确定问题。     

蜡晶改进剂对润滑油馏分中蜡组分结晶控制作用的研究

抚顺石油一厂通过大量试验和溶剂脱蜡装置的连续生产证明:加工减二线,套管易上压,滤机上蜡饼泡松易堆蜡,应选用合适的改进剂以控制蜡晶生成树枝状;减四、五线重馏分蜡晶细密,套管不易上压,滤机易失效,应选用和适当加入合适的改进剂以增大聚集状晶体粒度;减三线蜡晶粒度大,为套管上压周期较长,滤机上蜡饼通透性好,滤速快,可根据需要决定是否使用改进剂。提出了针对不同润滑油馏分中不同蜡晶型选用合适的蜡晶改进剂可以相应解决不同馏分的生产难点,提高处理能力,改善产品质量。