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

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

基于分布式信息流控制的MapReduce隐私安全加强方案研究

随着信息技术的发展,分布式系统被广泛应用于金融、医疗等领域。其中以基于MapReduce的数据挖掘为代表的应用对隐私的保护往往有很高的要求。本文提出一个基于分布式信息流控制的MapReduce框架,用以保证MapReduce中信息的私密性和完整性,同时给出系统原型的实现。     

快速电磁计算软件包设计与应用

描述了快速电磁计算软件包的设计思想,展现了软件包结构和工程计算结果,并且验证了软件包有效性和通用性,也展现了时域积分方程快速算法的优点。     

基于Linux VMware虚拟机的串口通信

嵌入式开发领域经常使用串口通信,但串口通信方式占用很多硬件资源,设备的利用率较低。文章研究了基于Linux VMware虚拟机进行串口通信的Use Physical Serial Port模式、Use Out File模式以及Use Named Pipe模式的功能和特点,给出了基于VMware构建串口通信环境的方法以及具体实现过程。     

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

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

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...     

基于PLC的单轨吊司控道岔系统设计

针对单轨吊道岔人工就地控制方式可能导致单轨吊频繁启停、影响运输的连贯性等问题,设计了一种基于PLC的单轨吊司控道岔系统。该系统以PLC为控制核心,实现了道岔远程司控、道岔状态指示、故障报警等功能,保障了单轨吊运输的安全性、连续性,提高了煤矿辅助运输系统的自动化程度和工作效率。     

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

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

基于PCI总线的通用旋转变压器解算系统设计

针对轴角参量的闭环控制和检测的局限性,设计了一种基于PCI总线的通用旋转变压器解算系统;通过DDS模块和功率放大电路产生激磁信号,在FPGA的控制下,解算芯片完成轴角参量的解算;采用FIFO机制进行数据缓存,采样时标达到0.1ms;系统具有激磁信号频率0Hz到10kHz可变、速比1∶8到1∶64可调的特点,是一种精度高、通用性好的轴角检测解决方案。     

基于自由摆的平板精确控制与激光追踪系统

以TI公司的MSP430F5438单片机为控制核心,结合步进电机和精密电位器WDD35D-4,实现了基于自由摆的平板控制与激光追踪系统。当摆杆摆角为45°～60°时,平板可以承载8枚一元硬币,并在5个摆动周期内维持稳定;当摆杆摆角为30°～60°时,固定在摆杆平板上的激光笔可以在15s内找到并跟踪1.5m远处的靶心。