改进的堆的枚举算法的研究

提出一种生成所有堆的枚举算法。该算法按照从深层次向低层次的顺序生成堆,采用单个数判断法。测试结果验证了该算法的有效性和可靠性。     

极富潮流时尚的外形的诺基亚的7260

全新的键盘设计令7260显得十分吸引人。这款银白红相间版更是把那种古典的优雅与现代的潮流完美的结合在一起．从美学的角度上来看诺基亚的7260可以说得上是一款设计相当精美的艺术品，具有相当高的观赏价值。     

ORC的代码生成的关键技术

处理机的指令级并行能力只有通过编译器才得以发挥。代码生成是编译器后端中直接针对目标处理机的优化阶段的集合,因而它是提高目标处理机指令级并行的重要组成部分。ORC(Open Research CompiLer)是一款针对IA-64体系结构的开放源码编译器,它具有丰富的优化阶段和良好的性能。本文介绍了ORC的代码生成的关键技术,这些技术包括区域构造、谓词相关优化、全局指今调度、参数化的机器描述以及微调度。实测结果表明,这些技术取得了显著的优化结果,ORC相对于Pro64能取得平均23％的加速比。     

初生的未来与未来的初生——关于Natal的明天的故事

Natal：出生的;才出生的。本词来源于拉丁文：natalis,也来源于词根nasci（“要出生的”）。“初生计划”是微软在2009年E3展上宣布的基于Xbox360平台的附加体感控制设备的称呼。外界普遍认为,这是微软在看到任天堂在体感控制游戏平台Wii达成的惊人的成功所作出的反应,或者用一个更简单的词来总结：跟风。联想到在同次E3展上索尼所宣布的同样是体感控制设备的Arc（现在已经正式推出并更名为PSMove）,这种推断是非常自然的。     

永远的安全永远的花旗

“全球化”对百年老店的花旗银行来说可不是什么新名词了。的确如此,花旗银行作为一家推行全球业务战略的银行,不单为遍及拖抬个国家的5000万消费者提供服务,也在近100个国家为跨国,跨区及当地的企业客户服务。除了花旗银行,没有哪家金融机构的业务和资源能在如此之多的地方,应付如此之多的用户需求。作为金融服务的世界品牌,花旗银行的名称即意味着安全,不仅是满足客户的需要,更要比客户预期的目标更好。 本文希望通过介绍花旗银行的网络安全防护措施,对国内的金融行业网络安全的实施起到一个借鉴作用。     

永远的拳王 获胜的索尼

上世纪60年代末70年代初，前重量级拳王阿里创造了拳坛的神话，他赢得了几乎所有的比赛。他拳头出击的距离要比对手长2至3英尺，这足以使他能击打到对方的有效部位，从而赢得比赛。索尼在这点上与阿里的拳法很相似。     

苦逼的人生卓越的书

卢梭是个名人。非常有名的人。他是法国历史上著名的哲学家、启蒙思想家、文学家与教育家。     

适合的是最好的

中国有句老话:手巧不如家什妙。就是说,干哪行就得有哪行的专用工具,工具要是不好用,再巧的手干出的活恐怕也难随人意。     

合适的才是最好的

这位海归CIO的经历，与业界很多失败项目的传说有诸多相似之处，某企业上了一套先进的大品牌的系统，项目往往在上线后没有了下文。如何避免出现上述案例的情形，应该注意以下几点。     

我的生活 我的导航

9月三洋电机推出了凝结三洋10年便携式导航系统研究技术结晶的8英寸车载便携式卫星导航系统NV-DK800CN。集卫星导航，DVD播放，TV接收功能于一体的NVDK800CN的机身厚度仅为44mm，外观设计简洁紧凑，安装简便，拆卸方便，同时还拥有8英寸超大触摸式液晶显示屏。同一款充分体现智能化，功能化与人性化的高端导航产品。特别为旅行，居家量身定做。     

Expert system verification and validation: a survey and tutorial

Assuring the quality of an expert system is critical. A poor quality system may make costly errors resulting in considerable damage to the user or owner of the system, such as financial loss or human suffering. Hence verification and validation, methods and techniques aimed at ensuring quality, are fundamentally important. This paper surveys the issues, methods and techniques for verifying and validating expert systems. Approaches to defining the quality of a system are discussed, drawing upon work in both computing and the model building disciplines, which leads to definitions of verification and validation and the associated concepts of credibility, assessment and evaluation. An approach to verification based upon the detection of anomalies is presented, and related to the concepts of consistency, completeness, correctness and redundancy. Automated tools for expert system verification are reviewed. Considerable attention is then given to the issues in structuring the validation process, particularly the establishment of the criteria by which the system is judged, the need to maintain objectivity, and the concept of reliability. This is followed by a review of validation methods for validating both the components of a system and the system as a whole, and includes examples of some useful statistical methods. Management of the verification and validation process is then considered, and it is seen that the location of methods for verification and validation in the development life-cycle is of prime importance.     

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

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

联邦开发过程中的校核、验证与确认（VV＆A）

对联邦的VV＆A不仅能够使每一步的工作得到跟踪和衡量,还使每一步能够减少多余的工作量,巩固需要加强的工作,明确开发人员的角色和职责,从而使人力、时间、资金等资源得到更加有效率的利用,仿真的结果变得更加可预测和准确,在很大程度上减少了编程的风险.联邦成员描述了仿真模型的各对象类、交互类、相关的属性、参数等信息,而联邦是各联邦成员的有机集成,构成具有特定功能的仿真系统.因此,联邦成员的正确性是联邦正确性的前提,决定了仿真系统的成败.在VV＆A的过程中,最好采用一些自动化工具以便于工作,同时要根据具体仿真系统的实际情况来确定VV＆A所需要作的工作.     

元宇宙发展演变及安全风险研究

近期元宇宙热潮席卷全球,主要国家和知名企业纷纷布局以争夺未来数字领域话语权,但目前关于元宇宙并没有形成较为统一的标准定义和终极形态描述。我国在促进电子信息产业高质量发展、保障网络空间安全的需求下,亟需科学认识元宇宙的本质特征、演变趋势及安全风险。运用文献调研和情报分析相结合的研究方法,首先基于技术应用迭代、经济商业模式、社会关系作用等核心理念归纳提出了元宇宙的基本概念,根据空间范畴、时空维度、关键技术、虚实交互等演进程度,将元宇宙发展演变依次划分为数据创生、数字仿生、虚拟镜生、虚实共生4个阶段并阐述了各阶段特征及对应形态;接着从创新应用需求、虚拟生活转变、商业价值驱动、政治力量推动等角度,分析了元宇宙广受关注的主要原因;然后针对挑战国家治理体系、冲击主流意识形态、操纵收割资本市场、引发诸多社会问题、误导技术产业布局等方面,重点研判了元宇宙浪潮带来的政治、文化、经济、社会和技术等多重安全风险和威胁。研究建议,目前元宇宙尚处于概念完善和产品探索阶段,应理性把握元宇宙发展机遇,立足我国电子信息产业现状,提前做好风险应对准备,构建数字治理监管体系,激发产业创新开放发展,夯实网络信息安全支撑,营...     

基于RFID的供港蔬菜安全监管溯源系统

为保障供港蔬菜的安全,提高供港蔬菜的安全监管能力,本文从检验检疫部门监管工作实际出发,提出了基于射频识别技术的供港蔬菜安全监管溯源系统．首先介绍了RFID技术及其主要功能,通过检验检疫角度提出供港蔬菜的业务框架结构、技术框架结构和安全保障体系结构,在此基础上设计溯源系统种植基地、加工厂、口岸和超市四个点的功能需求,并规定了溯源系统与RFID的接口标准．实践证明,该系统能够实现供港蔬菜流转中的每一管理节点的上下游追溯,实现管理者对蔬菜从原料、生产、运输到销售全过程的了解和把握,使企业的生产、仓储、通关、配送过程更加便捷,全面保证了蔬菜集装箱在运输过程的完好性,满足了供港蔬菜的安全溯源监管体系需求．该系统对食品的安全监管、产品的伪劣甄别有着重要的启示作用和意义．     

基于WinSocket远程控制程序的设计与实现

详细介绍了Socket通信的初始化、建立,以及信息的传输、读取和执行控制指令的过程。该程序直接应用Windows系统的API函数,通过获取桌面图象,转换为位图格式进行发送和接收,以及图象处理和显示,还包括鼠标事件的获取、传输及实现相应鼠标操作事件等,实现屏幕控制技术。     

功能-行为-结构(FBS)模型方法研究综述

功能-行为-结构(FBS)模型通过引入行为变量(Behavior),丰富了传统功能-结构(FS)模型,目前已被广泛应用于设计领域。对FBS模型的发展和应用进行综述。首先,从FBS模型的定义、相关变量概念的提出和发展、及优化和完善等方面对FBS模型进行介绍;其次,通过对国内外相关文献的分析,对FBS模型的研究及应用进行分类,总结现有主要研究集中于：FBS模型自身的发展、基于FBS模型的方法集成和映射机制的应用等方面;最后,提出FBS模型目前仍存在的问题,并给出研究建议,为FBS模型的研究和应用提供参考。     

Overview of ATM networks: functions and procedures

The purpose of this paper is to present an overview of the ATM technique. The basic principles of the ATM transfer technique, the B-ISDN layered protocol reference model, as well as the architecture and the main functions of the ATM network, are described in this tutorial. In particular, we present the main characteristics of the ATM technique, the structure of the ATM cell, the functions which deal with the protection from errored cells (HEC procedure) and the identification of the boundaries of the ATM cells (cell delineation and scrambling). The VP/VC concept is explained in detail, and the main principles and functions of the three lowest layers (Physical, ATM and Adaptation) of the B-ISDN layered protocol reference model are surveyed. The issue of Quality of Service parameters in ATM networks is reviewed, and the problem of the allocation of the network resources in response to user demands, as well as the problems of congestion control, Usage Parameter Control (UPC) and traffic modelling in ATM networks, are assessed. Finally, we present ‘possible’ sets of traffic characterization parameters, and show how possible B-ISDN sources can be modelled according to the basic on-off ATM traffic source model.     

一种基于对象信息的MIS自适应生成器

为解决MIS在开发和运行过程中因需求频繁变更所带来的开发和维护的工作量上升问题,提出一种新的MIS软件基础模块自适应生成管理器。通过信息化管理MIS的版本、用户与权限、系统结构、系统模块、对象信息、通用视图元素、通用业务逻辑元素和通用数据访问方式,并基于通用的界面层基础元素、业务逻辑层基础元素、数据访问层基础元素和对象信息自适应生成或重构MIS软件基础模块的数据库、交互界面、业务逻辑、数据交互部分和软件内部结构,以达到动态构建和管理MIS软件基础模块,实现基础模块信息化和系统对自身信息化、自动化管理的目的。通过将该生成器技术实现并实际应用于MIS开发,验证其能够较好地应对MIS基础模块的快捷构建与变更,有效降低MIS开发与维护的工作量。该生成器较好地解决了MIS软件基础模块快速构建与重构问题,能较好地应对MIS在开发和运行过程中的频繁变更。