形式化方法在电信服务系统中的应用与研究

为提高电信服务系统的稳定性．把形式化方法引入到电信服务系统的研究中,并用典型的形式化规格语言Z开发电信系统中基本功能的形式化规格,该套形式化规格对拔打电话、建立连接、释放连接、修改密码等操作的进行详细、精确的描述。基于Z语言的形式化规格可以应用于电信服务系统开发过程的各个阶段．以期减少电信服务系统内部错误的产生、提高稳定性。     

水库周边违建问题清查整治中的依法行政与权利救济

针对临近水库的别墅等建筑物的清查整治,在实体层面,尤其对于五证齐全的建筑物,如何定性为违建需要慎重把握,对水库管理范围的界定是一个重点问题;在程序层面,应避免执法中因急于求成而催生的程序违法.强拆行为会产生重大损失,涉及多方主体和多重法律关系,应理清其中各方的法律责任,妥善解决纠纷.     

Spatial division networks for weakly supervised detection

Neural Computing and Applications - With only global image-level annotations, weakly supervised learning of deep convolutional neural networks has shown enough capacity in classification and...     

Identifying epidemic spreading dynamics of COVID-19 by pseudocoevolutionary simulated annealing optimizers

Neural Computing and Applications - At the end of 2019, a new coronavirus (COVID-19) epidemic has triggered global public health concern. Here, a model integrating the daily intercity migration...     

From text to graph: a general transition-based AMR parsing using neural network

Neural Computing and Applications - Semantic understanding is an essential research issue for many applications, such as social network analysis, collective intelligence and content computing,...     

基于改进扩展关联模型的飞机组件测试性研究

多信号流图模型是一种简单而有效的系统建模方法,已广泛地应用于测试性分析和故障诊断领域;为了减少飞机维修过程中组件的不必要更换,提高维修效率,对多信号流图模型的建模方法进行研究,以飞机音频管理组件(AMU)为例,建立多信号流图模型,构建故障一测试关联矩阵和故障一故障关联矩阵;为与实际出现的组件故障信息相匹配,对故障一故障矩阵进行改进,构建了实际故障信息一故障关联矩阵,对组件模型进行测试性分析;由实际维修经验可知,该信号模型可快速地定位故障,给出相应的维修措施,减少通常维修中采取的不必要措施,降低了人为因素的影响,大大地缩短了维修时间.     

基于LabVIEW的虚拟车身CAN总线节点设计

为研究汽车车载CAN总线节点网络控制功能,通过对大众PASSAT1.8车身CAN总线系统的数据测试得该系统网络控制是以控制数据帧和状态数据帧的传输实现;选用通用CAN总线接口卡,上位机采用LabVIEW编程,设计虚拟左前门控单元节点模型样机;经实验表明,基于PC平台的虚拟车身CAN总线节点可替代实体车身CAN总线节点来实现原车网络控制功能,具有较强的开放性与灵活性,并可为车载CAN总线系统网络设计、测试与教学提供支撑.     

可视化车辆倒行危险状况报警系统的设计

针对倒车过程中视野受限而无法有效观察车后部障碍物危险的问题,设计的一种基于嵌入式处理器的可视化车辆倒行危险状况报警系统;设计通过压电式超声波发生系统发送超声波信号,传感器接收到从障碍物反射回来的电信号并送入处理器,通过计算信号的传播速度从而得出雷达探头到车后部障碍物之间的距离,并通过车内的TFT彩色液晶屏显示出实测距离,同时根据距离的远近发出节奏不同的报警声音;通过实验测试,系统在常温状态下,测量误差小于0.05m.     

基于ENC424J600的以太网与串行接口转换技术

论述了在STM32系列的MCU上移植TCP/IP协议栈LwIP,并利用新型以太网控制器ENC424J600实现网络数据传输功能。该系统主要完成的功能是接收上位机发送的数据,并将这些数据转换成通用串行接口输出。ENC424J600是Microchip新推出的一款以太网控制器,其速度优于ENC28J60,同时为用户提供两种接口模式。本文介绍了其基于SPI接口模式下的实现过程,详细描述了该网卡驱动的硬件电路和软件流程。