土地利用现状管理信息系统中土地利用多级变更模型的建立及其事务处理机制设计

土地利用变更模型及其事务处理机制是土地利用现状管理信息系统的核心．传统变更模型所支持的变更操作粒度较为单一、事务完整性差、时空语义表现过于单薄．在分析了土地利用变更特点和存在问题的基础上，提出了一种土地利用多级变更模型LU-MCM（1and use multi—level change model），模型以土地利用变迁过程为变更对象，并进一步将之划分为多级变更逻辑单元进行组合描述，而所需解决的长事务处理机制则通过扩展的多粒度树状事务模型实现．土地利用现状管理信息系统的设计和实现证明，该模型对土地利用变迁过程表达效果较好，为土地利用变更数据管理提供了思路．     

对象式系统动态测试工具OODT研究

针对对象式系统的特点，提出了一种新的测试模型，并以此模型设计了动态测试工具OODT。该工具依据使用事件（USE CASE）生成对象式系统测试过程中的对象关联图（即执行路径）和LOG文件，LOG文件记录执行路径关键点信息。以此实现被测试路径的动态跟踪与执行结果的分析，因此OODT是支持系统的动态测试与测试覆盖率分析的有效工具。     

基于模型检测的可信软件栈测试

基于模型检测理论,提出了一种可信软件栈的测试方法,使用计算树逻辑对可信软件栈的函数调用进行抽象描述,通过验证可信软件栈函数的接口和函数调用是否符合规范,从而确定平台中可信软件栈的正确性.测试结果表明,一些可信计算平台产品中的软件栈不完全符合可信计算组织(TCG)的规范要求.     

基于图文双向引导注意力的新闻图集描述生成方法

在传统的图像描述生成任务中,已有方法对图像的描述仅仅停留在浅层,并缺乏真实世界知识的指导,难以挖掘出对象在特定背景下的逻辑语义关系。新闻文本的引入为图像描述带来了新的可能,同时对模型的学习能力有了更高要求;此外,新闻图集中往往存在多幅图像,且相互之间联系紧密,导致现有单图描述生成方法不适用于新闻图集描述生成。针对上述问题,本文提出了一种基于图文双向引导注意力(image and text bidirectional guidance attention,ITBGA)的新闻图集描述方法,以图集作为研究对象,并辅以对应的新闻文本作为背景知识,基于ITBGA分别实现粗、细两个粒度的跨模态信息交互,并通过指针网络辅助命名实体词生成。在本文构建的新闻图集数据集上进行了实验验证,结果表明ITBGA能有效提升描述文本的质量,在关键的CIDEr指标上达到了最优。     

基于中国邮递员问题的可信平台模块测试序列生成优化研究

现今国内外已经有不少对可信平台模块进行测试的研究成果,但是对测试效率分析不足.本文基于自动机理论和中国邮递员问题,提出了可信平台模块改进的有限状态机模型与相应的优化测试方案,通过寻找一条遍历有限状态机模型中每一条转移至少一次的最短路径的方法,从而生成费用优化的测试序列.测试结果表明,测试方案能够简化有限状态机状态的测试.     

基于SystemC的事务级AMBA总线模型的设计与实现

针对目前SoC设计中的时间瓶颈，根据系统建模语言SystemC对SoC进行事务级建模的方法。提出并实现了采用该方法构建基于AMBA规范的SoC片内总线模型的方案．模型采用了SystemC 2．0的接口、端口和通道的概念，这使模型具有很好的开放性和可扩展性．模型各部分间的通信通过调用各接口内定义的函数来进行，模型运行时只使用SystemC自带的轻量级仿真内核．实验结果表明：本总线模型完全符合AMBA2．0规范，可以有效克服目前SoC软硬件协同设计中的时间瓶颈．     

ebXML消息服务规范的互操作性测评研究

主要研究如何对电子商务平台的互操作性进行测评，介绍了互操作性基本概念，描述了基于ebXML规范的互操作性测评体系，最后通过ebXML消息服务互操作性测试，验证了测试模型，步骤和评价标准的正确性与有效性．     

群体智能对产业集群自适应行为描述的研究

侧重研究了产业集群的自适应行为的描述,借鉴群集智能的理论算法来描述集群中的典型自适应行为,具体包括改进蚁群分工模型用于描述集群核心能力的自适应形成行为、改进蚁群合作搬运模型用于描述集群中自适应合作行为和借鉴蚁群算法中信息素思想描述集群中的自适应竞争行为,这些自适应行为模型将为进一步形成产业集群的建模仿真提供了基础．     

面向对象的软件原型化可操作模型OPM

基于OMT(Object Modeling Technique),面向软件原型化领域,提出了可操作模型OPM(Object-Oriented Prototyping Modeling)。OPM是在对象模型OM(Object-Model)之上的一种二维的模型化方法,纵向,功能对象的APO抽象与继承的自顶向下模型化机制;横向,功能对象的有穷状态机中,状态对象的AKO抽象与继承的逐步细化的模型化机制。OPM通过当前状态对象的转换、消息授受来描述系统行为,原型化深度通过上述二维的对象模型化粒度来刻划,并给出了OPM应用的具体例子。     

用BP网络算法获取电子浓度真高剖面

提出了一种从垂测电离图获取电子浓度真高剖面的新方法——网络逼近法．该方法通过ＢＰ网络算法求解群路径积分方程，得到了电子浓度真高剖面．并对给定的抛物模式作了验证计算，计算结果与抛物模型理论值吻合较好     

鸟嘌呤质子互变反应机理的DFT研究

在密度泛函B3LYP/6-311G++**理论水平上,对气相和水相鸟嘌呤的两种形式(烯醇式与酮式)之间的质子转移(Path A:分子内和Path B:水助质子转移)互变异构体及其过渡态进行了几何构型全自由度优化,获得它们在气相和水相中的几何结构和电子结构,将PCM(极化连续介质模型)反应场溶剂模型用于水相计算.结果显示,在气相和水相中,烯醇式的稳定性大于酮式.Path A的过渡态结构为平面四元环,而Path B的过渡态结构为平面六元环;Path B所需活化能较低,约为Path A所需活化能的1/2.     

精确的堆内存使用量上界分析

基于符号执行框架分析了程序堆内存使用量的符号化上界.首先扩展了经典符号执行技术中的内存模型,针对堆内存分配与释放操作进行建模,维护堆内存的使用量信息,然后针对＂平板循环＂、带分支循环等常见循环结构给出了特殊处理策略,并采用程序切片技术缩减程序分析的规模.最后基于开源符号执行工具KLEE设计实现了一个堆内存使用量上界分析原型工具.实验结果证明,该工具能够针对很多常见程序给出精确可靠的堆内存使用量上界.     

基于Touch机制的μC／GUI手机模拟器人机接口设计

为实现通用手机模拟器MMI模块的贴图机制,采用嵌入式图形界面软件μC／GUI对手机模拟器进行开发,通过增加其触摸机制下的多对话框支持,解决了模拟器人机接口的外观贴图控制和键盘按钮模拟等问题,完成了系统结构设计、多任务处理、键盘接口、屏幕刷新接口和文件系统接口的调用等功能模块．新技术具备通用性好、结构简单、扩展性强等特点．     

基于分支限界的关键路径求解算法

提出一种基于分支限界的关键路径求解算法,将电路拓扑结构表示成有向带权网（WOEN）,寻找汇点,使节点到汇点的最大路径时延为该节点分支限界的最小限值,剪去违反分支限界最小限值的局部非关键路径的连接边以化简WOEN.新算法采取节点最大时延链表的存储结构,使得WOEN的存储空间、关键路径计算空间以及计算结果的存储空间共享同一存储空间.算法用C语言实现,并在ISCAS标准电路上加以测试.结果表明：新算法比现有算法所需的存储空间更小,求解关键路径的速度更快.     

外力诱导下的高分子链相变

采用nPERMis(new pruned-enriched rosenbluth method with importance sampling)算法,研究了吸附在表面的高分子链在外力诱导下的相变行为.以链长N=60的高分子链为例,在外力的作用下相变临界温度比没有外力作用的相变临界温度要低,并随外力的增大相变临界温度降低,但比热容峰值会增大.当外力f=1.0或者1.5时,在高温区域高分子链形状发生较大变化,但在低温区由于高分子链内部相互作用和界面的吸附作用,高分子链随温度的降低塌缩成与没有外力作用相同的构象.对于不同的链长,在同一外力的作用下,相变临界温度随链长增大而增大,且比热峰值也增大.     

基于孕育时间的金属材料动态屈服理论(英文)

利用孕育时间准则建立金属从弹性到塑性状态的转变模型,这种方法类似于在St.-Petersburg State University发展起来的脆性固体断裂的结构暂存理论.该方法可使我们建立模型,很好地分析和解释材料随温度变化发生的屈服应力演化、韧-脆性失效转变及其他效应等特殊的力学现象.     

制作和显示中文软件封面的一种新方法

本文提出利用SPT和西文W inflows制作中文软件封面的一种新方法.其主要步骤是,先在SPT下生成具有TIF格式的底稿,再用图像格式转换文件,使之转换成PCX格式或BMP格式,最后在Windows操作环境下进行艺术处理,生成中文软件封面.,其次,通过对BMP图像格式文件的分析,编制一个在应用程序中显示该中文软件封面的程序.     

基于多阈值技术的低功耗D触发器设计

目前CMOS电路中,漏电流功耗已经成为不可忽视的部分.降低电路漏电流功耗的一种有效方法是采用多阈值电路技术.根据多阈值电路设计原理,电路的关键路径采用低阈值晶体管,以保证电路的性能;非关键路径采用高阈值晶体管,以降低电路的漏电流功耗.对于触发器来说,其对时钟的响应部分是一个关键路径,而对信号的响应部分是非关键路径.本文据此设计了一种新型低功耗D触发器--多阈值与非门保持型D触发器.该电路结构简单,降低了电路漏电流功耗,并且当输入保持不变时,时钟信号不作用于内部结点,使内部结点电压保持不变,这进一步降低了电路的功耗.模拟结果表明所设计的D触发器跟传统的D触发器相比,可节省近25%的功耗.