基于安全的电子公文交换系统

文中提出了一种基于安全的电子公文交换系统，能够实现电子公文安全交换的要求，即公文的完整性，机密性，发收双方身份认证。系统具有长期的不可否认性安全服务，能够验证发文端已发送，收文端已签收的事件，并能在收发双方有争议或某方丢失语据时提出用于裁决的证据。     

科技项目统计信息系统的设计与实现

根据科技项目情况统计涉及的统计表类型繁多 ,要求统计数字准确、图表精美的特点 ,设计了一个由2 2个关联的表构成的科技项目统计关系数据库 ,对全省每年的科技项目进行各种统计、绘制统计图表 ,并介绍了VFP与 EXCEL间的通信 ,VFP生成图表等几个实现重点     

地理信息系统技术在油田开发方案设计中的应用

简要地介绍了地理信息系统技术以及运用该技术研制河南油田开发方案辅助设计系统的思路、方法等 ,并且指出了该技术的应用前景。     

古文字字库建设的几个问题

随着古文字信息化处理研究的发展,古文字的标准字库建设已经显得十分迫切。本文探讨了古文字标准字库建设中需要注意的四个方面的问题:通过建立古文字资料库,穷尽性地收集整理古文字字形保证字形收集的全面性,通过拓片扫描造字保证所造字形的准确性;在字形与字之间建立对应关系时须考虑两者之间的异用、歧释、异体等复杂关系;字形归纳过程中应遵循形体的归并原则和区别原则;字符进入标准字符集时的分级应根据字频原则和形频原则。     

电网继电保护及故障信息处理系统关键技术的探讨

根据湖南电网继电保护及故障录波信息处理系统的开发与应用实践 ,以及对国内现有模式和应用情况的分析 ,对该系统中子站设计、远程数据传输、信息组织和高层应用等关键技术问题进行了探讨 ,并给出了部分试验数据和试验结论     

YAKS710-4 6 300kW 6kV高压增安型三相异步电动机的研制

介绍了YAKS710－46300kW 6kV高压增安型三相异步电动机的研制过程、性能指标及防爆安全性等，对该电动机的技术经济性进行了分析，并提出了非防爆型避雷器，电容器在防爆危险区域内应用所采取的措施。     

遥测遥控技术及其在钢铁工业中的应用

对我国工业遥测、遥控技术及其在钢铁工业中的应用现状进行了述评。二遥技术作为信息技术的一个分支,在信息时代必将有一个大的发展,本文针对我国的现状指出了其发展方向。     

Signed Systems for Paraconsistent Reasoning

We present a novel approach to paraconsistent reasoning, that is, to reasoning from inconsistent information. The basic idea is the following. We transform an inconsistent theory into a consistent one by renaming all literals occurring in the theory. Then, we restore some of the original contents of the theory by introducing progressively formal equivalences linking the original literals to their renamings. This is done as long as consistency is preserved. The restoration of the original contents of the theory is done by appeal to default logic. The overall approach provides us with a family of paraconsistent consequence relations.Our approach is semantical because it works at the level of the propositions; it deals with the semantical link between a proposition and its negation. The approach is therefore independent of the combination of the connectives that are actually applied to the propositions in order to form entire formulas.     

IEC61850操作语义形式化描述的Petri网方法及其实现

通过对IEC61850标准中变电站配置语言(SubstationConfigurationLanguage,SCL)的XMLSchema(ExtensibleMarkupLanguageSchema)定义和声明内容的研究发现,统一建模语言(UnifiedModelingLanguage,UML)状态机的语义表达能力存在明显的局限性,它与XML结合无法精确描述具有逻辑时序要求的模块语义,造成在IEC61850完备的语义信息模型基础上建立的ACSI(AbstractCommunicationServiceInterface)的XML描述不完备,极大地影响系统的互操作性。文章应用Petrinet建立的IEC61850控制模块具有明确的语义模型,基于XML的Petrinet形式化描述不仅实现了语义信息模型的完备描述,也完善和强化了SCL的XMLSchema描述操作语义的能力,有效保证了系统的互操作性和一致性。     

欺骗网络体系框架研究

本文提出了一种基于信息欺骗的信息防护框架。从欺骗网络的交互程度,拓扑和技术三个方面对该框架进行了论述。