R-Calculus for ELP:An Operational Approach to Knowledge Base Maintenance

Sme concepts used in knowledge base maintenace,such as sequence,new law,user‘s rejection and reconstructions of a knowledge base,are first introduced,and then a framework for extended logic programming(ELP)is given,where an extended logic program is equivalent to a knowledge base.A transition system called R-calculus for ELP is provided.For a given knowledge base and a user‘s rejection,the R-calculus for ELP will deduce best revisions of the base.The soundness and the completeness of the R-calculus for ELP are proved,and the R-calculus for ELP is implemented in Prolog.In addition,the research is compared with other relevant work.     

小型过程控制器中编程功能的实现

根据中小规模生产设备过程控制的特点,提出了生产工艺程序在过程控制器中应具有的一般形式,并详细分析如何使小型过程控制器具有编辑这种工艺程序的功能。     

证券组合的快车道问题研究

本文建立了新的证券组合最优控制模型，分析了证券市场长期投资过程中证券组合的快车道问题；提出了隐式规划的模拟退火方法，进行了快车道的仿真，这对于证券市场长期稳定运行和投资具有实际意义。     

机器人腕力传感器的动态负载效应

本文从时域和频域两方面研究机器人腕力传感器在加载情况下的动态响应，进行动态建模和频谱分析，探讨负载效应的影响。     

基于微机的PUMA262机器人的离线编程系统

本文论述了一个离线编程系统开发的全过程，包括系统的设计和该软件的核心技术，ＰＵＭＡ机器人的运动学动力分析与仿真，机器人与微机的接口技术及ＮＵＲＢＳ高级曲线的路径规划方法等。     

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.     

基于图像的计算机辅助数控编程软件研究

研究了基于图像的数控自动编程方法，包括影响自动编程、图像骨架自动编程和轮廓自动编程方法，并实现了使用该方法的计算机辅助数控编程软件。     

论城市可持续性发展与地下空间利用

本文分析了目前制约我国城市可持续发展的最主要因素是低效率的土地利用方式 ,若使地上、地面、地下空间协调发展 ,合理科学的规划好地下空间 ,珍惜地下空间资源 ,健全地下空间法律法规 ,统一地下空间管理机构 ,则可高效率的利用土地。     

PIMS在企业生产经营中的应用

介绍PIMS在企业生产经营中的应用 ,运用PIMS可对炼油化工企业进行原油采购决策、加工保本点预算、效益预测、物流分配、整体流程优化、投资分析、瓶颈制约因素探讨、原料和产品库存管理、经济活动分析等 ,并结合生产装置特点和市场环境影响因素 ,获取最大生产经营效益。根据影子价格 ,找出提高效益的潜力 ,确定产品、中间产品或半成品合理价格 ,规范关联交易 ,增强企业市场应变能力 ,提高经济效益与管理水平。     

Transporters in the neurohypophysial neuroendocrine system, with special reference to vesicular glutamate transporters (BNPI and DNPI): a review.

Recent advances in gene technology have helped to identify novel proteins and allowed study of their distribution and functions in the mammalian brain. One class of these proteins is that of transporters, which exist in plasma and organellar membranes of neurons and other cells to move substances selectively across membranes. These transporters can be categorized further into subclasses by their structural property, substrate selectivity, and site of action. Some of them have been identified in the hypothalamus, which is the only brain site where a neural signal is converted to a humoral one, namely, a hormone for a target organ. This unique neural mechanism has long attracted attention as the neuroendocrine system, part of which has been extensively studied as the hypothalamic-neurohypophysial system involved in secretion of vasopressin and oxytocin. However, transporters in this system have been less well studied. A morphological examination of novel transporters would give us cues to a better understanding of the neuronal organization and function of the system. In this review, we first summarize recent findings on expression of transporter gene and immunoreactivity in the hypothalamus. In the second part, we explain our observations on two vesicular glutamate (inorganic phosphate) transporters (BNPI and DNPI) in the supraoptic and paraventricular nuclei and neurohypophysis. Further study of these and other transporters will provide a basis on which to reevaluate the organization and function of the hypothalamic-neurohypophysial system.