立足行业需求,助力生物材料创新发展

本文在综述我国生物材料科学与产业发展现状的基础上,简要分析了我国生物材料产业创新发展的路径探索以及中国生物材料学会助力我国生物材料科学与产业发展的举措,包括发挥学会学术引领作用、承接政府职能转移、建立产业创新服务中心等,旨在为服务生物材料及医疗器械创新发展提供参考.     

RIA在网上展厅中的应用

为了开发富互联网应用(RIA)和满足用户体验的需要,提出了以基于Ruby语言的Rails框架为基础,结合Flex应用进行敏捷开发,开发富互联网应用程序的思路.以网上展厅项目作为实例对象进行研究,使用Rails搭建一个基于MVC的框架;调整模型和控制器使之符合应用需求;使用Flex设计UI与建立的模型和控制器结合;使用F...     

共识协议的形式化验证研究现状与展望

分布式系统在计算环境中发挥重要的作用,其中的共识协议算法用于保证节点间行为的一致性.共识协议的设计错误可能导致系统运行故障,严重时可能对人员和环境造成灾难性的后果,因此保证共识协议设计的正确性非常重要.形式化验证能够严格证明设计模型中目标性质的正确性,适合用于验证共识协议.然而,随着分布式系统的规模增大,问题复杂度提升,使得分布式共识协议的形式化验证更为困难.采用什么方法对共识协议的设计进行形式化验证、如何提升验证规模,是共识协议形式化验证的重要研究问题.对目前采用形式化方法验证共识协议的研究工作进行调研,总结其中提出的重要建模方法和关键验证技术,并展望该领域未来有潜力的研究方向.     

新型冷计量收费装置开发及计费策略分析

介绍了焓差法冷量计量装置的原理和特点,对冷量计费进行了成本分析,并指出实际应用中影响计费的因素,预测了这种新型冷计量装置的市场及发展前景。     

面向6G的智能全息无线电

作为6G物理层备选技术,全息无线电具有同时实现射频全息、空间频谱全息和空间波场合成的能力,能够通过空间频谱全息和空间波场合成对全物理空间内的电磁场进行全闭环精准调制和调节,有效提高频谱效率和网络容量,从而支撑全息成像级、超高密度以及像素化的超高分辨率空间复用.该综述全面梳理了面向6G的智能全息无线电的基本概念及国内外研...