软件开发教学中知识演化和团队协作工具研究

研究一种能更好支持软件开发过程教学中团队构建和知识获取的工具。以协作式理论为基础,从团队协作的需要入手讨论相关的工具支持。该工具的核心是一个采用分布式架构的能够进行软件建模,并能有效支持冲突消解的电子白板系统,主要采用集中控制的方法对电子白板对象进行控制,以避免用户对白板对象操作的冲突;采用双令牌算法对用户语音发言进行控制,使用户的交流更加自然。该系统能够有效地提高学习者的参与积极性和对知识理解的一致性,能够大大提高软件开发教学的效果。     

超视距空战飞行轨迹建模及仿真

超视距多目标攻击逻辑决策和空战态势评估是超视距空战研究的主要方面,但对空战战术影响较大的战机飞行轨迹和飞行参数的研究较少.通过对超视距空战和视距内空战的比较,分析了超视距空战的空战过程.根据超视距空战迎头攻击战术的特点,建立了相应飞行轨迹的数学模型,并求解了载机速度、载机发射导弹速度、转弯速度、载机转弯半径、目标机速度、载机飞行时间、转弯时间和导弹飞行时间之间的关系.通过仿真分析了飞行参数对飞行轨迹的影响,并根据载机性能约束条件,求解了飞行参数的最优解.仿真结果表明,飞行轨迹模型和最优飞行参数设计的合理性和可信性,可为超视距空战战术、战法决策等作战应用提供重要参考.     

基于安全协议代码的形式化辅助建模研究

随着安全协议形式化分析技术的不断发展,利用工具自动验证虽已得到实现,但建模环节仍需依赖专业人员手工建模,难度大且成本高,限制了此技术的进一步推广。为了提高建模的自动化程度,提出了依据安全协议代码进行形式化模型辅助生成的方案。首先,使用污点分析获取协议的通信流程,并且记录密码学原语操作;然后,根据通信流程之间的序列关系构建协议通信状态机;最终,根据目前主流的安全协议形式化分析工具Tamarin的模型语法生成形式化模型。实验结果表明,此方案可以生成形式化模型中的关键部分,提高了形式化建模的自动化程度,为形式化分析技术的推广作出贡献。     

A simplification method for capacitance models in AlGaN/GaN high electron mobility transistors under large drain voltage using channel analysis

This article analyzes the bias dependence of gate‐drain capacitance (C_gd) and gate‐source capacitance (C_gs) in the AlGaN/GaN high electron mobility transistors under a high drain‐to‐source voltage (V_ds) from the perspective of channel shape variation, and further simplifies C_gd and C_gs to be gate‐to‐source voltage (V_gs) dependent only at high V_ds. This method can significantly reduce the number of parameters to be fitted in C_gd and C_gs and therefore lower the difficulty of model development. The Angelov capacitance models are chosen for verifying the effectiveness of simplification. Good agreement between simulated and measured small‐signal S‐parameters, large‐signal power sweep, and power contours comprehensively proves the accuracy of this simplification method.     

Smart dispatching and optimal elevator group control through real-time occupancy-aware deep learning of usage patterns

Passengers spend much time on elevator journeys in high-rise buildings every day, in which unnecessary stops caused by lack of cab capacity take up a certain proportion of the journey time. This study proposes real-time occupancy-aware smart dispatching to avoid pick-up failure by introducing the occupancy information that reflects elevator capacity into the optimization model, thus improving dispatching performance. Occupancy awareness is firstly implemented with deep learning-based object detection to provide estimated capacity. Traffic pattern recognition is implemented with time series analysis and fuzzy logic. Case-based reasoning is applied to recognize the current usage pattern and to deploy specific dispatching strategies. A prioritized A* search model is built to solve dispatching optimization with occupancy information. Discrete event simulation is conducted with Simio and MATLAB to validate the proposed dispatching model.     

强关系型社交媒体平台不实信息传播模型研究

社交媒体是当前人们获取信息的重要渠道,但是社交媒体中不实信息大量传播造成社会危害的问题一直困扰着管理者。为了减轻不实信息造成的不良社会影响,对不实信息的传播规律进行研究。划分出强关系型社交媒体,通过Multi-Agent建模的方法,引入用户个体异质性和决策行为不确定性,建立不实信息传播模型。用控制变量法,在多种网络中进行仿真模拟。研究表明：不实信息传播的初始节点不完全能够决定不实信息的传播范围;不实信息传播过程的缓解期长短与网络的随机性有关;用户观点共鸣度分布会对不实信息传播产生影响。     

装配式建筑自上而下设计信息协同与模型构建

为顺应国家建筑产业化、智能化发展的政策引导,针对当前装配式建筑专业信息缺乏关联、模 型利用不充分、数据传递效率低下等问题,提出基于建筑信息模型(BIM)技术的自上而下设计方法。以装配式 建筑的设计阶段为切入点,详细阐述了基于 BIM 技术的装配式建筑自上而下设计流程。结合装配式建筑的标 准化构件设计和组装特点,提出一种基于自上而下设计的装配模型,并从层级和专业 2 个角度描述了模型的架 构。针对各专业模型传递时的数据信息标准化、一致性问题,通过工业基础类(IFC)标准对装配模型进行实体和 属性集的扩展,提出基于 IFC 标准的各专业、各阶段的自上而下设计信息协同。经实例验证了 IFC 扩展装配模 型的自上而下设计可行性,为装配式建筑的协同设计提供了有益的方法借鉴。     

下一代测试系统的多参量建模与同步测试分析

针对复杂电子装置及系统的故障诊断和自动测试,传统的测试仪器和自动测试系统已不能满足实际要求,下一代测试系统和综合仪器便应运而生.在设计下一代测试系统和综合仪器的基础上,给出了下一代测试系统的关联多参量的描述方法,以及对自动测试至关重要的同步测试方法.     

Image-based extended finite element modeling of thermal barrier coatings

Further advances in Thermal Barrier Coating (TBC) design are linked with the evolution of numerical models for TBCs. The present paper, therefore, enhances the idea of a currently available FEM package (OOF) that has been designed for microstructural level simulations. The approach of Extended FEM (XFEM) is incorporated in an in-house developed program to account for the existence of cracks in TBCs; both for stress-strain analysis and for heat transfer analysis. The new XFEM program is then employed to carry out the analyses of a YSZ deposit and a multilayered TBC to predict the effective Young's moduli, the overall thermal conductivities, and to assess the fracture behavior of the coating.