|
搜索
搜 索
高等教育领域数字化综合服务平台
一种基于符号执行虚拟机的数据竞争检测与重放方法
本发明公开了一种嵌入式环境下并行程序数据竞争检测与重放 的方法，结合软件调试与测试的需求，采用符号执行虚拟机方案，动 态地监测程序的运行，收集程序的执行信息，并分析数据竞争。并且 还能通过执行信息对程序进行确定性重放，使得程序的执行轨迹能够 重现。功能包括：基于符号执行虚拟机的数据竞争检测、基于符号执 行虚拟机的数据竞争重放功能。本发明可以发掘隐藏在程序中的数据 竞争，防止多线程程序在运行时发生错误。
华中科技大学
2021-04-14
冷轧连续退火/热镀锌中试机组过程机数模研究替代与优 化
成果简介宝钢五冷轧连续退火/热镀锌中试机组（以下简称中试机组） 是可进行连续退火、 热镀锌两种工艺于一体的特殊生产线， 该机组的工艺集成是由宝钢自主完成， 没有可以借鉴的成熟工艺控制技术。 带钢在加热炉和均热炉的温度控制的准确性是整个热处理过程至关重要的环节。宝钢中试机组具备了两条生产线的产品生产能力， 它的产品范围广、 工艺要求复杂、 控制难度大。 根据工艺设计和产品的定位， 中试机组的炉子温度采用数学模型控制。 由于中试机组的炉子温度控制模型是使用日本合作方提供的控制
安徽工业大学
2021-04-14
配流冷却机构及具有该配流冷却机构的斜盘压缩机
本发明公开了一种配流冷却机构，包括依次相连接的进气阀片、 阀板、出气阀片、导流片及冷媒片。所述进气阀片开设有第一通槽、 第二通槽、第三通槽及第四通槽，所述第一通槽、所述第三通槽、所 述第二通槽及所述第四通槽绕所述进气阀片的中心轴均匀排布;所述 第一通槽、所述第二通槽、所述第三通槽及所述第四通槽内分别设置 有一级进气舌簧片、二级进气舌簧片、三级进气舌簧片及四级进气舌 簧片，所述一级进气舌簧片、所述二级进气舌簧片、所述三级进气舌簧片及所述四级进气舌簧片分别通过弹性变形或者恢复弹性变形，以 控制进入斜盘压
华中科技大学
2021-04-14
多维度资源性能干扰感知的虚拟机在线迁移方法及系统
本发明公开了一种虚拟机在线迁移方法，属于计算机虚拟化技 术领域。该方法具体为：中心控制服务器监控各物理服务器的资源消 耗状态，以优化资源消耗状态为目标确定迁移源物理服务器；在迁移 源物理服务器上选取候选待迁移虚拟机，按照一一对应方式构成候选 迁移方案；综合虚拟机迁移过程造成的迁移性能干扰以及迁移之后对 目的物理服务器造成的同机性能干扰评价候选迁移方案造成的整体性 能干扰；从各候选迁移方案中选取整体性能干扰最小者作为最
华中科技大学
2021-04-14
基于高速投影机的悬浮式360°视场空间三维显示装置
本发明公开了一种基于高速投影机的悬浮式360°视场空间三维显示装置。该装置包括偏折型散射屏、高速投影机、图像发生器、探测模块、电机和传动机构。高速投影机将三维物体360°全景视场的组合图像投影到高速旋转的偏折型散射屏上。偏折型散射屏可控制出射光的垂直偏折角度和水平发散角度，使观察者的双眼观察到不同视角的图像，实现显示的三维物体悬浮在偏折型散射屏的上方。基于高速投影机的悬浮式360°空间三维显示可供多人360°视场裸眼同时观看，实现空间遮挡消隐并可探入触摸交互。
浙江大学
2021-04-13
融合扩张观测器的超临界火电机组机炉协调控制方法
本发明公开了一种融合扩张观测器的超临界火电机组机炉协调控制方法。首先根据1000MW超临界火电机组的非线性模型，基于非线性分析的方法在机组的不同工况点建立多个局部线性模型。之后采用该组局部线性模型，设计了一种融合扩张状态观测器的多模型预测控制器(MMPC)。通过扩张状态观测器的引入，估计并补偿了机组在不同通道内的扰动及模型不确定性，提升了预测控制器的扰动抑制性能。本发明的算法能在保证控制系统全局稳定的前提下实现机组负荷的大范围跟踪，并且具有良好的扰动抑制性能。
东南大学
2021-04-14
铜催化苯乙烯与甲基硫代磺酸酯和芳基硼酸的分子间双官能化反应制备2,2-二芳基乙基砜类化合物
该项研究中，课题组以商品化可得的苯乙烯、芳基硼酸以及制备简便的甲基硫代磺酸酯为原料成功制取了2,2-二芳基乙基砜类衍生物。采用甲基硫代磺酸酯作为砜基自由基的来源，除了具有原料制备简便，无需柱层析分离纯化，原子经济性较好等优势，还可以巧妙地抑制芳基磺酰基自由基与芳基硼酸之间的两组分副反应，顺利实现了2,2-二芳基乙基砜类化合物的高效制备。另外，该体系
南方科技大学
2021-04-14
采用气液两相天然气为燃料的内燃机燃料输送方法
成果描述：本发明公开了采用气液两相天然气为燃料的内燃机燃料输送方法，将液态压缩天然气源和气态压缩天然气源通过绝热输送至一绝热共轨，在绝热共轨中完成混合后经一电控喷油器输送至气缸：进入绝热共轨(5)的燃料有液路和气路两路：液路由液态压缩天然气瓶(1)通过绝热低压管(2)和绝热压力泵(10)输送至绝热共轨(5)；气路由气态压缩天然气气瓶(7)通过相应管阀进入绝热共轨(5)。本发明使气液两相天然气在进入气缸时发生闪蒸沸腾，并在不同工况进行两相天然气的气液组分实时设计控制。因燃烧的是气液两相天然气，故CO、CO2、PM排放低，无NMHC；采用压缩过程喷射，HC排放低；缸内温度低，NOX排放低；具有极低的排放性。市场前景分析：新能源交通工具技术领域。与同类成果相比的优势分析：技术先进，性价比较高。
西南交通大学
2021-04-10
一种可调节式多轴旋臂疏花疏果机及其使用方法
本发明涉及机械疏花疏果领域，特别涉及一种可调节式多轴旋臂疏花疏果机及其使用方法。该机械包括悬挂连接装置、方向调节机构、角度调节机构和旋转臂机构。该机械使用时，可直接挂装在农用拖拉机上，接通液压油管便可进行果园的疏花疏果作业。该机械能够调节疏花疏果机的横向长度、纵向高度以及角度后进行作业，具有良好仿形效果；其旋转臂机构的边条组(9)范围可根据不同果树和不同树形的实际需要变化，使单次疏花疏果范围可适应实际需求，具有适应性强的特点，且可大幅提高疏花疏果效率。
中国农业大学
2021-04-11
基于有功功率波动性和周期性的洗衣机非侵入辨识方法
本发明公开了一种基于有功功率波动性和周期性的洗衣机非侵入辨识方法，包括在一定的采样频率范围内，对总电源进线的电压和电流进行采样，形成电压信号采样序列u和电流信号采样序列i，并计算平均功率序列P；构造长度为N的滑动窗Wn，并计算滑动窗内有功功率序列的标准差Sn；求取序列Sn的子区间的最小值位置序列Mt，记录最小值所在位置；计算序列Mt差分序列ΔMt，根据ΔMt的周期性来判别是否为洗衣机运行，并计算启停时间。本发明提综合利用洗衣机的周期性以及波动性这两个特性，提出了有效的洗衣机辨识方法，将平均有功功率序列转换成标准差序列，避免了偶尔情况下现实工况带来的功率波动而会被误辨成洗衣机的情况。
东南大学
2021-04-11