显式拓扑优化的拉压杆模型自动提取方法

为了实现从显式拓扑优化到拉压杆模型的自然过渡,同时保持拓扑优化结构与拉压杆模型的拓扑一致性,以可移动变形组件拓扑优化为例,建立了显式拓扑优化拉压杆模型自动提取方法。该方法是计算机图形学和结构优化的结合,采用Voronoi骨架提取和形状优化,由骨架提取、框架提取和形状优化3部分构成。结果表明,该方法自动构建了受力合理且几何规则的拉压杆模型;Voronoi骨架提取从显式拓扑优化结构提取了光滑的中轴骨架;以类桁架指标为约束的形状优化实现了拉压杆模型从框架结构到桁架结构的质变。     

UML建模分析在机房管理信息系统中的应用研究

统一建模语言(UML)融入了软件工程领域的新思想、新方法和新技术,以UML的图形符号为基础,采用图形符号来描述系统的模型视图。以机房管理信息系统为例,阐述UML建模分析技术在机房管理系统中的应用,描述如何使用UML进行建模分析和开发的具体过程,分析在开发过程中经常出现的问题以及解决方案,并对统一建模语言UML中的用例图、时序图、协作图及建模技术的应用效果进行了深入研究。     

代数规格说明语言ASL及到PROLOG的转换

本文讨论了代数规范说明技术及其到逻辑程序设计语言ＰＲＯＬＯＧ的转换。首先给出了一种基于抽象数据类型的代数规格说明语言ＡＳＬ：然后介绍了由ＡＳＬ描述的规格说明到ＰＲＯＬＯＧ转换　的形式化方法；在这种方法的基础上设计了一个自动转换系统，该系统接受ＡＳＬ语言描述的规格说明，通过转换规则，逐步将此规格说明转换成可执行的ＰＲＯＬＯＧ语言程序。     

基于J2ME和GPS模块的手机定位系统设计

利用蓝牙GPS模块,在智能手机上采用J2ME技术实现了手机定位系统.该系统由GPS模块、智能手机和地图服务器三大部分组成.GPS和手机之间采用蓝牙作为通信手段,手机和地图服务器采用Internet作为通信手段.智能手机上用J2ME技术开发定位软件,完成定位、通信和用户交互等功能.本文详细叙述了系统框图、工作原理和软件设计方法.     

2012年IPv6网络拓扑演化预测

首先对网络节点的度和核数进行了幂律分析.基于Internet拓扑演化分析,融合层次模型和ARIMA模型,提出了预测IPv6演化过程的模型.选取CAIDA授权的IPv6 2008-01～2010-04三年期间的数据对模型进行了验证,并用该模型对2012年IPv6网络的各特征量进行了预测.结果表明:IPv6网络具有复杂网络...     

群的判断算法设计

介绍了代数系统和群的定义以及群在计算机等领域的应用,设计了对给定集合与运算是否构成代数系统、给定的代数系统是否为半群、半群是否能够构成独异点、独异点是否能够构成群的判断算法,并进行了算法分析,完成了群的判断系统流程图;并通过Java语言实现该系统,把抽象难以理解的代数系统中的群论问题通过形象直观的程序软件表现出来。     

Visio图形化电力计算软件中电网拓扑结构的识别

提出并研究了一种以Microsoft Visio2003图形软件为平台,利用VBA进行二次开发的图形化电力系统计算软件的新技术和实现方法.研究了电力网通用图形化建模方法,提出了基于所绘电气接线图的电网拓扑结构识别的算法,为各种电气计算软件的开发奠定了基础.     

Security and privacy issues in electronic health network

Electronic health network(EHN) is an information system providing functions involved in e-health. In this paper, we devise mechanisms covering three important security and privacy issues of EHN including trust management, privacy preserving, and data sharing. First, we propose an authenticated key agreement scheme based on hierarchical identity-based signature(HIBS). We abstract a hierarchical architecture from the social network architecture of EHN. To support large-scale scenarios, we introduce a virtual signature generation phase into traditional HIBS, thus our scheme will be efficient even the depth is quite big. Second, we propose a fast data searching scheme based on symmetric searchable encryption(SSE). To improve the searching efficiency, we introduce a two-level cache structure into the traditional SSE. Third, we propose an access control scheme based on hierarchical identitybased encryption(HIBE). To make it a fine-grained scheme, we organize the data owner’s file in hierarchy and introduce a virtual key generation phase to traditional HIBE. Also, the scheme can provide delegation and revocation functions easily. Besides, our schemes guarantee known-key secrecy, forward secrecy, and antidirection secrecy and possess the resistance capability to collude-attack. Evaluation results show that our scheme indeed achieves the security and efficiency.     

基于概念分析的软件横切关注点提取方法

为解决软件遗产系统中横切特性的理解和进化问题,提出了面向侧面的逆向工程框架模型,并以此为基础给出了一种用例驱动的形式化概念分析方法,对需求分析模型层面上的系统横切特性进行逆向恢复．通过对目标系统执行信息进行概念格分析,文中方法能够识别和提取横切用例模型的系统方法调用集合,并将它们抽象为系统的早期侧面．和仅为了代码重构而进行的侧面挖掘技术相比,该方法更适合在较高的系统抽象层面上进行程序理解．作为一种采用增量式结果产生策略的半自动化方法,它的实施流程也具有更好的可控性和对逆向工程需求变化的适应性．     

关于软件规模的分类和软件系统的抽象与分解问题的探讨

本文首先讨论了软件系统的定义和软件规模的分类,在此基础上进一步讨论了软件开发过程中的系统抽象与分解问题,并举例讨论了抽象设计的形式规范描述方法,以及面向功能抽象和面向数据抽象的分解设计方法。     

信号与系统建模与仿真

本文着重论述了如何利用MATLAB工具在计算机上实现信号与系统分析,通过程序使一些运算量较大、抽象问题简单而直观,详细介绍了利用系统框图模拟实际系统的分析方法,该方法对连续或离散时不变因果系统具有普遍性,借助Matlab/Simulink仿真工具对基本结构实现了建模和仿真分析。     

COT:一种连续时间序列建模的社区发现算法

研究基于交互及内容数据发现交往密切的交互社区,以及这些社区如何随时间发展变化,对于网络营销、内容推荐等应用具有重要意义。已有的基于内容与链接分析的混合模型大都未能对交互行为中广泛存在、且显著影响社区结构的时序信息进行统一建模分析。基于贝叶斯图模型,提出了一种可综合考虑交互信息、网络结构以及交互行为时间信息的社区发现模型COT(community over time),可用于从在线社交网络的交互数据中发现具有特定主题倾向及周期性行为模式的动态交互社区。模型采用Gibbs采样进行贝叶斯统计推断,通过在新浪微博真实数据集上的实验验证,可以有效应用于在线社交网络中并取得较高的精细度和可解释性。     

基于正规剩余格的一个逻辑系统及其完备性

在模糊逻辑中,基于剩余格的逻辑系统起着非常重要的作用.本文提出一种新的代数结构,叫做正规剩余格,研究这种剩余格的性质和结构,建立基于正规剩余格的统一的逻辑系统,许多重要的逻辑系统是这个系统的扩张.进一步,本文还讨论了这个系统关于建立在正规剩余格上语义的完备性.     

基于小世界网络模型的学术创新力演化分析

研究了基于小世界网络模型下的创新体系中学术创新力的演化问题.学术创新体系包含研究人员与管理体制两大要素,而学术创新力是组成创新体系各要素之间相互作用的结果.以组织科学中的NK影响矩阵,描述高校创新体系的小世界组织结构,其中N表示系统中个体的数目,K表示个体的邻域尺度.以自组织理论中极值动力学机制来模拟创新体系的演化.最后,通过计算机进行模拟演化.结果表明,对于给定的N和K,基于小世界网络的创新体系的极值动力学演化结果与网络的拓扑结构无关,而仅N给定时,系统创新力演化结果与个体的邻域尺度K紧密相关.     

DEAON： dynamically-evolving active overlay networks for scalable information retrieval

In this paper,we propose the dynamically-evolving active overlay network(DEAON),which is an efficient,scalable yet simple protocol to facilitate applications of decentralized information retrieval in P2P networks.DEAON consists of three novel components:a Desirable Topology Construction and Adantation algorithm to guide the evolution of the overlay topology towards a small-world-like graph;a Semantic-based Neighbor Selection scheme to conduct an online neighbor ranking;a Topology-aware Intelligent Search mechanism to forward incoming queries to deliberately selected neighbors.We deploy and compare DEAON with other several existing distributed search techniques over static and dynamic environments.The results indicate that DEAON outperforms its competitors by achieving higher recall rate while using much less network resources,in both of the above environments.     

对称式面向方面软件体系结构动态演化研究

提出了一种对称式的面向方面体系结构模型（SAOSA）,该模型将系统的功能模块、非功能模块都封装成了方面,编织这些方面构成软件体系结构中的构件、连接件.从抽象层次和实现层次出发,SAOSA模型的演化能力包括类型演化和动态重配置两种,结合一个ATM系统实例说明了SAOSA模型的动态演化机制.     

汽车车轮螺栓拧紧工具可重构控制系统

车轮拧紧设备是汽车总装生产线的关键设备.在分析螺栓拧紧策略的基础上提出了一种基于PLC(programmable logic controller)和工控机的汽车车轮螺栓拧紧工具可重构控制系统,并对控制系统硬件和软件部分进行了分析,介绍了硬件组成、软件功能模块图、流程图等.该控制系统实现了硬件和软件的模块化,便于根据生产需要灵活组态,对提高汽车车轮螺栓拧紧的效率具有重要意义.     

忒塔函数在求解非线性演化方程中的应用

建立了求解非线性演化方程精确解的忒塔函数展开法，并在计算机代数系统上得以实现，推导出若干非线性波方程的双周期精确解．方法的基本思路是把方程的解表示为忒塔函数构成的多项式，从而将非线性演化方程的求解问题转化为非线性代数方程组的求解问题．利用计算机代数系统可求解所得非线性代数方程组，最终得到非线性演化方程的双周期精确解．     

集成运放构成的4种负反馈放大电路性能分析

用方框图分析法分析了由集成运算放大器构成的4种负反馈放大器的性能，包括输入、输出电阻和增益。导出了可用工程计算和设计的一组近似公式。讨论了集成运放和电路元件参数对负反馈放大器的影响，并与理想运放分析得出的结果进行了比较。     

车削颤振稳定性预测软件研究与开发

针对金属加工过程中颤振预测软件实现的工程需求,设计了车削加工颤振稳定性叶瓣图实验测试软硬件系统,研究了软件实现算法中的关键问题.首先,搭建了由采集卡、加速度传感器、模态力锤组成的硬件系统,开发了具有频响函数测试和稳定性叶瓣图生成功能的系统软件.其次,设计了交互式软件采集及分析界面,研究了基于C#编程语言频响函数测试过程中多通道高速同步触发采集的实现算法,开发了具有由频域分析方法获得颤振稳定性叶瓣图功能的C#类.最后,对CJ0625车床加工系统进行稳定性预测,结果表明软件预测结果与实验结果相吻合.