A case study of a difficult refinement: a fast dictionary for a spell-checking program

We present a difficult refinement of a dictionary for a spell-checker. It represents a realistic problem and shows how a calculational approach using a relation known as a coupling invariant can improve the process of refinement over the conventional posit-and-prove approach. The paper concludes with a brief discussion of the advantages of the approach we adopt. We also hope that the paper will contribute a difficult refinement to the rather sparse corpus of such case studies in the literature—especially those using the calculational approach.     

采用双速率框架的快速预测控制算法

约束模型预测控制(model predictive control,MPC)在实际应用中优化计算复杂度高,无法在采样周期内完成优化以保证系统实时性.本文针对这一问题,提出采用双速率框架的快速预测控制算法(DSF–MPC).该算法将实时控制量的求解分解到两个时间尺度上进行,即双速率框架:每隔数个采样周期,慢速率层负责完成一次对完整MPC优化问题的求解;而在每个采样周期,快速率层负责根据系统反馈信息和慢速率层算法预测信息的差值,朝着使目标函数值下降的负梯度方向,修正慢速率层的优化结果来获取实际控制量,以满足控制的实时性要求.该算法不要求在每个采样周期内都完成MPC中的在线优化,故能在继承MPC优点的同时,满足快速系统的控制实时性要求.针对直流电动机和倒立摆组合系统的仿真结果,验证了该算法的有效性,反映了其在快速系统中的应用潜力.     

Perspective correct occlusion‐capable augmented reality displays using cloaking optics constraints

Perspective‐correct occlusion‐capable augmented reality displays are generalized using an optical cloak constraint for ray transfer analysis or simulations; any ray entering the optical system exits at the height and angle as if it passed through empty space. We analyze several systems with two‐lens, three‐lens, and four‐lens looped groups in inline, folded, and looped configurations. We design and demonstrate a four‐lens folded optical cloak and a three‐lens inverted cloak with an erecting prism.     

印尼X凝析气田产能试井异常分析及处理

通过分析凝析气井产能测试资料异常的原因,结合二项式产能方程提出了修正产能测试资料的方法,建立了新的二项式产能方程,并通过气井的实际产能测试资料分析对该方法进行了验证。     

金山立交桥顶进扎头原因及纠偏措施

结合工程实例,对顶进施工中形成“跷跷板”现象的原因进行了分析,提出了纠偏措施,探讨了纠偏过程中应注意的事项,从而避免出现“跷跷板”现象,指出在顶进期间还应对桥体采取加固体系悬空方案,以避免扎头。     

论供热空调系统保温材料的合理选择

本着重着研究现代建筑中供热、空调系统保热保冷工程所占有的突出经济地位,提出只有摸透工程的不同使用性质,相应地选择好保温材料独特的性能,来满足不同工程的需要,才是做好保温工程设计的根本前提;并指出保温材料的性能直接影响着系统的能耗、重量、防火性、施工安装质量与工程造价的关键因素,是一个很值得研究和探索的中心议题;并阐明了评价保温材料的优劣,主要取决于材料的保热、保冷能力,即容重愈小,保温能力愈大。导热系数越小,保温能力越好,这就是评价保温材料好坏的两个根本指标。某些工程由于选材不当,导致能源浪费,造价提高,甚至引起火灾的严重教训,故保温材料的正确合理选择是当前非常重要的问题,应引起社会各界的高度重视。     

磁悬浮控制棒驱动线密封管划伤的不符合项处理

在进行磁悬浮控制棒驱动线的综合性能试验时,发现部分密封管的外壁产生严重的不可接受的划伤。通过控制棒驱动线运行的温升试验、解体试验,发现加工制造过程中的残留切屑、局部结构的不合理、滑动副部件的材料选取不当是造成密封管产生划痕的主要原因。通过对密封管外部进行渗氮处理、清理间隙槽内的加工残留物,钝化各锐角,更换限位套的材料,增加连杆上的导流孔等整改措施后,进行了驱动线的运行考验和快速落棒试验,未发现产生新的划痕并有效缩短了控制棒的快速落棒时间。本工作采取的措施及取得的试验结果,可为同类控制棒驱动线的加工制造和运行维护提供借鉴作用。     

PAC最优的RMAX-KNN探索算法

探索与利用的均衡是强化学习研究的重点之一。探索帮助智能体进一步了解环境来做出更优决策;而利用帮助智能体根据其自身当前对于环境的认知来做出当前最优决策。目前大多数探索算法只与值函数相关联,不考虑当前智能体对于环境的认知程度,探索效率极低。针对此问题,提出了一种基于状态空间自适应离散化的RMAX-KNN强化学习算法,算法根据当前智能体对于环境状态空间的离散化程度改写值函数形式,然后基于此值函数对环境进行合理的探索,逐步实现对于环境状态空间的自适应离散化划分。RMAXKNN算法通过将探索与环境状态空间离散化相结合,逐渐加深智能体对于环境的认知程度,进而提高探索效率,同时在理论上证明该算法是一种概率近似正确(PAC)最优探索算法。在Benchmark环境上的仿真实验结果表明,RMAX-KNN算法可以在探索环境的同时实现对于环境状态空间的自适应离散化,并学习到最优策略。     

计算机模拟给茧模型的研究

本文讨论由一根根茧丝按照解舒丝长分布切断成的解舒丝段集合作为接绪茧库模型,并用其进行模拟缫丝的有关理论及实用性问题,确认了该模型与实缫状态一致性,并指出这是一种简捷高效的模拟方法。从而为在计算机上简化模拟定纤自动缫丝的给茧机系统提供了基础的思路及模拟实验结果     

MD分组加密纠错体制

将数传系统中传输数据的安全性与可靠性作为一个整体考虑,提出了ＭＤ分组加密纠错密码体制。讨论了ＭＤ体制的安全性,分析了密文通过有扰信道时的正确解密概率和安全性。指出纠错与加密相结合的密码体制比一般的密码体制有着更广泛的应用前景。