OPNET环境下的PIM—SM组播路由协议仿真

IPv6组播技术作为下一代互联网的核心技术之一,相对于IPv4组播技术具有更大的优越性。文章首先对PIM-SM组播协议在IPv6上实现PIM-SM涉及的问题进行了论述,然后在OPNET网络仿真模型中实现了对IPv6和IPv4混合网络场景的配置,进行组播的仿真实验比较单播与组播网络的性能,系统地分析了PIM-SM协议在OPNET中的实现。     

基于加权决策树的蛋白质序列分类算法研究

针对蛋白质序列分类的需求,深入研究了蛋白质序列分类算法。对蛋白质序列的特征属性进行了大量的分析和研究,给出了蛋白质序列特征属性的描述形式。在此基础上设计了一种基于加权决策树的蛋白质序列分类算法,详细阐述了加权决策树的构造过程以及决策树的主要参数计算方法,而且根据蛋白质序列的特征,对决策树进行了改进,给出了加权决策树的实现方法。测试结果表明：设计的蛋白质序列分类算法具有较高的分类精度和较快的执行速度。     

Software structure evaluation based on the interaction and encapsulation of methods

Software structure is the most important factor affecting the quality of a program.The evaluation of software structure is a foundational technique for software development.However,the traditional evaluation criteria,such as "high cohesion and low coupling",are no longer appropriate for the new web applications,which are designed with a hierarchical framework.A novel approach is proposed in this paper to evaluate software quality based on the interaction and encapsulation of methods.In particular,two criteria for high quality software,the functional and hierarchical structure,are proposed to support widely used web applications.The cohesion and coupling and layer matching ratios between methods within a software package are calculated to determine whether the package is well implemented in terms of functional or hierarchical structure.This approach enables us to quantify the quality of a software system according to the structural types of its packages.Experiments were carried out on 18 versions of Struts and six open-source software packages.Our evaluation concurs with the intuition that minor upgrades,aimed at fixing bugs and adding minor functionality quickly,reduce software quality,whereas major upgrades,which normally clean up messy code and re-construct the software,improve software quality.     

Complexity of synthesis of composite service with correctness guarantee

How to compose existing web services automatically and to guarantee the correctness of the design (e.g. temporal constraints specified by temporal logic LTL, CTL or CTL*) is an important and challenging problem in web services. Most existing approaches use the process in conventional software development of design, verification, analysis and correction to guarantee the correctness of composite services, which makes the composition process both complex and time-consuming. In this paper, we focus on the synthesis problem of composite service; that is, for a given set of services and correctness constraint specified by CTL or CTL* formula, a composite service is automatically constructed which guarantees that the correctness is ensured. We prove that the synthesis problem for CTL and CTL* are complete for EXPTIME and 2EXPTIME, respectively. Moreover, for the case of synthesis failure, we discuss the problem of how to disable outputs of environment (i.e. users or services) reasonably to make synthesis successful, which are also proved complete for EXPTIME and 2EXPTIME for CTL and CTL*, respectively.     

基于健康档案的医疗系统PKI信任模型研究

随着医疗信息技术的高速发展,我国医疗信息化建设中的信息安全问题显得越来越重要。而基于电子健康档案的医疗系统中身份认证管理已成为解决医疗信息系统中的安全问题中关键的一环。文章以基于电子健康档案的医疗系统中身份认证机制为出发点,分析PKI中各种信任模型的特点,对现有的方式进行研究和分析,设计出符合适合区域医疗信息平台的PKI信任模型,从而使基于电子健康档案的医疗系统中的身份认证机制更为安全、高效。希望给后续研究这一课题的研究者提供参考。     

MPEG-2／4AAC音频编码模块的验证

先进音频编码（AdvancedAudioCoding,AAC）以其多声道、多采样率、高压缩比、音质好等特点被广泛使用。文中首先介绍了MPEG-2／4AAC音频编码技术;接着基于MPEG-2／4AAC音频编码原理,开发了时钟复位、寄存器配置和音频数据收发的BFM模型,搭建了音频编码模块的RTL级虚拟验证平台,同时归纳了验证项;最后基于此验证平台和验证项,对设计进行了全面的仿真验证。实践证明该验证方法效率高、收敛快、覆盖率高,取得了较好的效果,为后续的FPGA平台验证和芯片应用提供了有力的保证。     

静止和旋转孤立车轮局部流场的评价

为研究车轮周围流场特征,分别对某孤立车轮静止和旋转工况下周围流场进行数值研究,并给予试验验证.计算采用定常雷诺时均纳维斯托克斯方程.在1∶15的模型风洞中进行试验.数值模拟结果与试验数据吻合.针对数值模拟结果,详细分析静止和旋转孤立车轮周围流场的流动情况、表面压力因数、气动阻力因数和气动升力因数等,得到孤立车轮旋转对车轮附近局部流场的影响以及形成机理.车轮的转动使总体压差减小,降低气动阻力和升力,改善气动性能。     

软件重构及设计模式在摄像头阅卷系统中的应用研究

首先设计并实现一个基于摄像头的阅卷系统,该系统由试卷获取、灰度化、二值化、畸变变换、倾斜校正、图像定位和识别等图像处理流程组成。然后以此为依据,通过对重构技术及设计模式原则和方法的系统研究,对该系统框架进行优化和重构。本文充分参照现有的设计模式,通过重构技术,改善现有代码的质量,增加系统的可维护性和可复用性。     

对偶四元数线阵遥感影像几何定位

提出以对偶四元数为数学工具进行线阵CCD(电荷耦合元件)遥感影像几何定位的全新技术方法。利用对偶四元数建立遥感通用传感器严密成像模型,将光线束的位置和姿态统一用对偶四元数表示,通过传感器扫描光线在空间中的螺旋运动,实现像点到其对应地面点物方坐标的变换,从而克服了成像几何参数(外方位元素)之间的强相关性。按照空间刚体变换线性蒙皮混合理论,可以把刚体变换矩阵分解为平移和旋转两个部分,对平移部分进行线性插值,对旋转部分进行球面插值,从而实现线阵CCD遥感影像外方位元素的解算。按照所建立的成像几何模型,利用某地区Geoeye-1遥感影像进行几何定位实验,实验结果表明新算法获得的几何定位精度优于传统算法,能够解决定位参数之间的相关性问题。     

Optimizing nonlinearity of piezoresistive pressure sensors by an asymmetric Wheatstone bridge

Microsystem Technologies - Since nonlinearity is critical to silicon piezoresistive pressure sensors, this paper combined theoretical analysis and simulation to study the effect of changing the...