多尺度视觉特征提取及跨模态对齐的连续手语识别

连续手语识别研究中,视觉特征的有效表示是提升识别效果的关键。然而,手语动作时序长度的差异性及手语弱标注现象,使得有效的视觉特征提取更加困难。针对上述问题,提出了多尺度视觉特征提取及跨模态对齐的连续手语识别方法(MECA)。该方法主要包含多尺度视觉特征提取模型和跨模态对齐约束。在多尺度视觉特征提取模型中,并行地融合具备不同扩张因子的瓶颈残差结构,来丰富多尺度时序感受野,用于提取不同时序长度的手语视觉特征,同时采用层级复用设计进一步强化视觉特征表示。在跨模态对齐约束中,采用动态时间规整建模手语视觉特征和文本特征之间的内在联系,其中,文本特征提取由多层感知机和长短期记忆网络协作实现。在具备挑战性的公开数据集RWTH-2014、RWTH-2014T、CSL-Daily上进行实验,结果表明所提方法达到目前具有竞争力的性能。上述实验验证了所提的采用多尺度的方式可以捕捉不同时序长度的手语动作,以及构建跨模态对齐约束的思路是正确且有效的,适用于弱监督条件下的连续手语识别任务。

一种数据存储SoC芯片的静态时序约束设计

静态时序分析主要依赖于时序模型和时序约束,是数字芯片时序验证的重要方法,其中时序约束是用来描述设计人员对时序的要求,如时钟频率、输入/输出延迟等。正确的时序约束可以缩短芯片设计周期,更快更好地完成静态时序分析。针对一款数据存储SoC芯片中的多时钟域异步设计要求,以及如何正确处理时序约束存在的问题,提出一种多分组异步时钟的全芯片时序约束,采用虚假路径、多时钟域分组、禁用单个寄存器多时钟分析设置等方法修复和优化设计规则、建立时间和保持时间违例,解决SoC存储芯片静态时序分析中的时序问题,保证所有时序路径正常满足时序逻辑功能要求,完成时序收敛,达到签核标准。

一种可处理数据缺失的视角无关手语识别方法

基于虚拟立体视假设,借鉴RANSAC技术的思想,文中针对数据缺失(帧对之间匹配特征可能较少)情况下的视角无关手语识别问题,提出一种Sample-Consensus方法.其基本出发点是,同一手语不同视角下的两个样本序列之间所有的对应帧对,可以解释为由某一虚拟立体视觉系统同步捕获,因而满足同一个基础矩阵,而且此基础矩阵能够基于部分对应帧对包含的点对应关系进行估计.实验表明,提出的Sample-Consensus方法能够有效地应用于数据缺失情况下的视角无关手语识别.另外,这种方法也可以扩展到相近的领域,如视角无关的动作识别和刚体运动分析等.

输入受限时电机伺服系统渐近跟踪控制

参数不确定性、不确定非线性(特别是非线性摩擦)以及输入受限等非线性问题在电机伺服系统中广泛存在,针对以上诸多问题,建立了包含连续可微摩擦模型的系统数学模型,提出了一种基于误差符号积分鲁棒控制器的新型控制方法。该方法能实现在输入受限时和外干扰作用下的渐近跟踪。采用Lyapunov函数从理论上证明控制器的渐近稳定性。仿真对比结果表明,该控制方法在输入受限时展现了优良的跟踪精度和响应速度,且具有较强的鲁棒性。

对农民工劳动签约率影响因素的实证研究——基于劳动合同法的探讨

目前,我国农民工劳动并未得到劳动合同法的有效保护,劳动不签约和违约现象普遍存在。基于广东农民工的问卷调查进行实证研究,结果表明:农民工劳动合约与人力资本专用性、流动性、工会组织、合约知识有着密切联系。给合约双方足够的合约激励与约束是有效推进农民工签订劳动合约的重要条件。最后基于劳动合同法,从提高农民工劳动合约制度的激励作用和增加违约成本两方面提出政策建议。

无界域上带限制的非线性椭圆特征问题的多解和变号解

在径向对称的Sobolev空间中,利用约束变分方法,通过构造切伪梯度向量场,证明了无界区域上带限制的非线性椭圆特征问题正解、负解及变号解的存在性。

电子路牌显示质量缺陷的快速准确识别方法

针对电子路牌显示质量缺陷自动光学检测时,遮阳板反光干扰与目标区域低对比度难以分割的问题,提出一种基于面积约束的阈值分割新方法。构造利用像素点频域和时域信息的双边滤波方式,对原始图像进行处理;在直方图阈值分割法基础上引入面积约束条件,并根据先验信息限制阈值取值范围;最后通过图像矩实现对缺陷目标的识别。实验结果表明:该方法成功实现了对电子路牌显示质量缺陷的实时、快速、准确检测,为电子路牌缺陷检测提供了一种有效的解决方法。

口语和手语认知中的言语分割机制

口语和手语都具有自然语言属性。虽然口语和手语在语言输入方式上存在本质差异,但在语言分割时都遵循PWC规则。语言分割是指个体将输入言语信息分割成独立词汇,然后理解话语的意义。PWC规则是一种合理词汇约束规则,当单词符合合理的构词规则时,句子中的词汇才会被识别成一个真词,不合理的词汇会被抑制。在口语和手语认知中,PWC规则是一种普遍的语言分割规则。

Alzette的安全性分析

本文研究了Alzette(2020年美密会议上提出的ARX结构S盒)抗差分类分析的安全性.首先,对于模加操作上的有效异或差分,通过利用符号差分的概念,本文给出了符号差分比特之间关系的比特向量表示.其次,通过将Lipmaa-Moriai限制条件以及符号差分比特约束条件转化为SMT问题,本文提出了一种基于SAT/SMT求解器的ARX结构不可能差分区分器自动化搜索工具.该自动化工具是首个利用Lipmaa-Moriai限制条件以及符号差分搜索ARX结构不可能差分区分器的自动化工具.利用该工具可以发现被传统搜索方法忽略的有效的不可能差分区分器.最后,通过利用新的自动化工具以及传统方法搜索Alzette的不可能差分区分器,在输入差分汉明重量为2、输出差分汉明重量为1的条件下,我们分别发现了128993个和128767个不可能差分区分器,证明新的自动化工具能够更好地过滤无效差分路径;此外,将新的自动化搜索工具用于搜索4轮无密钥注入SPECK64不可能差分区分器,在输入差分汉明重量为2、输出差分汉明重量为1的条件下,我们发现了128976个不可能差分区分器,说明Alzette设计团队的安全性评估是不够全面的.据我们所知,这是首次利用不可能差分性质评估Alzette的安全性.

电力系统机电暂态的混合单调特性

结构愈发复杂的电网能够保持长期稳定运行,一定程度上得益于内在的系统特性。其中混合单调性衍生于单调性,其作为动态系统的定性性质,能够说明系统结构中固有的增长与衰减机制。电网机电暂态数学模型动态过程中的雅可比矩阵在不同时段往往具有不变的符号特征,符合混合单调系统特征,文中结合混合单调分解技术对系统关键状态变量起正作用和负作用的部分进行拆分,挖掘了各状态变量间的增长和衰减机制,进而分析了系统机电暂态尺度下的动态响应特性,解释了电网运行经验。基于混合单调分解结果构造了一个具有双边比较性能的单调增广系统,其顶点响应提供了原系统区间响应的快速估计,为不确定性问题提供量化分析结果。

非负矩阵分解在交通标志标线特征识别的双约束算法

对一类非负矩阵分解算法进行改进，在原算法的基础上增加了对基矩阵稀疏度控制参数μ。该算法有利地提高了处理交通标志标线图形类非负矩阵分解效率，通过双约束参数对目标函数的稀松度进行了有效控制，在保证交通标志标线分解有效性的基础上，提高了非负矩阵分解的可控性和有效性。

计算机手语的研究与应用

主要介绍国内外计算机手语研究的主要方向及应用,包括手语的识别,手语的合成,手语的网络通信和手的运动约束。文中详细介绍了手语识别的各种方法,手语合成的组成部分,手语网络通信的实现技术以及手的运动约束问题。

基于分群和几何约束的器官外部组织快速剥离方法

人体器官组织外部存在复杂的粘连和交错叠加,保留合理的外部参考组织而剥离掉部分外部组织对微创等手术提供可视化导视具有重要意义。本研究提出一种新的通过属性分群和几何约束对器官外部组织进行快速剥离方法,并采用有符号距离场运算对分割后的器官组织空洞进行有效的填充,分割和渲染的数据处理在GPU和CPU间交互操作,实现了人体器官分割和剥离的仿真显示。实验结果表明本研究方法可为各种器官的外部组织的整体和局部分割和剥离提供可视的实时显示,可为微创手术和介入治疗提供导视。

经济结构冲击综述及国内外研究进展

随着国际经济局势的不断波动,研究和分析经济危机的产生原因以及波动周期日益成为经济学的热点。经济学家一直认为,经济危机的出现源自经济波动,只有经济的波动才会带来经济的"峰-谷"循环,而经济波动出现的原因大多取决于结构的冲击。因此,文章从经济结构冲击的研究方法上对结构冲击识别进行了研究。文章基于VAR模型,分析了识别方法约束条件的变化过程及三大约束条件,就国内结构识别方法这一课题研究应用的主要理论模型的研究成果进行了综述性分析。最后对结构冲击识别方式的使用方向进行了阐述,得出了基于不同经济学流派、数学模型下的识别方式的具体研究环境,并针对不同的经济学研究方向给出了上述识别方式的主要应用环境。以期对未来我国经济学经济危机以及结构冲击识别等方面的研究带来新的启示。

高速公路动、静态标志一体化研究

从高速公路动、静态标志一体化的基础条件入手,首先对标志信息一体化内容进行研究挖掘;基于认知模型进行最小前置距离分析和基于短时记忆进行最大前置距离分析,在此基础上得出动、静态标志合并距离条件,为高速公路动、静态标志具体的一体化方案提供了空间约束条件。最后,以设计速度为120km/h的双向四车道高速公路为例,提出了标志一体化的基本方案及设计示例。

修正非线性Schrdinger方程的变号解

本文考虑下列修正非线性Schrodinger方程：{△u＋1/2△u2-V（x）＋λ｜u｜p＋2 u=0 x∈R N u（x）→0, x→∞此方程出现在数学物理的一些模型中，数学上也有很多讨论．形式上方程有变分结构，但是很难找到合适的工作空间使得相应的泛函同时具有光滑性和满足紧性条件．本文引入p-Laplace项扰动，扰动问题的解作为原问题的近似解，并得到适当的估计，从而转向极限后得到原问题的解．本文证明方程有无穷多变号解满足积分约束∫R N｜u｜p dx=1,这时方程中常数λ作为Lagrange乘子出现．

货币扩张、投资约束与家庭消费:理论模型与中国经验

为考察扩张性货币冲击对家庭消费支出的影响方向和大小,本文首先在动态随机一般均衡框架内构建企业的营运资本模型,货币扩张通过银行向企业提供的营运资本信贷影响整体经济。理论模型的数值模拟结果显示,如果家庭支出中只有消费受到流动性约束,货币扩张对消费支出产生负向效应;如果家庭的消费和投资支出都受到流动性约束,并且投资存在实际摩擦,货币扩张对消费产生正向效应。文章随后利用中国宏观经济季度数据,运用结构向量自回归(SVAR)模型进行了经验研究。基于长期约束条件和符号约束条件的SVAR模型的计量结果均说明,我国经济中的扩张性货币冲击促进了家庭的消费支出。经验研究支持了理论模型中的投资约束假设。

审计师任期交错与审计质量:基于任期管制视角

在中外审计实务中审计师任期交错是一种普遍现象,已有研究主要从静态考察审计师任期长短对审计质量的影响,但从动态看任期交错很可能是影响审计质量的一个重要却被忽略的因素。基于审计师任期管制视角,考察审计师任期交错对审计质量是产生提升效应还是产生降低效应,从客户公司、审计师个体和事务所主体3个维度,考察任期交错效应发挥作用的约束机制。以2009年至2017年中国沪深A股非金融类上市公司作为研究样本,运用Stata 15.0进行多元回归分析,构建Heckman两阶段模型和DID模型缓解内生性问题,保障研究结果的稳健性。研究结果表明,(1)审计报告中两位签字审计师的任期交错能够提高审计独立性并提升审计质量,而且二者任期错开的年数越长,交错效应越强;区分审计师角色,无论项目负责人与项目合伙人的任期孰长孰短,任期交错的积极效应都显著存在。在考虑任期临界点和内生性问题等一系列稳健性检验后,结果仍成立。(2)进一步考察审计师任期交错效应的约束机制发现,任期交错效应在阅历丰富审计师组合、男性组合、异地审计和审计聘任初期阶段更明显,但被老客户审计中形成的超工具性关系显著弱化。然而,任期交错效应不受事务所类型或审计师教育背景等因素影响。基于审计师轮换制度背景,探讨审计师任期交错行为及其经济后果,拓展了审计质量的影响因素研究;从客户公司-审计师-事务所3个维度厘清了审计师任期交错效应的作用机理,引导事务所优化审计师资源配置,完善审计质量控制路径和机制。审计师任期交错这一新视角为研究任期管制问题提供了来自中国资本市场的证据。

输入受限的混沌系统同步控制

在混沌系统的同步控制中,由于混沌系统对初始状态的敏感性,一旦两个混沌系统的状态初值偏差大,其状态同步往往需要高幅值的控制律来达到,这给同步控制实现带来了困难,并且在同步控制中,两个混沌系统的初始值通常是未知的.本文考虑控制输入受限情况下的混沌同步控制问题,基于符号函数的近似表示式,将受限的控制输入建模为连续可微的光滑函数,在每一个采样点将同步控制误差系统近似为局部最优线性模型并设计连续型线性二次型调节器(LQR)最优控制律.为降低混沌同步控制律的幅值和维持同步系统采样时刻之间的动态,设计了等价的离散最优控制律,并通过调整LQR性能加权矩阵值,确保同步控制信号不会超出其受限的上界.最后对统一混沌模型下的三种不同混沌系统同步控制进行了仿真研究.仿真结果验证了方法的有效性.

公路动、静态标志整合技术研究

针对公路信息发布重合路段的动、静态标志,从标志整合具备的基础条件入手,参考城市快速路在标志整合上的相关经验,对公路动、静态标志整合内容进行挖掘。基于认知模型的最小前置距离分析和基于短时记忆的最大前置距离分析,在此基础上得出动、静态标志合并距离条件,为公路动、静态标志具体的整合方案提供了空间约束条件。最后,以设计速度为120km/h的双向四车道高速公路为例,提出了标志整合的基本方案。