摘要：针对现在手机程序设计语言存在编程效率低,可扩展性差等缺点,提出了一种高效的可扩展脚本语言——PScript。PScript语言以Python语言为原形,建立在J2M E(Java 2 m icro ed ition)平台上,具备开发效率高、支持动态链接、代码可释放、执行的二进制代码小、可读性好、代码清晰、节省运行空间等优点。详细分析了PScript语言的语法与类库,编译器与虚拟机等部分,并阐述了动态载入实现细节。通过和M IDP(m ob ile in form ation dev ice profile),M ob ileB as ic进行常规性能测试,网络动态载入性能测试以及语言特性的对比测试,充分体现出PScript语言编写及运行效率高,可扩展性强的特点。

摘要：三维芯片设计对于提高芯片性能以及减少线长显现了很好的优势,降低连线拥挤度是保证布线成功率和三维芯片实现的关键.为了解决三维芯片布局阶段的拥挤度问题,提出一种拥挤度驱动的三维芯片布局算法.该算法首先对拥挤度单元分布和线长等优化目标进行统一建模,利用二次规划求解单元位置,得到一个单元分布均匀、走线均匀以及线长优化的总体布局;然后利用拥挤度驱动的层分配算法将空间上均匀分布的单元分配到各个芯片层上;最后对各个芯片层进行详细布局,消除重叠,优化拥挤度和线长.实验结果表明,该算法能够改善走线拥挤度约15%,而线长仅有3%的增加.

摘要：面向结构体数据布局优化的内存池由于自身的使用特点,在传统的内存管理方式下,扩展内存需要移动数据,代价很高。为了避免移动数据,提高内存池性能,该文设计实现了基于共享内存地址映射技术的零数据移动内存管理系统DM3,辅助内存池管理内存。DM3利用POSIX标准编程接口提供的共享内存机制,在用户层操控物理内存到程序虚地址空间的映射,实现高效内存管理。首先,DM3针对结构体数据布局优化的内存使用特点,选择特定地址空间分配,既照顾到内存池扩展需求,又避免影响程序中其他内存请求。其次,在已分配的地址空间不能满足进一步扩展需求时,DM3通过内存地址重映射,实现地址空间转移而避免实际移动数据。通过在多个操作系统上的实验比较了DM3和传统的realloc方式,结果表明:DM3系统性能优越,最高可获得9.76倍加速比。DM3使用POSIX标准实现,具有跨平台移植性和易用性。应用DM3管理内存有效地增加了内存池性能。

摘要：提出一种在布线前进行层分配的总体布线算法,基于一个多层布线的新流程,使用包含线网所有端点的边界盒来估计线网拥挤度,并基于拥挤度均匀的目标把线网分配到不同层对上.该算法已经实现并进行了测试,实验结果证明了其有效性.

摘要：网络的普及使得网络安全问题日益重要 ,协议的安全性和密码算法的安全性是网络数据安全的两个最基本的概念。介绍了几种具有代表性的安全协议的形式化验证工具 ,并提供了用 JAVA语言实现的基于攻击者和秘密的安全协议验证算法。提出了身份验证协议必须交换秘密的概念 ,还为协议的形式化验证过程设计了框架。

摘要：　姚氏百万富翁问题解决方案已经成为许多多方保密计算问题解决方案的一个基本模块,但现有的解决方案效率低下,因而影响到其他多方保密计算方案的效率.本文利用长度函数与不经意传输设计了一个高效的解决方案,新方案同原有方案相比,计算复杂性明显降低.

摘要：介绍一个基于电路模型法的二维电感、电阻提取器的原理及实现方法 .对衬底采用局部加密的电流细丝划分方法减少了未知量的个数、提高了计算速度 ,并利用高斯积分解决两电流细丝之间出现的三种奇异电感积分计算 .该提取器具有很好的计算精度 ,能准确反映电阻与电感随频率的变化趋势 .

摘要：提出一种用于构造给定三维模型的拟合Loop细分曲面的迭代优化算法,使得拟合曲面与原始模型之间的逼近误差最小·算法中的逼近误差定义为原始模型各面元到拟合曲面最小距离的积分·与Loop细分小波分解算法的比较表明,该算法以适度的运行时间代价得到了更优的结果·此外,该算法还可以加以推广,作为一类从输入模型生成其近似表示的优化算法的基础·

摘要：针对新出现的高性能价格比的集群式计算方式 ,提出了设计高效 SPMD(single program multiple data)算法的几个原则 ,并基于这些原则 ,给出了求解多极值点优化问题的 GSAD(genetic sim ulated annealing and downhill)算法的描述。该算法有机地结合了遗传算法、模拟退火以及下山的优点 ,达到了高效、收敛、可扩展的效果。基于 MPI编程实现 ,给出了该算法在几个典型的多极值点函数以及实际问题中的应用效果 ,通过与相关工作的简单对比指出了该算法的适用范围和特色。建立 SPMD求解模型是

摘要：在变量化设计过程中往往存在多解性，从所有可能的解中找出符合设计意图的有效解是变量化设计中的一个重要问题．导致变量化设计存在多解性的主要原因是：①几何约束系统处于欠约束状态；②约束方程（组）的数学性质引起的多解性．文中讨论了在几何约束系统的分解过程和约束方程（组）的求解过程中的多解性情况。