基于标准单元库的工艺映射

本文提出基于标准单元实现的工艺映射技术，映射过程采用子逻辑结构变换及逻辑函数匹配加以实现，很好地兼顾了电路设计对延迟时间及芯片面积的要求。该过程在Ｓｕｎ－４／ＳＰＡＲＣ上用Ｃ语言实现，具有很好的时、空复杂性，能处理超大规模（５０００门以上）数字同步时序电路的映射过程，对纯组合逻辑电路的映射结果较好。     

任意分布数据的基数分配链接排序算法

文中将映射链接思想引入了基数排序,提出了一种谓之基数分配链接的新排序方法（以下简称为“基数分配链接排序”）,给出了该排序算法的描述、时间复杂度分析及用Ｃ语言编写程序进行算法比较的实验结果,算法分析和实验结果都表明：基数分配链接排序方法和待排序数据分布无关,其时间复杂度为Ｏ（Ｎ）,并且排序速度明显优于Ｑｕｉｃｋ Ｓｏｒｔ＾［１］,Ｆｌａｓｈ Ｓｏｒｔ＾［１］,Ｐｒｏｐｏｒｔｉｏｎ Ｓｐｌｉｔ Ｓｏｒ     

驱动升级公告

ＥＣＳ精英 Ｋ７Ｓ６Ａ Ｖ１．０Ｘ主板最新ＢＩＯＳ ０１／１５／２００２版新增支持 Ａｔｈｌｏｎ ＸＰ ２０００＋处理器，增加了 ＵＳＢ唤醒功能，修正了在安装Ｗｉｎ９８时，ＵＳＢ键盘不能使用热键的问题［１８２Ｋ］ＥＣＳ精英 Ｐ６ＶＸＡＴ Ｖ１．０Ｘ主板最新 ＢＩＯＳ１．０ｂ版修正了与 Ｔｕｌａｔｉｎ１．２Ｇ ＣＰＵ的兼容性问题 ［２０２Ｋ］下载：ｗｗｗ．ｅｃｓ．ｃｏｍ．ｔｗＡｓｕｓ华硕Ｐ４５３３３主板（无板载网路及声音芯片）最新ＢＩＯＳ １００３Ｃ版［１７９Ｋ］华硕Ａ７Ｖ２６６－Ｅ／ＡＡ主板（无板载网络及声音…     

软件百宝箱

绝地程序编辑器［ＪｅｄｉＥｄｉｔ］ １．０．０．３中文版 此软件支持多文档打开,支持多种程序语言语法高亮度显示：Ｄｅｌｐｈｉ（Ｏｂｊｅｃｔ Ｐａｓｃａｌ）, ＳＱＬ, Ｂａｓｉｃ（Ｖｉｓｕａｌ Ｂａｓｉｃａｎｄ Ｓｃｒｉｐｔ）, Ｃ＋＋, Ｐｅｒｌ,Ｊａｖａ, ＨＴＭＬ。以及有多种选择模式支持,正常选择模式（Ａｌｔ＋ Ｎ）、列选择模式（Ａｌｔ＋Ｃ）和行选择模式（Ａｌｔ＋ Ｌ）。另外,支持程序语言语法高亮度显示颜色的可视化调整,支持书签。 ［类型与大小］免费软件,９６３ＫＢ ［下载同址］ｈｔｔｐ：／／ｊｅｄｉｅ…     

Lurie型控制系统的鲁棒决定稳定性

本文给出了Ｌｕｒｉｅ型间接控制系统ｘ＝Ｇ［Ｂ，Ｃ］ｘ＋Ｇ［Ｒ，Ｓ］ｆ（σ）；σ＝ｃ＾Ｔｘ－ρｆ（σ）；ｆ（σ）∈Ｋ［０，∞）；和直接控制系统ｘ＝Ｇ［Ｂ，Ｃ］ｘ＋Ｇ［Ｒ，Ｓ］ｆ（σ）；σ＝Ｃ＾Ｔｘ，ｆ（σ）∈Ｋ［０，∞），绝对稳定的若干充分条件。     

常用函数调用频度的统计与分析

本文给出了数学库中各标准子程序的调用频度及统计方法；讨论了函数计算对整机性能的影响。研究结果表明：加速常用函数计算，可显著提高超级计算机的实用性能。Ｒ、ＳＱＲＴ、ＳＩＮ／ＣＯＳ计算的２￣ｘ，Ｉｏｇ２￣ｘ、Ｓｉｇｎ（ｘ＿ｌ，ｘ＿２）某函数计算的辅助性指令，直接用硬件实现；设置固定函数库装入最常用函数标子，可显著提高整机的综合计算速度，在参考文献［３］中的模拟分析也验证了这一结论。     

非线性等式与不等式问题的信赖域算法

５１．引言 本文讨论如下非线性等式与不等式问题的求解问题：其中,吐。）是＊”＋Ｂ的连续可微函数． 非线性问题（１．１）广泛出现于优化问题、互补问题及变分不等式等应用数学领域中,因而对其算法的研究也是计算数学的一个重要部分．许多作者考察了该问题的求解,如Ｄｅｎｎｉｓ和Ｓｃｈｎａｂｅ［６］, Ｐｓｈｅｎｉｃｈｌｌｙｉ［９］, Ｒｏｂｉｎｓｏｎ［１０１等人讨论了该问题的牛顿法求解,梯度法求解,Ｂｕｒｋｅ和 Ｈａｎ［‘］讨论了高斯一牛顿法求解． Ｄｅｎｎｉｓ在［５］中首次采用了信赖域算法的求解,［５］中通过引…     

一种用于估计普通单底物酶K_m和V_m值的微机程序

以ＢＡＳＩＣ语言在ＩＢＭ和ＡＰＰＬＥ─Ⅱ微机上编写了一种用于估计普通单底物酶动力学重要参数的微机程序。实验数据［ｖ］和［ｓ］经该程序处理，便可迅速得到酶动力学参数Ｋ＿ｍ和Ｖ＿ｍ值，同时还可得到酶动力学曲线（［Ｓ］对ｖ和１／［Ｓ］对１／［ｖ］）的图形等。     

任何台式计算机均可利用的“通路可视电话服务”

任何台式计算机均可利用的“通路可视电话服务”ＡＴ＆Ｔ推出”通路可视电话服务”［Ｐａｓｓａｇｅｗａｙ（ＴＭ）ＴｄｅｐｈｏｎｅＳｅｒｖｉｃｅ］，任何企业都可以使它们在各种台式计算机方面的投资获得新的效益。通路可视电话服务是一种软件产品，它能将商业电话与计...     

Windows98使用技巧集锦(三)

１Ｗｉｎｄｏｗｓ９８安装程序ＳＥＴＵＰ可以使用的参数格式 :ＳＥＴＵＰ［ｂａｔｃｈ］［／Ｔ：ｔｍｐｄｉｒ］［／ｉｍ］［／ｉｄ］［／ｉｓ］［／ｉｑ］［ｉｅ］［／ｉｈ］［ｉｖ］ｂａｔｃｈ指定包含安装选项的文件名及其位置。／Ｔ：ｔｍｐｄｉｒ为安装程序指定复制临时文件的目录。如果目录不存在 ,将自动创建该目录。注意 ,如果该目录已经存在 ,则该目录中的任何旧文件都将被删除。建议将其指向非安装盘 ,可以减少安装盘上的文件碎片。／ｉｍ跳过常规内存检查。／ｉｄ忽略磁盘空间检查。／ｉｓ跳过常规的系统检查（即不运行Ｓｃａｎ…     

Fast and precise points-to analysis

Many software engineering applications require points-to analysis. These client applications range from optimizing compilers to integrated program development environments (IDEs) and from testing environments to reverse-engineering tools. Moreover, software engineering applications used in an edit-compile cycle need points-to analysis to be fast and precise.In this article, we present a new context- and flow-sensitive approach to points-to analysis where calling contexts are distinguished by the points-to sets analyzed for their call target expressions. Compared to other well-known context-sensitive techniques it is faster in practice, on average, twice as fast as the call string approach and by an order of magnitude faster than the object-sensitive technique. In fact, it shows to be only marginally slower than a context-insensitive baseline analysis. At the same time, it provides higher precision than the call string technique and is similar in precision to the object-sensitive technique. We confirm these statements with experiments using a number of abstract precision metrics and a concrete client application: escape analysis.     

源代码分析技术的理论与实践发展

源代码分析技术对于软件安全缺陷分析是一项非常重要的手段.分析了软件源代码分析工具的技术手段和发展过程,最后对源代码分析的理论和实践进行了分析总结.     

C语言的别名分析方法研究

别名分析对于数据流分析、程序优化和分析工具的实现非常重要.文章提出了一种需求驱动,流非敏感的分析算法来解决指针别名问题.通过构造程序表达式图(PEG)把指针别名问题转化成判断两个指针节点是否是联通的问题,它不同于传统的别名分析方法,它不需要构造别名集合和对其求交集,所以提高了分析指针别名的效率.     

The use of protocol analysis for determining ability requirements for personnel selection on a computer-based task

Abstract

The role of cognitively oriented tasks in the workplace continues to increase as automation of physical task components advances. Difficulties in automating the operator's cognitive processes have placed a renewed emphasis on the human component in advanced manufacturing systems. While traditional task analysis techniques have made significant contributions to improving productivity when important task elements are visually observable, their focus on manual task procedures make them less effective for cognitively oriented activities. This research has made a first attempt at integrating techniques from several disciplines to develop a cognitive task analysis methodology. The utility of this combined approach is examined for a new system being tested in the United States Postal Service. This task requires operators to encode, via a keyboard, addresses presented on a video display terminal. Results support the hypothesis that, for cognitively oriented tasks, a consensus based analysis technique (the Position Analysis Questionnaire) can be significantly improved by including data from task analysis provided the methodology is suitable for identifying non-physical task components.     

A system to assist survey analysts

The researcher who knows little about computers but wants to conduct a survey and analyse the results by computer can land himself in some difficulty if he does not appreciate some of the problems of computerization. This paper describes a system which is designed to aid such a person by providing assistance with the design of the questionnaire, the capturing of the data and the final analyses.     

基于因子分析法和聚类分析法的副省级城市宜居情况聚类评价

重点选取了15个副省级城市的第一产业比重、人口密度、人均绿地、园林面积、医院数目,市政建设面积、地方财政税收等42个指标,使用SPSS作为计算工具,使用因子分析方法简化评价指标,计算相关系数矩阵,判别因子分析可行性,利用主成分分析法求因子载荷,将因子进行旋转得出更有实际意义的因子解释,并计算因子得分,利用该结果计算Mi...     

A novel analysis space for pointer analysis and its application for bug finding

The size of today’s programs continues to grow, as does the number of bugs they contain. Testing alone is rarely able to flush out all bugs, and many lurk in difficult-to-test corner cases. An important alternative is static analysis, in which correctness properties of a program are checked without running it. While it cannot catch all errors, static analysis can catch many subtle problems that testing would miss.We propose a new space of abstractions for pointer analysis—an important component of static analysis for C and similar languages. We identify two main components of any abstraction—how to model statement order and how to model conditionals, then present a new model of programs that enables us to explore different abstractions in this space. Our assign-fetch graph represents reads and writes to memory instead of traditional points-to relations and leads to concise function summaries that can be used in any context. Its flexibility supports many new analysis techniques with different trade-offs between precision and speed.We present the details of our abstraction space, explain where existing algorithms fit, describe a variety of new analysis algorithms based on our assign-fetch graphs, and finally present experimental results that show our flow-aware abstraction for statement ordering both runs faster and produces more precise results than traditional flow-insensitive analysis.     

Cost analysis of object-oriented bytecode programs

Cost analysis statically approximates the cost of programs in terms of their input data size. This paper presents, to the best of our knowledge, the first approach to the automatic cost analysis of object-oriented bytecode programs. In languages such as Java and C#, analyzing bytecode has a much wider application area than analyzing source code since the latter is often not available. Cost analysis in this context has to consider, among others, dynamic dispatch, jumps, the operand stack, and the heap. Our method takes a bytecode program and a cost model specifying the resource of interest, and generates cost relations which approximate the execution cost of the program with respect to such resource. We report on COSTA, an implementation for Java bytecode which can obtain upper bounds on cost for a large class of programs and complexity classes. Our basic techniques can be directly applied to infer cost relations for other object-oriented imperative languages, not necessarily in bytecode form.     

数据分析需求与实现

数据分析是从海量数据中发现隐含信息或知识的过程。基于一个公安破案辅助数据分析系统,深入研究数据分析任务的需求与实现,提出首先规划分析思路、细化分析功能,然后用多视角数据透视和智能分析两种手段,从微观与宏观、定量与定性等不同角度互为补充地使系统具有完备的分析功能。该研究对如何开发具有实用价值的数据分析系统有普遍的指导意义。