一种自动的软件体系结构规约重写方法及工具支持

在软件体系结构层次实施重构,能更好地提高软件的易维护性.该文提出了一种体系结构规约重写的策略描述方法,将体系结构重构转换为接口重构和实现体重构两部分,给出了接口规约重写的基本操作,以及实现体规约重写的操作,并用策略描述语言对这些规则进行了描述和代码实现.     

基于设计结构矩阵的大型复杂机场项目前期进度优化

大型复杂机场项目前期阶段通常会存在任务复杂繁多且耗时较长的进度管理问题,针对这些问题,提出了前期工作管理思路,通过识别开工路径和建立前期工作概念模型梳理前期工作内容来确定关键工序。在此基础上,引入活动重叠思想,利用三元参数组建立基于设计结构矩阵(DSM)的工期计算模型,将关键工序导入到模型中,通过算法确定工序逻辑关系和缩短项目前期工作周期。以某机场项目为实例,将DSM矩阵有效地应用在项目前期进度管控中,为大型机场项目进度管理提供借鉴和指导。     

声光可调滤波器中的射频电路设计

声光可调滤波器（AOTF）是未来全光网络中实现波长路由选择的首选器件,为制作该器件必须首先完成驱动模块一射频电路的设计。介绍了一种用于中心波长为1500nm的波分复用光网络的声光可调谐滤波器的驱动系统的设计方案。该方案基于锁相环和单片机控制的原理,以大规模集成芯片MC145170为中心,配以低通滤波、压控振荡器和单片机频率控制系统。以这种方式设计的射频电路覆盖了1500nm～1600nm的光谱范围,能实现1nm的波长调谐,具有结构简单、操作方便、稳定性高等特点。     

一种用作分子电子材料的螺杂环化合物

设计并合成了一种具有螺环结构的高熔点有机分子。这种分子能够和银形成络合物薄膜，并具有很好的热稳定性和电双稳特性。络合物薄膜 8V电压作用下，可以从高阻态转变成低阻态，跃迁时间为15ns。     

中国水利博物馆数值模拟分析

中国水利博物馆的结构体系比较复杂，属于沿竖向不规则结构，既存在结构大底盘的竖向收进，也存在塔体体形上的层层内收，而且沿竖向整个结构由不同抗侧力体系组合而成．本文通过对中国水利博物馆不规则高层钢结构工程的数值模拟分析，得出一些结论和建议，为其他类似工程的设计提供借鉴．     

关于e-完全数

文章证明了：当k≥3时，k-幂数都不是e-完全数．     

Diophantine方程组a^2＋b^2=c^2和a^x＋b^y=c^z的例外解

设（a,b,c）是一组本原Pythagorean数组．论文运用初等数论方法证明了：如果（x,y,z）是方程a^x＋6^y=c^z的一组适合（x,y,z）≠（2,2,2）正整数解,则必有x≠y以及z〉2．     

关于数论函数δ(n)的一个方程

对于正整数n，设δ（n）是n的不同约数之和．该文证明了：方程δ（1）δ（n）＋δ（2）δ（n-1）＋…＋δ（n）δ（1）=nδ（n）仅有正整数解n=1和2.     

考虑乘客旅程扰动的不正常航班恢复研究

由于恶劣天气、航空管制、机械故障等原因导致的不正常航班,不仅影响航空公司的正常运营,也会造成乘客的利益损失.为减小损失,采用优化算法研究不正常航班恢复问题,从乘客角度出发,考虑乘客旅程的连续性和完整性构建航班恢复模型,并提出一种网络理论算法,即改进的时间段(time-band)算法进行模型求解的优化,得到航班选择与交换的过程,根据算例结果证明了模型与算法的实用性与有效性.     

关于代数数方幂的迹

运用初等的代数方法证明了存在n次代数数α,可使α不是代数整数,但是迹Tr(αm)(m=1,2,L,n(1+log2n)-1)都是整数.