行为延时约束下调度算法研究

为了自动综合设计迭代产生的行为时序,提高综合前后设计时序的一致性,对VHDL同步延时语句的高级综合方法进行研究.将延时转化为适当约束,提出相应调度模型及调度算法,采用启发式方法使解空间搜索算法跳出局部最优,该算法可以在多项式时间复杂度下得到近似最优解.实验结果表明,该算法能有效综合同步延时语句,使综合前后设计时序达到较好一致,提供了一种便于给出延时约束的手段,减少了综合过程的人工干预,提高了设计效率.     

基于OCL约束的多态性时序图测试用例生成方法

由于UML时序图不能够描述多态性,导致根据时序图生成的测试用例存在不足,无法测试多态性方法.提出了一种对多态性时序图的形式化及相应测试用例的生成方法.根据类约束和满意集规则确定类的多态性方法集CSPM(class sets of polymorphism methods),并将多态性时序图转换为多态扩展有向无环图PCOMDAG(polymorphism class object method acyclic graph).使用提出的测试覆盖准则及深度优先算法对PCOMDAG图进行遍历,自动生成多态性时序图的测试用例.通过实例验证方法的有效性,其结果表明,本方法能够生成基于OCL约束时序图的测试用例对多态性方法进行测试,提高时序图测试集的覆盖度.     

一致性测试中的时间约束及测试用例生成算法

针对协议测试理论中的时间约束问题，从不同的一致性测试方法出发对协议测试中的时间参数做了严格的约束，同时给出了基于等待、协调和同步时间的严格约束下的测试用例生成算法．在控制流测试中，先生成引导序列，然后按照测试拓扑环境设置和事件约束对引导序列、测试序列的时间进行约束设置．在数据流测试中，等待时间只需按照需求描述和约束来设定．对边界网关协议进行测试的结果表明，所提算法能适应不同的网络拓扑环境，其生成的测试用例在测试中能够有效降低测试代价．     

一种基于Muller流水线的异步流水线物理实现流程

为了克服异步电路实现工具不统一、实现复杂度较高的问题,提出了一种新的异步流水线实现流程.基于功能将实现流程分为同步时序约束和异步控制实现两个部分,对同步时序约束采用虚拟时钟,对异步控制实现采用真实延时控制,通过在实际的异步控制信号下的静态时序分析得到时序结果.实验和仿真结果一致表明,该流程可以完全利用成熟的电路自动化设计工具实现,极大地降低了异步流水线的实现难度.     

基于事件时序关系的自动摘要抽取

由于文本中事件之间的时序关系可以帮助人们更好地理解文本内容,故针对新闻报道类文本,将事件作为其基本语义单元,并根据时序关系建立事件有向网络文本表示模型;利用PageRank算法结合主题相关度对时序网络进行节点重要度计算及调整;最后,按照重要度以及事件发生的顺序进行排序,并按照一定的压缩比提取摘要句,删除冗余的句子,将事件对应的原语句作为摘要。实验结果表明,基于事件时序关系的自动摘要方法效果较好。     

时序逻辑电路中的竞争冒险

分析了异步时序逻辑电路和同步时序逻辑电路中的竞争冒险现象,给出了消除竞争冒险的方法和途径．     

时间规划中D_时刻表的改进算法及应用

对既存在时间关系约束又存在时间宽度约束的n个事件,用时间规划的D_时刻表算法,可以求得2n个端点集的一个有序划分,该划分满足所有的约束条件.我们在应用中对算法进行了一些改进,增加了矩阵化简过程中的合并链和空事件,提高了算法的实用性.     

动态身份认证方案及应用

新颖、安全的动态身份认证系统主要由电子令牌、安全认证服务器、管理工作站、认证服务接口函数等组成.通过同步、非同步认证算法,生成"动态口令".由于生成的口令间无相关性,无法预测、跟踪、截取、破译,能有效提高身份认证可靠性.简要介绍基于时间、基于事件同步、非同步认证原理,分析了动态认证技术安全性.针对目前证券业中身份认证问题,以事件同步认证为例,详细介绍动态身份认证技术在证券交易中认证流程、以及认证系统与客户系统的集成.     

基于Gossip算法的无线传感器网络时间同步

将Gossip算法用于实现无线传感网络的分布式时间同步,提出单Gossip同步算法和多Gossip同步算法,解决传统无线传感器网络时间同步算法中存在的计算复杂度高和同步收敛速度慢等问题.单Gossip同步算法首先利用构造生成树算法得到一个生成树,然后,依次对生成树每条边的两节点时钟信息进行Gossip运算,反复循环,最终可使网络各节点的时钟信息收敛于它们初始时钟信息的平均值.多Gossip同步算法对生成树进行边染色,相同染色的边可以同时进行Gossip运算.这2种同步算法减小了消息交换数,降低了计算复杂度,提高了同步的收敛速度.用随机矩阵理论和图论进行了理论证明,通过计算机仿真对理论分析进行了数据验证.     

基于最大互邻集合的无线传感器网络单向时间同步

时间同步是无线传感器网络的一项关键技术。针对目前时间同步算法能耗较大等问题,通过单向同步技术建立全网同步数学模型,提出一种基于最大互邻集合的同步算法。在层次发现阶段生成同层节点的最大互邻集合,利用有限的消息交互分布式地保留尽量少的广播节点,并加入子节点注册、低层节点监听和时序控制等策略提高算法效率。在NS2软件平台进行了仿真,并与相关文献算法对比,结果表明所提出的算法在达到相同同步精度前提下,可显著降低同步阶段的消息开销,提高成功同步节点比例。     

离散变量结构优化设计序列定界组合算法研究

首先给出了离散变量结构优化设计的数学模型,然后将总组合数按照设计变量的取值分类,把原规划问题分解成若干个维数更低、许用离散集更少的子问题;在算法设计过程中,将离散变量定界组合算法的思想应用于该问题,给出了定界的新方法。若干算例表明,该方法可以大大减少组合搜索的次数,提高解题效率。     

面向UCAV系统的交互Agent协同技术

UCAV的每个组成部分都是一个高技术的复杂子系统，而且各个组成部分相互之间具有很强的依赖性和协调性，其UCAV系统实时交互的正确性依赖于全局实时约束，并且是一个多Agent系统。因此需对多Agent的协同技术进行深入的研究。首先，提出了基于时间约束的部分一全局计划（TPGP），实现了全局约束。其次，研究了任务协同关系，分布实时Agent协同。最终实现了实时约束下的UCAV系统多Agent的协同。     

一种模型驱动的原型生成方法研究实现

随着模型驱动技术的重要性与日俱增，一系列基于模型的软件开发策略也日益被提出．提出一种模型驱动的原型生成方法，即从包含类模型与形式化约束的UML模型自动生成原型．该方法基于UML模型与OCL约束的形式化表示，对UML模型特别是静态结构部分作出形式化表示，并通过示例给予分析．基于类模型及形式化约束，原型按以下步骤生成：首先从类模型中生成实体对象集合（entity object set，EOS）；然后从类模型中生成包含操作按钮的原型界面；最后生成操作及约束的处理程序．为生成原型，须将类模型及约束条件转换成可执行的原子操作代码．这些原子操作用来创建、删除或更新对象，或者用来创建、删除对象间的关联关系．基于Java语言开发出一个从UML模型生成原型的支持工具，并通过一个简单的示例论证该方法的可行性．     

B样条曲面变形方法的设计与实现

介绍了双三次B样条曲面的变形基础和曲面拼接的表达式,提出了一种双三次B样条曲面生成的改进算法,采用点约束、目标曲线约束两种几何约束驱动双三次B样条曲面变形,在点约束求解中以控制节点位移最小为目标函数,使用LINGO软件计算得到该目标下的最优解,利用MATLAB辅助计算得到变形结果,最后给出了计算实例验证了该方法的可行性。     

三维几何约束建模的研究与实现

以空间机构运动学为借鉴 ,采用对偶角和旋量对三维几何形体的空间位置进行描述 ,给出了基本几何约束关系的表达 ,并采用有向图来表达装配关系 ,进一步用面向对象方法实现了几何约束系统的设计和集成 .     

约束优化一个结合工作集技术的模松弛SQP算法

结合模松弛SOP方法、可行方向法和工作集技术,提出了一个求解非线性不等式约束优化的SOP算法。在每一次迭代,模松弛QP子问题的约束函数个数只决定于相应的工作集。在MFCQ条件下,得到算法的全局收敛性。最后,给出了初步的数值结果。     

静定化假设对结构优化设计解的影响

研究了结构优化设计通常采用的静定化假设对最优解的影响．建立了桁架结构优化的数学模型,分别得到了解析的约束条件和基于静定化假设的约束条件的近似显式表达．以两个超静定桁架为例,分别用相对微分法求解析最优解和近似最优解,比较两者后得到结论：除了仅有应力强度约束的问题,静定化假设对最优解没有影响;在仅有应力强度约束的情况下,静定化假设导致满应力准则设计,从而影响最优解;凡存在全局约束、其他局部约束或稳定约束为最严约束,则静定化假设不影响最优解．     

基于广义坐标形式的高斯最小拘束原理的多刚体系统动力学建模

通过采用动能及广义坐标显式的变分形式的高斯原理, 明确了广义坐标形式的高斯拘束中各项的含义, 以此建立以笛卡尔广义坐标表达的一般多刚体系统动力学问题的优化模型, 并研究利用上述模型列写其他坐标体系下的高斯拘束的方法。采用该方法可将多刚体系统的动力学问题变为求拘束极值的问题, 并且只要给出广义笛卡尔坐标与其他广义坐标之间的雅可比关系式, 便可方便地得到该坐标系统下的高斯拘束, 建模过程简单且具有更强的通用性。采用广义笛卡尔坐标及拉格朗日坐标, 对简单刚体的平面运动及定轴转动问题建立动力学优化模型, 并验证了该方法的有效性。     

支持可变上下文参数的多维RBAC模型

在研究GTRBAC和CT-RBAC模型的基础上,提出了一种支持可变上下文参数的多维RBAC(MD-RBAC)模型.该模型通过将反映不同安全因子的约束组织为不同维的约束空间,为不同上下文参数的约束控制提供可靠的基础框架,使得RBAC模型能更好地适用于不同安全需求环境,提高了约束控制的灵活性和多样性.同时,MD-RBAC进一步完善了RBAC模型的状态断言语义,并分析了多维约束语义下的冲突事件和冲突约束.     

基于理想点法的双目标结构鲁棒设计

在结构优化过程中结合鲁棒设计的思想，分别定义了目标鲁棒性及约束鲁棒性，将结构鲁棒设计问题描述成双目标优化问题，采用理想点法并结合序列二次规划优化策略求解该双目标鲁棒优化问题。为保持约束的可行性，根据最坏情况分析方法，在原始约束函数基础上加上带有惩罚因子的惩罚项。舱口盖及悬臂梁的设计结果表明了该方法的可行性。