操作系统形式化设计与验证综述

对操作系统的形式化设计和验证的概念进行介绍,描述其框架和基本方法。比较和分析操作系统宏内核和微内核结构,调查多个设计和验证项目,阐述项目的验证目标、方法、优缺点和进展情况。在总结研究现状的基础上,分析和展望操作系统形式化设计和验证的发展趋势,从操作系统模型设计、验证工具、代码实现和验证重用等方面给出形式化设计和验证的思路。     

基于情感分析和文本主题特征的画像研究

我国旅游业是快速发展的行业之一,已成为经济体系中不可或缺的部分。为了更好提高景区的服务质量和用户的旅游体验,实现可持续发展,文章利用情感分析和文本主题特征构建景区画像和用户画像,并建立景区画像和用户画像之间的耦合关系。景区画像和用户画像的应用可以帮助旅游企业更好了解用户和目的地的特征和需求,提高旅游产品和服务的个性化和精准度,增强企业的市场竞争力和发展潜力。     

基于元素和化学键的快速计算分子体积和表面积的方法

为了快速准确的计算分子的体积和表面积参数,将构成分子的元素和化学键作为贡献单元,基于分子的体积和表面积由相应的元素和化学键的体积和表面积加和得到的思想,提出了估算化合物分子体积和表面积的元素和化学键贡献法。元素视作球体,其体积和表面积由van der Waals半径计算得到,在1412种有机物分子体积和表面积数据的基础上,回归得到化学键对分子体积和表面积的贡献值。结果表明,元素和化学键贡献法计算的分子体积和表面积的平均相对误差分别为2.02%、2.84%,不同化合物类型的平均相对误差均小于5%。与其它分子体积和表面积方法相比较,本方法更简单、快速、准确,应用范围更广。     

面向对象的系统分析和设计

面向对象的分析和设计就是把面向对象的方法运用到软件工程的分析和设计阶段,从而建立更加适应当今庞大、复杂且易变的系统的模型。 一、分析和设计的 目的和任务 分析和设计的主要目的是完成对问题空间的分析和对系统的建模。具体地说,它的任务是描述系统中的对象,对象的属性和操作,对象的动态特性,对象间的构造关系、映射关系和通信关系,从而建立系统的静态结构和动态活动模型。 分析和设计的任务是增进软件生产效率,提高质量和加强可维护性。     

基于VC++的短信和邮件互发系统的设计

介绍短信和邮件相关服务业务模型以及短信和邮件互发的一系列相关功能,提出了手机邮件的定义和实现方法.在此基础上,运用标准VC 、相关网络协议和数据库技术实现短信和邮件的互发,利用SMTP协议发送邮件、POP3协议接收邮件,同时声明和定义类和对象.系统主要包括用户和手机邮件的交互、手机邮件业务和信息存储等一系列功能,最后进行了测试和分析.     

有问必答

问:何谓高技术和高技术产业?答 根据我国高技术研究计划(863计划)的认定,高技术是指对我国当前和未来发展有重大影响的生物技术、航天技术、信息技术、新能源技术和新材料技术.根据国务院批准发布的有关规定,高技术产业是指:根据世界科技发展现状和我国科技发展战略,在微电子科学和电子信息技术、空间科学和航空航天技术、光电子科学和光机电一体化技术、生命科学和生物工程技术,材料科学和新材料技术、能源科学和能源及高效能技术、生态科学和环境保护技术、地球科学和海洋工程技术、基本物质科学和辐射技术、医药科学和生物医学工程等领域建立的知识密集型、技术密集的科技先导型产业.     

中国石油和化工自动化现状及发展

石油和化学工业是我国重要的能源和基础原材料工业,也是国民经济的重要支柱产业,与国民经济各领域和人民生活密切相关;石油和化学工业还肩负着为国防工业提供高技术材料和常规战略物质的重任。简述了石油和化工行业总体情况,分析了石油和化工自动化现状,在此基础上提出了石油和化工自动化的发展要点,以期对行业有一定的参考和指导作用。     

BIM 和GIS 的空间语义数据集成方法及应用研究

随着数字城市和智慧城市的建设发展,建筑信息模型(BIM)和地理信息系统(GIS) 的集成被广泛研究和应用。目前的集成研究主要是通用数据标准IFC 和CityGML 之间的空间和 语义转换,但由于应用领域和空间尺度等差异,存在信息错误和丢失、几何语义信息耦合度低、 应用拓展性差等问题。为此提出了一种兼顾三维实体对象和地理空间对象的三维城市数据模型, 研究了BIM 和GIS 的空间和语义数据的提取、处理和转换方法,设计了BIM 和三维GIS 的集 成应用框架并在三维可视化平台上进行验证和初步应用。该方法可实现BIM和GIS 信息在几何、 语义、精度上的完全融合,避免了传统的数据转换带来的信息缺失,在多尺度的空间和语义信 息分级存储和加载显示方面存在着优势,有利于实现大规模、高精度的建筑和城市信息的高效 集成。     

电子商务的发展现状与趋势

主要从技术和管理等层面上考察和总结了电子商务的发展现状 ,阐述了电子商务发展的阶段性和商务模式特征 ,分析和总结了企业电子商务发展和应用的制约因素 ,刻画了电子商务的核心和本质 ;最后 ,展望了电子商务研究和应用的发展趋势。     

论高校教师信息素养及其在学生创新能力培养中的作用

讨论高校教师信息素养和创新型人才的内涵和关系,论述高校教师信息素养建设的必要性和对学生创新能力培养的重要性,分析高校教师信息素养在学生创新能力培养中的作用,提出培养和提高教师信息素养的一些设想和方法,旨在努力提高教师和学生的创新思维和创新能力。     

基于工作流的太湖流域片水土保持监管服务平台建设

为实现水土保持监管规范化和现代化，按照水利部关于水土保持信息化建设总体部署和智慧太湖建设要求，立足太湖流域片水土保持监管监测业务实际，基于工作流理念，在全面串联分析流域生产建设项目水土保持监管监测业务的不同用户对象，不同阶段的工作逻辑和流程、数据信息及流向的基础上，提出太湖流域片生产建设项目水土保持监管服务平台的结构框架与工作流程模型的总体设计，并介绍平台应用子系统的主要功能。基于工作流的太湖流域片生产建设项目水土保持监管服务平台，实现水土保持全业务全流程的无纸化、自动化、精细化闭环管理，满足相关用户的信息化需求，可良好适应新形势下水土保持监管工作要求，促进水土保持工作模式、管理方式转型。     

液压冲击机械性能试验计算机测控系统研究

针对液压冲击机械性能参数测试方法的现状,分析了现有方法的优缺点;根据国内外对冲击机械试验的测试经验,结合计算机测控技术的发展,设计并开发出了一种新的计算机辅助测控系统;重点解决了在干扰因素多和测控过程复杂的工业现场环境下的多性能参数的动态测控,以及多参数同步采集与数据处理等问题;利用所研制的系统进行了一系列的综合试验,测试结果证明,系统的稳定性、可靠性和测试精度等指标,都优于原有的系统.     

煤矿带式输送机轴承监测诊断系统及其应用

针对煤矿现有带式输送机轴承故障诊断存在的问题,提出了一种新型的煤矿带式输送机轴承监测诊断系统的设计方案。该系统以矿用本安型振动监测分析仪与矿用本安型振动加速度传感器为核心,结合数据库服务器与组态王上位机软件,实现了煤矿带式输送机轴承的振动、温度信号采集与处理、故障实时分析与智能诊断、趋势分析、报告生成等功能。实际应用表明,该系统可实时监测煤矿带式输送机轴承的运行状态并进行故障诊断,满足了煤矿带式输送机运行状态监测与在线诊断的实时性和准确性要求。     

基于多Agent的企业供需网实时决策支持系统

企业供需网业务活动是跨企业并由多个独立的企业实体合作完成的,而每一企业又都占有资源,都具有独立的决策权,这种动态性、分布性特点造成了供需网管理决策的复杂性。应用Agent特性的供需网跨平台的信息系统集成、信息共享在实现系统实时决策,优化协调管理供需网的运作,敏捷适应顾客需求的变化,帮助供需网各企业实体的决策人员做出优化的供需决策起着十分重要的作用。文章提出了一种在Web环境中应用多Agent技术、WWW技术及XML技术的实时决策支持系统体系结构,并通过探讨其多Agent模型、研究分析系统数据交换及供需决策过程,为供需网实现过程优化决策与管理,有效地完成供需网一系列供需任务而提供了一种良好的技术支持。     

区块链+物联网在农产品溯源中的应用研究

近年来,农产品安全问题日益严峻,传统的农产品追溯体系面临公信力缺失、监管困境和扩展性问题,农产品质量安全追溯迫在眉睫。随着区块链技术不断发展,其具有的分布式、去中心化、不可篡改、可追溯等特性在改善农产品溯源系统数据安全性、透明性等方面发挥着重要作用,并受到了各个行业的广泛关注。在简述可追溯性和追溯系统概念的基础上,介绍物联网和区块链技术,并探讨了当前国内外学者将区块链和物联网框架融合应用到农产品溯源中的一些相关研究,同时阐述了溯源系统在物联网与区块链结合下带来的安全、可靠、透明等好处及面临可扩展性、效率问题、资源浪费等挑战,最后对当前农产品溯源体系建设提出建议以及未来的研究方向。     

取用水户在线监测项目建设管理探析

取用水户在线监测项目实施具有协调难度大、现场条件差、技术复杂等特点,为实现取用水户在线监测项目的顺利实施,探讨采取"一点一策"开展现场勘查调研和利用最严格水资源管理制度考核及取水户办证开展项目实施协调工作,分析落实组织机构和技术支撑保障等进度和质量控制的关键环节,研究系统运维服务托管模式及建立远程运行维护平台,保障安徽省取用水户在线监测项目的顺利实施和系统建成后的稳定可靠运行,具有很好的操作性及实用性。     

基于实物ID的资产普查与隐患排查系统研究

针对传统电力资产普查与隐患排查机制存在设备全生命周期成本核算数据归集困难、运维资产台账资料管理粗放、主配网增存量运维数据共享机制缺失、资产普查与隐患排查数据治理及全景追溯具有滞后性等固有弊端,提出了一种基于实物ID业务协同和数据共享机制的资产普查与隐患排查系统.引入电网实物资产统一身份编码机制,实现电网主配网存量全息运...     

Parallel structures and self-organization of heterogeneous polynomial neural networks for pattern recognition and diagnostics of states

We consider different parallel architectures and methods for self-organization and minimization of complexity for heterogeneous polynomial neural networks (PNN) in problems of pattern recognition and in diagnostics of states. Constructive estimates for the heterogeneity index and parallelism in the process of autonomous classifying decision making with the use of PNNs of different kinds are obtained. It is shown that the parallelism, self-organization, and robustness of heterogeneous PNNs can significantly increase in group (multiagent) solutions of difficult problems in pattern recognition, image analysis, large-scale (vector) diagnostics of states, and adaptive routing of data flows. Adil’ Vasil℉evich Timofeev. Born in 1944. Graduated from the Moscow State Technical University in 1967. Received candidate’s degree in 1970 and doctoral degree in 1988. Works at the St. Petersburg Institute for Informatics and Automation of RAS as Head of the Laboratory of Neuroinformatics and Intelligent Control, at the Research Institute of Applied Mathematics and Automation of RAS as Head of Department of Intellectualization of Information-Control Systems, and at the St. Petersburg State University as Professor of the Chair of Informatics. Scientific interests: neuroinformatics, pattern recognition, adaptive and intelligent control, virtual reality, intelligent robotics, and multiagent systems. Author of 17 monographs and 219 papers. Member of International Academy of Navigation and Motion Control and International Academy of Technological Cybernetics; member of the Editorial Boards of the journals Information Theories and Applications, Differential Equations and Control Processes, and Mechatronics, Automation, Control. Honored Worker of Science.     

关于高校艺术设计专业学产研一体化教育模式的探讨

高校艺术设计专业学产研一体化教育是高校与社会、经济、科技紧密结合的教育模式。学产研合作是将理论学习与实践训练相结合,培养学生实践能力和创新精神,全面提高学生的综合素质。高校艺术设计专业学产研一体化教育更新了设计教育观念,提高了设计教育的社会效益,也对高校的学科建设起到了一定促进作用,对新型艺术设计人才的培养具有十分重要的现实意义。     

石化等级测评活动的质量控制浅析

质量控制是等级测评活动公正性、客观性和保密性的根本保证。当前,国内还没有形成以等级测评活动为主体的质量管理体系标准,对等级测评活动过程中的质量控制,成为等级测评工作研究的重点难点。论文通过对信息系统安全等级保护政策法规体系和标准规范体系的研究,对等级测评活动的质量控制进行了分析,给出了具体实施建议和参考。