软件工程标准与软件企业文化的提升--浅谈面向对象建模技术标准

从软件企业文化提升的角度，分析了在软件开发中遵循软件工程思想以及运用标准的重要性，并阐述了制定面向对象软件建模规范的指导思想以及如何对其加以运用。     

并行程序的一个公理化证明技术

本文给出了一种以原语来构造进程同步和互斥的并行程序设计语言。对Hoare 提出的、用于证明顺序程序部分正确性的推演系统予以扩充,使之包含着对该语言描述的并行性的证明。其证明方法使得人们对怎样提出和弄清并行程序有着更透彻地理解。本文给出了文献中的一些标准例子,也给出了证明终止和没有死锁的方法。     

仿生学在建筑设计中的应用

从城市环境仿生、造型仿生、功能仿生、结构仿生以及建筑材料仿生等方面探讨了仿生学在建筑设计中的应用,指出建筑仿生应注意环境生态、经济效益与形式新颖的有机结合,从而促进建筑业的不断发展。     

一种基于双随机数的RFID发现服务安全通信机制

REID发现服务没有得到广泛应用,相关标准也没有正式颁布,主要原因之一就是存在诸多安全问题.本文首先分析了存在的典型安全问题,并给出了相应的安全需求,例如RFID私密性保护、RFID编码授权访问、供应链节点不可追踪性、节点认证、消息正确性等.针对这些安全需求,本文提出了一种基于双随机数的RFID发现服务安全通信机制.双随机数主要用来对参与通信的双方进行节点认证和消息认证,并给出了相应的查询生成和处理转发流程及算法.本文提出的安全通信机制已经在PKU RFID3S系统中得到实现.实验结果表明,系统在实现安全需求的基础上,有较好的查询命中率和查询响应时间.     

鲁布革大坝左岸裂缝变形分析

通过对鲁布革大坝心墙与左岸溢洪道结合部位变形分析,揭示了产生横向裂缝的原因,对一些监测量的物理成因做了解释,为今后类似的设计和大坝安全管理提供依据。     

基于ANSYS的蜂窝梁受力性能分析

蜂窝梁作为一种经济合理的构件形式在工程中得到了广泛的研究和应用,但是关于孔洞对蜂窝梁弹塑性性能影响的研究还不够深入。利用非线性有限元分析方法对六边形孔蜂窝梁进行了弹塑性分析,研究了孔洞对蜂窝梁的应力分布、塑性区分布及挠曲变形的影响,并与实腹梁的受力性能进行了分析比较,对工程设计提出了建议。     

一种基于RFID数据集的物品工作流挖掘方法

 不同种类的物品在供应链中的移动形成不同的物品工作流,通过对这些物品工作流的挖掘,能够发现不同种类物品的流向和主要流转路径等信息,进而基于这些信息对供应链过程进行管理和优化.本文提出了一种基于RFID数据集的物品工作流挖掘方法,其中定义了一种基于Petri网的物品工作流网,讨论了物品工作流网所支持的几种物品工作流模式,给出了基于RFID数据集的数据过滤和聚合算法,以及物品工作流网的挖掘算法,最后进行了必要的实验.     

基于规则推理的语义检索若干关键技术研究

 针对专业领域复杂的检索需求,目前相关研究采用基于语义的方法来扩展检索范围并提高准确度.在语义推理方面,目前搜索引擎通常直接采用语义网中的推理算法,推理效率不高.在排序方面,基于关键字的搜索引擎的排序算法也不适合对语义检索结果进行排序.针对上述问题,本文给出了基于语义网的语义规则建立方法,并提出了一种基于闭合世界假设的反向链接推理算法,提高推理效率,同时给出了一种基于特征相似性排序算法,使检索结果排序方式更加符合语义检索的特点.基于本文提出的方法,构造了语义搜索引擎MaterialHub,实验表明该搜索引擎提高了检索的准确率和查全率,有较好的查询响应时间,并已经得到实际应用.     

低压并联电容器的节电效果

低压并联电容器的节电效果安徽省电力试验研究所（合肥２３００２２）王立福功率通过电力网传输就会产生功率损耗和能量损耗,而负荷的无功功率可以就地补偿,如适当选择并联电容器容量,实现无功就地平衡,网络的线损就会大大降低。如某输电网络,负荷功率为Ｐ＝７００ｋ...     

变量极小不可满足在模型检测中的应用

提出一个结合变量抽象和有界模型检测(BMC)的验证框架,用于证明反例不存在或输出存在反例.引入变量极小不可满足(VMU)的数学概念来驱动抽象精化的验证过程.一个VMU公式F的变量集合是保证其不可满足性的一个极小集合.严格证明了VMU驱动的精化满足抽象精化框架中的两个理想性质:有效性和极小性.虽然VMU的判定问题和极小不可满足(MU)一样难,即DP完全的,该案例研究表明,在变量抽象精化过程中,VMU比MU更为有效.