沈浩
- 作品数:14 被引量:34H指数:4
- 供职机构:上海交通大学电子信息与电气工程学院区域光纤通信网与新型光通信系统国家重点实验室更多>>
- 发文基金:国家自然科学基金上海市科学技术委员会资助项目中国博士后科学基金更多>>
- 相关领域:电子电信自动化与计算机技术理学更多>>
- 自动机与模型检查被引量:4
- 2004年
- 首先介绍自动机识别有限词和无限词两种情况,然后结合模型检查方法,把自动机作为规范自动机与模型自动机,使用自动机识别语言的包含问题技巧来解决模型检查问题,这里强调的是Vardi与Wolper提出的方法。
- 沈浩孙永强
- 关键词:自动机线性时态逻辑
- NAND Flash存储控制器的软硬件划分设计被引量:12
- 2004年
- 介绍了现代数码产品中NANDFlashMemory控制器的基本控制和4种软硬件划分不同的控制器设计。作者用VerilogHDL语言分别实现了这4种不同的控制器的,并进行了硬件面积、DSP占用率和接口灵活性的量化比较,指出了各种方案适用的范围。通过对一个SOC项目的需要分析,设定了基准函数,从而选出了合适的软硬件划分方案。
- 沈浩付宇卓
- 关键词:NANDFLASH软硬件划分
- 复合高阶微型环谐振腔全通滤波器的群延时和色散分析
- 本文提出并分析了一种通过在两个级联的微型环谐振腔之间引入一个小的辅助微型环谐振腔的新型全通滤波器结构.在提高色散补偿能力的同时,这种结构还能够增加补偿的带宽.由于辅助微型环谐振腔的引入,群延时峰之间的间距从25GHz展宽...
- 沈浩李新碗王义平陈建平
- 关键词:全通滤波器群延时色散补偿波分复用
- 文献传递
- 光波微环形腔的耦合特性及其在光交换网络中的应用研究
- 光波导微型环耦合谐振腔是一个新出现的光波导器件。本文着重从物理基础上对微型环耦合谐振腔进行了研究。通过耦合模方程来解决耦合系数和其他相关参数,诸如能量交换率,耦合长度,自由谱区宽度等等。在做了一些合理的近似后,可以利用已...
- 沈浩李新碗叶爱伦
- 关键词:耦合模方程
- 自动机,逻辑与博弈被引量:6
- 2003年
- 讨论了特定的自动机、自动机的识别能力、逻辑的表达能力和博弈思想的关系。使用博弈思想可以比较容易地证明一元二阶逻辑(S1S和S2S)的可决定性。主要考虑线性时间(linear time)与分支时间(branch time)两种情况,通过这些逻辑与别的时态逻辑的表达能力的等价性可以证明其它逻辑也具有决定性,可以设计相应的自动机去解决模型检查(Model Checking)问题。
- 沈浩孙永强
- 关键词:自动机博弈时态逻辑互模拟
- 脊形聚合物光波导中传输模式的演变与结构参数的优化设计
- 本文以脊形聚合物光波导为例,应用光束传播法(BPM)算法来模拟分析其单模区域、模式在波导传输过程中的演变以及模式输出功率随传输距离的变化趋势等.通过对模拟结果的分析,探讨对聚合物光波导结构参数(脊高、脊宽、脊高比)进行合...
- 周建李新碗周俊鹤沈浩陈建平王义平
- 关键词:脊形波导BPM结构参数优化设计
- 文献传递
- 互模拟与逻辑
- 2004年
- 本文首先讨论了模态逻辑与μ算子的表达能力、博弈语义,给出一阶逻辑与Monadic二阶逻辑的博弈形式,然后讨论互模拟等价在这些逻辑表达能力的核心作用和这些逻辑之间的关系。
- 沈浩孙永强
- 关键词:互模拟模态逻辑
- 可调微型环阵列加强马赫曾德尔滤波性能分析被引量:6
- 2005年
- 提出并分析了一种将微型环谐振腔阵列耦合集成在马赫曾德尔干涉仪(MZI)的一臂上实现的集成波导型滤波器结构。利用微型环阵列可在MZI的谱特性上引入多个零点和极点,从而对输出频谱进行优化,使其在中心波长1550nm处具有矩形系数为0.4的门状响应,并且保持比较大的自由谱宽(28nm)。使用新型电光聚合物作为波导材料可以对器件进行快速调谐,在折射率变化0.001时中心波长调谐1nm。
- 沈浩李新碗周俊鹤张晓红王义平陈建平
- 关键词:阵列可调电光聚合物输出频谱快速调谐谱宽
- 一种新型复合微型环全通滤波器
- 本文提出并分析了一种通过在两个级联的微型环谐振腔之间引入一个小的辅助微型环谐振腔的新型全通滤波器结构.在提高色散补偿能力的同时这种结构还能够增加补偿的带宽.群延时峰之间的间距由于辅助微型环谐振腔的引入从25GHz展宽到1...
- 沈浩李新碗王义平陈建平
- 关键词:全通滤波器群延时色散补偿
- 文献传递
- 聚合物光波导的模场特性分析
- 用时域有限差分法(Finite Difference Time-Domain,FDTD)对电光聚合物脊形波导进行了模拟分析,通过改变脊形波导的结构参数(脊高、脊宽、脊高比)来观察波导内的模场分布特性、对模式数量的影响.获...
- 周兴付李新碗沈浩周俊鹤王义平张晓红陈建平
- 关键词:电光聚合物脊形光波导模场分布有限差分法
- 文献传递