Error in the UNITY substitution rule for subscripted operators

UNITY, introduced by Chandy and Misra [ChM88], is a programming logic intended to reason about temporal properties of distributed programs. Despite the fact that UNITY does not have the full power of, for example, linear temporal logic, it enjoys popularity due to its simplicity.There was however a serious problem with the Substitution Rule. The logic is incomplete without the rule, and with the rule it is inconsistent.     

CIMSCLASS─—面向CIM的零件分类软件开发工具

介绍了一个能为工厂设置零件编码系统和开发零件分类系统的工具系统。该系统能适应用户的具体环境，能对零件的特征信息做较详细的描述和建立相应目标的零件分类系统，从而能在ＧＴ（成组技术）基础上为机械加工零件开发ＣＡＤ／ＣＡＰＰ／ＣＡＭ集成系统提供支持，以满足ＣＩＭＳ的需要。     

The complexity of oblivious plans for orienting and distinguishing polygonal parts

In the problem ofparts feeding we are given a class of feasible operations for reorienting a part, and we are asked to find a fixed sequence of these operations which is guaranteed to bring the part into a known goal orientation from any possible initial orientation. Goldberg addressed this problem in [2], and showed that, for planar polygonal parts, there is always a sequence of simple operations which can be performed by a simple parallel-jaw gripper, which is guaranteed to orient the part (up to symmetry) without the use of any sensor information; he also conjectured thatO(n) steps are sufficient.In this paper we prove Goldberg's conjecture by explicitly constructing plans of at most2n – 1 steps for orienting polygonal parts in this model. We also give a lower bound on the number of steps required for such plans to show that this upper bound is tight.Finally, we extend these results to the problem ofdistinguishing among a finite set of parts using minimal sensing. Specifically, we assume that we are given a set of known polygonal parts, and a parallel-jaw gripper able to sense the distance between its jaws upon closure. We construct a simple oblivious plan of linear complexity which, when presented with a polygonal part, determines the index of this part.This research was supported in part by the NSF under Grant CCR-9207422, and by a Zumberge Fellowship. A preliminary version of this paper appeared in theProceedings of the Fourth Canadian Conference on Computational Geometry [1].     

柔性制造系统生产中的零件分批算法

根据ＦＭＳ资源、加工任务、零件工艺提出了零件分批算法，该算法在零件交货期的束下，以机床负荷平衡为目标，搜索零件集合，找出最合适的零件组合形成零件加工批。此算法为简化ＦＭＳ的动态调度和提高系统生产率创造了条件。仿真结果表明分批算法是行之有效的。     

Visual C#在气象自动站要素统计查询系统中的应用

肇庆市气象自动站要素统计查询系统是针对肇庆市37个气象自动站和该市气象台相关业务而通过Visual C#设计实现的．系统可以实现查询、统计各个气象自动站的要素数据。通过举例介绍Visual C#在肇庆市气象站要素统计查询系统中局部放大、控件数组和抓屏三个关键模块的应用，说明了如何利用Visual C#的强大功能，快速开发软件。对使用Visual C#的编程人员有一定的参考价值。     

非规则分布相同结构的零件的计算机三维造型方法研究

这里根据轮盘、板类等常用机械零件一般含有规则和非规则分布的相同结构的特点，总结出应用功能强大的Solid Works软件进行该类零件三雏设计的多种实用方法，给出了含有非规则分布的相同结构零件的快速设计方法，并分析了各种方法的应用场合。     

论理工类工业设计的素描教学改革

理工类学生由于入学前很少经过系统的美术专业训练,造型基础十分薄弱,但其在毕业时,其设计能力并不比文科生艺术生要求低,甚至在当今社会中,很大一部分企业对有着理工背景的专业设计人才的要求日益迫切。如何尽快地使其在长期固化的理性思维向活泼开放的感性思维,这是一个新的领域和挑战。素描作为其学习的第一门专业基础课,其改革势在必行。     

Catalytic reduction of no over perovskite-type catalysts

In the present work, we have investigated the reduction of NO by propane over perovskite-type oxides prepared by malic acid method. The catalysts were modified to enhance the activity by substitution of metal into A or B site of perovskite oxides. In addition, the reaction conditions, such as temperature, O₂ concentration, and space velocity have been varied to understand their effects on the catalytic performance. In the LaCoO₃ type catalyst, the partial substitution of Ba and Sr into A site enhanced the catalytic activity in the reduction of NO. For the La_0.6Ba (Sr)_o.4 Co_1−x Fe_xO₃ (x=0-1.0) catalyst, the partial substitution of Fe into B site enhanced the conversion of NO, but excess amount of Fe decreased the conversion of NO. The surface area and catalytic activity of perovskite catalysts prepared by malic acid method showed higher values than those of solid reaction method. The conversion of NO increased with increasing O₂ concentration and contact time. The introduction of water into reactant feed decreased the catalytic activity but the deactivation was shown to be reversible over La_0.6Ba_0.4Co_1−x ,Fe_xO₃ catalyst.     

注塑模具标准摸架数据库的开发

注塑模ＣＡＤ中机械设计模具种类繁多，但基本上还是趋于标准化的，为使模具的模架及标准部件有序调用，模架数据库管理系统（ＭＤＢＭＳ）及标准部件数据库管理系统（ＳＰＤＢＭＳ）成为注塑模ＣＡＤ系统中的关键问题。本文介绍了注塑模ＣＡＤ中的ＭＤＢＭＳ及ＳＰＤＢＭＳ的目标和任务，ＭＤＢＭＳ和ＳＰＤＢＭＳ应具有的功能和结构，其中的几何关键技术以及今后的展望。     

基于社交媒体的安全态势信息采集方法

本文针对社交媒体的信息安全的重要性,对已经发生的安全威胁事件及时做出反应,帮助目标用户更好的控制风险、消除安全隐患.本文以新浪微博API、网络爬虫技术、使用mmseg算法实现的jcseg分词器、JAVA正则表达式中文匹配、数据统计分析软件为基础,针对新浪微博的具有企业认证的用户的数据,进行关联相关用户、抓取数据、建立分类词库,并统计分析随时间变化的分类词库的词类、词频,对下一个时段的网络安全态势做出评估.