-
公开(公告)号：CN103218497B
公开(公告)日：2016-03-02
申请号：CN201310146928.6
申请日：2013-04-24
Applicant: 南京大学
IPC: G06F17/50
Abstract: 本发明提供一种基于增量线性规划的动态系统在线增量式快速验证系统及方法。所述方法是首先加载动态系统的问题模型，然后将其与原问题模型进行对比，根据对比结果修改原问题模型；然后使用新的问题模型、原线性规划求解模型根据编码规则修改原线性规划求解模型，从而得到修改后的线性规划求解模型；最后使用线性规划的增量求解技术，利用修改后的线性规划求解模型求解新的问题模型，并给出求解结果。该方法在基于线性规划的线性混成自动机可达性分析方法的基础上，提出了动态的问题模型修改策略，并复用原问题的求解结果来加速新问题的求解，以达到动态系统的在线增量式快速验证，显著提高了问题的求解速度，可以满足动态系统验证的实时性要求。
-
公开(公告)号：CN102932962A
公开(公告)日：2013-02-13
申请号：CN201210401065.8
申请日：2012-10-22
Applicant: 南京大学
Abstract: 本发明提出了一种用于仓库监控的数据融合的WSN和RFID异构网络。通过建立一种动态的数据模型，该数据模型可以实现将RFID的设备识别能力和WSN的环境感知能力充分结合，完整的展现仓库环境下物体的状况。首先将仓库的物理空间划分成若干区域，每个区域标上特定的标示符，然后在需要监控的物体上贴上RFID标签，并在其周围部署若干Sensor节点，这样通过物理空间上的联系定义逻辑上的联系。通过建立若干数据库，这些数据库可以完整的描述数据管理需求，并且在数据库中引入了若干动态属性使得数据库具有动态特性。本发明实现了RFID和传感器网络在无硬件改变条件下的融合，充分的将RFID的设备识别能力和WSN的环境感知能力结合起来。
-
公开(公告)号：CN107674093A
公开(公告)日：2018-02-09
申请号：CN201710978206.5
申请日：2017-10-18
Applicant: 南京大学(苏州)高新技术研究院
IPC: C07F9/54
Abstract: 本发明提供了一种(3,4,5-三(10-十一烯氧基)苯甲基)三辛基氯化鏻自组装结构材料。该材料中长链烷基末端的不饱和键可通过光引发的交联聚合把形成的季鏻盐自组装进行固定，产生固定化介孔纳米薄膜，进一步加强对自组装结构的功能化。该季鏻盐自组装材料尤其对锂离子定向导电、模板制备、介孔纳米薄膜等应用技术领域提供新型材料。
-
公开(公告)号：CN104266978A
公开(公告)日：2015-01-07
申请号：CN201410545845.9
申请日：2014-10-16
Applicant: 南京大学
IPC: G01N21/25
Abstract: 一种利用地物反射波谱曲线来调查沉水植物生物量的方法，步骤如下：(1)围栏水域，将调查水域的水体围成若干单元水域，并进行顺序标记序号，利用地物光谱仪对所述的若干单元水域的沉水植物测定地物反射率，同时采用传统沉水植物生物量调查方法得到沉水植物的生物量；(2)在所需调查水域的若干单元水域测得不同生物量的沉水植物地物反射率后，获得不同生物量沉水植物的光谱特征图谱，根据步骤(1)的标记序号进行记录建立光谱特征图谱库；(3)该水域今后沉水植物的生物量通过测定沉水植物地物反射率，然后比对光谱特征图谱库并查找不同生物量沉水植物的光谱特征图谱获得。
-
公开(公告)号：CN103336884A
公开(公告)日：2013-10-02
申请号：CN201310209987.3
申请日：2013-05-30
Applicant: 南京大学
IPC: G06F19/00
Abstract: 本发明提出一类非线性混成系统的建模与面向路径的可达性分析方法，步骤1：对非线性混成系统进行建模，得到非线性混成自动机；步骤2：判断非线性混成自动机的凸性混成；当混成自动机每一个节点上的状态空间都为凸集时，称该混成自动机为凸性混成自动机；步骤3：若为凸性混成自动机，则根据规则将待验证可达性问题编码为凸规划问题进行求解；对于编码后的凸规划问题，若该问题有解，则对应的路径满足可达性规约；最后针对其面向路径的可达性问题，给出将其可达性问题编码为凸规划可满足性问题的方法，并通过求解凸规划问题，给出半判定过程；本发明给出了凸性混成自动机的可达性分析，相对于基于近似和抽象的分析方法，有更好的效果。
-
Patent Agency Ranking
公开(公告)号：CN104266978B
公开(公告)日：2017-02-15
申请号：CN201410545845.9
申请日：2014-10-16
Applicant: 南京大学
IPC: G01N21/25
Abstract: 一种利用地物反射波谱曲线来调查沉水植物生物量的方法，步骤如下：(1)围栏水域，将调查水域的水体围成若干单元水域，并进行顺序标记序号，利用地物光谱仪对所述的若干单元水域的沉水植物测定地物反射率，同时采用传统沉水植物生物量调查方法得到沉水植物的生物量；物量的沉水植物地物反射率后，获得不同生物量沉水植物的光谱特征图谱，根据步骤(1)的标记序号进行记录建立光谱特征图谱库；(3)该水域今后沉水植物的生物量通过测定沉水植物地物反射率，然后比对光谱特征图谱库并查找不同生物量沉水植物的光谱特征图谱获得。(2)在所需调查水域的若干单元水域测得不同生
-
公开(公告)号：CN103929604A
公开(公告)日：2014-07-16
申请号：CN201410085674.6
申请日：2014-03-10
Applicant: 南京大学
Abstract: 本发明公开了一种投影仪阵列拼接显示方法，包括了以下步骤：1）计算变换矩阵，通过摄像头采集标准黑白棋盘特征点坐标，计算投影图像坐标系到屏幕图像坐标系的变换矩阵，并计算出预校正矩阵。2）投影图像边缘融合，对相邻投影图像重合区域按照余弦函数进行采样，得到重合区域图像的融合系数，再将重合区域的像素RGB值乘以对应的融合系数得到相邻投影图像无缝拼接的效果。3）几何校正，使用预校正矩阵对边缘融合处理后的图像进行透视变换，最终的投影图像就是几何校正后的图像。4）多个投影图像拼接，按照1～3的方法，对投影仪阵列按照从上到下、从左到右的顺序分别拼接相邻的投影图像，最后得到整个投影仪阵列的拼接图像显示。
-
公开(公告)号：CN118858105A
公开(公告)日：2024-10-29
申请号：CN202411027956.0
申请日：2024-07-30
Applicant: 南京大学
Abstract: 本发明公开了一种天然粗糙裂隙面非均匀渗流可视化实验装置及方法，涉及裂隙岩体渗流实验领域，包括支座和花岗岩样品，花岗岩样品上表面为天然粗糙面，花岗岩样品下表面为打磨平整的光滑面，还包括渗流主体部件，其包括立方体模具、A水槽和B水槽，立方体模具用于容纳花岗岩样品；该天然粗糙裂隙面非均匀渗流可视化实验装置及方法，通过设置的渗流主体部件以及供水部件，能够提供稳定的水头条件与不同高度的水头差，进而捕获天然粗糙裂隙面的非线性渗流行为，提高对围岩天然粗糙裂隙面渗流特性的认知，进一步丰富裂隙岩体渗流基础理论，对地下储库能源碳氢废安全封储以及处置围岩适宜性评价具有重要的实用价值和广泛的应用前景。
-
公开(公告)号：CN107674093B
公开(公告)日：2019-12-31
申请号：CN201710978206.5
申请日：2017-10-18
Applicant: 南京大学(苏州)高新技术研究院
IPC: C07F9/54
Abstract: 本发明提供了一种(3,4,5‑三(10‑十一烯氧基)苯甲基)三辛基氯化鏻自组装结构材料。该材料中长链烷基末端的不饱和键可通过光引发的交联聚合把形成的季鏻盐自组装进行固定，产生固定化介孔纳米薄膜，进一步加强对自组装结构的功能化。该季鏻盐自组装材料尤其对锂离子定向导电、模板制备、介孔纳米薄膜等应用技术领域提供新型材料。
-
公开(公告)号：CN103929604B
公开(公告)日：2017-03-22
申请号：CN201410085674.6
申请日：2014-03-10
Applicant: 南京大学
Abstract: 本发明公开了一种投影仪阵列拼接显示方法，包括了以下步骤：1）计算变换矩阵，通过摄像头采集标准黑白棋盘特征点坐标，计算投影图像坐标系到屏幕图像坐标系的变换矩阵，并计算出预校正矩阵。2）投影图像边缘融合，对相邻投影图像重合区域按照余弦函数进行采样，得到重合区域图像的融合系数，再将重合区域的像素RGB值乘以对应的融合系数得到相邻投影图像无缝拼接的效果。3）几何校正，使用预校正矩阵对边缘融合处理后的图像进行透视变换，最终的投影图像就是几何校正后的图像。4）多个投影图像拼接，按照1～3的方法，对投影仪阵列按照从上到下、从左到右的顺序分别拼接相邻的投影图像，最后得到整个投影仪阵列的拼接图像显示。
-
-
-
-
-
-
-
-
-
Search Results
12
records
(took 0.025 seconds)
