徐文杰
- 作品数：11 被引量：5H指数：2
- 供职机构：上海大学更多>>
- 发文基金：国家自然科学基金上海市自然科学基金上海市教育委员会重点学科基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 电场作用下掺锰石英光纤中线偏振光传输特性研究被引量：2
- 2018年
- 为克服传统的基于非光纤传感元件的光纤电压传感器在技术复杂、价格高昂、晶体损耗大且与光纤耦合困难等不足之处,首先研制出了掺锰石英光纤样品,进而实验研究了电场对掺锰石英光纤中线偏振光传输特性的影响。测试分析了掺锰石英光纤中线偏振光的偏转角随电场强度的变化,其呈近似的线性关系。同时,测试分析了线偏振光的偏转角随电场强度的变化灵敏度与掺锰石英光纤长度之间关系。获得掺锰石英光纤长度分别为2.5、5和10 m时,其偏转角随电场强度的变化灵敏度分别为1.23×10^（-3）°m/kV、2.46×10^（-3）°m/kV和3.26×10^（-3）°m/kV。研究结果表明,所研制的掺锰石英光纤中线偏振光的偏转角与电场强度之间的线性关系在全光纤高压传感领域将具有潜在的应用价值。
- 陈振宜王伟男陈娜陈娜庞拂飞徐文杰
- 关键词：石英光纤偏振光电场
- 事件本体中的动作推理研究
- 事件是随时间变化而变化的具体事实，事件是由动作、时间及其它要素组成，动作是事件定义中的主要构成部分．在面向事件的知识库系统中，关于动作的推理研究一直是重要的研究课题之一．现有的动作推理形式化系统旨在描述和推理现实世界中状...
- 徐文杰刘炜付剑锋刘宗田
- 关键词：描述逻辑
- 事件本体中的动作推理研究被引量：1
- 2011年
- 事件是随时间变化而变化的具体事实,事件是由动作、时间及其它要素组成,动作是事件定义中的主要构成部分.在面向事件的知识库系统中,关于动作的推理研究一直是重要的研究课题之一.现有的动作推理形式化系统旨在描述和推理现实世界中状态的变化,忽略了时间要素对推理过程的影响.针对这种不足,本文在描述逻辑的基础上扩充了一个Action-TBox和一个Action-ABox,并将事件本体中的动作要素和时间要素相结合,形式化定义了动作的一个三元组表示方式以及多种时间构造算子,用以刻画组合动作的发生过程,在此基础上研究了事件本体中关于动作的几种推理服务.
- 徐文杰刘炜付剑锋刘宗田
- 关键词：描述逻辑
- 基于铕离子掺杂荧光光纤的光纤有源器件
- 本发明涉及一种基于铕离子掺杂荧光光纤的光纤有源器件。本器件基于铕离子掺杂光纤的三价铕离子的<Sup>5</Sup>D<Sub>0</Sub>→<Sup>7</Sup>F<Sub>2</Sub>能级跃迁能够产生618nm波...
- 陈振宜王廷云石绍华徐文杰庞拂飞陈娜
- 文献传递
- 基于扩展描述逻辑和逻辑程序的事件动作形式化表示与推理被引量：2
- 2014年
- "事件"是比"概念"粒度更大的人类知识表示单元,更接近于人类的认知过程。动作作为事件的一个重要要素,表示事件中对象的状态的变化过程。在状态的变化过程中加入时间信息,将动作表示为对象的状态随时间变化而变化的过程,使得动作描述得更加具体。运用事件中的动作、对象和时间要素构建了一个动作形式化体系,研究了事件知识中确定性动作和不确定性动作的语法表示和语义解释。该形式化体系将扩展的带时间维的描述逻辑T-ALC和逻辑程序设计进行整合,增强了动作的表达能力;在动作的推理中,将确定性动作转化为逻辑程序Datalog规则实现动态推理,将不确定性动作转化为Datalog规则实现不确定推理。最后通过银行服务系统实例对动作的形式化表示和推理进行了验证。
- 刘炜徐文杰唐英英付剑锋张旭洁刘宗田
- 关键词：逻辑程序
- 微观光纤内窥镜
- 本发明公开了一种微观光纤内窥镜，由光纤束、多维移动平台、陷波器、滤波片、激光光源、显微物镜、成像系统和信号分析处理系统构成，由光纤束形成内窥镜的软管，光纤束由两根以上光纤形成，光纤束的一端安装信号探头，光纤束的另一端设有...
- 陈振宜王廷云庞拂飞徐文杰黄静陈娜郭强刘书朋
- 文献传递
- 事件知识中动作的表示与推理研究
- 徐文杰
- 关键词：知识表示知识推理描述逻辑时间信息逻辑程序
- 拉制与极化一体化的极化石英光纤制作装置
- 本发明涉及一种拉制与极化一体化的极化石英光纤制作装置，包括收送棒系统，光纤预制棒，红外测温仪，石墨炉，高压极化电极，红外测径仪，一次涂覆装置，二次涂覆装置以及收丝轮；所述光纤预制棒一端固定在收送棒系统上，由收送棒系统精确...
- 陈振宜王廷云徐文杰庞拂飞石绍华陈娜
- 文献传递
- 石墨烯量子点光纤放大器
- 本发明公开一种可在光子学实验和光纤通信领域中应用的石墨烯量子点光纤放大器。本发明包括空芯光子晶体光纤和滤光片，所述空芯光子晶体光纤内部空芯区域和空气微孔的内壁上均匀沉积一层散布石墨烯量子点的薄膜，其末端放置一给定波长的滤...
- 张恒陈振宜王廷云刘书朋徐文杰杨向飞
- 文献传递
- 基于扩展描述逻辑和逻辑程序的事件动作形式化表示与推理
- "事件"是比"概念"粒度更大的人类知识表示单元，更接近于人类的认知过程，更符合客观实际。事件反映了现实世界中物质的运动和变化。动作作为事件的一个重要要素，表示着事件中对象的状态的变...
- 刘炜徐文杰唐英英付剑锋张旭洁刘宗田
- 关键词：逻辑程序
