啁啾高斯光脉冲和群速度色散对带前置放大器光接收机灵敏度的影响研究

研究了啁啾高斯光脉冲信号对带前置放大器光接收机灵敏度的影响,以及群速度色散对光接收机灵敏度恶化量的影响.发现适当选取高斯光脉冲信号的占空比、啁啾分量、光接收机均衡滤波器输出的升余弦频谱波形滚降因子的值可以提高光接收机灵敏度;群速度色散存在时光脉冲的宽度并非越小越好.结果对实际光接收机的分析和设计有一定指导意义.     

矩形群的强正则*断面

正则*断面是研究半群结构的一个重要手段,强正则*断面是正则*断面的加强.现通过研究矩形群的强正则*断面.利用已知强正则*断面的结构定理,给出了矩形群的强正则*断面的结构刻画和同构定理.     

依赖注入技术及其执行过程的形式化描述

依赖注入技术指由构件运行平台在运行期根据系统配置文件中定义的构件间的依赖关系，将被调用构件实例化，并注入到调用构件之中。本文在分析研究依赖注入技术的基础上，用完全格工具形式化地描述依赖注入的执行过程。     

国外流域水资源配置模型研究进展

对国外水资源配置模型研究进行了综述，总结了水资源配置模型研究发展的趋势，即单目标模型向多目标模型发展，模拟与优化模型相结合，以及不确定性和模糊优化模型的建立．建议开发多目标、多层次、多用户、群决策的流域水资源优化配置模型系统，为流域水资源合理配置与科学管理实践提供科学的决策依据。     

一种基于语音识别SoC调试的JTAG接口设计

在JTAG(jointtestactiongroup)工业标准的基础上,采用了一种基于语音识别SoC(SystemonChip)调试的JTAG接口设计.该设计以求用最少的硬件开销,最简单灵活的方式,支持寄存器查看和设置、IP核程序流跟踪、代码覆盖率检查、代码分析、IP核扫描测试等功能.该设计已经应用于以OpenRISC为核心的语音识别SoC设计平台上.     

温州劳动密集型企业集群研究

企业集群是提升区域竞争力的重要因素.文章以浙江温州为研究对象,分析了温州劳动密集型企业集群的发展现状,对它进行了分类、说明了其形成基础和条件,并探讨了企业集群对温州经济的作用.     

对一种电子支付协议的改进

随着电子商务在全球的迅猛发展,电子商务的安全问题日益受到人们的关注。安全的电子商务协议是确保电子商务活动可靠开展的基础,其中不可否认性和公平性则是电子商务协议的两个重要安全需求。介绍了Bolignano电子支付协议,对其不可否认性和公平性进行了分析,发现了协议在公平性方面存在不足,并通过引入ftp传送的思想,对协议进行了改进。最后本文通过严格的协议形式化分析,证明了改进后的协议满足不可否认性和公平性。     

Cook-Seiford函数的若干推广

用例子指出Cook-seiford函数所得的群排序的不唯一性，并利用计算机模拟实验说明这种情况出现的几率较大，提出Cook-Seiford函数的两种推广：加权的Cook-Seiford函数和基于Minkowski距离的Cook-Seiford函数；解决了Cook-Seiford函数结果不唯一的问题．推广的Cook-Seiford函数还可以用来进行多属性决策．     

关于弱半根子群

证明了：①如果局部有限群G的每一个子群H是弱半根群且对任意P∈π（H）满足H≠H^p，那么G是局部幂零群而且每一个Sylow P-子群是有限群．②令G是一个P-群且exp（G）〈∞，如果│G：G^p│=∞，但是G的所有真子群是弱半根群，那么对任意xG^p∈G／G^p，其中xG^p不属于G／G^p的中心，有G=〈x〉^G G^p．     

Poisson流形上李代数与Poisson辛李群的讨论

文章给出了Poisson流形上李括号的一些结论,并在Poisson流形P1,P2上定义了C^∞（P1）＋C^∞（P2）的{,}运算,验证了C^∞（P1）＋C^∞（P2）构成李代数,其次简单讨论了Poisson辛李群.