Verilog的一个操作语义模型

提出了一个Verilog的操作语义模型。选择了Verilog的一个子集作为研究对象,该子集包括了Verilog最重要的语言特征,如事件控制,时延,并发性等;定义了程序状态空间及其上的状态迁移系统。     

随机线性二阶锥互补问题的实值隐拉格朗日法

为探讨随机二阶锥互补问题的求解方法,利用实值隐拉格朗日法求解随机线性二阶锥互补问题。通过借助于对称锥互补问题中实值隐拉格朗日函数和随机问题的期望残差极小化方法,探讨所得问题解的存在性。由于期望残差极小化模型的目标函数中含有数学期望,故利用蒙特卡罗法对该问题进行近似。证得近似问题最优解序列是依概率1地收敛于期望残差极小化问题的最优解,并且近似问题稳定点序列是依概率1地收敛于期望残差极小化问题的稳定点,为随机二阶锥互补问题提供一种新的求解方法。     

玻璃上透明纳米TiO2薄膜的制备

以钛醇盐为前驱物,采用溶胶-凝胶法(sol-gel)制备了透明锐钛矿型纳米TiO2薄膜.利用X射线衍射(XRD)、扫描电镜(SEM)及能谱分析(EDS)对TiO2薄膜的结构及特征进行了表征.考察了酸的种类、硝酸浓度、钛酸四丁酯(TBOT)以及聚乙二醇(PEG)含量、涂膜层数和Fe3+、Cu2+离子掺杂等因素对涂膜玻璃光催化活性和透明性的影响.结果表明所制备的TiO2薄膜主要以锐钛矿形式存在,膜层数低于5层时,薄膜表面光滑透明;随着膜层数的增加,薄膜的光催化活性增加,透明性和透光率下降.当膜层数为14层时,光催化活性达到最高80%,在可见光范围内的透光率为70%.适量铁或铜离子的掺杂,均可提高薄膜的光催化活性,并且离子掺杂不影响薄膜的透明性和透光率,两者的最佳掺杂浓度均为1.0×10-5 mol·L-1.     

统计意义一致的弹塑性设计位移谱

在统计意义上设计反应谱通常表示多条地震波反应结果的平均,利用等廷性强度折减系数谱对弹性设计位移谱进行折减间接建立的弹塑性设计位移谱,在这方面与弹性设计位移谱并不能很好对应．为此基于3类场地各20条地震波的统计分析。研究了利用等延性强度折减系数谱间接建立的弹塑性位移谱与统计平均的弹塑性位移谱的偏差．结果发现前者会导致偏于危险的结果,特别是对软弱场地和位移延性系数大于4时．通过对国内外学者建议的6组等廷性强度折减系数谱的比较分析,以精度较高的Vidic等建议的强度折减系数谱为准。并在间接方法中引入与位移延性系数、场地条件及结构周期相关的修正系数,建议了与弹性设计位移谱统计意义一致的弹塑性设计位移谱．     

油溶性结晶紫内酯的合成与性能

将N,N-二丁基苯胺、对二丁氨基苯甲醛和间二丁氨基苯甲酸甲酯进行缩合反应制备了丁基取代无色结晶紫内酯(LBCVL).然后在碱性条件下氧化LBCVL,制备了丁基取代结晶紫内酯(BCVL),w(BCVL)≈93.80%.并用IR,1H NMR,液质联用LC-MS,元素分析等方法表征最终产物的分子结构.所制备的BCVL在一定浓度的酸碱中可实现可逆变色,经处理过的BCVL在一定温度下可实现可逆变色.与普通结晶紫内酯相比,具有优良的油溶性,解决了普通结晶紫内酯(CVL)在长链脂肪烃中几乎不溶的缺点.     

泛型程序的多型值构造

泛型程序设计提供了一种重要的程序设计范型,使程序员无须为不同的数据类型重复编写功能相似的程序代码。本文以相等函数为例阐述了泛型程序设计的基本方法,并利用直积和直和给出了构造多型值的方法。利用这一结果能够定义各种数据类型的相等性,同时,定义相等性的方法也可以自然地推广到其他函数的定义上。