云计算视角下可验证计算的分析研究

云计算能否在未来的各个领域中被广泛运用,决定因素在于其可信度。可验证计算在检测云计算结果的可信度方面具有其独特优势。利用可验证计算协议可验证云服务器端所返回的数据是否正确,它成为实现云计算可信度的重要保障。文中在阐述可验证计算基本内容和相关设计原则的基础上,分析了可验证计算协议的一般流程、设计原则及计算模型,并结合基于交互系统的可验证计算协议分析,探讨在云计算视角下可验证计算的研究展望。     

北京银行投贷联动业务模式研究

"融资难,融资贵"是现代科创企业面临的一大难题,商业银行投贷联动业务通过股权与债权相结合的方法,有效缓释了商业银行在给科创企业贷款时面临抵押品不足的现象,商业银行在减轻科创企业融资压力的同时也实现了多元化经营目标。本文对北京银行开展投贷联动业务进行深入分析,希望对我国商业银行顺利开展投贷联动业务提供一些灵感。     

更加注重创新驱动的统筹协调

<正>如何解决科技资源的碎片化、分散化问题?这是大众创业万众创新环境下政府部门面临的一大难题。3月10日,浙江首个政府部门云服务平台——科技创新云服务平台的正式上线,对这一难题的破解做了有益尝试。数据查询、项目申报、仪器共享、网上办公……这朵"云"将科技资源的大数据"一网打尽"。     

被过度治疗的宫颈“糜烂”

只要上网搜索中文相关医学信息,看到的都是“宫颈‘糜烂’不可以掉以轻心,可以由轻而重,最终好像要变成癌症,夺人性命”.难怪,各种治疗宫颈“糜烂”的广告层出不穷,各种高科技争相登场,什么CoMi光子修复术,什么STG高频电波,什么HIFU聚焦超声刀,什么德国LEEP术,让人觉得似乎非挨上那么一刀不足以显示自己跟上了现代医学的微创外科形势.但如果用宫颈“糜烂”的英文(CervicalErosion)进行搜索时,你就会发现自己到了另一个世界,原来宫颈“糜烂”不是病,还用不着治疗,宫颈“糜烂”也根本不会变成宫颈癌.     

基于APAS的篮球技术链攻防时空特征研究

运用三维影像解析系统软件对持球顺步突破后跨步急停跳投这一技术链的攻守影像进行解析.研究结果表明,篮球技术链中每一项技术的运用都有其时间和空间适用性,如果运用得当,链内技术可以产生互为运用手段、互相创造时空条件的效果;经测试,高水平篮球运动员脚的简单反应时和动作反应时高度相关,但在持球队员运用该技术链向左侧突破时,技术链前端技术不能为末端的投篮技术创造时空优势.     

三门峡水库电站运行调度的优化研究

三门峡水库泥沙淤积严重，使其枢纽的各项技术指标经常变化，为其调度运行带来极大困难。为此，充分考虑三门峡水电站运行过程中的各种约束条件，分别采用动态规划和遗传算法给出了电站优化调度模型，建立了该电站的运行调度系统。经过水库1991年—2000年实际来水和控制运行的月报资料的模拟验证，结果表明，该系统可平均增加发电量约12．9％，使电站能更合理地进行管理调度。而且，通过对随机模拟的长序列入库月径流过程的模拟调度，建议了三门峡水电站具体的管理调度运行方式。     

基于扫描数据零件轮廓特征自动识别的方法

主要研究基于扫描数据自动识别零件轮廓特征的方法与技术．首先给出了零件轮廓特征自动识别的工作流程，然后提出了零件轮廓特征自动识别的原理与算法，最后通过具体实例验证了本方法的优点及可行性。     

泵站运行效率分析与节能措施

从泵站的电耗入手，讨论和分析了泵站机组实际运行工况与设计工况的偏离．并通过机组电耗和效率分析，提出了若干节能措施。     

给水处理系统高效经济运行的生产性评价

研究给水处理系统的高效经济运行技术 ,是保证水厂高效、安全、经济供水的重要措施 .生产运行实践证明 ,采用高效经济方式运行的确可以节约可变费用 .尤其是在冬季低温低浊水的净化中 ,可变费用的节约程度最高可达 2 0 %以上     

感谢木星

许多人把生命的存在归功于神灵,但或许我们应该直接感谢太阳系中的第五颗行星——木星。现在,许多天文学家相信,木星在使地球成为生命家园的过程中扮演了极其重要的角色。