空域扇区显示与分析软件设计与实现

本文根据航路点的经纬度信息,将其转换成以管制区域机场为中心点的相对直角坐标,依据各航路点的相对直角坐标绘制Voronoi图,进行初始扇区划分,之后统计各点的管制员工作负荷.根据DORATASK方法确定优化后扇区数目,合理分配各扇区管制员负荷,进行扇区深度优化,利用MATLAB制作GUI界面,将管制区航路信息、航路点信息、管制扇区边界等显示在MATLAB中.本文创新性地引入了管制员指挥巡航上升飞机的负荷和使用英语指挥外航飞机的负荷,同时考虑到管制学员的情况,为管制学员单独进行了扇区优化.     

马鞍山市台资企业用工情况调研及分析

2016年10月,我市被国台办批准设立"海峡两岸产业转型转移示范基地"。通过招商引资力度的不断加大,台资企业在我市已具有一定规模,为台资企业提供人力资源服务成为市人社部门的重点工作之一。     

CVD法涂覆层(TiC、TiN及TiC-TiN)和高速钢合金工具钢基体的附着性

1.绪言以金属材料表面硬化为目的化学气相沉积法(Chemical Uapor Deposition:CDV)技术已被广泛应用。它是利用组成沉积物质的化合物在气相状态发生化学反应,沉积出碳化物、氮化物、氧化物、硼化物等化合物的方     

与世界机器人之父对话

刘进长 :《机器人技术与应用》杂志社主编恩格尔伯格 :世界著名机器人专家 ,机器人之父 ,世界第一台工业机器人的制造者为了更好地制定“十五”规划 ,推动中国机器人的快速发展 ,国家８６３计划智能机器人主题于２００１年４月１５日 -１７日在上海锦江饭店举行了“先进机器人发展战略国际研讨会”(ＩＡＲＰ２００１ ,上海 )。世界机器人之父恩格尔伯格先生也应邀参加了此次会议 ,会议期间 ,本刊主编刘进长研究员与恩格尔伯格先生进行了如下对话。刘进长 (以下简称刘 ) :非常感谢阁下接受我们的采访 ,希望阁下的中国之行顺利、愉快 !恩格尔…     

构建Internet环境下的课件数据库系统

主要讨论如何利用Web和数据库技术实现基于Internet的CAI课件数据库系统,还对CAI课件数据的抽象描述和表达以及CAI课件数据库中复杂数据的输入进行了较深入探讨。     

日本化学工业的现状与今后的经营课题

1日本化学产业的经营环境1.121世纪的化学工业现在，准确地预测21世纪化学工业领域的环境是非常困难的。现在正是由于构筑世界经济组织（WEO）而产生的巨大的转换时期，美苏冷战状态结束后，90年代是继续摸索南北区域纠纷的调停、核扩散的防止等新的世界体制的时代。第一个课题是如何从原来的美苏两个超级大国对立的世界，向和平的国境自由化的世界转变的问题。第二是地球环境问题。其中有臭氧层破坏问题、二氧化碳引起的温暖化问题、大气和水质的保护问题、产出废弃物问题、化学物质的回收及再利用问题等。特别是由制造业中的封闭系统而…     

水文极限分析中改进自适应重要抽样法的应用分析

近年来,随着国内水资源的日渐紧缺,缺水问题一直是困扰我国的发展和进步,甚至已经成为了世界范围的大问题。同时,也注意到不同城市地区以及不同国家范围内受到极端水事件的各种自然灾害以及人为泄露等原因的影响也不断的增加,促使相关的水分析抽样方法在一定程度上得到了快速的发展。文章就水文极限分析中改进自适应重要抽样法的应用进行了分析和论证。     

基于动力学理论的轿车悬架参数优化

为提高麦弗逊式独立悬架设计效率,解决悬架的参数对悬架稳定性产生的不良影响,针对某轿车麦弗逊前悬架,应用动力学理论建立轿车的1/4悬架模型,进行车轮随机激励的跳动仿真,验证模型的准确性,然后分别对悬架弹簧刚度、阻尼、前束角、前轮外倾角和主销后倾角进行优化,研究结果表明,该悬架布置方案的优化较好地解决了模型的不合理性.     

基于树语言逼近的安全协议形式化分析

利用形式化方法或工具自动化分析实用安全协议十分必要,定理证明技术因其可解决无限状态系统的验证备受关注,但扩展其验证规模和自动化实现时仍然存在一些局限性。以定理证明和重写逼近理论为基础,以项重写形式化定义协议模型,以树自动机模拟协议攻击者知识集,给出攻击者知识集可达项逼近求解的算法,并根据上述模型讨论秘密性和认证性的验证方法,最后以Needham-Schroeder公钥认证协议为例验证模型的有效性,并指出下一步研究方向。     

云存储中副本自适应一致性研究

在云存储系统中,为了保证系统可用性的同时尽可能提高系统性能,降低副本同步过程中网络带宽等资源的消耗。提出了基于文件热度的副本自适应一致性方法。该方法根据文件的热度不同,动态调整副本同步的一致性策略,对于热度高的文件在副本同步过程中采用强一致性,对于热度低的文件在副本同步过程中采用最终一致性。在计算文件热度时,考虑了文件访问的时间序列并结合LRFU算法,该热度值表示了文件将来可能的访问情况,并与文件的实际访问情况一致。实验表明该方法在保证系统可用性的同时显著降低了网络带宽资源的消耗,有效地平衡了系统的可用性和性能。