您的位置: 专家智库 > >

国家自然科学基金(61074034)

作品数:5 被引量:14H指数:2
相关作者:赵千川王达薛文轩臧峰慕春棣更多>>
相关机构:清华大学更多>>
发文基金:国家自然科学基金更多>>
相关领域:自动化与计算机技术理学一般工业技术更多>>

文献类型

  • 5篇期刊文章
  • 4篇会议论文

领域

  • 5篇自动化与计算...
  • 2篇理学
  • 1篇电气工程
  • 1篇建筑科学
  • 1篇一般工业技术

主题

  • 1篇电力
  • 1篇电网
  • 1篇动态系统
  • 1篇形式化
  • 1篇形式化方法
  • 1篇压缩采样
  • 1篇英文
  • 1篇智能电网
  • 1篇特征提取
  • 1篇网络
  • 1篇无线传感
  • 1篇无线传感器
  • 1篇无线传感器网
  • 1篇无线传感器网...
  • 1篇离散事件动态
  • 1篇离散事件动态...
  • 1篇描述符
  • 1篇环境监测
  • 1篇环状
  • 1篇感器

机构

  • 5篇清华大学
  • 1篇中国科学技术...

作者

  • 5篇赵千川
  • 1篇申颖
  • 1篇慕春棣
  • 1篇薛文轩
  • 1篇王达
  • 1篇臧峰

传媒

  • 1篇系统科学与数...
  • 1篇中国科学技术...
  • 1篇清华大学学报...
  • 1篇微计算机信息
  • 1篇IEEE/C...

年份

  • 1篇2015
  • 2篇2013
  • 3篇2012
  • 3篇2011
5 条 记 录,以下是 1-9
排序方式:
添加捷径对环状DEDS的影响分析被引量:2
2011年
研究具有环性拓扑的离散事件动态系统添加捷径后的时序性能变化问题.分析了添加捷径对周期长度和周期时间的影响.发现添加少量捷径即可使周期长度为1的概率有显著提高.
赵千川
关键词:离散事件动态系统
PLC程序测试与验证的研究进展被引量:11
2011年
可编程逻辑控制器(PLC)是一种在工业领域应用非常广泛的控制装置。随着PLC程序的规模和复杂性不断增加,PLC程序测试与验证已成为一个具有挑战性的问题。该文分析了PLC程序测试与验证的困难。从验证与测试两个方面,分别介绍了该问题的研究现状。对于每一个方法,分别论述了其基本思路、优势与不足。最后,根据当前研究的现状,展望了PLC程序测试与验证技术未来的发展。综合分析来看,PLC程序测试与验证的现有方法都存在比较明显的局限性,有待深入研究。未来可能的新方向包括结构化测试以及不同测试方法的融合等。
赵千川王达薛文轩
关键词:PLC程序形式化方法
基于图像内容检索描述符提取的加速方法研究
图像低级特征的提取和索引是基于内容图像检索的必要阶段,但传统的针对大尺寸和大容量图像的低级特征提取通常比较耗时,而这类图像的检索又是互联网图像检索的发展趋势。本文提出一种基于压缩采样的随机化特征提取方法,该方法通过随机模...
桂舒婷赵千川Weibo Gong秦龙郑烇
关键词:压缩采样
文献传递
基于cc2430的环境参数监测和人员定位被引量:1
2012年
本文详细阐述了基于cc2430进行环境参数监测和人员定位的硬件和软件设计。本设备综合使用了无线传感器网络、高精度传感、实时监测等技术,旨在为具备环境监测需求的各个行业提供强有力的技术支持和保障,并使用基于RSSI进行的人员定位算法。
臧峰赵千川慕春棣
关键词:环境监测无线传感器网络
An effective framework to simulate the cyber-physical systems with application to the building and energy saving
<正>The simulation and modeling are significant to design,test and validate the complex systems,especially for ...
WANG JinlongZhao QianchuanZhao Yin
关键词:AGENT-BASEDSIMULATION
文献传递
不确定环境下的电力系统拓扑控制问题(英文)
2012年
在环境保护的压力下,新能源和电动汽车越来越多地被引入电网,这就增加了电力系统的不确定因素.为此,首先讨论不确定环境下电力系统安全防御中的一些拓扑控制问题,然后给出这些问题的图论描述以及研究中面临的挑战和进展.
赵千川申颖
关键词:智能电网
Production Line Capacity Planning Concerning Uncertain Demands for a Class of Manufacturing Systems with Multiple Products
2015年
In this paper, we study a class of manufacturing systems which consist of multiple plants and each of the plants has capability of producing multiple distinct products. The production lines of a certain plant may switch between producing different kinds of products in a time-sharing mode. We optimize the capacity configuration of such a system s production lines with the objective to maximize the overall profit in the capacity planning horizon. Uncertain demand is incorporated in the model to achieve a robust configuration solution. The optimization problem is formulated as a nonlinear polynomial stochastic programming problem, which is difficult to be efficiently solved due to demand uncertainties and large search space. We show the NP-hardness of the problem first, and then apply ordinal optimization(OO) method to search for good enough designs with high probability. At lower level, an mixed integer programming(MIP) solving tool is employed to evaluate the performance of a design under given demand profile.
Hao LiuQianchuan ZhaoNingjian HuangXiang Zhao
On Operator Expressions of Monotone Boolean Networks
The study of Boolean networks received a lot of attention recently as a useful model to understand complicated...
ZHAO Qianchuan Center for Intelligent and Networked Systems,Dept Automation and TNList,Beijing 100084,P.R.China
关键词:UNIFORMITY
文献传递
On topology control of power systems with uncertainties
<正>Environment protection calls for the more and more introduction of new energy sources and e-vehicles in our...
Qianchuan Zhao~1
文献传递
共1页<1>
聚类工具0