搜索结果: 46-60 共查到“信息科学与系统科学基础学科 2-D系统”相关记录345条 . 查询时间(0.729 秒)
信息工程学院关永、施智平、金声震教授课题组研发的几何代数形式化定理库日前被国际最著名的定理证明系统之一HOL Light官方收录为新增形式化理论体系。这是中国研究机构的研究成果首次被HOL Light系统收录，此次发布的定理库也是国际上第一个完备的几何代数高阶逻辑形式化表示理论。该项工作主要由关永教授的博士生李黎明完成，历时六年，包含33个数学定义和343个数学定理的高阶逻辑表示和机器证明。
湖南大学信息科学与工程学院可信系统与网络省重点实验室2006年发表论文。
湖南大学信息科学与工程学院可信系统与网络省重点实验室2016年发表论文。
浙江省工业信息物理融合系统协同创新中心（图）
浙江省 工业信息 物理融合 系统协同创新
2024/1/8
2012年，浙江大学组建成立工业信息物理融合系统（iCPS）协同创新中心，2013年该中心被认定为浙江省“2011协同创新中心”。中心依托浙江大学、清华大学、上海交通大学三所985高校，协同国内外著名科研机构的相关优势团队联合建设。协同中心主要开展工业信息物理融合系统（industrial Cyber-Physical Systems）基础理论与核心技术研究，旨在推动信息化、工业化的深度融合，促进...
北京师范大学系统科学学院2018年硕士研究生招生专业目录。
华南理工大学信号与系统课件第4章 连续时间傅立叶变换。
2018年北京师范大学系统科学学院博士研究生招生专业目录
2018年 北京师范大学系统科学学院 博士研究生 招生专业 目录
2018/1/17
2018年北京师范大学系统科学学院博士研究生招生专业目录。
2018年北京师范大学系统科学学院硕士研究生招生专业目录
2018年 北京师范大学系统科学学院 硕士研究生 招生专业 目录
2018/1/15
2018年北京师范大学系统科学学院硕士研究生招生专业目录。
分布式移动农业病虫害图像采集与诊断系统设计与试验
嵌入式相机 Android手机 可伸缩杆 分布式计算
2017/11/15
为了便捷地采集和实时诊断农业病虫害图像，设计了一个分布式移动农业病虫害图像采集与诊断系统。该系统由多个便携式图像采集终端和一个图像处理服务器组成；其中，图像采集终端包括嵌入式相机、可伸缩的手持杆和装载控制App的手机；图像处理服务器包括农业病虫害诊断、信息记录和反馈模块等。手持杆可将安装在其前端的嵌入式相机送到人手或视觉难以企及的病虫害区域，手机可实时预览前端相机的拍摄画面和实现控制相机完成农业病...
基于数据质量控制的葡萄生产信息采集系统设计与应用
系统应用 数据质量 异常值 葡萄生产
2017/11/15
为了克服传统调研的时间周期长、数据质量低等缺点，实现葡萄生产信息远程获取，在采用模型（Model）-视图（View）-控制器（Controller）模式的结构框架和PHP（hypertext preprocessor）语言的基础上开发了浏览器/服务器（Browser/Server）模式的基于数据质量控制的葡萄生产信息采集系统。同时，设计了一套针对数据获取过程的约束规则、异常数据以及空缺数据的质量控...
中国科学院深圳先进技术研究院发出新一代高精度室内定位系统（图）
高精度室内定位系统 光信号
2015/7/29
近日，中国科学院深圳先进技术研究院实时监测与传输技术研究中心在室内定位研究方面取得新进展：研究人员开发出一种高精度室内定位系统。在普通室内环境中，该系统平均定位精度可达4厘米，大大提升了用户体验，并有希望开拓新的应用。
四川省党校行政学院系统教学改革研讨会在省委党校召开（图）
四川省党校行政学院 系统教学 研讨会
2015/5/29
2015年5月20日至22日，全省党校行政学院系统教学改革研讨会在四川省委党校院顺利召开。省委党校行政学院常务副校院长刘毅作主题报告，学习传达全国党校系统第六次教学改革研讨会精神，强调要加强党校主体班教学中的党性教育，进一步增强党性教育的针对性和实效性；进一步推进党校教学管理和学员管理工作的科学化、制度化、规范化和程序化。省委党校行政学院副校院长李新，校院委委员、教育长吴志强出席会议。省直机关党校...
研究基于侵入与不变流形(I&I) 自适应方法和非线性干扰观测器(NDO) 的可逆冷带轧机速度张力系统耗散Hamilton 控制问题. 首先采用I&I 自适应方法估计系统的摄动参数; 其次, 通过预反馈建立系统速度张力外环的耗散Hamilton 模型, 并利用互联和阻尼配置以及能量整形方法设计耗散Hamilton 控制器; 再次, 选用NDO对系统电流内环的外扰进行观测, 并引入设计的积分滑模控制器...
2015年1月19日，中国科学院系统科学研究所在中国科学院数学与系统科学研究院南楼举行了2014年年度总结暨2015年开年学术报告会，在职职工、博士后及离退职工、研究生130余人参会，万哲先院士、陈翰馥院士、郭雷院士、高小山副院长出席了总结会。会议由中国科学院系统科学研究所副所长杨晓光主持。
2014年9月17日至18日，工信部03专项办组织专家对上海微系统所牵头承担的 “物联网总体架构及关键技术研究（协同融合）”、“支持多传感网应用的中间件平台研发”课题进行了技术验收。