周宇
- 作品数:179 被引量:305H指数:10
- 供职机构:南京航空航天大学更多>>
- 发文基金:国家自然科学基金中央高校基本科研业务费专项资金江苏省自然科学基金更多>>
- 相关领域:自动化与计算机技术文化科学航空宇航科学技术机械工程更多>>
- 挖掘机多路阀系统节能控制研究
- 液压挖掘机是一种大功率设备,其节能性的好坏直接影响了设备使用的经济性和可靠性。国外挖掘机节能技术主要体现在对柴油机、液压泵和主阀的综合控制上,而国产挖掘机在此方面刚处于起步阶段。采用阀控节能控制技术的研究是液压挖掘机机电...
- 周宇
- 关键词:液压挖掘机节能控制功率损失
- 文献传递
- 特色数据库建设资源析取标准与方法探析被引量:7
- 2006年
- 针对特色数据库信息资源内容析取标准和方法作尝试性的探讨,并结合无机非金属材料特色数据库建设进行实践尝试。
- 周宇赵静
- 关键词:特色数据库资源选择
- 一种在众包系统中收集大规模数据的方法
- 本发明公开了一种在众包系统中收集大规模数据的方法,保证服务器可以收集到尽可能多的数据,并且设计了一个激励机制,保证用户积极参与到众包系统中来。包括如下内容:将用户集合随机划分成两个用户集合,所有用户开始提交报价;计算用户...
- 周宇张渊仲盛
- 文献传递
- 商业秘密刑法保护若干问题研究
- 商业秘密是随着工业革命和商品经济的发展而出现的,其在市场竞争中的作用以及给权利人带来的竞争优势已得到市场主体的普遍关注和重视。侵犯商业秘密行为不仅严重损害权利人的合法利益,破坏公平、公开、竞争、有序的市场秩序,而且阻碍科...
- 周宇
- 关键词:商业秘密行为犯罪化刑法保护司法实践
- 基于反例确认的CPS不确定性模型校准
- 2021年
- 信息物理系统被广泛应用于众多关键领域,例如工业控制与智能制造.作为部署在这些关键领域中的系统,其系统质量尤为重要.然而,由于信息物理系统自身的复杂性以及系统中存在的不确定性(例如系统通过传感器感知环境时的偏差),信息物理系统的质量保障面临巨大的挑战.验证是保障系统质量的有效途径之一,基于系统模型与规约,它可以证明系统是否满足要求的性质.现有一些信息物理系统的验证工作也取得了显著进展,例如模型检验技术就被已有工作用于验证系统在不确定性影响下的行为是否满足性质规约,并在性质违反的情况下给出具体反例.这些验证工作的一个重要输入就是不确定性模型,它描述了系统中不确定性的具体情况.而实际中要对系统中不确定性精确建模却并非易事,因此验证中使用的不确定性模型很可能与实际不完全相符,这将导致验证结果不准确并与现实偏离.针对这一问题,提出了一种基于反例确认的不确定性模型校准方法,进一步精化验证结果以提高其准确度.首先通过确认反例在系统的执行中能否被触发来判断验证使用的不确定性模型是否精确.对于不精确的模型再利用遗传算法进行校准,并根据反例确认的结果来构造遗传算法的适应度函数以指导搜索,最后结合假设检验来帮助决定是否接受校准后的结果.代表案例的实验结果表明了所提出的不确定性模型校准方法的有效性.
- 杨文华周宇黄志球
- 关键词:信息物理系统遗传算法
- 基于T2VNN模型的阀冷系统进阀温度预测被引量:2
- 2022年
- 预测进阀温度的变化趋势对阀冷系统中设备运行的安全可靠性具有重要的参考价值.针对传统方法特征提取困难、预测精度低等问题,提出了一种用于预测进阀温度的T2VNN (Time2Vec neural network)模型,该模型首先通过时间序列表示学习方法 Time2Vec对进阀温度进行特征提取,然后结合TCN和双向LSTM的优势,并且使用分位数回归来实现概率预测.最后设计了不同时间步和分位数在多个典型模型上的对比实验,实验结果验证了T2VNN模型具有更高的预测性能,并且通过消融实验证明了模型中各个组成部分的有效性.
- 陈霖周宇
- 关键词:阀冷系统时间序列分位数回归
- 基于移动阅读的高校图书馆信息资源推荐策略与应用研究被引量:3
- 2015年
- 高校图书馆促进信息资源利用的有效方法是面向读者进行资源推荐。本文结合资源推荐和移动阅读,提出一种基于移动阅读的图书馆信息资源推荐方案,本文研究方法是根据用户群体自然属性和学习科研进度进行建模,结合资源类型,针对目标群体进行有针对性的推荐,并利用二维码图片的形式将资源访问地址提供给读者,旨在利用手机阅读的快速性、及时性和方便性提升资源推荐力度和水平。
- 周宇魏太亮廖思琴
- 关键词:信息资源信息服务信息推荐
- 自动IHC染色机控制软件关键技术研究及实现
- 随着IHC技术在病理诊断和鉴别诊断中的地位不断提高,做好IHC染色工作显得尤为重要。在实际操作与应用中,人工染色易受情绪、时间、环境、方法等影响,就算技术再好也得不到稳定理想的结果。使用自动染色机代替人工染色,实现染色过...
- 周宇
- 关键词:免疫组织化学控制软件
- 文献传递
- 新型属性图文法反应式规约验证方法
- 2016年
- 属性图文法广泛应用在软件设计阶段建模和分析阶段。命题式时序逻辑(propositional temporal logic)无法直接表达建模实体包含随时间演化的关联属性反应式规约,提出一种可支持通用图文法转换系统中相应规约的验证方法,通过引入标记节点及属性,将包含相应关联属性的规约公式等价转换为命题式时序逻辑,从而可以间接支持该类型规约的验证。以流行的对象式属性图文法模型检测工具GROOVE为平台,结合启发案例,验证了所提出方法的有效性。
- 黄延凯周宇魏欧
- 面向基于深度学习的代码注释生成模型鲁棒性提升方法
- 本发明公开了一种面向基于深度学习的代码注释生成模型鲁棒性提升方法,步骤如下:利用已公开的数据集训练基于深度学习的代码注释生成模型和基于深度神经网络的代码编码网络;利用上述训练后的代码注释生成模型和代码编码网络,对所用的数...
- 周宇张晓晴沈娟娟
- 文献传递