Bent函数的构造

文献给出了一类布尔函数的Walsh谱分解式，并由此分解式构造出了大量的Bent函数．本文在相关文献的基础上，继续给出一类布尔函数的Walsh谱分解式，利用谱分解式给出了Bent函数的另几种构造方法．     

一种新型液态CO2播撒设备研制与播撒试验

目的研制一套适于陕西播云作业的液态二氧化碳(简称LC)播撒设备,开发LC催化技术方法,试验得出最佳播撒速率,提高作业效果。方法根据播云作业需要,提出技术指标,开发研制LC播撒设备和催化技术,并进行地面、空中试验(静态、动态试验)。结果①LC的纯度是决定喷撒质量的关键;②当环境温度较高时,LC小粒子浓度较高,谱型较窄,当环境温度较低时,粒子谱明显拓宽,峰值浓度降低;③地面使用0.6 mm喷头,喷撒速率为10～12 g/s,喷头距离激光束为10cm时,PMS粒子测量系统检测到LC粒子谱宽在0.5～175μm之间,小粒子平均总数密度为146个/cm3。冰雪晶平均总密度为71个/L。结论陕西春、秋季适宜催化的降水云系云体温度较高,LC宜作为播云首选冷云催化剂。多次播云催化试验表明,当播撒率为10～12 g/s时,作业数分钟后机载PMS粒子测量系统和地面雷达检测到云物理响应参数,与云的本底值对比分析证明:播撒LC有利于云水向雨水的转化,催化效果较好。     

基于单片机的外腔半导体激光器控制系统的设计

设计了一种以单片机为核心,结合PID控制系统等外围电路的半导体激光器的高精度控制器.半导体激光器驱动电流精度达1.5×10-5,长时间工作(12h以上)偏置电流变化小于1μA,温度控制精度达到10-3℃.用该系统来控制光栅外腔半导体激光器,得到了功率稳定、波长单一的激光输出,长时间工作没有出现跳模现象.     

信息过滤技术及Visual J++实现

信息过滤技术的目的是滤除信息垃圾、建立主动服务机制.论述了信息过滤技术中的原及其实现方法.采用话题为基本单位,分析了信息的特征,建立的用户兴趣模型;根据用户反馈来动态地了解用户的兴趣变化,提出了潜在语义标引的过滤算法,并依据用户设定的不良信息库更有效地过滤出用户所需要的信息.利用Visual J++(VJ)实现了信息过滤软件基本功能,实验证明上述过滤算法的有效性.最后给出了在信息过滤技术中正在研究的几个问题.     

新型吗啉类化合物的合成及抗实验性抑郁活性研究

设计合成了7个未见报道的新型吗啉类化合物,通过IR、NMR、ESI-MS和元素分析对目标化合物结构进行了表征.利用小鼠强迫游泳及悬尾两个抗抑郁药理模型对所合成的化合物进行抗抑郁药理活性筛选,进行了初步的药效评价研究.结果表明这些化合物显示了不同程度的抗抑郁活性,同等剂量下部分化合物的体内抗抑郁作用显著强于空白组,其中芳香环的3位上具有氟取代基的化合物,抗抑郁活性最高,有进一步研究的价值.     

张量伪谱的包含域

【目的】研究张量伪谱的相关性质。【方法】利用张量伪谱的定义,在现有文献基础上进一步研究张量伪谱的相关性质。【结果】给出了张量伪谱的新包含域。【结论】证明了所得到的区域比已有文献中的区域更小。     

Cu1.81S纳米晶的空间自相位调制阈值厚度研究

激光诱导空穴相干或电子相干机制会在数毫米厚度的二维材料离散体中产生空间自相位调制(SSPM)现象.该现象能否在更小厚度实现,对其在全光调制等的应用十分关键.采用热注入法制备了硫化铜纳米晶,控制Cu与S原子比为1.81:1,调制带隙为1.75 e V.利用低频飞秒脉冲激发,观测到多波长下的SSPM现象,表征Cu_1.81S的非线性折射率n₂为10^-3cm²/W量级,并利用非局域空穴相干解释.聚焦于激发波长为800 nm (略小于带隙)的测试,逐步将离散体的厚度从10 mm降低到1 mm,并提出利用Fresnel-Kirchhoff衍射公式仿真拟合的新方法.实验和仿真模型均证明,在入射光强为25 W/cm²时,尽管Cu_1.81S具有较大的n₂,但其SSPM阈值厚度仍为5 mm左右;将入射光功率密度提高到1805 W/cm²以上或改变聚焦条件,有望实现100μm厚度的SSPM效应.该研究提出了微米尺度SSPM光路改进方案...     

新型耐温抗盐降失水剂LX-1的研制与性能评价

针对目前降失水剂抗高温抗盐性能差、适用范围窄、与其他水泥外加剂配伍性差等问题,选取2-丙烯酰胺基-2-甲基丙磺酸(AMPS)、N,N-二甲基丙烯酰胺(DMAA)、衣康酸(IA)为主要单体,引入新型长侧链含羟基化合物,通过自由基聚合制备出共聚物型降失水剂LX-1.采用红外光谱和热失重分析对共聚物进行表征,结果表明:各单体...     

Bent函数的构造

给出了一类布尔函数的Walsh谱分解式,并据此给出了Bent函数的构造。     

一类k阶拟Bent函数的构造

通过映射构造了一类布尔函数，利用布尔函数循环Walsh谱的方法给出了该类布尔函数是k阶拟Bent函数的充分必要条件，并利用集合性质给出了满足该条件的方法．另外，给出了一类k阶拟Bent函数的递归构造.