关于并行语言Gamma的结构化扩充

Gamma(general abstract model for multiset manipulation)语言是一个可以避免人为序化的高层次并行程序设计工具.P.Frade t等人提出结构化Gamma以利于结构化应用数据以及表达特殊的控制约束和程序的自动分析. 在摒弃了基于“地址”的定义方式的基础上,给出结构化Gamma的更一般形式的语法、语义描 述,在两个层次上讨论结构重集(structured multiset)的类型,并指出,这种新模型保持了有 关程序的静态类型检测等理论成果.     

静电感应晶闸管的I-V特性物理分析

考虑到寿命不等时的双注入效应、载流子寿命,特别是少子空穴寿命的变化、电导调制效应、双注入空间电荷限制效应等因素,对静电感应晶闸管(Static Induction Thyristor,简称SITH)在正向阻断态的整个I-V特性进行了分段物理分析,给出了理论解释并进行了计算,得出的结论与实验观测结果相吻合.     

金属氧化物和分子筛在CO2环加成中的研究进展

二氧化碳（CO2）是主要的温室气体,同时也是一种廉价、无毒且可再生的一碳资源,因此将CO2转化为有价值的精细化学品可有效减缓气候变化、助力实现碳中和。CO2与环氧化物的环加成反应具有高原子经济、高选择性、低污染等优点,其产物环状碳酸酯可作为锂离子电池电解质、聚合物材料前体以及精细化学品中间体,应用前景广阔。氧化物因具有结构多样、可调性强等优点在CO2与环氧化物的环加成反应中的应用引起了广泛的关注。文章综述了两种典型且成本低廉、易于规模化生产的氧化物——金属氧化物与分子筛催化CO2与环氧化物的环加成反应的研究进展,重点分析了反应机理以及催化剂的应用。今后的研究重点是高性能无助剂的非均相催化剂的开发以及催化机理的探究。     

计及氢能多元利用特性的电氢耦合系统容量优化配置方法

氢能作为清洁能源,可与风能等可再生能源结合,为系统提供低碳运行方案。首先,在传统电氢耦合系统的基础上,引入天然气及碳捕集系统,设计了计及氢能多元利用特性的电氢能源系统优化配置模型。然后,建立了将氢能零污染发电和甲烷化两种应用途径相结合的系统模型,以系统等年值成本最小为目标函数,通过改进粒子群算法对构建模型进行寻优求解,得到了系统各设备最优容量配置方案。最后,通过算例对比,证明了优化方案在成本最低时,可支配碳配额增加,具有环保性。     

基于时域有限元的近场单站导体柱微波成像

介绍了一种在自由空间中对导体柱近场单站电磁成像的时域数值方法.提出以不均匀分布的点--离散点描述法,来代替通常采用的有限项三角级数逼近的形状函数来描述散射体.在正过程中采用时域有限元法获得其近区散射场,逆过程则通过遗传算法来寻找最优解.以不均匀分布于导体表面点的矢径的模作为优化变量.以在整个迭代过程中,目标散射场和计算散射场的误差总和与目标散射场场值绝对值之和的比值作为目标函数,使目标函数达到最小值来获得导体柱在自由空间中的电磁成像.     

复合材料网格结构模态分析的均匀化等效建模

复合材料网格结构由于内部结构复杂 , 在有限元分析中难以建立实际模型 , 需要对结构采用均匀化方法进行弹性常数等效。本文中根据结构的最小势能原理和有限元法基本思想 , 对结构的弹性力学基本方程进行了推导 , 使用有限单元法中的位移场 , 根据应变能相等的原则 , 得出了求解等效弹性矩阵的一种比较通用的方法 ;根据动能相等的原则 , 得出了等效质量的求解公式。采用有限元方法 , 对胞元进行了拉伸和剪切载荷下的细观力学分析 , 将分析结果代入到推导的公式 , 求出了复合材料网格结构的等效特性参数 ; 使用求得的等效模型对结构进行了宏观仿真 , 并与实际模型仿真结果进行对比。研究结果表明 , 该等效方法具有较好的精度 , 能够满足工程的需要 , 可用于各类大型结构的分析。      

Fe2O3气敏材料研究进展

综述了近年来Fe_2O_3气敏材料常用的合成方法,如sol-gel法,沉淀法,水热法和微乳液法。总结了焙烧温度与掺杂效应对气敏性能的影响,探讨了气敏机理模型,并对今后的研究方向提出了一些看法。     

基于ATR技术的有机聚合物二次电光系数的测量

二次电光效应是有机聚合物材料一种重要的电光特性,利用这种特性可以制备有机聚合物电光调制器等电光器件.有机聚合物材料的二次电光系数是衡量其二次电光效应的一个重要参数,其可以用一个6×6阶的张量来表示.利用该张量的对称特性、各个元素之间的已知关系以及折射率椭球公式,本文提出了一种基于衰减全反射(ATR)技术的测量有机聚合物二次电光系数的方法.在测量中,通过选用TM偏振光以及TE偏振光作为测量光束,可以分别获得二次电光系数张量中S11以及S12元素.利用已知关系,可以计算得到S44以及直流克尔系数.从而得到二电光系数张量中所有元素的值.     

Internet dependency and psychosocial maturity among college students

One salient impact of information technology on students' lives is the ever-increasing use of the Internet. Although there exist many reports in the media regarding the unhealthy Internet use among students, research is still limited and has mainly relied upon on-line self-selected reports on Internet dependency or “Internet addiction”. This paper attempts to look into the alleged Internet dependency within the Eriksonian psychosocial development framework. The results of a survey of the Internet use among 217 students in an Australian regional university are reported. The measures of patterns of the Internet use were correlated with that of psychosocial maturity and self-efficacy. The results showed that the Internet dependency seemed to be independent of the psychosocial maturity and the general perceived self-efficacy. A factor analysis extracted six factors from a set of 28 Internet experience-related questions and indicated that the Internet dependency could be of a multifaceted nature. The findings and their implications were discussed and a contextual perspective was proposed.     

基于嵌入式系统的检测平台硬件设计

电台的备件检测是备件保养的一个难题,本文提出了一种以ARM和UC/OS-Ⅱ为开发平台,以MiniGUI为图形界面的备件检测平台的设计方案.首先分析了备件检测的重要性,然后重点设计了备件检测平台的总体框架,描述了其各组成模块及其实现的功能,最后通过硬件和软件设计实现了备件检测平台.