缺陷信息上传功能在宝钢某冷轧的实现

宝钢某冷轧在多条机组安装表面缺陷检测设备后,为了充分利用表面缺陷检测仪的检测数据,通过过程机来接收检测设备的缺陷信息并进行筛选等处理,实现了重要的缺陷信息上传生产管理计算机及缺陷自动封闭功能。该功能的实现对类似产线缺陷信息的处理有一定的借鉴意义。     

基于北斗短电文通道的密码资源分发技术

北斗卫星导航定位系统是中国自主研发,利用地球同步卫星为用户提供全天候服务的卫星导航定位系统,可为用户提供快速定位、实时导航、简短通信及精密授时等服务。针对特定环境下遇到的密码资源分发难题,提出了一种基于北斗系统短电文通道的密码资源分发技术,并依托该技术设计出一种密码资源分发系统。该系统不受通信渠道以及特殊环境的限制,能够满足密码系统全天候进行密码资源分发的需求。     

现代化GNSS导航电文设计分析

导航电文是导航卫星信号的重要组成部分,其设计优劣将直接影响系统的时效性、完整性、灵活性、可靠性、可扩展性等服务性能以及用户使用成本。该文分析比较了各种导航电文的设计以及现代化GNSS(全球导航卫星系统)导航电文在数据内容、编码性能、编排结构以及播发方式等方面的改进措施。结果表明,这些改进措施使系统服务性能得到进一步改善且更便于用户使用。借鉴现代化GNSS导航电文在纠错码、校验码以及交织码相结合的多重差错控制方案,帧结构与数据块结构相结合的电文编排方式,星间、频间电文交叉播发方式等方面的设计,提出了我国COMPASS系统导航电文基本设计思路。     

CAPS导航电文格式优化及其算法

导航电文是卫星定位系统中定位计算的重要基础数据之一,导航电文编排的好坏直接关系到系统定位的准确性和定位计算的效率;针对目前CAPS导航定位系统采用的超帧、帧、子帧的固定格式带来的灵活性和效率上的不足,设计了一种改进的基于数据类型分类的电文帧格式,并提出了多目标遗传优化的帧长度选择算法;实验结果表明,改进的帧格式能克服固定格式的灵活性和效率问题,多目标选择算法的应用降低了帧的开销和空闲位数,具有实用价值.     

GLONASS卫星信号模拟器导航电文生成

导航电文的生成是GLONASS卫星信号模拟器研制中的关键部分,获得正确的导航电文信息是接收机实现定位、测速以及授时等功能的前提条件。为了满足接收机测试的需要,GLO-NASS卫星信号模拟器输出信号必须调制正确的导航电文。GLONASS卫星信号模拟器由模拟器仿真软件和信号生成单元组成。主要研究GLONASS卫星信号模拟器的软件部分。在分析GLONASS卫星信号模拟器结构和导航电文结构的基础上,详细介绍了GLONASS卫星信号模拟器中导航电文的生成过程。重点对从R inex文件中读取星历参数并转化成二进制格式导航电文的程序实现进行了深入研究,利用GLONASS接收机对卫星信号模拟器输出的仿真信号进行电文解析和定位解算,试验结果可以验证卫星信号模拟器中导航电文生成的正确性。     

基于虚拟卫星的隧道内卫星导航信号增强方法

针对现有卫星导航接收机在隧道内无法有效定位的问题,提出了基于虚拟卫星的隧道内卫星导航信号增强方法。通过建立信号传播模型,在隧道两端模拟位于隧道延长方向的低仰角卫星的导航信号,发出后在隧道内接收解算,实现定位。同时,使用信号时延控制方法对伪距误差进行预补偿。经过硬件系统的实验分析,验证了其在隧道内的定位能力,仿真实验结果表明系统定位精度满足大部分隧道需求。     

导航电文上行注入调度模型研究

分析导航电文上行注入调度的要求和约束条件,对问题进行抽象分析,建立导航电文调度模型,并结合经典一维装箱问题对问题进行说明,结合导航电文上行注入调度的实际约束条件,将降序最佳适应算法应用到模型上,解决调度模型的应用问题。同时对算法的性能进行分析论证,验证算法的有效性。     

GPS模拟器导航电文关键参数生成

GPS信号模拟器的研制涉及到多项关键技术,其中导航电文的产生具有重要意义.该文分析了卫星电文的结构,在此基础上对遥测字和交接字、奇偶校验码、星钟的生成进行研究,利用摄动力方程及拉格朗日行星运行方程推导出星历参数并采用matlab仿真验证了其可行性.     

智能法律合约及其研究进展

从智能合约、智能法律合约等概念入手,依据现行法律条目的要求对智能合约法律化问题进行探讨,指出智能合约法律化需满足文法要求、非赋权原则、审查准则三个基本规则,并以典型智能法律合约语言SPESC、CML为实例剖析了其法律效力,辨析使其与原合同文本具有同等法律效力需满足的条件。进而,结合智能合约系统架构及部署运行过程,在对所部署智能合约进行法律化辨析基础上对区块链智能合约及其链码的法律地位进行了论证。最后,对当前智能法律合约逻辑模型与语言模型的研究进展进行总结,并加以讨论和评价。上述工作表明当前智能法律合约研究是一条解决智能合约法律地位的可行途径,有利于从现行法上把握智能合约在合约逻辑、仲裁流程、形式化验证等方面的未来发展方向。