检索结果-南通市图书馆

Impact of the Complex Terrain in Beijing on Formation of Low-Level Jets

在线全文

学校读者我要写书评

暂无评论

Journal of Meteorological Research 2024年第1期38卷 138-150页

作者： Li’ao ZHOU Chenggang WANG shiguang MIAO ju LI School of Atmospheric Physics Nanjing University of Information Science&TechnologyNanjing 210044 Institute of Urban Meteorology China Meteorological AdministrationBeijing 100089 Key Laboratory of Urban Meteorology China Meteorological AdministrationBeijing 100089

This study investigated how the Taihang Mountains and the Yanshan Mountains affect low-level jets(LLJs)in the Beijing area,based on conventional radiosonde observations from Nanjiao Observatory(2016–2017)and high-resolution Weather Research and Forecasting–Advanced Research WRF(WRF-ARW)model *** of radiosonde observations indicated that LLJs in the study area are mainly from the southwest and northwest directions,with occurrence frequency of 44.6%and 33.0%,***(northwest)LLJs are aligned parallel(perpendicular)to the orientation of the Taihang Mountain *** sensitivity experiments using the WRF-ARW model were then conducted to examine the effects of terrain forcing on the northwest and southwest LLJs,with adopted terrain heights of 100%and 50%.The results showed that for northwest LLJs,reduction in the elevation of the Taihang Mountain Range led to weakening of jet intensity by approximately 20%and reduction in jet maximum height by approximately 250 m;lowering the Yanshan Mountain Range had minor influence on the northwest LLJs,with only a 5.2%reduction in intensity and no substantial change in jet maximum *** southwest LLJs,reduction in the elevation of both the Taihang and Yanshan Mountain ranges resulted in minor changes in the intensity and height of the *** analysis revealed that the topography in the Beijing area could modulate the height and intensity of the stable layer by altering the inversion structure within the boundary *** LLJs can develop rapidly within the stable layer,and both the location and the scale of the jet core exhibited reasonable agreement with the extent of the stable layer.

关键词： low-level jets(LLJs) mesoscale numerical simulation terrain forcing

Symbolic algorithmic verification of intransitive generalized noninterference

在线全文

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2012年第7期55卷 1650-1665页

作者： ZHOU CongHua,LIU ZhiFeng,WU HaiLing,CHEN Song & ju shiguang School of Computer Science and Telecommunication Engineering,Jiangsu University Zhenjiang 212013,China School of Computer Science and Telecommunication Engineering Jiangsu University Zhenjiang China

Generalized noninterference can be used to formulate transitive security policies,but is unsuitable for intransitive security *** propose a new information flow security property,which we call intransitive generalized noninterference,that enables intransitive security policies to be specified ***,we propose an algorithmic verification technique to check intransitive generalized *** technique is based on the search for counterexamples and on the window induction proof,and can be used to verify generalized *** further demonstrate that the search of counterexamples and induction proof can be reduced to quantified Boolean *** reduction enables us to use efficient quantified Boolean decision procedures to perform the check of intransitive generalized *** also reduces spatial requirement by representing the space compactly,and improves the efficiency of the verification procedure.

关键词： intransitive generalized noninterference quantified Boolean satisfiability symbolic verification multi-level security

Positioning a Node of Wireless Sensor Networks in 3 Dimensional Space

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

International Journal of Communications, Network and System Sciences 2009年第6期2卷 540-545页

作者： Wenhui NIE shiguang ju Anrong XUE Feng LI 不详

To know the location of nodes is very important and valuable for wireless sensor networks (WSN), we present an improved positioning model (3D-PMWSN) to locate the nodes in WSN. In this model, grid in space is presented. When one tag is detected by a certain reader whose position is known, the tag’s position can be known through certain algorithm. The error estimation is given. Emulation shows that the positioning speed is relatively fast and positioning precision is relatively high.

关键词： Wireless Sensor Network Cells Reader Tag Positioning

Screw inspection optimized system design and implementation

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Screw inspection optimized system design and implementation

2011 First International Conference on High Performance Structures and Materials Engineering (ICHPSM 2011)

作者： Liu Yangkuan Cai Tao ju shiguang School of Computer Science and Telecommunication Engineering Jiangsu University

In machinery and equipment manufacturing industry,screw is an important *** only as a precision screw precision transmission components,but also commonly used for precision measuring *** screw itself directly affects the accuracy of precision machine tools and precision measuring instruments for transmission,positioning precision and accuracy,and thus the processing and inspection of precision screw is higher ***,screw inspection is usually done by manual and the quality of inspection is not high,with very low inspection *** solve these problems,optimized system for screw inspection was designed and *** the Quartile range method in Statistics to remove outliers,and with the help of kalman filter,systemic error is got rid *** these methods,raw measurement data is analyzed and processed,and inspection report is *** efficiency of screw inspection is highly improved.

关键词： screw inspection removal of outliers quartile range systemic error Kalman Filter optimized system

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

投射阴影的计算

计算机工程 1991年第5期6卷 16-18页

作者：鞠时光江苏工学院

本文给出了计算任意平面上阴影点坐标的矩阵公式S=P[(L·G)I-GL]。

关键词：投射阴影计算计算机

在线全文

学校读者我要写书评

暂无评论

带有空间特性角色约束

计算机辅助设计与图形学学报 2008年第10期20卷 1374-1382页

作者：鞠时光陈伟鹤顾怡江苏大学计算机科学与通信工程学院镇江212013

空间数据库系统和基于移动用户位置的信息服务系统对访问控制模型具有特殊要求——用户地理位置的变化通常会引起用户权限的动态变化.提出一个支持空间特性的角色访问控制模型Spatial-RBAC,详细讨论了在空间环境下的空间区域约束、空间... 详细信息

空间数据库系统和基于移动用户位置的信息服务系统对访问控制模型具有特殊要求——用户地理位置的变化通常会引起用户权限的动态变化.提出一个支持空间特性的角色访问控制模型Spatial-RBAC,详细讨论了在空间环境下的空间区域约束、空间职责分离约束和空间角色激活基数约束.这些约束分别用来控制角色分配、角色状态改变、角色权限分配和角色激活等操作,给传统的基于角色的访问控制模型增加了空间安全描述能力.在安全空间数据库应用中,为了有效地标识用户地理位置的变化,避免不必要的计算,还给出了判断用户当前扮演的角色集的有效作用域的算法,提高了Spatial-RBAC模型的实用性.

关键词：空间数据库基于角色的访问控制空间约束基于位置服务

在线全文

学校读者我要写书评

暂无评论

广义不可推断属性符号化算术验证的研究

计算机研究与发展 2012年第12期49卷 2591-2602页

作者：周从华吴海玲鞠时光江苏大学计算机科学与通信工程学院江苏镇江212013

多级安全系统中机密数据的泄漏本质上是信息的非法流动.广义不可推断属性刻画了不同安全级主体之间合法的信息流动.在系统应用之前,验证其满足广义不可推断属性,可以排除各种隐蔽数据泄漏,保护数据的机密性.传统的广义不可推断属性验证... 详细信息

多级安全系统中机密数据的泄漏本质上是信息的非法流动.广义不可推断属性刻画了不同安全级主体之间合法的信息流动.在系统应用之前,验证其满足广义不可推断属性,可以排除各种隐蔽数据泄漏,保护数据的机密性.传统的广义不可推断属性验证方法——"展开方法"——验证的仅仅是属性成立的一个充分非必要条件,因此是不完备的.基于证伪技术提出一种完备的广义不可推断属性验证方法,该方法通过逐步搜索长度递增的使广义不可推断属性失效的反例来完成验证过程.为确保搜索过程能正确终止,即方法的完备性,提出状态转换系统的双构造运算,并在此基础上基于图结构理论给出最短反例的上近似计算.进一步为提高验证方法的时间效率和降低对内存空间的需求,将反例搜索和上近似计算归约为量化布尔公式满足性求解问题,借助于高效的满足性求解程序完成属性的验证,实现了验证过程的符号化计算.最后通过一个磁臂隐通道的实例说明验证方法在实际的隐通道分析中的应用.

关键词：广义不可推断属性信息流安全量化布尔公式多级安全系统隐通道

在线全文

学校读者我要写书评

暂无评论

基于数据挖掘的中医药数据预处理方法

计算机工程 2006年第15期32卷 280-282,F0003页

作者：朱金伟鞠时光辛燕江苏大学计算机学院镇江212013

中药文化的地区差异带来了中医药数据的众多不确定性,为解决基于数据挖掘的新药研制决策支持系统的数据问题,提出了一套规范原始中医药数据的处理方法。应用了数据归约技术、聚类的方法、模糊集理论改进了中医药数据的质量,使得在预处... 详细信息

中药文化的地区差异带来了中医药数据的众多不确定性,为解决基于数据挖掘的新药研制决策支持系统的数据问题,提出了一套规范原始中医药数据的处理方法。应用了数据归约技术、聚类的方法、模糊集理论改进了中医药数据的质量,使得在预处理后的中药方剂数据库中成功挖掘出重要规则,为研制中药新药提供了有力的决策支持。

关键词：数据预处理数据挖掘数据归约模糊集隶属函数

在线全文

学校读者我要写书评

暂无评论

一种实时Agent体系结构

计算机工程 2005年第8期31卷 54-56页

作者：余春堂鞠时光晏立江苏大学计算机科学与通信工程学院镇江212013

提出了一种应用于实时环境的Agent体系结构,集成了慎思式和反应式Agent的主要行为特征,支持多Agent之间的协同求解,并在内部机制上采用集中控制和规划缓冲等技术满足系统对实时性和稳定性的需要。最后给出了该体系结构在实时监控系统中... 详细信息

提出了一种应用于实时环境的Agent体系结构,集成了慎思式和反应式Agent的主要行为特征,支持多Agent之间的协同求解,并在内部机制上采用集中控制和规划缓冲等技术满足系统对实时性和稳定性的需要。最后给出了该体系结构在实时监控系统中的一个具体应用,论证了其设计的合理性。

关键词： Agent 实时控制规划缓冲