现代频率合成技术发展状况及分析

综述了现代频率合成技术的发展状况 ,介绍并分析了主要的几种频率合成器及它们的关键技术。

可消理想的刻画

针对交换环R中的理想I是可消理想的定义,提出在(冯诺依曼)正则算术环中建立可消理想的一个等价刻画;通过映射φ:Lat(R)→Lat(I):对于任意的A∈Lat(R),φ(A)=I∩A,寻找环R和理想I的进一步关系,得出对于任意的0≠e∈Idem(R),存在0≠f∈Idem(I)使得Re=Rf;从而给出完全算术环中可消理想的等价条件:R是一个完全算术环且J(R)=0,那么I是一个可消理想当且仅当对于任意e∈Idem(R),存在f∈Idem(I)使得Re=Rf.

Covers with Less than 10 Moduli and Their Applications

In this paper we essentially determine all covers {a s (mod n s)} k s=1 of Z with k<10 , actually our algorithm is valid for any positive integer k . As an application we provide a somewhat general theorem on (infinite) arithmetic progressions (e.g. 1330319+346729110 Z) consisting of odd integers no term of which can be expressed as the sum of a power of two and an odd prime, on the other hand we obtain an interesting result on integers of the form 2 n+cp where c is a constant and p is a prime.

Super-service-oriented Architecture in Large-scale Pervasive Computing Environments

This paper proposes an architecture model to support enhanced system performance in large-scale pervasive computing environments. The muitiformity of device （or peer ） services and network types in such environment is apt to result in notable service isomorphs. And moreover, as the environment cannot assure the stability of network communication and device services, the situation gets worse. Therefore, it becomes urgent to simplify user operations and let them take full and highly efficient advantage of the environments. Super-Service-Odented Architecture （SSOA） is an Serrice-Otiented Architecture （SOA）-based architecture for service management and organization in peryasive environments. With combining one kind of isomorphic services into a super service, SSOA provides better scalability and quick, convenient service invocations. Also, the complexity and instability of services, and network types are transparent, and system performance is highly promoted under the architecture.

SATVPC:Secure-agent-based trustworthy virtual private cloud model in open computing environments

Private clouds and public clouds are turning mutually into the open integrated cloud computing environment,which can aggregate and utilize WAN and LAN networks computing,storage,information and other hardware and software resources sufficiently,but also bring a series of security,reliability and credibility problems.To solve these problems,a novel secure-agent-based trustworthy virtual private cloud model named SATVPC was proposed for the integrated and open cloud computing environment.Through the introduction of secure-agent technology,SATVPC provides an independent,safe and trustworthy computing virtual private platform for multi-tenant systems.In order to meet the needs of the credibility of SATVPC and mandate the trust relationship between each task execution agent and task executor node suitable for their security policies,a new dynamic composite credibility evaluation mechanism was presented,including the credit index computing algorithm and the credibility differentiation strategy.The experimental system shows that SATVPC and the credibility evaluation mechanism can ensure the security of open computing environments with feasibility.Experimental results and performance analysis also show that the credit indexes computing algorithm can evaluate the credibilities of task execution agents and task executor nodes quantitatively,correctly and operationally.

Computer Audit Risk Control Research

The development of computer information technology makes the information of the audited unit more and more high. The introduction of accounting computerization information system makes the processing of enterprise economic business more convenient and efficient. Here came the computer controlled environment audit new risks, of course, the computer technology applied to the audit work to improve the audit efficiency by a lot, but also increased the complex information technology environment audit risk. Starting from the concept of computer audit risk, this paper analyzes and discusses the new risks and causes of audit under the computer condition, and puts forward some constructive risk control measures.

The Impact of Green Accounting for Reducing the Environmental Cost in Production Companies

Green accounting and their impact for reducing cost as a profession is the duty to improve the internal viewpoint of any economic unit and develop information that clarify its role within their environment and their contribution to providing appropriate information for decision-making which leads to the optimal exploitation of resources and the preservation of the environment and averting the threat. Thus, taking into account the environmental accounts especially environmental costs would enable the accounting profession to provide more relevant information and appropriate administrative decision makers, productivity, in particular where the problem lies in the lack of such information, resulting in the adoption of sound decisions which have contributed to the deterioration of the environment rather than addressed. In total, 180 questionnaires were distributed and 155 returned. Through analysis, the study came to the most important results that there were no statistically significant differences between the arithmetic average of the possibility of measuring the environment cost of disclosure, and the study also recommends the allocation of the budget to preserve and protect the environment and the budget of social cost, the development of accounting methods in order to provide environmental information to make sound decisions to exploit these resources.

Air flow calculation of reverse circulation drilling technique with air DTH hammer

Air DTH hammer has been successfully applied in minor-caliber solid mineral exploration,water-well drilling and other drilling areas. In order to expand the applications of the technology,the authors further studied the principle and analyzed the mechanism of reverse circulation drilling technique with air DTH hammer to get the perfect assembles of equipments by optimizing working parameters. No parameter seemed more important than the air volume because it could maintain the working performance stability. The minimum air volume is related to the parameters such as depth and pressure,which was calculated under the actual conditions. It was solved for the air injection flow tables of the air DTH Hammer working at the different pressures. According to the data tables,operators could adjust the air volume to meet the demand on this technique,which had a realistic guiding significance. So it could build up a set of systematic and complete hi-technique.

赋值环上的Suslin稳定性定理

本文证明了赋值环上的Suslin稳定性定理,研究并得到:当n3时,任意赋值环V上的特殊线性群SL_(n)(V[x])可以由该环上初等矩阵群E_(n)(V[x])生成,即SL_(n)(V[x])中每一个矩阵都可以分解成初等矩阵的乘积.进一步证明了,对于任意算术环R,当n3时,SL_(n)(R[x])=SL_(n)(R)·E_(n)(R[x]).

Research on the Teaching Evaluation System based on Feedback Tracking Technology under Cloud Computing Environment

In this paper, we conduct research on the teaching evaluation system based on the feedback tracking technology under the cloud computing environment. Teaching evaluation is an important work of teaching management department. According to the traditional mode of work, must first into classroom, through questionnaire survey, fill out a form scale, obtain first-hand teaching evaluation data, and then input the data into the computer, after check again the data statistics and analysis which is not efficient. To optimize the procedure, we use the cloud computing to assist finalizing the general evaluation steps which is innovative and meaningful.

GENERATING EXACT NONLINEAR RANKING FUNCTIONS BY SYMBOLIC-NUMERIC HYBRID METHOD

This paper presents a hybrid symbolic-numeric algorithm to compute ranking functions for establishing the termination of loop programs with polynomial guards and polynomial assignments.The authors first transform the problem into a parameterized polynomial optimization problem,and obtain a numerical ranking function using polynomial sum-of-squares relaxation via semidefinite programming(SDP).A rational vector recovery algorithm is deployed to recover a rational polynomial from the numerical ranking function,and some symbolic computation techniques are used to certify that this polynomial is an exact ranking function of the loop programs.At last,the authors demonstrate on some polynomial loop programs from the literature that our algorithm successfully yields nonlinear ranking functions with rational coefficients.

NMRCloudQ： a quantum cloud experience on a nuclear magnetic resonance quantum computer

Cloud-based quantum computing is anticipated to be the most useful and reachable form for public users to experience with the power of quantum. As initial attempts, IBM Q has launched influential cloud services on a superconducting quantum processor in 2016, but no other platforms has followed up yet. Here,we report our new cloud quantum computing service – NMRCloud Q(http://nmrcloudq.com/zh-hans/),where nuclear magnetic resonance, one of the pioneer platforms with mature techniques in experimental quantum computing, plays as the role of implementing computing tasks. Our service provides a comprehensive software environment preconfigured with a list of quantum information processing packages,and aims to be freely accessible to either amateurs that look forward to keeping pace with this quantum era or professionals that are interested in carrying out real quantum computing experiments in person. In our current version, four qubits are already usable with in average 99.10% single-qubit gate fidelity and 97.15% two-qubit fidelity via randomized benchmaking tests. Improved control precisions as well as a new seven-qubit processor are also in preparation and will be available later.