一种检测TAL-freeness的代数方法

时间动作锁(Ti me-Action-Lock,TAL)指的是实时系统处于一种时间无法继续同时又没有任何动作能够发生的状态.Behzad和Kozo在时间自动机的几何学基础上提出了一种针对TAL-freeness的检测方法.但该方法要求必须将需要检测的模型转化为一种逻辑语言Rational Presburger Sentences后才能进行检测,因此使得验证过程比较繁琐.文中提出了一种检测TAL-freeness的代数方法,能够直接对系统模型进行直接验证,并且能够定位死锁原因.针对该方法,文中还给出了相应算法并提供了正确性证明与性能分析.     

基于ECC组合公钥的GSM双向认证

针对目前GSM网络认证和密钥协商过程中存在的安全隐患,提出了基于椭圆曲线组合公钥技术的GSM离线双向认证,在引入了非对称密钥加密的同时却不需要引入可信任第三方CA机构,能有效解决大规模网络环境中密钥生产、分发、存储管理与证书验证难等问题。实验分析表明,该方案不仅实现了GSM的双向认证,而且与其它方案相比,节省了网络带宽,降低了对存储空间的要求,且每次认证都实现了加密密钥刷新。     

知识进化算法研究

传统的进化算法是对生物自然进化过程的模拟,目前人们对它们的研究大多集中在生物自然选择层面上。将知识进化论哲学思想与生物进化理论结合起来,提出了知识进化算法的基本原理和实现途径。知识进化算法的核心思想是建立知识适应度评价函数,利用两个关键算子即传承算子和创新算子,实现知识的进化。将知识进化算法应用于图书馆读者满意度评价的知识规则进化实例中,获得了成功的结果,表明了知识进化算法的可行性和有效性。     

可满足问题的分子信标计算模型

分子信标（Molecular Beacon）是一种发夹状的荧光探针,它可以特异地和那些与分子信标的环（Loop）互补的核酸靶序列杂交,具有单个碱基错配的检测能力．肽核酸（Peptide Nucleic Acid）是人工合成的核酸（DNA）的类似物．PNA骨架为酰胺键,与DNA补链杂交更稳定,可以阻止聚合酶延伸反应．文中将可满足问题的约束变量编码于分子信标的环部识别区,通过分子信标与使得给定范式为真的变量的PNA补链杂交,再利用PNA链可以阻止聚合酶延伸反应的性质,用限制性内切酶EcoRI降解对应于非解的分子信标,最后通过加热表面使分子信标构形发生变化,产生荧光读解．提出的可满足问题的分子信标计算模型具有可靠性高、无需观察和记录计算的中间结果、读解简单等优点．     

GPS软件接收机信号捕获频率分辨率的研究

为了提高GPS软件接收机信号捕获的载波频率分辨率,在频域并行频率空间搜索捕获方法中,利用加大分析数据长度可以提高频率分辨率的优点,结合频域并行码空间搜索捕获方法,构成了一种混合搜索方法。仿真结果表明本方法在略微增加捕获时间的基础上提高了载波频率分辨率,保证了后续信号频率跟踪环节的准确性和快速性。     

复小波域层内层间相关性图像去噪方法

提出了双树复小波变换域尺度内和尺度间复系数相关性图像去噪新方法。该方法利用双树复小波变换的多方向性和平移不变性对图像进行多尺度分解,采用邻域复系数微分窗对其高频方向子图进行尺度内复系数相关性建模,并按最小错误率贝叶斯决策规则进行分类和状态标识;再把复系数尺度内状态标识与复小波域隐马尔可夫树相结合,从而实现降噪功能。实验结果表明,该方法在峰值信噪比指标上优于传统的滤波方法,能有效地抑制噪声的同时,对图像边缘具有较好的保护能力。     

基于一种新的Snake模型的序列图像边缘提取算法

对医学图像数据中感兴趣区域（ROI）进行准确的边缘提取和分割,是对图像进行分析、理解和处理的重要前提。为克服现有Snake算法人工初始化轮廓不精确,迭代过程中曲线易被复杂背景吸引等缺点,提出基于一种改进Snake模型的序列图像边缘提取算法。该算法先利用序列图像相似性原理提取出近似边缘,然后将其平均分为4个子边缘,在每个子边缘上取数目均衡的Snake输入点,最后离散Snake的内力和外力,经过迭代得到最终边缘。实验结果表明：该方法能精确地提取出医学图像中复杂区域或畸形区域的边缘,且计算量较小。     

无线传感器网络中ERARP拓扑控制算法

为了延长无线传感器网络的生命周期,进行了无线传感器网络中节能路由协议的探索性研究,提出了一种新的节能路由协议并将其具体实现.首先分析了传感器网络应用的特点以及设计和应用中的限制,综述了现有传感器网络中节能路由设计的方法,设计并实现了一种基于能量的半径自适应路由协议ERARP;然后在OPNET仿真平台上对该协议进行了仿真模拟;最后与无线传感器网络传统的两种节能路由协议基于信息协商的传感器网络协议和直接扩散协议在同等条件下针对节点能量使用、延迟、丢包率和吞吐量等四个性能评价指标进行了对比.结果表明,ERARP使得节点能够根据自身剩余能量的状况对节点的运行模式进行控制,同时对无线模块的收发半径进行动态调整,达到节能目的.     

质量管理信息系统中用户自定义报表的实现

在质量管理信息系统中,报表是用户与计算机对话的主要对象,而在现有的管理信息系统中多数采用的是固定报表格式,满足不了用户的需要。如何根据用户的需要来生成报表？通过对Delphi开发工具中报表的生成过程的研究,提出了利用动态数据窗口和数据库技术来实现用户自定义报表的方法。该方法利用Delphi自身提供的功能,结合用户的实际应用,真正实现了易于操作的自定义报表,提高了质量管理的效率。     

基于B/S模式的网络虚拟实验系统的设计与实现

利用.NET控件技术及C#编程语言,设计和实现一套基于B/S模式的网络服务器虚拟实验系统。基于该系统,学生不必进入真实的实验室,只需通过Web浏览器便可以完成具有自主性操作的在线服务器配置实验。本文介绍该虚拟实验系统的设计及应用过程。