查询词典 computer software

As a user, he or she can only choice rules for reasoning, can't add rules for reasoning If some new rules want be used for reasoning, the software developer must recode the software But it' impossible for users The thought is very fascinating that users can add some new rules for reasoning but the software doesn't need be recoded, not only for users, but also for the software developer This technology can make computers reasoning more powerfully, or reasoning more quickly by some new rules be used, and it can be adjusted for different teaching books, and it can become perfect itself.

让用户能够向软件添加自己所需要的推理规则而无须修改程序，对用户和开发者都是非常有吸引力的想法。这使得计算机能利用新规则或定理证明更多的题目或能更快的证明题目，并且能更好地适应不同特色的教学用书，从而使软件在自动解题方面能不断完善。从理论上说，由用户添加推理规则并非难题。但要想用起来方便，推理快捷，却不容易。

The holistic design of the system and resolved the designs of software and hardware based on VXI bus are put forward according to the demand of test system. The hardware and software is designed, including the formation and design of hardware system, visual instrument software architecture, program design for instrument driver, high speed real-time data collection. In the dynamic test program, the idea of"software is instrument"was applied to meet the diverse test demands. Last, it is proposed that the VXI test system be developed to more totalization and networked. The basic theory of system identification was introduced briefly at first. The principle of spectrum analysis system identification based on Wiener-Hopf equation was expatiated. and the questions in applying Peusdo Random signal as spectrum analysis methods stimulate signal was studied, The generation principle of the peusdo random signal is researched, the characteristic of peusdo random are analyzed from time domain and frequency domain, the inverse repeat peusdo random signal is brought forward to make up the shortage of ordinary peusdo random signal. And a new chaos genetic algorithmis presented to solve the unprecise problem of the traditional method. In the servo valve dynamic characteristic test system, the spectrum analysis methods was applied successfully, the servo valve dynamic characteristic could be acquired rapidly and exactly, the test results were analyzed and the ameliorate methods were brought forward at last.

结合航天某集团液压测试中心测试系统的需求，提出了基于VXI总线的液压测试系统的整体设计方案，完成了测试系统的硬件设计与软件设计，包括硬件系统构成与设计、虚拟仪器软件结构、仪器驱动程序设计、高速同步实时数据采集等内容；以伺服阀动态特性测试为例设计了测试模块，该模块体现了VXI总线仪器软件开发所倡导的&虚拟仪器&的思想，以软件的灵活应用满足了不同的测试需求；结合自动测试系统的发展，研究了VXI测试系统与网络技术结合，实现各种软硬件资源共享，进一步提高设备及数据的利用率和系统的扩展性，使自动测试向综合化、网络化方向发展；研究了伪随机信号作为谱分析法辨识的激励信号时存在的问题，讨论了伪随机信号的产生机理，从频域和时域分析了伪随机信号的性质及其应用，提出了用逆重复伪随机信号弥补了普通伪随机信号的不足，并以混沌遗传算法对逆重复伪随机信号产生过程中的参数进行优化，可以更合理而不是凭经验产生需要的逆重复伪随机信号。

Current, the emission of software channel is turning to Internet gradually, a lot of software were to become free application more, but after killing poisonous software freely to appear suddenly, traditional manufacturer people think software is to be able to become a service however, but the service is not free certainly however.

现在，软件的发行渠道正逐渐转向互联网，很多软件更是变成了免费的应用，但在免费杀毒软件忽然出现之后，传统厂商们却认为软件是可以变成服务的，但服务却不一定是免费的。

But there are still many perplexed problems in the developing, producing, selling and using of software product, such as the problems of intellectual property rights and pirating of software and so on .In all of these the pricing of software is the core problem which will be directly related to the entire development and prospect of software industry.

但是，在软件的开发、生产、销售和使用过程中出现了很多让人困惑的问题，如软件的知识产权问题、盗版问题、软件的定价问题等等，在所有的这些问题中软件的价格问题一直是争论的核心，软件定价问题的解决与否直接关系到整个软件行业的发展和前景。

Through investigating and studying some representative enterprise.the result shows that the current situation of software development in our country is not optimistic.Some software development organization can produce a few successful software.the reason owes to the endeavor of some outstanding individual and group but not to reduplicating using successful software process.

通过对国内一些中小软件企业的调研，结果显示我国的软件开发现状十分不容乐观，一些软件开发组织之所以能生产出个别优秀的软件产品，往往归功于软件开发组的一些杰出个人或小组的努力，而不是通过成功的软件过程的重复使用，开发组织大都没有总结出经过自身验证的开发方法和软件过程。

In the case that foreign enterprises sold the software to the enterprises in Chinese territory or sold post, telecom equipment and computers and these cargoes related software, no matter whether the domestic accepters paid the customs duty and import link value-added tax for the software or not, the paid software use fee will not be deducted for the business tax of the foreign enterprises.

外国企业向中国境内企业单独销售软件，或随同销售邮电、通讯设备和计算机等货物一并转让与这些货物使用相关的软件，国内受让企业进口上述软件，无论是否缴纳了关税和进口环节增值税，其所支付的软件使用费，均不再扣缴外国企业的营业税。

Dog according to the author think, this software is the person that user name is the fogyism of milk cow senior fellow apprentice head hair, but the discovery after observing to software according to the author, the link that there is one examination to update on software points to Hi.baidu.com/ahxjj, look according to article issue date, software had travelled 2 days.

据笔者跟踪认为，该软件是用户名为奶牛师兄的落伍者首发，但据笔者对软件观察后发现，软件上有一检查更新的链接指向hi.baidu.com/ahxjj，按照文章发布日期看，软件已经传播了2天。

Based on numerical simulation flow after treatment methods and implementation. This paper drawing river ice jam thickness contour map, vertical water flow under the ice jam contour map as an example, the use of Surfer software described in detail various graphics rendering; Focused on the Surfer with VB programming software secondary development to achieve flow numerical simulation after treatment, showed that automatic change the data files to the Surfers;Introduced Active automation technology and Visual Basic Application Program Interface, and the interface technology will combinate VB powerful software development capabilities and Surfer software powerful mapping functions , achieve the key code and the mapping results map examples: under the ice sheet flow velocity field vertical contour map, three-dimensional wire-frame plans, such as flow field vector graphics, and dynamic display and output the graphics.

基于水流数值模拟后处理的方法与实现，本文以绘制河流冰塞厚度等值线图、冰塞下水流纵向流速等值线图为例，详细介绍了运用Surfer软件绘制各种图形的方法；重点阐述了用VB编程对Surfer软件进行二次开发实现水流数值模拟后处理，显示向Surfer数据文件自动转换的过程；介绍了Active自动化技术及其与VB应用程序的接口技术，并利用该接口技术将VB的强大软件开发能力和Surfer软件强大的绘图功能相结合，给出了实现该接口技术的关键代码以及绘制成果图件的实例：冰盖下流速场纵向流速等值线图、三维线框图、流场矢量图等图形，并输出图形与动态显示。

It is now well established that system outages are caused more due to software faults than due to hardware faults. Software aging is a kind of software fault which is a phenomenon that the state of the software system degrades or crashes with time. This phenomenon exists in all kinds of applications that run a log time.

软件故障所引起的系统运转中断远远高于硬件故障，而软件老化是软件故障的一种，它是指软件运行一段时间之后性能下降甚至崩溃的现象，这种现象广泛存在于各种长期运行的软件之中。

At present, the developed evaluation software of geometrical parameter is not compatible with the modeling software environment. Therefore the valuators have to transform the software environment between evaluation and modeling frequently, so the usability of developed evaluation software is dissatisfactory.

目前已开发的人机界面几何参数评价软件运行环境与建模环境不兼容，应用这些软件必须频繁在评价环境与建模环境之间转换，可用性差；人机界面的主观期望评价软件则基于静态环境开发，不能真实反映主控制室中显示与控制信息之间的动态关联。

Salt is good, but if the salt becomes flat and tasteless, with what do you season it?

14：33 盐本是好的，盐若失了味，可用什么叫它再咸呢？

He reiterated that the PLA is an army of the people under the leadership of the Communist Party of China.

他重申，人民解放军是在中国共产党领导下的人民军队。