期刊文献+
共找到128篇文章
< 1 2 7 >
每页显示 20 50 100
Bose Description of Pauli Spin Operators and Related Coherent States
1
作者 JIANGNian-Quan FANHong-Yi LUHai-Liang 《Communications in Theoretical Physics》 SCIE CAS CSCD 2005年第1期17-21,共5页
Using both the fermionic-kike and the bosonic-like properties of the Paulispin operators σ_+, σ_-, and σ_z we discuss the derivation of Bose description of the Pauli spinoperators originally proposed by Shigefumi N... Using both the fermionic-kike and the bosonic-like properties of the Paulispin operators σ_+, σ_-, and σ_z we discuss the derivation of Bose description of the Pauli spinoperators originally proposed by Shigefumi Naka, and deduce another new bosonic representation ofPauli operators. The related coherent states, which are nonlinear coherent state and coherent spinstates for two spins, respectively, are constructed. 展开更多
关键词 bose description of pauli spin operators nonlinear coherent state coherentspin state
下载PDF
Multi-mode process monitoring based on a novel weighted local standardization strategy and support vector data description 被引量:8
2
作者 赵付洲 宋冰 侍洪波 《Journal of Central South University》 SCIE EI CAS CSCD 2016年第11期2896-2905,共10页
There are multiple operating modes in the real industrial process, and the collected data follow the complex multimodal distribution, so most traditional process monitoring methods are no longer applicable because the... There are multiple operating modes in the real industrial process, and the collected data follow the complex multimodal distribution, so most traditional process monitoring methods are no longer applicable because their presumptions are that sampled-data should obey the single Gaussian distribution or non-Gaussian distribution. In order to solve these problems, a novel weighted local standardization(WLS) strategy is proposed to standardize the multimodal data, which can eliminate the multi-mode characteristics of the collected data, and normalize them into unimodal data distribution. After detailed analysis of the raised data preprocessing strategy, a new algorithm using WLS strategy with support vector data description(SVDD) is put forward to apply for multi-mode monitoring process. Unlike the strategy of building multiple local models, the developed method only contains a model without the prior knowledge of multi-mode process. To demonstrate the proposed method's validity, it is applied to a numerical example and a Tennessee Eastman(TE) process. Finally, the simulation results show that the WLS strategy is very effective to standardize multimodal data, and the WLS-SVDD monitoring method has great advantages over the traditional SVDD and PCA combined with a local standardization strategy(LNS-PCA) in multi-mode process monitoring. 展开更多
关键词 multiple operating modes weighted local standardization support vector data description multi-mode monitoring
下载PDF
BMC LIMITED AREA MODEL GENERAL DESCRIPTION AND OPERATIONAL RESULTS
3
作者 郭肖容 阎之辉 +1 位作者 张玉玲 陈受钧 《Acta meteorologica Sinica》 SCIE 1989年第1期108-118,共11页
The limited area 5-level primitive equation model,as the first operational precipitation forecast model in China,has been run at Beijing (National) Meteorological Center (BMC) for more than four years.The opera- tiona... The limited area 5-level primitive equation model,as the first operational precipitation forecast model in China,has been run at Beijing (National) Meteorological Center (BMC) for more than four years.The opera- tional results show that this model gives continuous services,and the forecast skill is satisfied for the forecast of some weather situations,such as extratropical cyclone,front and the precipitation associated with them. The forecast guides are widely used at the local weather services now. 展开更多
关键词 BMC LIMITED AREA MODEL GENERAL description AND operational RESULTS than
原文传递
联合作战方案互通技术框架
4
作者 田华 张荣 +1 位作者 焦毓堃 李博 《指挥控制与仿真》 2024年第5期124-131,共8页
为提升作战效能,分析了联合作战方案互通一致性工作的重点和难点。针对联合作战方案的特点和方案互通一致性的需求,提出了一种联合作战方案互通一致性技术框架。该框架包含联合作战方案一致性描述方法,方案互通分专业、分层级、分模式... 为提升作战效能,分析了联合作战方案互通一致性工作的重点和难点。针对联合作战方案的特点和方案互通一致性的需求,提出了一种联合作战方案互通一致性技术框架。该框架包含联合作战方案一致性描述方法,方案互通分专业、分层级、分模式的互通方式设计,以及方案互通软件功能和流程的设计。案例分析表明,该框架可解决联合作战方案互通不一致的问题,有效提升编队协同作战能力。 展开更多
关键词 联合作战方案 方案一致性描述 方案互通 互通模式
下载PDF
面向应用型本科教育的FPGA课程教学探讨 被引量:9
5
作者 王鹏 陈新武 +2 位作者 陈咏恩 黄文霞 孙秋菊 《实验技术与管理》 CAS 北大核心 2016年第3期185-188,234,共5页
结合实际的工程和教学经验,对FPGA课程的教学改革进行了有益的探索,并对教学关键点进行了整理,重点介绍如何理解FPGA和HDL语言的硬件电路特质,以及阻塞和非阻塞赋值的本质区别。在FPGA课程教学中综合采用多种措施,并特别加强对学生代码... 结合实际的工程和教学经验,对FPGA课程的教学改革进行了有益的探索,并对教学关键点进行了整理,重点介绍如何理解FPGA和HDL语言的硬件电路特质,以及阻塞和非阻塞赋值的本质区别。在FPGA课程教学中综合采用多种措施,并特别加强对学生代码风格的训练,使学生在接触课程时产生浓厚兴趣,逐步建立硬件电路思维。 展开更多
关键词 FPGA课程 硬件描述语言 并发执行 代码规范
下载PDF
工序顺序柔性描述模型研究 被引量:6
6
作者 黄学文 孙娜 +1 位作者 孙榕 李冠雄 《计算机集成制造系统》 EI CSCD 北大核心 2016年第10期2275-2283,共9页
工序顺序柔性调度依赖于工序顺序柔性的准确描述,在柔性工序块的基础上,提出一种工序顺序柔性描述方法和工件工序顺序的生成方法,证明了该方法在描述工序顺序柔性上具有目前最好的完备性,并以遗传算法为例指出新的工序顺序柔性描述方法... 工序顺序柔性调度依赖于工序顺序柔性的准确描述,在柔性工序块的基础上,提出一种工序顺序柔性描述方法和工件工序顺序的生成方法,证明了该方法在描述工序顺序柔性上具有目前最好的完备性,并以遗传算法为例指出新的工序顺序柔性描述方法具有面向工序顺序柔性的一阶段调度算法设计的能力。 展开更多
关键词 作业车间 工序顺序柔性 描述方法 一阶段调度算法
下载PDF
基于双树复小波变换和邻域操作的哈密瓜纹理提取 被引量:6
7
作者 马本学 高国刚 +3 位作者 王宝 吕琛 张巍 朱荣光 《农业机械学报》 EI CAS CSCD 北大核心 2014年第12期316-322,共7页
为研究哈密瓜表面纹理特征分布规律,采集金密16号9成熟、全熟和金密17号9成熟、全熟共168幅哈密瓜样本图像,对RGB彩色图像的R、G、B分量执行代数运算,转换为灰度图后进行背景分割,然后利用双树复小波变换(DT-CWT)分解图像,获取高频子图... 为研究哈密瓜表面纹理特征分布规律,采集金密16号9成熟、全熟和金密17号9成熟、全熟共168幅哈密瓜样本图像,对RGB彩色图像的R、G、B分量执行代数运算,转换为灰度图后进行背景分割,然后利用双树复小波变换(DT-CWT)分解图像,获取高频子图像,并对其执行邻域操作,采用迭代法选取最优阈值完成纹理提取,最后利用灰度差分统计法和纹理频谱分析法描述分析哈密瓜纹理特征,建立基于支持向量机(SVM)的分类模型。研究结果表明,利用DT-CWT和邻域操作相结合的方法可得到更加连续、完整的哈密瓜纹理图像;4种哈密瓜的纹理特征值差异显著,利用纹理特征值分类准确率为89.3%;哈密瓜表面纹理无周期性。 展开更多
关键词 哈密瓜 双树复小波变换 邻域操作 纹理提取 纹理描述
下载PDF
微内核架构多线程机制的形式化设计研究 被引量:5
8
作者 钱振江 卢亮 黄皓 《计算机科学》 CSCD 北大核心 2013年第4期136-141,163,共7页
微内核架构因其有效的模块隔离性而成为操作系统方面研究的热点,多线程机制是微内核架构需要解决的关键性能问题。有不少的工作对微内核架构多线程机制进行了研究,但存在频繁的系统地址空间切换和实现复杂度高的问题。采用形式化的方式... 微内核架构因其有效的模块隔离性而成为操作系统方面研究的热点,多线程机制是微内核架构需要解决的关键性能问题。有不少的工作对微内核架构多线程机制进行了研究,但存在频繁的系统地址空间切换和实现复杂度高的问题。采用形式化的方式对微内核架构多线程和安全机制进行描述和设计,提出一个微内核线程分层对象语义模型,用以设计多线程机制的线程间通信、调度和互斥同步方案。在已实现和验证的微内核操作系统VTOS中对多线程功能和性能进行了测试,结果表明VTOS有效地实现了多线程机制,并具有很好的系统性能。 展开更多
关键词 微内核 多线程 操作系统 形式化描述 形式化设计
下载PDF
武器装备体系作战需求分析框架研究 被引量:14
9
作者 陈国社 马亚平 《计算机仿真》 CSCD 北大核心 2009年第1期5-7,23,共4页
武器装备体系作战需求分析是信息时代作战需求分析领域的新概念,对联合作战能力的发展意义重大。在深入研究美军的联合能力集成开发系统基础上,提出一种新的武器装备体系作战需求分析框架。该框架基于两项关键技术:作战任务形式化描述... 武器装备体系作战需求分析是信息时代作战需求分析领域的新概念,对联合作战能力的发展意义重大。在深入研究美军的联合能力集成开发系统基础上,提出一种新的武器装备体系作战需求分析框架。该框架基于两项关键技术:作战任务形式化描述与作战能力量化,包含四个主要步骤:基本任务需求分析、作战能力需求分析、解决方案生成与事后独立分析。实验表明,该框架能有效地将联合作战概念、联合使命转换为相应的作战需求,具有很好的应用前景。 展开更多
关键词 武器装备体系 作战需求分析 作战任务形式化描述 作战能力量化
下载PDF
作战节点与连接关系层次描述方法 被引量:2
10
作者 余滨 段采宇 牛凌宇 《火力与指挥控制》 CSCD 北大核心 2006年第12期87-90,共4页
作战节点与连接关系描述是描述C4ISR体系结构的基本产品。从战争系统的层次结构着手,探讨庞大C4ISR系统作战使命的层次性,研究作战节点的层次性。分析并提出两类功能分解——使命-使命分解(M→M)和使命-任务分解(M→T)。研究了M→M的复... 作战节点与连接关系描述是描述C4ISR体系结构的基本产品。从战争系统的层次结构着手,探讨庞大C4ISR系统作战使命的层次性,研究作战节点的层次性。分析并提出两类功能分解——使命-使命分解(M→M)和使命-任务分解(M→T)。研究了M→M的复杂性,研究认为不宜利用M→M直接分层次描述作战节点与连接关系。最后,研究并提出作战节点与连接关系层次描述方法。 展开更多
关键词 作战节点 作战节点与连接关系描述 层次 C^4ISR 体系结构
下载PDF
面向装备论证的作战任务描述方法研究 被引量:11
11
作者 傅勉 张军 +1 位作者 赵永超 褚凡 《指挥控制与仿真》 2011年第3期21-23,共3页
为了有效、正确地进行武器装备作战需求论证,需要提出规范化的作战任务描述方法。针对武器装备作战需求论证的特点,研究提出作战任务描述产品,确定了详细的开发过程。以联合火力打击战役为背景,应用该方法进行作战任务描述并给出部分描... 为了有效、正确地进行武器装备作战需求论证,需要提出规范化的作战任务描述方法。针对武器装备作战需求论证的特点,研究提出作战任务描述产品,确定了详细的开发过程。以联合火力打击战役为背景,应用该方法进行作战任务描述并给出部分描述产品,验证了该方法的有效性。 展开更多
关键词 武器装备 作战任务 描述方法
下载PDF
作战事件跟踪描述建模及验证方法研究 被引量:3
12
作者 刘刚 罗爱民 皇甫先鹏 《计算机科学》 CSCD 北大核心 2012年第5期291-294,共4页
为了对体系结构设计中的作战事件跟踪描述进行建模分析,提出了用扩展时序图模型对作战事件跟踪描述进行建模的方法。定义时序图的生命线为时间消息,研究了时序图模型与Petri模型之间的同构关系,以此为依据给出了时序图转换为Petri网的... 为了对体系结构设计中的作战事件跟踪描述进行建模分析,提出了用扩展时序图模型对作战事件跟踪描述进行建模的方法。定义时序图的生命线为时间消息,研究了时序图模型与Petri模型之间的同构关系,以此为依据给出了时序图转换为Petri网的算法。在此基础上,研究了扩展时序图和对象Petri网之间的转换算法,并处理了扩展时序图中的自环消息特例。最后,结合防空作战过程给出该方法的一个应用案例。 展开更多
关键词 对象PETRI网 作战事件跟踪描述 验证评估
下载PDF
基于事件序列的作战过程描述方法 被引量:2
13
作者 袁志民 余滨 +1 位作者 段采宇 蔡山 《火力与指挥控制》 CSCD 北大核心 2008年第9期33-36,40,共5页
基于事件序列的描述方法是作战过程描述的一条重要途径。首先,采用形式化方法分析事件序列的基本概念,在此基础上给出了事件序列清晰直观的图元化表示。然后,研究提出了基于事件序列的作战过程描述方法的基本思想——形式化和图元化相... 基于事件序列的描述方法是作战过程描述的一条重要途径。首先,采用形式化方法分析事件序列的基本概念,在此基础上给出了事件序列清晰直观的图元化表示。然后,研究提出了基于事件序列的作战过程描述方法的基本思想——形式化和图元化相结合描述作战过程,并给出了具体操作步骤。最后,假想一个简单案例,采用提出的方法对其作战过程进行了描述,示例说明了所提出方法的有效性。 展开更多
关键词 事件序列 形式化方法 图元化表示 作战过程描述
下载PDF
线性定常系统的δ-算子描述──能控性与能稳性 被引量:4
14
作者 邹云 杨成梧 翟长连 《控制理论与应用》 EI CAS CSCD 北大核心 1996年第4期527-531,共5页
本文讨论了δ-算子描述下的线性定常系统的能控性与能稳性问题.研究结果表明:虽然两种描述(即传统的q-算子描述和本文讨论的δ-算子描述)方法下的能控性定义及判据形式上并无二致,然而在高速采样的条件下,两种描述方法下的系... 本文讨论了δ-算子描述下的线性定常系统的能控性与能稳性问题.研究结果表明:虽然两种描述(即传统的q-算子描述和本文讨论的δ-算子描述)方法下的能控性定义及判据形式上并无二致,然而在高速采样的条件下,两种描述方法下的系统的能控度与能稳度呈现出完全相反的特性,一般而言,δ-算子描述方法更加适合高速采样情形. 展开更多
关键词 δ-算子 能控性 能稳性 线性系统 线性定常系统
下载PDF
新一代GPS系统表面模型的数字化描述与操作技术 被引量:2
15
作者 彭和平 刘晓军 +1 位作者 蒋向前 徐振高 《组合机床与自动化加工技术》 2006年第10期12-15,18,共5页
产品尺寸和几何技术规范(Dimensional and Geometrical Product Specification and Verification,GPS)是有关产品几何特性的一系列技术标准,它贯穿于产品的研究、开发、设计、制造、验收到使用和维护的全过程。本文介绍了新一代GPS标准... 产品尺寸和几何技术规范(Dimensional and Geometrical Product Specification and Verification,GPS)是有关产品几何特性的一系列技术标准,它贯穿于产品的研究、开发、设计、制造、验收到使用和维护的全过程。本文介绍了新一代GPS标准体系表面模型的概念及其数字化描述方法,探讨了基于新一代GPS的表面模型的操作技术。其中几何要素、特征、恒定类和恒定度等概念的引入。为实现几何技术规范的数字化描述、设计、评定与控制提供了必要的理论基础。有效地解决了产品更新换代在功能描述、规范设计和认证评定全过程中数学表达规范统一的难题。 展开更多
关键词 GPS 表面模型 几何要素 数字化描述 恒定类与恒定度 操作与操作算子
下载PDF
混沌分形特征与支持向量数据域描述辨识机械动态系统异常 被引量:4
16
作者 李兆飞 柴毅 任小洪 《农业工程学报》 EI CAS CSCD 北大核心 2015年第10期211-218,共8页
为了在微弱故障征兆出现时能通过正常状态对异常进行辨识,针对通常动态系统故障状态样本缺乏的单值分类问题,提出混沌分形特征组合及支持向量数据域描述(support vector data description,SVDD)的动态系统振动异常辨识方法。该方法采用... 为了在微弱故障征兆出现时能通过正常状态对异常进行辨识,针对通常动态系统故障状态样本缺乏的单值分类问题,提出混沌分形特征组合及支持向量数据域描述(support vector data description,SVDD)的动态系统振动异常辨识方法。该方法采用误诊和漏诊两种分类错误的SVDD接受者操作特征(receiver operating characteristic,ROC)曲线,通过分析振动混沌分形特征,选取最大Lyapunov指数和关联维数的最优组合,进而建立正常状态样本单值SVDD分类器,并对可提高分类精度的试验验证法优选核函数参数进行了探讨。试验及测试表明,SVDD-ROC方法避免了传统特征选取对具体故障类型样本的依赖性,选取的特征组合对正常和故障样本有较好的自聚类性,SVDD方法仅需要正常状态样本就能辨识异常状态,并且对未知故障也有较好的异常辨识能力。该研究可为动态系统异常状态提供建模与检测的理论基础和设计依据,有效预防突发事故,节约维修成本,提高动态系统的利用率,保障其安全运行,有效降低成本。 展开更多
关键词 混沌理论 分形 动态系统 接受者操作特征 支持向量数据域描述 异常辨识
下载PDF
OWL-S服务操作语义的Petri网描述新方法 被引量:3
17
作者 马炳先 杜玉越 《系统仿真学报》 CAS CSCD 北大核心 2007年第A01期69-74,128,共7页
提出对基于OWL-S描述的语义Web服务操作语义的Petri网描述新方法。选择动态描述逻辑的动作理论作为语义Web服务描述的逻辑基础,一个OWL-S原子进程可以作为一个动态描述逻辑动作进行描述,实现了对OWL-S原子进程的动态执行和相关执行条件... 提出对基于OWL-S描述的语义Web服务操作语义的Petri网描述新方法。选择动态描述逻辑的动作理论作为语义Web服务描述的逻辑基础,一个OWL-S原子进程可以作为一个动态描述逻辑动作进行描述,实现了对OWL-S原子进程的动态执行和相关执行条件静态逻辑推理的有机结合,进一步通过将Petri网与动态描述逻辑的动作理论结合,得到OWL-S进程(尤其复合进程)操作语义的Petri网描述,为组合语义Web服务的自动组合和动态性质分析提供了更为有效的逻辑依据和方法。 展开更多
关键词 OWL-S 操作语义 动态描述逻辑 PETRI网
下载PDF
基于Adaboost的人脸与虹膜融合识别 被引量:6
18
作者 高智英 李斌 《计算机工程》 CAS CSCD 北大核心 2011年第6期148-150,共3页
传统生物特征识别系统的识别率经常受到环境以及生物学特征的自身局限性影响。针对该不足,提出一种基于人脸与虹膜特征级融合的多模态生物识别系统,采用中心对称局部二值模式算子提取人脸和虹膜的纹理特征,将人脸特征与虹膜特征线性整... 传统生物特征识别系统的识别率经常受到环境以及生物学特征的自身局限性影响。针对该不足,提出一种基于人脸与虹膜特征级融合的多模态生物识别系统,采用中心对称局部二值模式算子提取人脸和虹膜的纹理特征,将人脸特征与虹膜特征线性整合成混合特征向量,利用Adaboost算法从该混合特征向量中优选出一组最佳特征组合,从而构成强分类器。实验结果表明,该多模态系统相比单模态系统具有更好的鲁棒性。 展开更多
关键词 多模态生物识别 人脸与虹膜特征融合 特征描述算子
下载PDF
重大公路交通基础设施运行环境描述模型 被引量:2
19
作者 马艳 郭忠印 《同济大学学报(自然科学版)》 EI CAS CSCD 北大核心 2010年第3期358-363,共6页
从道路环境、交通环境与气候环境三方面综合分析重大公路交通基础设施运行环境风险性,根据客观环境条件对道路用户行为的影响建立运行环境描述模型,对重大公路交通基础设施路段特征和运行环境属性特征进行描述.筛选影响重大公路交通基... 从道路环境、交通环境与气候环境三方面综合分析重大公路交通基础设施运行环境风险性,根据客观环境条件对道路用户行为的影响建立运行环境描述模型,对重大公路交通基础设施路段特征和运行环境属性特征进行描述.筛选影响重大公路交通基础设施运行环境安全性的显著性因素,提出线形安全性、路面状况安全性、交通设施认知性、安全设施有效性和气候环境风险性五类运行环境风险指标,给出相应评估内容与评估建议值,并描述了运行环境综合指标随单项指标的变化规律. 展开更多
关键词 重大公路交通基础设施 运行环境 特征指标 描述模型
下载PDF
电器智能化测控单元软件系统的设计 被引量:2
20
作者 刘晓峰 诸静 陈刚 《高压电器》 CAS CSCD 北大核心 2001年第5期18-21,共4页
针对电器智能化测控单元在继电保护综合自动化系统中适应各种保护应用和实时执行多种任务的需要 ,借鉴PLC的思想设计了一套在线可编程的实时多任务操作系统 ,它采用灵活多变的指令级功能描述语言以提供在线实时定制功能 ,改善了智能化... 针对电器智能化测控单元在继电保护综合自动化系统中适应各种保护应用和实时执行多种任务的需要 ,借鉴PLC的思想设计了一套在线可编程的实时多任务操作系统 ,它采用灵活多变的指令级功能描述语言以提供在线实时定制功能 ,改善了智能化电器的功能配置方式 ,使其能够适应多种应用要求和提高多任务实时调度能力。 展开更多
关键词 电器 智能化测控单元 软件系统 设计 继电保护 电力系统
下载PDF
上一页 1 2 7 下一页 到第
使用帮助 返回顶部