安全是发展智慧城市永恒的主题

自美国IBM提出“智慧城市”概念以来,我国各地智慧城市建设的热情不断高涨.根据国家相关部委推进智慧城市建设部署以及各地方政府的安排,到2017年底,我国启动智慧城市建设和在建智慧城市的城市数量将有望超过500个.预计“十三五”期间智慧城市建设将迎来重要的发展和机遇期,但是随着《网络安全法》的实施,国家应当认真反思我国智慧城市建设与运行中的安全问题.     

解读《国家网络空间安全战略》

2016年12月27日,经中央网络安全和信息化领导小组批准,国家互联网信息办公室发布我国首部《国家网络空间安全战略》(以下简称《网络空间战略》),《网络空间战略》作为我国网络空间安全的纲领性文件,重点分析了目前我国网络安全面临的“七种机遇和六大挑战”,提出了国家总体安全观指导下的“五大目标”,建立了共同维护网络空间和平安全的“四项原则”,制定了推动网络空间和平利用与共同治理的“九大任务”.     

硅谷:资本“润滑”下的产业协同机制

传统的产业链协同是指如何通过价值链、企业链、供需链和空间链的优化配置及提升,使产业链上下游间实现提高效率、降低成本的多赢局面.新型产业链协同机制,不仅是产业链上下游的纵向联合,也是产业链与大学、研究机构、行业协会、联盟组织等之间的横向联合,其核心目的就是打通纵横上下游间各个环节,实现企业竞争力的全面提升.     

皮卫星星间高精度载波测距系统研究

高精度微波测距系统依赖于周期大于载波在星间传输时间的长期时钟误差影响的消除,需要超稳晶振源和精确的定时系统作为保障.微小型皮卫星体积小、功耗低的特点无法满足这些要求.我们提出一种基于双向载波测距的系统,同样能够消除长期的时钟误差,但是不需要复杂的定时系统.理论分析和试验表明,利用皮卫星S波段的双向载波测距,其精度可以达到亚毫米级.     

地域建筑设计中建筑师符号学思维

为了充分了解地域建筑设计中建筑师符号学思维,本文通过介绍我国现代化建设在发展的实际内容,以及建筑符号的意义,分析了建筑符号学在建筑设计之中的实际应用,最终得出：将区域之内具有代表性的文化特点等作为符号,与建筑设计相结合,在建筑施工的整体设计中具有十分重要意义。     

提高装配式建筑施工质量的管理研究

装配式建筑是把工厂化生产的预制构件运输到工程建设地点、再经组装而成的建筑。因其主要采用模块化的设计、标准化的施工,从而节省了大量的人力和建筑材料,在节能环保、缩短工期等方面有着天然的优势。但预制构件在生产中会有一定的尺寸偏差,施工中也会存在人为误差,这些都会引起施工质量问题。本文从施工工艺、工序质量控制等方面进行分析,总结了装配式建筑的施工技术要点,旨在明确装配式建筑的质量控制要素。     

ChatModeler：基于大语言模型的人机协作迭代式需求获取和建模方法

需求获取和建模是需求工程中的关键步骤,影响后续系统设计与实现.传统的需求获取和建模方法通常由需求提供者、需求分析师等多类干系人共同协作、反复迭代完成,需要耗费大量的人力.如何减轻需求提供者与需求分析师的负担、提高获取和建模的效率有着重要意义.现有工作中有的使用知识库来提供更多知识,以辅助获取或者建模,有的利用自然语言处理等技术对获取或者建模过程进行自动化,但是它们并没有减轻需求提供者的负担.利用大语言模型（large language models,LLMs）的生成能力,提供了一种人机协作的迭代式需求获取和建模框架ChatModeler.具体来说,根据真实世界中需求团队的分工及协作关系,将部分需求提供者、需求分析师等角色的工作由大语言模型承担,而需求提供者只需要进行确认.为大语言模型扮演的各种角色进行了提示词设计,该提示词会随需求的元模型而变化.ChatModeler在7个需求案例上与3种需求模型的自动建模方法进行了14组对比实验,证明了ChatModeler在降低需求提供者的负担和生成高质量需求模型2个方面上的优越性.     

基于软件多版本演化提取克隆谱系

针对单个版本克隆检测结果不足以体现克隆特征这一问题,从软件多版本中自动提取克隆谱系,获得克隆在软件演化过程中表现出的模式和特征。首先基于克隆代码Token表示及其所在文件名称、函数名称等位置属性,准确映射软件历时演化版本间的克隆代码,进而识别克隆演化模式;然后匹配克隆类ID号,合并所有相邻版本间的映射结果及演化模式信息,得到克隆谱系。同时开发了相应的克隆谱系自动提取工具FCG对6款开源软件进行了测试,发现当前版本中克隆代码平均生命周期占所研究版本总数的70%以上,且大部分没有发生变化,说明大部分克隆能被较好地维护,但也存在少量不稳定的克隆可能导致软件缺陷,需要修改或重构。实验结果表明FCG可高效提取克隆谱系,有助于更好地理解克隆及有针对性地管理克隆。     

数字化电能表校验方法及校验装置研究

在数字电能计量系统中,数字化电能表的准确度关乎电能计量的可靠性和公平性,因此必须对其进行校验。关于数字化电能表的国家标准与国网公司企业标准刚出台不久,目前还没有一套比较完整的数字电能表准确度校验方案。文章在已有标准的基础上,提出了瓦秒法与标准表法相结合的误差测试方法,其测量准确度高、稳定性与可靠性强,且标准电能算法配置灵活,能在高速下实现复杂运算。所研究的校验装置经检定满足0.05级准确度要求,其不仅能完成标准规定的校验项目,还能根据数字化电能表的特点更全面地对其准确度进行校验。