Journal of Naval University of Engineering 2004 Issue 5 Relative core calculation of attribute reduction based on divide and conquer

Relative core calculation of attribute reduction based on divide and conquer
liu shan ; feng xing jie

..............page:68-70

A fast rule-matching algorithm in network intrusion detection
liu ping ; tang zhi guo ; yu hai feng

..............page:71-73

Techniques by compound branch and network ripping to find out all spanning trees of an undirected graph
li yan ; yin zong mou

..............page:74-76,81

A formal approach study of OO class-level state testing
zhao liang ; ye jun min ; luo jing ; chen li

..............page:77-81

Dispatcher based on asynchronism callback of CORBA
hou xiang hua ; leng wen hao

..............page:82-84,95

A model of agent-based communication with "information-router"
liu hai qing ; zou yun song ; liu meng ren

..............page:85-90

A study on real-time disk scheduling algorithm
zhan lei ; li qiang ; pan qing

..............page:91-95

Capacity-limitation of transportation problem
dong peng ; yang chao ; chen xin

..............page:96-99

Research of data synchronization technology in distributed database
ding zuo ; yan hao ; diao xing chun

..............page:100-104

Expert system based on BP neural network used in real-time fault diagnostics of complex electronic equipments
chen bin ; wang gao shan ; yang lin hui

..............page:105-108

Design and realization of network accounting software based on QoS strategy
ren shu zuo ; wu zhi mei ; gu guo chang

..............page:109-112

Analysis of conflict between security and real-time requirements in MLS/RTDBMS
mou ya li ; zeng hao

..............page:65-67,70

An automated formal proving platform based on dynamic term rewriting calculus and its application
xiong feng ; li gui fan ; cheng ming ; feng su

..............page:60-64

Method to compare forecast accuracy of software reliability models based on hypothesis test
qu zuo ; zhang zhi hua

..............page:56-59

Scheduling software projects to minimize development time and cost with a given staff
zhang hai mei ; zuo ke rong ; liu bo

..............page:52-55

Research of medical treatment knowledge mining based on approximation algorithm for RS decision tables
lin xiao hong ; jiang wei jin

..............page:48-51

Genetic algorithm of path planning in polygon obstacle environment
dai guang ming ; du an hong ; li zuo

..............page:43-47

A parallel revised relaxation algorithm for linear programming
zhang jian jun ; xu zhou bin ; zhang jing bo

..............page:37-42

An improved e-cash scheme based on elliptic curves cryptosystem
yang xiao yuan ; zhou xuan wu ; wang yu min ; zhang min qing

..............page:33-36,64

Study on multiclass text categorization based on support vector machine
wei xin ; feng xing jie ; liu shan

..............page:30-32,42

Attribute reduction in relation database
liu gang ; qin yong ; jia li min

..............page:25-29

Design and implementation of savepoints and partial rollbacks based on MVCC
zou xian jun ; peng zhi yong ; wang li wei

..............page:21-24,104

Operation flow based system analysis in Intranet environment
ma jun ; yang qing ; song ling ; lian li

..............page:1-4

Some results on decision for minimal covering of regular separable function sets in partial K-valued logic
liu yu zhen ; liu ren ren

..............page:17-20

Resource structure asynchronous-update strategy and its application in JBCM
zhang hai ping ; zhang chen dong

..............page:14-16,20

Formal description of properties of concurrency system by temporal logic
xiao mei hua ; xue jin yun

..............page:10-13

Analysis to a class of polymorphic mechanism based on theory of cyclic group
liu yun ; yin jian ping ; jiang xiao zhou

..............page:5-9