应用核磁共振实验实现量子计算的注记

从量子力学的基本原理出发,阐述了利用核磁共振进行量子计算的实验方法,澄清了有关文献中若干容易混淆而又十分重要的概念,并进一步报道CNOT门操作的实验方法和结果.实验结果与理论的预言一致.     

R.C.曲线交叉粱系双目标优化设计的研究

本文对R.C正交直线-曲线粱系进行双目标优化设计,取结构造价和钢筋用量两类指标构造目标函数,建立了此类结构的基于Pareto最优性准则的数学模型,并对“线性加权和算法”进行改进,由此求得的综合最优解与一般算法的解答基本重合,而迭代计算的工作量却显著减少。对数值计算结果进行分析、讨论,得出一些比单目标优化设计更有理论和实际意义的结论。     

基于量子微粒群优化算法的半透明介质光学参数反演

针对半透明介质光学参数估计问题,建立了脉冲激光辐照下半透明介质光学参数反演模型,采用量子微粒群优化(QPSO)算法反演了折射率和吸收系数,分析了测量误差、热物性参数对反演结果的影响,并利用敏感性分析揭示了反演精度与测量误差的关系.计算结果表明：建立的反演模型和采用的QPSO算法可以精确估计折射率和吸收系数,即使人为添加10%的测量误差,反演结果依然具有较强的鲁棒性和准确度.本研究可为半透明介质物性参数获取提供技术参考.     

基于机器视觉的车辆时空参数识别

车辆荷载信息是分析桥梁受力和性能评估的重要依据,其中车辆时空信息是准确识别车辆荷载的关键参数。考虑到传统在桥面埋设传感器的方法影响交通、破坏路面,提出了一种基于机器视觉技术的车辆荷载时空参数识别方法,包括车辆的横向定位、车速、车轴数、轴距的识别。基于正面拍摄视频,采用背景差分法来实现车辆检测,进一步通过车牌识别确定车辆在图像中的位置,然后根据车牌与车道线距离来实现车辆横向定位。基于侧面拍摄视频,采用图像标定方法,结合已知长度的辅助检测线来获取车辆的轴距、轴数、车速等车辆参数。通过试验室模型试验和现场试验验证了提出的方法。结果表明,现场试验中车辆横向定位和车速的最大误差分别为2.42%和2.67%,轴距的平均误差为1.63%,识别结果可以为更多其他车辆参数如轴重和总重的识别提供重要的技术支撑。     

超高压高CO2气藏偏差系数图版扩展与应用

Standing-Katz图版法确定天然气偏差系数是目前最常用、最基础的方法之一,但存在人工读值误差大、在超高压（拟对比压力大于15）和高CO₂含量天然气使用受限等问题。设计单组分偏差系数测定实验,结合Standing-Katz图版曲线变化规律,将图版拟对比压力扩展到30,拟对比温度扩展到3.6,并将图版数字化;基于不同CO₂含量偏差系数测定实验结果,推导了考虑不同CO₂含量的天然气拟临界压力、拟临界温度计算新模型,与常规非烃校正模型相比,新模型计算精度更高,适用范围更广。进一步将新临界参数校正模型嵌入到偏差系数扩展图版中,得到不同CO₂含量的偏差系数扩展图版,该图版在南海西部超高温高压、高CO₂含量天然气偏差系数计算中误差较小（不超过3%）,应用效果良好。     

显微／望远两用镜光学系统设计

设计了一种新型的显微／望远两用镜,讨论了此两用镜的光学系统设计方法案和光学系统设计方案和光学系统各结构参数,对所得的象差曲线结果进行了分析,给了一个此光学系统的结构参数实例和产品外形轮廓。     

多维函数优化的遗传算法研究

本文研究了求解多变量函数优化问题的遗传算法,在此算法中采用了十进制浮点数基因表示方法,并相应地提出了一种叠加零均值Gauss随机扰动的变异方法,研究表明,对于满足组件假说的多维函数优化问题,这种遗传算法具有较高的搜索效率．     

成组技术中面向对象的参数化模型

针对传统成组技术中的编码系统难以使用、编码不够精确和重用困难等问题,提出在成组技术中构造面向对象的参数化模型．该模型用类来描述零件簇,构成零件类的结构层次,生成零件描述的框架;用参数化方法从零件类实例化生成对象,以对象来表示具体的零件;查询时,以零件的特征和零件的具体参数来驱动,加速搜索的过程,并使结果更加精确;找到相同或相近零件对象后,在某个类层次上重用以前的设计．该模型的提出为成组技术的应用提供了新的途径．     

非均匀传输线时域响应的精细计算

应用精细计算法对非均匀传输线时域响应进行了分析．该方法考虑了非均匀传输线的非均匀性,避免了使用突变的级联模型及频域、时域转换,直接时域分析,极大地提高了分析的精度和效率．计算结果证实了该方法的可靠性．     

实代数数的代数表达式的符号判定

将符号计算方法与数值计算方法结合起来应用于计算机代数领域,构造了一种判定实代数数的代数表达式的符号的算法,并在计算机数学系统上加以实现,算法的基本思想是对每一个实代数数ａ定义了一个二元组（Ｉ,ｆ（ｘ））,其中Ｉ是包含ａ的区间,ｆ（ｘ）是ａ所满足的多项式,并将代数数的运算转化为对应的二元组的运算,同时结合多项式的根的最短距离估计式,从而达到对代数数的代数表达式进行符号判定的目的。