摘要：UCM模型作为一种图形化的业务场景模型,其场景设计可以表示需求和产生规格,驱动设计和系统演化,UCM模型的正确性影响软件开发的质量.鉴于形式化模型可以验证其正确性,提出了一种利用扩展的Petri网模型,应用模型驱动实现业务场景模型的形式化方法.该方法通过细化Petri网模型中的Transition结点,从而有效的描述业务场景模型中的路径决策和动态行为.通过对UCM模型和扩展的Petri网模型的抽象语法定义,利用模型驱动方法定义了UCM模型元素形式化映射为Petri网模型元素的规则,并根据其规则设计了映射算法;在Eclipse平台上使用ATL语言实现了模型的形式化映射;应用Web Payment实例演示了UCM模型的形式化分析结果.

摘要：静止土压力系数K0是岩土工程设计中的一个重要参数,对深基坑工程设计和安全可靠性有直接的影响。由于土体经历复杂的加载、卸载过程以及室内试验的限制,往往难以准确地确定K0,因此现代原位测试技术更加广泛地用于K0的评价之中。国外广泛采用了扁铲侧胀试验、旁压试验和孔压静力触探试验等对K0进行预测,并提出了一些经验公式。本文以南京金融城二期深大基坑工程为背景,采用多功能孔压静力触探(CPTU)对黏性土层进行测试和分析。首先介绍了基于CPTU预测静止土压力系数K0的方法,然后将基于CPTU测试预测的K0值与室内试验值进行对比,最后研究了南京黏性土的静止土压力系数K0与归一化锥尖阻力的相关关系。试验结果表明,采用多功能CPTU测试技术能够有效地评价黏性土的静止土压力系数,并建立了预测南京黏性土K0的公式。

摘要：论述了工厂化养殖系统优化设计原则，即适用性、可靠性和经济性的内涵及其实现措施，结合该原则，提出了大菱鲆工厂化养殖系统的概念设计和水处理工艺。采用该原则设计的工厂化养殖系统，1kg商品鱼的耗水量仅为24．47m^3，虽较国外发达国家的同类养殖系统（13—15m^3水／kg鱼）略高，但大大低于流水养殖模式的耗水量（360-600m^3水／kg鱼）。

摘要：为避免机场滑行道发生冲突,减轻管制员负荷,提出一种基于传感器网络的滑行道冲突控制策略。该策略根据滑行道运行过程,利用Petri网建立传感器网络条件下的滑行道动态模型,并建立滑行道运行约束模型。针对航空器运行冲突问题,利用局部关联矩阵方法和逻辑互斥方法设计控制器,控制器给出灯光控制指令以控制助航灯光,从而实现滑行道冲突避免和自动引导。最后通过实例分析和仿真验证表明控制策略的有效性。

摘要：电连接器插孔是电气连接和信号传递的重要基本元件,插孔的弯曲回弹和精度是影响连接质量的主要因素,同时也是插孔弯曲工艺制定和模具设计的关键问题。根据回弹理论,对插孔在弯曲条件下的应力应变进行分析,将插孔横截面上弯曲变形区划分为弹性区和塑性区,分别获得了各区域弯曲力矩作用下的回弹角,推导出回弹量的近似计算公式。最后对插孔弯曲回弹进行了数值分析,指出与实际回弹角度存在误差的原因。

摘要：海绵校园技术的应用是中国校园景观自然式雨洪管理的核心手段,借助于3S技术(GIS、RS、GPS)、UAV摄影测量技术等现代数字信息采集手段,建设更好的校园景观生态,借鉴海绵城市建设的理念与思路,提出相应解决方案,更加详细、科学、有效地挖掘研究区的整体景观结构特征及其对应的景观功能,使针对景观格局水资源综合利用的分析更加完整,有利于南京林业大学校园内受灾严重道路的整改工作,方便学生和老师的学习和生活。

摘要：针对在电网三相电压不平衡时传统锁相环不能准确检测基波正序相位的问题,设计了一种双正弦幅值积分器解耦锁相环(decoupled double sinusoidal amplitude integrator phase-locked loop,DDSAI-PLL)。该锁相环利用正弦幅值积分器的频率选择特性,在αβ坐标系下采用正负序解耦结构实现了正序分量的完全提取。同时引入一阶负反馈系统作为频率自适应环节,使锁相环在电网频率发生偏移时仍然可以对基波正序频率进行准确估计。建立了DDSAI-PLL的数学模型,并对其关键参数进行了设计。最后使用DSP实现该锁相环,并在电压畸变条件下与传统的同步参考坐标系锁相环(SRF-PLL)进行了对比实验,结果证明了所提锁相方法的有效性。

摘要：针对飞行区场面运行控制仿真的需求,在Anylogic仿真平台上设计和开发了基于Petri网的飞行区场面运行控制仿真软件,并用于实现A-SMGCS冲突监控算法。通过分析基于Petri网的场面运行建模与控制仿真需求,确定了软件的功能目标和体系结构。研究了软件实现和开发中的几个关键技术问题,如Petri网模型基本类的设计、面向闭环控制的Petri网模型扩展定义、开环和闭环场面运行Petri网模型的仿真算法设计。某机场飞行区的场面运行控制仿真表明,软件可以完成场面运行的闭环控制仿真,支持实现冲突监控算法。

摘要：根据江苏海洋预报减灾业务发展需求,为将多源海洋观测站点数据汇交至海洋预警报业务场所,充分发挥数据效用,实现多类型、多要素海洋观测数据信息集成显示,利用ETL数据处理技术、Smart Earth等技术设计研发了海洋观测信息集成展示服务系统,从而实现了终端数据采集、海洋观测终端管理、海洋观测数据管理、海洋观测数据统计分析、观测数据GIS应用、观测站监控等一系列功能。

摘要：渔文化是指在渔业生产、渔民生活中形成的具有传承性的物质和精神成果,渔文化生态保护区是对具有重要价值和鲜明特色的渔文化生态进行整体保护、活态传承的特定区域,洪泽湖区是渔文化生态的典型区域,在文化生态资源分析基础上,指出多元、融合是洪泽湖渔文化的主要表现形式,独特的自然与人文环境是洪泽湖渔文化的形成基础,洪泽湖变迁是洪泽湖渔文化形成流变的基本主题。通过价值评估,选择数量、等级、密度、存续状况等因子进行空间量化分析,确定"一区、两轴、三节点"的保护格局,提出相应的保护方式和传承措施,合理利用,保护文化生态环境和文化空间。