局间通信负荷监控问题的形式化方法

利用最新时段演算等理论，形式化负荷监测功能的告警原理和组合输出问题，并进行必要的形式化推导，以确保规范说明具有可理解性和准确性．还给出了实现监控的核心算法．     

基于规则的网状结构目标识别研究

在分析ＥＤＧ图的基础上，针对拱桥图像的网状结构，提出了以有向边缘为属性的ｅｄＮＬＣ图文法及其产生式规则，导出了该类网状结构目标的自上而下的识别算法，模拟实验的结果表明，本算法对网状结构的识别是有效的．     

德汉题录机译系统中句法分析器的设计和实现

以语言学新理论ＧＰＳＧ（广义短语结构文法）与由笔者开发的Ｔｏｍｉｔａ句法分析扩展算法为基础，设计和实现了德汉题录（短语）机译系统句法分析器的方法．该分析器能有效地描述德语短语句法结构和高效地进行句法分析．     

在自然科学与哲学之间:现代逻辑方法的中介功能

现代逻辑方法是形式化的分析方法,是自莱布尼兹提出对传统逻辑进行形式化改造之后,经弗雷格把逻辑本身变成一个由公理和定理、规则构成的演绎体系的努力,由罗素这位现代符号逻辑的集大成者构筑而日趋成熟的。它体现着自然科学的发展进步,并开辟了哲学研究的新途径,将自然科学的研究成果及方法转换为推进现代哲学发展的新工具。逻辑方法历来都与自然科学、哲学有着密切的联系。在亚里士多德的逻辑体系中,就折射出具有演绎性质的古希腊几何学证明法,是这种关于证明的几何学为亚里士多德逻辑提供了蓝本。同时,早期的逻辑学还与哲学交织…     

嵌套式移动Agent的形式化研究

应用任务Agent和巡航Agent构造了移动Agent分布式网络管理模型,采用进程代数方法p演算对该模型中Agent间的嵌套过程、交互行为和验证过程等部分行为进行了形式化的描述,从理论上验证了在大型网络中使用嵌套式移动Agent进行分布式管理的可能性.     

抽象用户界面构成关系的形式化描述

本文形式化的描述了构成用户界面的内部数据对象与其在界面上的展示形式的特征和属性,以及它们之间的关系,同时说明了关于用户界面和内部数据对象在分离时的一些需要关注的问题,提高了软件设计的可复用性。     

常识知识表示:通向"人工智能"的途径

人工智能的知识表示包括专业知识与常识知识。人类常识知识具有语境相关性的显著特征,人工智能要处理常识知识就必须对与知识相关的语境进行研究。以麦卡锡、莱纳特为代表,两条不同路线的人工智能学者致力于常识知识的形式化研究并取得一些进展,但是当前人工智能知识表示中依然存在大量未解的难题。本文认为,寻找解决常识知识形式化这一人工智能研究的重要问题的关键一方面需要人工智能研究思路的转变,另一方面则在于从各门相关学科中寻找新的解题理念。     

远程数字视频监控系统中云台镜头的控制

基于Web的数字视频监控系统以网络、实时传输和视频压缩等技术为核心技术,具有远距离监控、方便的控制和管理、良好的可扩充性等优点,但目前的监控系统很少实现远程控制模块,本文围绕远程控制中的云台镜头控制进行较为深入的研究和设计,取得良好的实验效果。     

谈兼词“诸”及关于用语规范化的一点随想

兼词“诸”本来就此相当于“之于”，因此“诸”字后面不能再跟介词“于”。典型古文从未出现“诸”、“于”连用的句式，因而“公诸于世”之类的用法无疑属于谬误的仿古。这种谬误仿古未语言学家认可，在社会上也没产生较大影响，不具备的定俗成的条件。对语言使用上的不规范现象，不应听之任之，顺其自然，而应根据具体情况，采取不同的措施。对那些生命方程、流传面广的谬误仿古和一些本来不规范但已约定俗成的用语，应当予以认可；而对那些既不合文法、事理，又不通俗生动的错误用语，在它们还未形成气候之时，则应正本清源，进行合理引导。     

处于时间情景中的推理与形式化

现实的推理是在时空中进行的,推理本身需要花费时间。传统的逻辑理论忽视了这一点,从而导致逻辑全能。为此,给出了相关的案例,表明现实的推理处于时间情景之中 同时,介绍了几个涉及时间的形式化理论,指出它们研究的是关于时间的推理,而非处于时间之中的推理 最后,阐述了一个新的逻辑理论——步进逻辑,认为步进逻辑体现了推理的时间情景,有着良好的应用前景,进而提出了未来的研究设想。