多值模运算的I2L电路实现

根据多值模代数运算理论及开关信号理论，建立了运用于I^2L电路设计的三值模运算的接地开关运算表示式。在此基础上，成功指导了对模3加、减、乘和除等运算电路的开关级设计，从而进一步完善了对多值模代数系统电路设计的研究。     

电路过渡过程的计算机辅助分析

电路过渡过程所列方程是微分方程，本文中采用的是方框图模型分析法，即将微分方程的复杂示解分解成最基本的加（减）、乘（除）、积分（微分）、增益等运算，采用VB设计用户界面产进行计算，并给出了一算例。     

逻辑函数在布尔减-异或、布尔除-符合代数系统中的规范展开式

证明了布尔减、异或运算以及布尔除、符合运算的完备性,并从与-异或及或-符合代数系统中的RM、CRM展开式出发,分别推导了任意逻辑函数在布尔减-异或及布尔除-符合代数系统中的规范展开式.举例说明了与-或-非代数系统中规范展开式与布尔减-异或、布尔除-符合代数系统中的规范展开式之间的转换.     

逻辑函数的减-非和除-非展开式的最小化方法

讨论了布尔减和布尔除的定义以及逻辑函数在布尔减及非运算、布尔除及非运算完备集中的展开,给出了减-非和除-非逻辑函数的化简公式.在此基础上提出了减-非和除-非逻辑函数的代数化简法以及图形化简法,并给出了化简实例.实例验证了上述化简方法的有效性.     

逻辑函数在布尔减-除-非代数系统中的标准展开式及其化简

布尔减、布尔除与非运算构成完备集．从与-或-非代数系统中的最小项、最大项展开式出发,推导了任意逻辑函数在减-除-非代数系统中的标准DOS（减之除）和标准SOD（除之减）展开式．在此基础上给出了DOS和SOD逻辑函数的代数化简法和图形化简法,给出的化简实例验证了上述化简方法的有效性．     

逻辑函数在布尔减、布尔除、非代数系统中的规范展开式

证明了布尔减与非运算、布尔除与非运算均构成完备集，并根据布尔除、布尔减的运算规则和性质，从最小项、最大项展开式出发，推导了任意逻辑函数在这两个完备集中的规范展开式。得到的展开式形式简单，容易记忆，与函数在与、或、非代数系统中的规范展开式之间的转换非常便捷。本文的工作对进一步完善布尔代数的四则运算理论具有一定的意义。     

椭圆曲线密码细粒度并行计算研究

根据加速经常性设计的原则,提出了一种基于对称运算单元的椭圆曲线密码(ECC)标量乘运算的高效细粒度并行运算架构.为了实现该架构,对ECC标量乘运算展开细粒度并行计算研究,通过标量乘运算的分解和推导,消除了数据相关性,得出运算效率高且适于指令级并行计算的算法形式.对标量乘运算的时间复杂度的分析结果表明,该算法比普通算法的速度提升了66.7%.并可通过并行计算进一步提升标量乘运算的速度性能.在采用3个运算单元的效率最优情况下,比采用1个运算单元时,速度提高了2倍.     

GF(2~m)椭圆曲线上的Co＿Z点加算法

基于统一Z坐标,提出了有限域GF(2~m)上两种射影坐标下的Co_Z点加运算公式。通过对椭圆曲线上有理点的Z坐标统一化处理,使得其运算量分别为10M+3S和8M+3S(M,S分别表示有限域上的乘法和平方),相比已有的计算公式,运算量分别减少了2S和2M。另外,提出了一种Jacobian坐标下的3P运算公式,运算量减少了1M+4S。将新提出的点加、3P运算公式与对称三进制标量乘相结合,改进了标量乘算法的运算效率,使得标量乘算法的效率提高了13%。     

巨大尺寸零件逆向重构技术应用研究

随着计算机辅助设计与制造技术的迅猛发展，并推动了逆向重构技术的产生与发展．逆向重构技术作为数字化与敏捷制造的一项重要技术，是在无设计图纸或无CAD模型的条件下，从已有零件或产品出发，利用各种数字化技术重新构造CAD模型的过程．通过对巨大尺寸零件逆向重构技术和反求测量方法的应用研究．将现代坐标测量设备作为产品设计的前置输入装置，可有效提高产品的快速响应能力，丰富了几何造型方法和产品设计手段，完成基于点云数据的模型再设计，从而使制造企业能快速跟踪和消化吸收及二次开发国外先进产品．     

基于逆向云和概念提升的定性评价方法

基于自然语言的定性评价在人类活动中有着广泛应用.逆向云能有效实现从定量数值到定性概念的转化,已有的逆向云发生器由于估计误差原因,会出现超熵为虚数问题.本文提出的逆向云算法通过合理改进超熵的估计方法,确保了逆向云发生器的有效性.概念提升操作可以将用数字特征表示的原子概念组合成粗粒度的综合概念.将基于新的逆向云发生器和概念提升的定性评价方法用于词汇量定性评价,并与传统的定性评价方法相比较,说明了云定性评价方法的实用性、全面性和有效性.     

面向Saber算法的并行乘法器

随着量子计算的发展, 现有密码系统的安全性将受到严重威胁. Saber算法是抵御量子计算攻击的后量子密码方案之一, 但存在多项式商环上模乘占据运算开销过大的问题. 鉴此, 本文通过对Karatsuba算法和Schoolbook相乘方式的剖析, 提出一种面向Saber算法的并行乘法器设计方案. 该方案首先利用Karatsuba算法分解模乘运算的关键路径, 结合乘法复用和加法替换的策略减少硬件开销, 然后采用并行运算电路压缩关键运算路径时长, 最后在TSMC 65nm工艺下, 利用Modelsim和DC软件仿真验证. 结果表明 该方案运算时长为137个时钟周期, 与传统方式相比速度提升46.50%, 功耗为87.83mW, 面积为927.32×103 ?m2.     

非光滑区域上Schrodinger方程的L~2-Neumann问题

考虑在无界Ｌｉｐｓｃｈｉｔｚ区域上Ｓｃｈｒｏｄｉｎｇｅｒ方程－ｕ、ｉ（ｄｌｌ０的Ｌ２－Ｎｅｕｍａｎｎ边值问题。假设位势非负且满足逆Ｈｏｌｄｅｒ条件，本文证明上面问题的解存在唯一，并且具有一致正则性。     

电镀综合废水的反渗透膜法回用研究

通过单根膜组件的工作状态研究,对不同电导率的电镀废水进行了RO膜处理,得出当非高压RO膜系统进水电导率尽量低于20 000μs.cm^-1,进水压力尽量高于1.6 MPa时可取得较高的经济效能,模拟了系统中任意1支膜和整个膜系统的产水流量公式,计算结果与中试实验数据进行对比,两组数据基本吻合.通过工程实例考察了膜处理电镀废水的回用效率.     

不同矿石对反渗透淡化水的调质效果研究

反渗透海水淡化已成为解决淡水危机的一种有效方法,但反渗透淡化水的化学稳定性差,使用过程中会腐蚀管网,作为饮用水存在一定的健康风险.采用溶解矿石法对反渗透淡化水的水质进行调节.对麦饭石、白云石、石灰石、进口矿石的理化性能(包括成分、物相组成、孔隙率及孔径分布、表面形态)进行了分析,并在此基础上对比分析了4种矿石对反渗透淡化水的调质效果.结果表明,进口矿石经人为加工后孔隙增多,溶出速率明显变快,调质后出水的硬度、碱度、Mg²⁺质量分数均高出其他3种原矿石50%以上,但其出水pH值过高,Ca²⁺质量分数低于石灰石,与自来水相比仍有一定差距,未来应致力于研制一种比表面积大、溶解速率快、无需对淡化水酸化而直接调质的调质剂.     

突发自然灾害应急饮用水反渗透处理工艺研究

以反渗透作为主体工艺进行突发自然灾害应急水处理工艺研究,在试验浓度范围内,反渗透工艺对浊度、CODMn、氨氮和盐类物质的平均去除率分别达99%,90%,87%和96%.对镉、铅、镍、铜4种常见重金属离子的去除效果显著,平均去除率分别达96%,97%,96.5%,96%.对乙苯、二甲苯、氯苯、1,2-二氯苯、1,4-二氯苯、2,4,6-三氯酚、三氯乙酸、三氯乙醛以及乐果、灭草松、草甘膦、敌敌畏、百菌清、毒死蜱6种典型农药的去除效果较好,平均去除率分别达98.51%,98.46%,97.84%,99.03%,99.11%,99.56%,99.24%,99.29%,99.16%,99.98%,99.95%,99.76%,99.61%,99.67%;对三氯甲烷、三溴甲烷、苯酚、苯乙烯的去除效果一般,平均去除率分别为73.43%,86.03%,72.64%,63.31%;对苯、二氯甲烷、甲醛的去除效果较差,平均去除率分别为44.36%,17.57%,8.37%.在试验研究的基础上,提出应急水源地水质建议性标准,为突发性水污染反渗透处理工艺的实际应用提供了参考依据.     

基于动态分级和邻域反向学习的改进粒子群算法

针对粒子群算法容易陷入局部最优解的问题,提出了一种基于动态分级和邻域反向学习的改进粒子群算法.该算法通过构建动态分级机制,将种群中的粒子动态地划分成3个等级,对不同等级内的粒子采取不同的扰动行为,使得粒子在增强种群多样性的同时保持向全局最优方向进化;采用粒子智能更新方式,提高了粒子的搜索能力;引入动态邻域反向学习点建立全局搜索策略,促使种群快速寻优.最后,利用多种典型测试函数对该算法进行仿真实验,结果表明,与其他几种优化算法相比,本算法具有较好的收敛性和稳定性.     

关于逆向的参量化Hardy型积分不等式

应用权函数与实分析的方法,引入两对共轭指数与一个独立参数,建立若干逆向、推广的Hardy型积分不等式,并证明其常数因子为最佳值,还考虑了其等价式及若干特殊结果.     

p调和函数正则性的一个注记

若p调和函数u属于W^1,q〉p-1〉0,且满足｜p-2｜或｜p—g｜足够小,证明了△↓一定是Holder连续的．这个结果推广了调和函数（p=2）的正则性结论,其证明主要运用了Hodge分解及反Holder不等式．