■ukasiewicz命题逻辑中命题的Borel概率真度理论和极限定理
摘要：通过视赋值集为通常乘积拓扑空间，利用其上的Borcl概率测度在n值及连续值Lukasiewicz命题逻辑系统中引入了命题的Borel概率真度概念，讨论了它的基本性质，特别是给出了n值情形中概率真度函数的积分表示定理，并得到了其与连续情形概率真度函数之间关系的一个极限定理．结果表明，计量逻辑学中命题的真度概念只是所研究工作的一个特例，因而基于概率真度概念可以为不确定性推理建立一种更为宽泛的计量化模型．基于PAR的排序算法自动生成研究
摘要：排序是计算机学科中的一类特殊问题，其算法设计策略的灵活性使得求解算法更具多样性．基于形式化方法PAR（partition．and．recur），研究了排序算法的自动生成问题孩4画了排序问题的代数性质，形式化构建了排序算法领域的泛型类型构件和算法构件，建立了排序领域特定语言和算法生成形式化模型，以参数替换的方式自动生成了一组排序算法，包括快速排序、堆排序、Shell排序等典型的已知算法以及增量选择排序等若干未见于现有文献的算法，并在程序生成系统中予以了实现．通过上层框架研究和底层构件支持，显著提高了特定领域算法的开发效率和可靠性．正则表达式分组的1／（1-1／k）-近似算法
摘要：对正则表达式集合进行分组是解决DFA状态膨胀问题的一种重要方法．已有的分组算法大都是启发式的或蛮力的，分组效果很差．分析了DFA状态膨胀的原因，总结了某些正则表达式间的冲突状况．证明了当冲突非负和冲突独立时，正则表达式集合的最优k分组问题可归结为最大k割问题，从而说明该问题是NP-Hard的基于局部搜索的思想，提出了一种分组算法GRELS来解决分组问题，并证明对最大k割问题，该算法的近似比是1／（1—1／k）．与已有的分组算法相比，当分组数目相同时，GRELS算法分组结果的状态总数最少，并且集合发生变化时所需的更新时间最短．电子细胞模型Analog-Cell中前体mRNA剪接过程的模拟与研究
摘要：真核细胞前体mRNA的剪接加工包含内含子剪切和外显子拼接两个过程，是真核细胞基因表达过程中的一个重要环节．针对这一环节，提出了一种模拟真核细胞前体mRNA内含子剪切及其选择性剪接的算法，并在自主研发的电子细胞模型Analog—Cell中实现了该算法，且获得了符合生物学原理的模拟结果．模拟结果表明，该算法可使剪接体高效、准确地模拟内含子的剪接过程，并形成套索结构，同时有选择地将外显子片段拼接起来，最终形成成熟的mRNA．求解等球packing问题的两个策略
摘要：为求解等球packing问题，在拟物模型基础上提出两个启发式策略：伪球策略和序列对称换位策略．前者旨在保证获取精确解；后者则用于从局部最优布局出发搜索到紧凑的可行布局．在处理器为PentiumE65002．93GHz的PC机上进行了实算．在球形容器内对多达200个等球、在立方体内对多达150个等球进行了紧密装填．结果在质量和算例数量上均显著改进了国际上已知最好记录．特别地，在半径小于5的大球中装下了68个半径为1的等球，证明否定了一个猜想，其认为半径为5的大球最多只能装下67个半径为1的等球．一种用于常识空间信息处理的定性空间关系模型
摘要：在空间信息处理中，一些常识空间信息通常结合多方面空间关系，而且这些空间关系是动态变化的．为了有效地表示这些复杂的空间关系，并对其进行推理，提出了一种结合拓扑、方向和大小关系的空间信息处理模型TDSC（topology-direction—sizecalculus），并基于TDSC模型提出了处理动态空间关系变化的表示推理框架．首先，利用同对象多属性的方法建立了融合大小、拓扑和方向关系的完备互斥基本关系表示；然后提出了复合表生成算法和推理算法，使得原有模型的表示和推理结果可以直接在新模型中使用同时提出处理动态空间关系的邻域划分图，给出了邻域划分图的自动生成算法，以及TDSC模型的邻域划分图．最后给出基于TDSC模型邻域划分图的表示和推理框架，并结合实例说明框架的正确性和有效性．谓词模态逻辑到对应物理论的翻译
摘要：对应物理论（counterpart theory）是一阶逻辑的一种理论．Lewis利用谓词模态逻辑到对应物理论的翻译来研究谓词模态逻辑的性质，但是Lewis的翻译存在把不可满足的公式翻译为可满足公式的情况．针对这个问题，提出了一种扩展语义的谓词模态逻辑，建立了扩展语义后谓词模态逻辑模型与对应物理论模型的一一对应关系，并在此基础上建立了谓词模态逻辑到对应物理论的语义忠实语义满翻译（faithful and full translation），其可确保将谓词模态逻辑的可满足公式和不可满足公式分别翻译为对应物理论的可满足公式和不可满足公式．由对应物理论是可靠的、完备的一阶逻辑的理论且语义忠实语义满翻译保持可靠性和完备性，进一步证明了扩展语义的谓词模态逻辑也是可靠和完备的．无偏置支持向量回归优化问题
摘要：为了研究偏置对支持向量回归（support vector regression，简称sVR）问题泛化性能的影响，首先提出了无偏置SVR（NBSVR）I的优化问题及其对偶问题．推导出了NBSVR优化问题全局最优解的必要条件，然后证明了SVR的对偶问题只能得到NBSVR对偶问题的次优解同时提出了NBSVR的有效集求解算法，并证明了它是线性收敛的．基于21个标准数据集的实验结果表明，在对偶问题解空间上，有偏置支持向量回归算法只能得到无偏置支持向量回归算法的次优解，NBSVR的均方根误差要低于SVR．NBSVR的训练时间不仅低于SVR，而且对核参数变化不太敏感．基于超图的翻译模型融合的研究
摘要：当前，系统融合是在机器翻译的后处理上进行．提出了在解码过程中来融合翻译模型，融合了主流两个翻译系统的翻译模型（层次化的基于短语的文法Hiero和括号转录文法BTG）．并从理论和实践的角度探索了现在主流的两种解码方法．同时，所提出的解码方法解决了伪歧义或一致性问题．在实验结果上得出：多文法模型融合的标志性要好于成员翻译模型；新的解码方法标志性好于传统解码方法（Viterbi解码）．一种虚拟人作业行为的自主优化模型
摘要：人体自适应行为仿真是实现人机工程学评估的前提条件．针对已有技术存在的不足，提出了一种基于多Agent合作式博弈的虚拟人作业行为自主优化模型．该模型将工作环境中人体自适应行为定义为一个多目标优化问题．提出了人体工作状态空间和人体行为元素的概念，以实现人体行为的离散化．设计了人体行为仿真算法以求解上述模型．算法采用梯度上升的策略来搜索满足模糊多目标Nash谈判条件的人体作业姿态的Pareto最优解．仿真实验表明，该方法可以在缺少相关数据的情况下推导出舒适的人体工作姿态，在工程领域中表现出较好的适用性．求解约束优化问题的ε-DE算法
摘要：差分进化（differential evolution，简称DE）算法解决约束优化问题（constrained optimization problems，简称COPs）时通常采用可行解优先的比较规则，但是该方法不能利用种群中不可行解的信息．设计了可以利用不可行解信息的,ε-DE算法孩算法通过构造一种比较准则，使得进化过程可以充分利用种群中优秀不可行解的信息．该准则通过引入种群约束允许放松程度的概念，在进化初始阶段使可行域边界上且拥有较优目标函数的不可行解进入种群；随着进化代数增加，种群约束允许放松程度不断减小，使得种群中不可行解数量减少，直到种群约束允许放松程度为0，种群完全由可行解组成．此外，还选择了一种改进的DE算法作为搜索算法，使得进化过程具有较快的收敛性．13个标准Benchmark函数实验仿真的结果表明：ε-DE算法是目前利用DE算法解决COPs问题中效果最好的．基于首选路由的AS重要性评估方法
摘要：准确评估节点的重要性。是增强网络生存性的基础．由于域间路由系统路由策略的复杂性，已有的面向静态拓扑的节点重要性评估方法不能真实反映各个自治系统（autonomous systems，简称AS）在路由中的重要性．首次从动态路由的角度基于AS之间的最优路径从路由上评估各个AS的重要性，经过AS的最优路径数量越多，它就越重要．提出了基于首选路由的AS重要性评估方法，其时间复杂性为O（lxnm），它与面向静态拓扑的评估方法中最好的时间复杂性相同，并且能够更准确地描述节点的实际重要性．通过真实路由数据进行实验，与两种典型的面向静态拓扑的基于顶点度、强度中心性的评估方法对比，其结果表明，基于首选路由的评估方法可以有效发现AS网络中连接较少但很重要的节点，并且评估的重要性与实际的重要性更吻合．面向编码机会路由的无线Mesh网络广播信道接入
摘要：编码机会路由是有损无线Mesh网络中提供高吞吐量和高可靠性传输的理想方案．该路由机制建立在无线广播的多用户分集优势和随机网络编码的纠删特性之上，为广播MAC的设计引入了新的机会和挑战．基于最优停止理论，研究面向编码机会路由的机会广播信道接入问题，提出一种在接入延迟和信道交付能力之间加以折衷，以获得最优的平均有效速率的方法，并在IEEE802．11DCF协议基础上设计实现面向NCOR的广播MAC协议O—BCast．仿真结果表明，该协议显著提高了编码机会路由的端到端吞吐量，具有网络负载自适应的良好特性．标准模型下的签名：构造模型与证明安全性
摘要：目前已经提出的签名方案缺乏在完整的签名安全模型下证明方案的安全性．在Boldyreva等人提出的签名安全模型的基础上，对签名的可证安全模型进行详细的形式化定义，提出一种完整的签名可证安全模型．同时，为了展示该安全模型的有效性和可扩展性，对Paterson等人提出的标准模型下基于身份的签名方案进行扩展，提出在标准模型下基于身份的签名方案，并在可证安全模型下，证明新方案具有在自适应选择消息攻击下存在基于身份的签名不可伪造性，其安全性在标准模型下可归约于CDH问题假定．新方案与标准模型下基于公钥密码体制的签名方案相比，不仅增加了用户身份的概念，还具有更完备的安全性．分组密码二元扩散结构的几点注记
摘要：0-1矩阵常用于设计分组密码的扩散结构．首先证明，当GF（2^n）上的矩阵重新定义在扩域GF（2^mn）上时其分支数保持不变，据此补充了Choy等人关于GF（2^n）上二元矩阵分支数上界的证明．构造了一批分支数达到最优的8阶二元可逆矩阵，给出了一类差分分支数和线性分支数相等的二元可逆矩阵，并从中搜索出了大量16阶分支数达到最优的二元矩阵和对合二元矩阵．异构传感器网络能量空洞分析与避免研究
摘要：在无线传感器网络中，由于sink附近的节点承担远方节点数据的转发，故能量消耗较高，容易在sink附近形成能量空洞而使网络提前死亡．针对由初始能量较大节点充当簇头节点与初始能量较小的节点作为普通节点组成的异构分簇无线传感器网络，提出了不等簇半径工作能量空洞避免策略．策略的核心是让近sink的簇半径较小，而远sink的簇半径较大，这样，近sink部署的初始能量较大的簇头节点较多，因而能够减弱能量空洞的影响，以达到能量消耗均衡的目的．将能量空洞避免问题转化为在保证网络寿命满足应用需求约束前提下如何使部署的节点最小的优化问题，并详细给出了不等簇半径的取值与优化方法．理论分析与实验结果表明，所提出的策略对网络寿命与性能有较大的改善．对于异构传感器网络建设有较好的指导意义．一个可追踪身份的基于属性签名方案
摘要：基于属性的签名（attribute-based signature，简称ABS）方案可以隐藏签名者的身份．为了防止签名者滥用签名，Escala，Herranz和Morillo提出了一种可追踪签名者身份的基于属性签名方案（EHM．ABS），其中使用了自同构签名，并多次使用了非交互证据不可区分（non-interactive witness indistinguishable，简称NIWI）的证明．在Boyen和Waters的基于ID的紧致群签名方案的基础上，在标准模型下提出了一种可追踪身份的ABS方案．在颁发属性私钥时嵌入签名者的身份，并对身份使用比特加密的NIWI证明来实现可追踪性。与EHM．ABS相比，当声明的属性集合的阶大于ID的比特长度的1／4时，该方案减少了使用NIWI证明的次数，且无须使用自同构签名．该方案的安全性基于子群判定假设和CDH假设．节点证书与身份相结合的HMIPv6网络接入认证机制
摘要：接入认证是层次型移动IPv6（HMIPv6）网络安全的基本需求．构建了适于HMIPv6的分层认证框架．设计了一种节点证书与身份相结合的签名方案，并以此为基础提出了HMIPv6网络双向接入认证机制．该机制利用基于身份密码技术简化了公钥基础设施的复杂密钥管理过程；以节点证书为接入认证的主要依据，消除了接入网络与家乡网络问的消息交互；采用提出的层次化签名方案，实现了用户与接入网络的双向认证．机制经过简单扩展，能够支持多层HMIPv6网络的接入认证．性能与安全性分析表明，与传统的及其他基于身份的认证方案比较，所提出的机制拥有更高的认证效率和安全性．