Microsoft Technology Licensing, LLC

Beijing Xiaomi Mobile Software Co., Ltd.

Lenovo (beijing) Limited

Xiaomi Inc.

Legend Holdings Ltd.

China Nuclear Power Engineering Company Ltd.

Ming Wu

Lidong Zhou

Fan Yang

Lintao Zhang

Raymond Cheng

Aapo Kyrola

Xuetian Weng

Ji Hong

Youshan Miao

Bin Wang

Li Long Chen

Chen Wang

Zheng Zhang

Feng Zhao

Qi Wang

Jian Tang

Gang Hu

Cheng Chen

Gang Wei

Yunxin Liu

Hengbin Cui

Xuezheng Liu

Li Chen

Zhenyu Guo

Zhiguang Zheng

Dongfang Ji

Qiufeng Yin

Shubin Liu

Udyavara Srikanth Kamath

Qi Luo

Minghua Zhang

Sam Zhang

Tisheng Chen

Huayang Guo

Feng Sheng

Shuangwang Zhang

Yuan Zhan

Yuanzhu Wang

Ankush Bindlish

Disclosed is a design method for resisting a dynamic load in a high temperature pipeline. The method includes the following steps: a first calculation step, calculating to obtain a temperature deformation displacement of each point of the pipeline; a second calculation step, calculating to obtain a modal result of the pipeline and a dynamic response displacement of each point of the pipeline; a comprehensive analysis step, comprehensively analyzing the temperature deformation displacement and displacements of the vibration modes of respective orders of the pipeline to find a position at which a rigid constraint is required to be added, and applying the rigid constraint along a direction in which the temperature deformation displacement is not affected substantially; and a determination step, calculating a stress of the pipeline and a reaction force of the rigid constraint to determine whether the stress and the reaction force meet design requirements.

Method for resisting dynamic load in high temperature pipeline

Various systems and methods for providing network services are described herein. In one example, a method includes receiving, via a first processor, a network packet from a source device. The method can also include sending, via the first processor, the network packet to a second processor if a service subsystem and a service are responsive. Furthermore, the method can include modifying, via the second processor, the network packet or generating a new packet based on the service. The method can also include receiving, via the first processor, the modified network packet or the new network packet from the second processor. The method can also further include sending, via the first processor, the modified network packet or the new network packet to a destination device.

Routing device with independent service subsystem

Systems and methods for responding to an image query from a computer user are provided. According to the disclosed subject matter, in response to receiving an image query, a search engine identifies the subject matter of the query image according to similar images. An entity name is determined from the similar images and is mapped to a known entity of the search engine. Based on the known entity, related information regarding the known entity is obtained and one or more search results pages directed to the known entity are generated. At least one of the generated search results pages is returned to the computer user as a response to the image query.

Image entity recognition and response

A method, device and medium for determining a coding format are provided. The method includes: receiving one or more data packets forwarded by a call center during a VoLTE communication, in which the one or more data packets carry a first coding format; detecting whether the first coding format is same with a negotiated second coding format; and modifying the coding format used during the VoLTE communication from the second coding format to the first coding format, if the first coding format is not same with the negotiated second coding format.

Method, device and medium for determining coding format

This disclosure describes a method for voice calling, voice playing, and devices thereof, in the field of communication. The method for voice calling includes: detecting whether a sensed distance value of an on-site terminal is less than a preset threshold, entering a predetermined call mode if the sensed distance value is less than the preset threshold, auto-playing a voice signal of an opposite terminal in the predetermined call mode, and if a voice signal of the on-site terminal is detected in the predetermined call mode, collecting the voice signal of the on-site terminal, and transmitting the voice signal of the on-site terminal to the opposite terminal.

Method for voice calling, method for voice playing and devices thereof

A continuous stream data (e.g., messages, tweets) is received by ingest nodes of a platform. The ingest nodes may analyze the data to create a transaction of graph updates, assign a sequence number to the transaction, and distribute the graph updates with the sequence number to graph nodes of the platform. The graph nodes may store graph updates from ingest nodes, and then the ingest nodes may report graph update progresses in a progress table. A snapshot may be taken based on the progress table, and then graph-mining computation may be implemented. Tolerate failures and decaying may be supported and incremental expansion may be allowed to cope with increasing update rates and computation needs.

Platform for continuous graph update and computation

Architecture employs an iterative process that incrementally discovers inter-component interactions and explores local state spaces within each component. Thus, the architecture lazily constructs the behavior of the environment of a component in the target software system, and integrates the construction of the inter-component interactions with the model checking process itself, and hence, does not need to eagerly construct the interface process. Component-based state space reduction is applied during the exploration of the whole system. The architecture decomposes a target software system into a set of loosely coupled components where interactions between the components tend to be significantly simpler than interactions within each component. An iterative algorithm facilitates the component-based state space reduction, which is exponential, on the real large-scale software systems.

Dynamic interface reduction for software model checking

A system and method of automatically controlling a terminal are disclosed. In one aspect, there is a method comprising: installing a sensing device in a terminal; and automatically controlling operations of the terminal when a certain object is detected by the sensing device within a predetermined range. According to certain aspects, a hard disk may be subjected to a full protection, power supplied to peripherals such as a keyboard or a mouse is saved. Furthermore, in other aspects, an automatic power-up/down operation to the terminal, automatic forward and backward operations of a browser and an automatic page-flipping operation of application software may be implemented. In another aspect, there is a control system for the terminal and the terminal equipped with such a control system.

Terminal and method and system for automatically controlling terminal

Exemplary methods, computer-readable media, and systems describe detecting a performance bug or a nontrivial correctness in a distributed system. The techniques describe using an online predicate checker by specifying a predicate on distributed properties of the distributed system. The process describes monitoring and checking the predicate when the system is deployed and providing a service. In response to detection of the performance bug, the process describes performing modifications of the predicate or installing new predicate.

Online predicate checking for distributed systems

Growing community of inventors

Beijing, China

Ming Wu