制造业数字化转型是当前经济社会发展的重要课题.构建工业数字化网络,对于信息共享、资源调度和生产规划具有重要价值.然而,如何确保数据信息的安全与可信,成为工业数字网络的挑战性问题.对此,提出了一种基于区块链和信誉机制的工业网络可信任务机制.首先,基于区块链技术构建工业网络可信任务机制,利用区块链智能合约技术将生产任务数字化,实现任务过程的区块链存证,保障任务执行的透明性与安全性.其次,提出一种用户信誉评估机制,激励用户发布可信数据,约束用户数据造假行为,并为信誉机制设计相关智能合约,使得信誉评估过程公开透明.最后,设计了基于区块链和信誉评估的工业网络可信任务机制原型系统,验证了其可用性和有效性.该机制为解决工业网络中的数据安全与可信提供了新的思路.

With ever increasing people's awareness of low carbon and environmental protection, electric vehicles are gradually gaining wide popularity. However, the driving endurance of the electric vehicle is the biggest shortage that hinders the fully acceptance of this new vehicle technology. To deal with this shortage, this paper proposed a vehicle-to-vehicle (V2V) electricity trading scheme based on Bayesian game pricing in blockchain-enabled Internet of vehicles (BIoV). Specifically, the Bayesian game is adopted for pricing in the distributed BIoV with incomplete information sharing. The optimal pricing under the linear strategic equilibrium has been obtained which maximizes the utilities of both sides of electricity transaction. The transaction volume is determined from the formulated convex problem that maximizes the social welfare. Then, the pricing game is implemented by the dedicated smart contract. Blockchain guarantees its trustworthiness, security, and reliability. Finally, the experimental results show that referring to the benchmark of static game with complete information, the proposed Bayesian game with incomplete information can achieve approximate satisfaction of users. The degree of approximation can reach to 98% when the pricing ranges of buyers and sellers are close. Moreover, the proposed scheme has great advantages over the static game with complete information in terms of communication overhead and timeliness in the decentralized IoVs.

有限的停车资源供给和高速增长的汽车需求,已成为城市静态交通管理的主要矛盾,为了改变这种现状,运用区块链技术,提出了基于区块链的停车资源共享网络(简称停车链).构建了一个开放式、可信任的网络平台,任何停车资源都可以通过停车链共享并实现收益;设计了基于信用的共识协议(PoC),避免算力消耗,提升了分布式共识的可靠性;停车链提供了可自定义的停车相关服务;开发了停车链原型系统,验证了本方案的可行性和有效性.停车链为缓解城市停车难问题提供了新的解决思路及技术参考.

提出采用Hyperledger超级账本,对网络节点数据从采集到自交易的应用场景及业务逻辑进行分析建模,给出节点及其数据的可信验证方法,构建一个以区块链及智能合约为基础的去中心化的自交易共享平台解决方案.该方案可用于实现低成本网络节点数据的自主管理和商品资产化的增值服务,从而衍生出新型的商业形态.

VB作为计算机程序设计教学语言有着独特的优势,一直是很多高校非计算机专业理科学生的程序设计教学语言.文章介绍VB慕课建设背景,分析VB慕课建设的可行性和意义,阐述VB慕课建设的主要内容和重点难点,最后讨论VB慕课建设和使用过程中需要注意的若干问题.

PBIL combines the features of genetic algorithms(GA) and competitive learning in an efficient way,which has the advantage of simple execution process,quick and accurate solutions to problems.In this paper,the PBIL algorithm is applied to solving combinatorial optimization problems.Using the logistics center location as an example,we illustrate a general method of solving the combinatorial optimization problems based on PBIL.A new algorithm for producing individuals for such problems is proposed.In order to improve the convergence speed and search capability,an acceleration method of probability learning is put forward based on the comparison of contemporary optimal solution and the successive optimal solution.Finally,the effectiveness of improvement is verified through simulation experiments.

This paper proposes a program of flash content retrieval based on XML. The paper describes the retrieval model, focusing on analysis of the two areas in which flash content retrieval is achieved: (1)SWF file parsing and SWFXML document generation; (2)Construction of the object characteristic tree according to the retrieval requirement, and the exportation of target file and content by calculating and sorting the similarities between the object characteristic tree and the object fragment tree in SWFXML document. This paper gives the relevant definitions, and analyzes the implementation process with examples.

It was described the constraints and objective function in automatic paper generation system.According to the historical information of paper generation,the initial learning probability was amended for the real-time requirements of online examination system.By methods of parameters predicting,ways to improve the efficiency and success rate of paper generation were presented.

针对以词元作为观察集的隐马尔科夫模型的不足,利用词元的结构特征对词元进行归类,提出基于符号特征的隐马尔科夫模型.该模型中的每个状态均用若干符号特征进行表达,并用正则表达式和利用文本推断得出的特征列表对符号特征加以描述.在此基础上利用Veterbi算法对科研人员个人主页中的科研信息进行提取试验,在较高信息冗余度的情况下,获得了较好的效果.

介绍了考试系统中利用Hook技术记录用户操作过程的方法,并给出了用户操作序列的编码方案和化简思路;以有限自动机(FSM)理论为基础,详细介绍了考试标准答案的表示方法和存储方案,并在此基础上简要说明了用户操作序列和标准答案的匹配算法。

This paper analyzes the composition and the Formal scheme of open examination system,and gave a formal scheme and system structure base on XML.DTD design at the core of the program to improve the understandability of the formal description,it’s also simplify the generation and analysis of Formal information,and briefly addressed the realization of parser and tool software.

To put forward a proposal of general examination system of programming language,this paper summarizes the common features of the teaching programming language.This proposal expands the meaning and structure of item bank and a plug-in type of item bank management programs is raised.The strategy of paper generating and the xml-based structure of blueprint is briefly introduced.At last,some key technologies and the stratigy of paper valuating is elaborated.

It was introduced three different automatic examining methods based on Web pages: text analysis method,DOM analysis method and XML-based analysis method.Detailed introduction of the principle and process of the latter two methods were given.The advantages and disadvantages of these different methods were also explained and compared.These methods could be widely applied to the development of auto-examination system and practice system.

Prediction of protein secondary structure has not been resolved in bioinformatics for over thirty years. Numerous methods have been developed to conquer this problem so far, but the results of most methods are not satisfactory. The Chou-Fasman method is simple, straightforward, and instructive to biologists and chemists, although its prediction accuracy is not as good as some newly developed learning algorithms such as neural network and SVM. This article presents the first attempt to predict protein secondary structure by means of PBIL algorithm. The idea is to predict the secondary structure by statistically optimal functions based on rules derived from the sequence-structure data. These rules, as part of optimal or tabu functions, are quite important to the success of this algorithm. The concept of probability of secondary structure corresponding to amino acids in sequence has been successfully applied to calculating the optimal function, providing a new approach to prediction of protein secondary structure.

In this paper,we recommend the advantage of formal description of check Information when it is applied to checking-system. We also recommend the way of its realization. This means can increase the independence,flexibility of checking system and prolong its lifecycle.

A brief introduction about the design of the s of tware system for Zhejiang Province primary and secondary school information tech nology test was delivered. This software was developed by Client/Server based mo de. The most noticeable characteristics of the software were the convenience in use and maintenance, and lower requirement of hardware. This software system has been put into service for three years so far.

Automatic test paper generation is a NP hard problem while restrictions exist.In this paper,an application of the PBIL(Population-Based Incremental Learning) algorithm to this problem is studied for the first time.The relationships between the optimal function and restrictions are emphasized in this paper.It is proved that the PBIL algorithm is a suitable method in solving this problem,and it is flexible to attach restrictions and is stable in the process.Also,entropy is used here to estimate the degree of the evolution process.

In the examination system of information technology of the primary and secondary school,the operating of Internet is an important part of the examination. This paper discusses the technology of how to realize simulation Internet on the single computer. It introduces how to develop the Web server and E-mail server with VB.

The accuracy should be considered while checking,but the reusability of code and the flexibility while checking is another focus.In this paper,recommend the advantage of formal description of check information when it is applied to checking-system,including constant,variable,expression operation,function operation,IF structure,and circulation structure etc.Also recommend the way of its realization.Through this language system,can describe and reach the requirements of complicatedness of checking.This means increases the independence,flexibility of checking system and prolong its lifecycle.

In this paper, some objects and their properties in Word document were analyzed. These properties have been applied for development of auto-checking system in examination on computer operation.