摘要：状态机设计的灵活性在给开发人员带来高效与便利的同时,也带来三类较典型的问题:由于状态逻辑和时序依存导致的输出错误,由于历史数据缓存导致的状态机计算量庞大的问题,以及由于状态跃迁耦合导致的输出不可控问题。目前这三类问题在软件详细设计和编码中仍然存在。在状态机功能不改变、在有限状态机设计约束条件下从时间复杂度和圈复杂度两个维度对状态机进行等价转换,即将原状态和判定条件进行合并或拆分,根据元模型定义对拆分或合并后的状态进行重组,添加跃迁条件,提出优化的一般性过程。进而针对三类典型问题给出优化算法,用同一算法分别对优化前后的状态机进行测试,并从时间复杂度和圈复杂度两方面验证了优化算法的可行性。该研究的实用价值在于为实时控制和安全苛求系统软件设计或重构提供了一种优化的方法。

摘要：为了准确地反映产品服务系统设计中的顾客需求,文章基于手段-目的链理论从顾客期望角度获取顾客需求,提出了云模型、模糊DEMATEL和改进的分析型Kano模型相结合的方法确定顾客需求重要度。利用云模型解决专家评价模糊不确定问题,确定顾客需求初始重要度。考虑到顾客需求间的有向影响关系,引入模糊DEMATEL方法,对顾客需求初始重要度进行修正。基于贴近度的顾客需求分类准则,构建了改进的分析型Kano模型,引入基于顾客满意度的顾客需求重要度指数和满意度指数,确定顾客需求最终重要度。以某数控机床产品服务系统设计为例,验证了所提模型的可行性和有效性。

摘要：柑橘木虱是黄龙病的主要传播媒介,其发生与活动可对柑橘果园造成毁灭性后果。为实现木虱虫情的高效监测,设计了一种集诱捕拍照、耗材更新、害虫识别与结果展示于一体的智能监测系统。设计了具备诱虫胶带自动更新、虫情图像实时获取功能的诱捕监测装置;应用选点裁剪、Mosaic数据增强(Mosaic data augmentation,MDA)和CA(Coordinate attention)注意力机制,改进了YOLO v8木虱识别模型;开发了Web和手机APP客户端,可实现虫情数据的可视化展示与远程控制。模型测试阶段,改进后的YOLO v8-MC召回率、F1值及精确率分别达到91.20%、91%、90.60%,较基准模型分别提升5.47、5、4.64个百分点;迁移试验中,模型召回率、F1值及精确率分别达到88.64%、87%、84.78%,且系统工作状态良好,满足野外使用需求。开发的智能监测系统能有效实现果园木虱虫情的远程监测,可为此类虫害防治管理提供有效手段。

摘要：静态随机存储器(Static Random Access Memory, SRAM)型现场可编程门阵列(Field Programmable Gate Array, FPGA)广泛应用于航空航天系统中,但是高空中FPGA易受高能粒子影响造成配置出错,互联资源上发生的单点错误可能导致跨域故障,使芯片内多个模块同时失效。跨域故障可能导致电路中的工作模块与检错模块同时故障,使设备中存在不能被检测到的隐蔽故障。针对上述问题,提出在芯片上将不同功能的模块相互隔离,并通过约束实现模块间可信通信的故障隔离方法,将故障限定在单一模块内,防止多个模块同时失效,提高电路的容错能力。通过故障注入评估隔离设计前后的航空电子全双工交换式以太网(Avionics Full Duplex Switched Ethernet, AFDX)电路的各类故障发生率。实验结果证明隔离设计可以与电路原有的检错容错机制结合,将隐蔽故障的发生率降为原来的3%。

摘要：匹配量隐藏的加密多重映射(EMM)方案可以防止攻击者利用匹配量泄露推理搜索的明文,但是现有方案存在查询计算开销较大的问题。基于被检索数据的匹配量往往服从齐夫定律的特性,设计了一种分层结构的匹配量隐藏EMM方案。相对将全部键值匹配量填充至相等的朴素设计,所提方案将对整体数据的填充转为对多块子数据的填充,减少了存储开销,并实现了常数复杂度的查询开销。安全性分析表明,所提方案能够在查询结果无损的情况下实现匹配量隐藏。仿真结果表明,与当前最高效的方案XorMM相比,所提方案能够以增加10%的存储开销为代价,减小90%的查询计算开销,显著提高查询效率。

摘要：核磁共振测井是一种直接探测储层孔隙流体性质的地球物理方法,随钻核磁共振技术是在钻井过程中实时获得油气藏评价参数的技术方法.面对复杂油气藏中随钻核磁共振测量问题,通过缩短脉冲序列的回波间隔,可以减少仪器测量时间,能够获得快速衰减的短弛豫组分,实现储层孔隙结构的精细表征.本文提出了一种多级能量泄放方法,能够逐级降低天线品质因数,缩短天线恢复的死区时间,在不改变回波采集信噪比的情况下,实现脉冲序列的短回波间隔采集系统设计,并在随钻核磁共振测井仪器实验样机上进行了测试验证.测试结果表明,仪器回波信号信噪比良好,振铃噪声与回波信号区分明显,测试结果与模拟仿真结果一致,能够实现短回波间隔数据采集,验证了方法的有效性和实用性.

摘要：湿式离合器是车辆传动系统核心元件,在高速分离状态下易出现摩擦片和钢片之间的碰撞摩擦,由此引起离合器带排转矩的急剧增大,影响其传动效率和可靠性。因此,本文以降低离合器高速段碰摩带排转矩为目标,对摩擦片表面微织构进行了优化设计。首先提出了摩擦片表面任意微织构形线参数化建模方法;然后选取了微织构的数量、深度、周向占比、径向占比和形线参数,构建了微织构优化的设计变量、约束条件和优化目标函数,通过将试验设计、模拟近似模型和搜索寻优相结合,建立了摩擦片表面微织构优化设计模型;最后进行了微织构优化前后的带排转矩对比试验。结果表明优化后的微织构可显著降低高速段碰摩带排转矩,并大幅推迟摩擦副高速碰摩现象出现的线速度。

摘要：当前,生成对抗网络(Generative Adversarial Networks,GAN)合成的逼真图像难以识别,严重危害国家网络安全及社会稳定.与此同时,多数基于深度神经网络模型设计的检测器需要大规模训练样本,且存在模型可解释度不高、泛化性能差等问题.为了克服上述亟待解决的关键性难题,本文提出一种多色彩通道特征融合的GAN合成图像检测方法.首先,探索分析真实自然图像和GAN合成图像在不同色彩空间相邻像素之间的差异,并设计差异度量算法,完成色彩通道选择.其次,利用图像像素间的高度相关性,在八个方向上通过二阶马尔可夫链对相邻像素之间的差分数组进行建模,提取差分像素邻接矩阵特征.最后,利用上述特征,设计一种简单且高效的集成分类器完成GAN合成图像的检测任务.在基于StyleGAN模型合成的伪造人脸数据集中,所提出方法的检测准确率高达100.00%;在小样本训练约束条件下,正负样本对数仅仅为2时,检测准确率高达99.65%;在单类样本训练约束条件下,正样本数仅仅为50时,检测准确率高达92.84%.在基于更先进的StyleGAN2和PGGAN模型合成的伪造场景数据集中,所提出方法的检测准确率达到99.96%以上.以上大量实验表明,本文所提出的方法明显优于比较的GAN合成图像检测方法.本文方法已经开源:https://***/cyxcyx559/ccss.

摘要：高外水压力是制约超深埋水工隧洞建设的关键性难题之一,以排水孔为中心的综合堵排措施是降低外水压力的主要举措。为克服传统排水孔实体单元法整体网格划分难度大和计算效率较低的问题,首先,基于ABAQUS平台开发了两节点排水孔线单元模型,并验证其在隧洞工程数值模拟分析中的正确性和有效性;其次,建立了考虑防渗排水措施的围岩-衬砌三维有限元模型,研究多种防渗排水措施下的隧洞渗流场及衬砌外水压力分布规律;最后,探讨了防渗灌浆圈与排水孔设计参数对外水压力分布的影响,提出了防渗灌浆圈与排水孔间隔布置的原则。研究结果表明:所开发的两节点排水孔线单元具有较高的精度,在排水孔数目繁多的模型中具有极高效率;排水孔数目越多、深度越大、排距越小,衬砌外水压力越低;排水孔能够有效降低衬砌的外水压力,而防渗灌浆圈降外压能力有限;在排水孔末端间隔一定厚度围岩后再施作防渗灌浆圈,可更有效发挥两者的降压作用。

摘要：为研究汽车座椅乘员姿态舒适性问题,针对影响乘员舒适性的矢状面姿态角度指标,文中提出了一种基于中国人群覆盖范围和博弈组合赋权的评价分级方法。首先,采用动作捕捉技术获取乘员各舒适姿态角度,得到角度覆盖的人群范围,从而计算各姿态角度指标得分;采用G1法和熵权法分别计算各指标的主客观权重,基于博弈组合赋权得到各指标的综合最优权重;最终,根据各指标得分及最优权重,按照加权平均方式得到汽车座椅整体姿态舒适性评分;制订5级分级标准获取汽车座椅乘坐姿态舒适性等级。通过被试乘坐汽车座椅的主观体验评分验证建立的分级模型的可行性,为国内智能座舱的座椅姿态调节模式优化设计提供指导和依据。