摘要：UML是一种通用的图形化建模语言,在面向对象系统的分析与设计中,形成了一个统一的、公共的、具有广泛适用性建模语言,但它并不是形式化的建模语言,缺乏精确的表示语义,表达不严格。线性时序逻辑(LTL)是一种形式化语言,是并发或反应式程序动态语义,适合用来精确表示模型的动态语义。本文介绍UML的形式化建模方法,详细描述线性时序逻辑语言的语法及语义,并将形式化建模方法用在图书管理系统中。

摘要：以广州港南沙四期工程为依托,针对其集装箱水转水比例高、港内集装箱主要转运流向多为平行码头岸线的特点,提出了一套自动化集装箱堆场平行布置、港内水平运输采用无人驾驶集卡的新型自动化集装箱码头装卸系统方案,有效地解决了常规自动化装卸系统无法很好地适应该类型自动化码头工程的难题,可为类似自动化集装箱码头工程的设计和建设提供参考。

摘要：以人为本的公共服务是智慧城市建设的首要内容。本文以快速城镇化进程中的石家庄市智慧城市建设为例,结合671份有效调查问卷,从分析城市居民现实需求入手,研究城市公共服务存在的问题,为确定智慧城市建设方向和重点提供决策依据。结果显示,交通出行和空气治理是城市公共服务智慧化亟需改善的内容,食品安全则需加强重点环节监管和全过程信息采集,医疗教育、社会保障应加强信息资源的整合共享和均衡配置,无线网络全城覆盖和网上远程服务是公众的期盼。研究结果表明:石家庄智慧城市建设还处在初期阶段,公共服务水平距离居民需求还存在不小差距,在政府统筹的引导机制、市场导向的动力机制和社会公众的参与机制等方面还不健全,应从优化顶层设计、整合信息资源、推进数据决策、强化社会参与等方面不断完善智慧城市公共服务建设管理。

摘要：针对起重机主梁结构的稳健优化设计,研究了拉丁超立方体试验设计技术、近似模型技术、基于方差的稳健设计模型构建过程和利用灰色绝对关联度求解多目标优化问题的方法,选取决定起重机主梁截面的5个主要尺寸参数为输入变量,以主梁跨中最大应力和垂直静刚度为响应变量,构建二次多项式响应面模型。在响应面模型的基础上,利用方差作为稳健性评价指标,以最大应力与垂直静刚度的方差和截面面积为3个目标,构建起重机主梁的多目标稳健优化设计模型,并利用灰色绝对关联度进行优化求解。优化结果表明:考虑参数不确定性的稳健优化设计在一定程度上可以降低性能指标对设计参数的敏感性,同时基于近似模型的优化设计可以为复杂工程提供很大的方便,为工程实际中的稳健优化设计提供指导。

摘要：二维轴向光束质量的不均衡是二极管激光线阵应用的最大瓶颈,但利用光束整形技术可加以改善。基于平行玻璃板对光束的偏移作用,设计一种以线阵中独立发光单元作为整形对象的平行玻璃板阵列光束整形方法,可减小整形中慢轴光束能量损失,实现二维轴向光束质量的高效率调整。针对12个发光单元的短二极管激光线阵开展验证实验,结果表明,整形效果符合模拟结果,整形效率达93.62%。

摘要：基于方环形单元设计了一种工作在X/Ku和K/Ka波段的三通带频率选择表面。应用耦合和谐振原理,在介质层加载金属贴片,实现了三个稳定通带,通带的反射系数可达到-30 dB以上,HFSS仿真发现三个通带相对带宽分别为21.6%、27.4%和23.3%,实物测试分别为16.6%、24.3%和20.6%。0~45°入射情况下有着较好的极化稳定性和角度稳定性,中心插损较小,通带平缓。与传统双通带相比,具有更多的频段选择,对于增强卫星通信系统中多频天线的性能有一定的应用前景。

摘要：以系统经济性、环保性、供电可靠性为优化目标,提出基于多代理系统的微电网分层分布式能量优化管理策略,将传统集中式能量优化转变为包含细化变量定义域的微电源分布式计算、基于遗传算法的中心控制器优化、修正优化解的分布式并行调节以及生成最终解的全局协调这4个阶段的分层分布式能量优化,并将各微电源的运行特性与用户控制目标以约束条件的形式,分散到各阶段予以实现。在此基础上,分别针对微电网单目标与多目标优化问题,介绍了各单元代理在每个阶段的工作任务和协作关系,并利用MATLAB和JADE平台构建针对未来24 h的系统优化算例。计算结果表明所提分层分布式能量优化策略能够弱化对微电网中心控制器性能的要求,并且具有更快的运算速度和较好的优化效果。

摘要：根据郑州市过去9年生活用水量的统计资料,分别采用用水量指标法、GM(1,1)灰色系统模型和多元线性回归分析对郑州市2010年、2015年、2020年城市需水量进行预测,并对各种方法的预测结果进行分析比较,确定郑州市2010年、2015年、2020年城市需水量分别为123万、158万、198万m3/d。

摘要：天基信息实时智能服务系统(PNTRC)是多星协同、多网互联的下一代天基信息系统,将广泛应用在卫星通信、导航、遥感等领域。本文针对PNTRC建模仿真和效能评估展开研究,分析了系统评估仿真的必要性、需求以及发展趋势,进而支撑PNTRC顶层设计和实施方案论证。针对PNTRC动态时变、业务多样、异质异构的特性,对场景可扩展的高效分布式仿真、时空动态分析评估方法、系统体系化建模等关键技术展开详细讨论。基于分布式仿真评估系统,以高分辨率对地遥感业务为例,对比和评估了多个低轨通信星座对遥感业务的传输支持能力。研究结果表明,在遥感业务数据传输过程中,覆盖密集的OneWeb星座卫星具有更小的网络时延、丢包以及更高的容量和稳定性,但单星容量反而不及覆盖密度较小的"虹云""鸿雁"星座。本文研究为我国PNTRC可行性论证与工程建设提供了方法和技术手段支撑。

摘要：在气固两相试验台上采用先进的PDA测试系统对不同淡一次风扩口角度情况下径向浓淡旋流燃烧器出口气相速度、湍动能、颗粒粒径、颗粒浓度分布进行了测量 ,并分析了淡一次风扩口角度对燃烧器性能的影响 ,为工程应用和优化设计提供了参考性依据。